- Fixed bug #43200 (Interface implementation / inheritence not possible in abstract...

diff --git a/Zend/tests/bug43200.phpt b/Zend/tests/bug43200.phpt
new file mode 100644 (file)
index 0000000..24a8bbb
--- /dev/null
+++ b/Zend/tests/bug43200.phpt
@@ -0,0 +1,51 @@
+--TEST--
+Bug #43200 (Interface implementation / inheritence not possible in abstract classes)
+--FILE--
+<?php
+
+interface a {
+       function foo();
+       function bar();
+}
+interface b {
+       function foo();
+}
+
+abstract class c {
+       function bar() { }
+}
+
+class x extends c implements a, b {
+       function foo() { }
+}
+
+ReflectionClass::export('x');
+
+?>
+--EXPECTF--
+Class [ <user> class x extends c implements a, b ] {
+  @@ %s 15-17
+
+  - Constants [0] {
+  }
+
+  - Static properties [0] {
+  }
+
+  - Static methods [0] {
+  }
+
+  - Properties [0] {
+  }
+
+  - Methods [2] {
+    Method [ <user, prototype b> public method foo ] {
+      @@ %s 16 - 16
+    }
+
+    Method [ <user, inherits c, prototype a> public method bar ] {
+      @@ %s 12 - 12
+    }
+  }
+}
+

diff --git a/Zend/tests/bug43200_2.phpt b/Zend/tests/bug43200_2.phpt
new file mode 100644 (file)
index 0000000..5efc5fa
--- /dev/null
+++ b/Zend/tests/bug43200_2.phpt
@@ -0,0 +1,25 @@
+--TEST--
+Bug #43200.2 (Interface implementation / inheritence not possible in abstract classes)
+--FILE--
+<?php
+
+interface A {
+       function foo();
+}
+
+abstract class B implements A {
+       abstract public function foo();
+}
+
+class C extends B {
+       public function foo() {
+               echo 'works';
+       }
+}
+
+$o = new C();
+$o->foo();
+
+?>
+--EXPECTF--
+works

diff --git a/Zend/zend_compile.c b/Zend/zend_compile.c
index b1802f087efd018796624649df17cab3a8371e48..40d2e93a9752ecfd98bc3b887efccd3d72dadc6c 100644 (file)
--- a/Zend/zend_compile.c
+++ b/Zend/zend_compile.c
@@ -3173,7 +3173,8 @@ static void do_inheritance_check_on_method(zend_function *child, zend_function *
        zend_uint child_flags;
        zend_uint parent_flags = parent->common.fn_flags;
 
-       if (parent->common.fn_flags & ZEND_ACC_ABSTRACT
+       if ((parent->common.scope->ce_flags & ZEND_ACC_INTERFACE) == 0
+               && parent->common.fn_flags & ZEND_ACC_ABSTRACT
                && parent->common.scope != (child->common.prototype ? child->common.prototype->common.scope : child->common.scope)
                && child->common.fn_flags & (ZEND_ACC_ABSTRACT|ZEND_ACC_IMPLEMENTED_ABSTRACT)) {
                zend_error(E_COMPILE_ERROR, "Can't inherit abstract function %s::%s() (previously declared abstract in %s)",