Replace previosly checked conditions by ZEND_ASSERT()

diff --git a/Zend/zend_inheritance.c b/Zend/zend_inheritance.c
index c57d061793ed596672e3efb4c81d5e1755322409..997f9a793517ad2549f1f4423ae69c5d52c8572b 100644 (file)
--- a/Zend/zend_inheritance.c
+++ b/Zend/zend_inheritance.c
@@ -398,16 +398,12 @@ static inheritance_status zend_do_perform_implementation_check(
        /* Checks for constructors only if they are declared in an interface,
         * or explicitly marked as abstract
         */
-       if ((fe->common.fn_flags & ZEND_ACC_CTOR)
+       ZEND_ASSERT(!((fe->common.fn_flags & ZEND_ACC_CTOR)
                && ((proto->common.scope->ce_flags & ZEND_ACC_INTERFACE) == 0
-                       && (proto->common.fn_flags & ZEND_ACC_ABSTRACT) == 0)) {
-               return INHERITANCE_SUCCESS;
-       }
+                       && (proto->common.fn_flags & ZEND_ACC_ABSTRACT) == 0)));
 
        /* If the prototype method is private do not enforce a signature */
-       if (proto->common.fn_flags & ZEND_ACC_PRIVATE) {
-               return INHERITANCE_SUCCESS;
-       }
+       ZEND_ASSERT(!(proto->common.fn_flags & ZEND_ACC_PRIVATE));
 
        /* check number of arguments */
        if (proto->common.required_num_args < fe->common.required_num_args