Support more type decl locations for variance

Author: morrisonlevi

Zend/zend_compile.c

@@ -5221,12 +5221,72 @@ void zend_compile_declare(zend_ast *ast) /* {{{ */
 }
 /* }}} */
 
+static zend_ast **_ast_find(zend_ast **begin, zend_ast **end,
+                            zend_bool (*pred)(zend_ast *)) {
+	for (; begin < end; ++begin)
+		if (pred(*begin))
+			return begin;
+	return begin;
+}
+
+static zend_bool _is_type_decl(zend_ast *ast) {
+	return ast && ast->kind == ZEND_AST_CLASS;
+}
+
+static zend_bool _is_not_decl_stmt(zend_ast *ast) {
+	if (ast) {
+		/* todo: what else should be considered a decl stmt? */
+		switch (ast->kind) {
+		case ZEND_AST_CLASS:
+		case ZEND_AST_CONST_DECL:
+		case ZEND_AST_FUNC_DECL:
+			return 0;
+
+		default:
+			return 1;
+		}
+	}
+
+	/* todo: why are these sometimes null? */
+	return 0;
+}
+
 void zend_compile_stmt_list(zend_ast *ast) /* {{{ */
 {
-	zend_ast_list *list = zend_ast_get_list(ast);
-	uint32_t i;
-	for (i = 0; i < list->children; ++i) {
-		zend_compile_stmt(list->child[i]);
+	zend_ast_list *const list = zend_ast_get_list(ast);
+	zend_ast ** const begin = list->child;
+	zend_ast ** const end = begin + list->children;
+	zend_ast **first_decl = _ast_find(begin, end, &_is_type_decl);
+	zend_ast **p;
+
+	/* Compile opcodes before first type decl */
+	for (p = begin; p < first_decl; ++p) {
+		zend_compile_stmt(*p);
+	}
+
+	/* Compile decl stmts */
+	while (first_decl != end) {
+		zend_ast **last_decl = _ast_find(first_decl, end, &_is_not_decl_stmt);
+		HashTable unverified_types;
+		HashTable *prev_unverified_types;
+		_backup_unverified_variance_types(&unverified_types, &prev_unverified_types);
+
+		for (p = first_decl; p < last_decl; ++p) {
+			zend_compile_stmt(*p);
+		}
+
+		_compile_verify_variance(&unverified_types);
+
+		zend_hash_destroy(&unverified_types);
+		CG(unverified_types) = prev_unverified_types;
+
+		/* There can be non-consecutive type decls, so continue searching */
+		first_decl = _ast_find(last_decl, end, &_is_type_decl);
+
+		/* Compile any stmts between the two type decls (or the end) */
+		for (p = last_decl; p < first_decl; ++p) {
+			zend_compile_stmt(*p);
+		}
 	}
 }
 /* }}} */
@@ -6343,7 +6403,7 @@ zend_op *zend_compile_class_decl(zend_ast *ast, zend_bool toplevel) /* {{{ */
 		if (CG(unverified_types)) {
 			zend_hash_add_empty_element(CG(unverified_types), lcname);
 		} else {
-			// todo: figure out why it's null; need a caller (somewhere) to initialize, emit, and destroy the unverified types
+			ZEND_ASSERT(0 && "todo: find out why this is null");
 		}
 	}
 
@@ -8178,36 +8238,6 @@ void zend_const_expr_to_zval(zval *result, zend_ast *ast) /* {{{ */
 }
 /* }}} */
 
-static zend_bool _is_type_decl(zend_ast *ast) {
-	return ast && ast->kind == ZEND_AST_CLASS;
-}
-
-static zend_bool _is_not_decl_stmt(zend_ast *ast) {
-	if (ast) {
-		/* todo: what else should be considered a decl stmt? */
-		switch (ast->kind) {
-		case ZEND_AST_CLASS:
-		case ZEND_AST_CONST_DECL:
-		case ZEND_AST_FUNC_DECL:
-			return 0;
-
-		default:
-			return 1;
-		}
-	}
-
-	/* todo: why are these sometimes null? */
-	return 0;
-}
-
-static zend_ast **_ast_find(zend_ast **begin, zend_ast **end,
-                            zend_bool (*pred)(zend_ast *)) {
-	for (; begin < end; ++begin)
-		if (pred(*begin))
-			return begin;
-	return begin;
-}
-
 /* Same as compile_stmt, but with early binding */
 void zend_compile_top_stmt(zend_ast *ast) /* {{{ */
 {

Zend/zend_inheritance.c

@@ -367,6 +367,7 @@ static
 _inheritance_status zend_do_perform_implementation_check(const zend_function *fe, const zend_function *proto) /* {{{ */
 {
 	uint32_t i, num_args;
+	_inheritance_status status;
 
 	/* If it's a user function then arg_info == NULL means we don't have any parameters but
 	 * we still need to do the arg number checks.  We are only willing to ignore this for internal
@@ -422,24 +423,45 @@ _inheritance_status zend_do_perform_implementation_check(const zend_function *fe
 		}
 	}
 
+	status = INHERITANCE_SUCCESS;
+
 	for (i = 0; i < num_args; i++) {
 		zend_arg_info *fe_arg_info = &fe->common.arg_info[i];
 		zend_arg_info *proto_arg_info = (i < proto->common.num_args)
 			? &proto->common.arg_info[i]
 			: &proto->common.arg_info[proto->common.num_args];
 
-		if (!_check_inherited_parameter_type(fe, fe_arg_info, proto, proto_arg_info)) {
+		_inheritance_status local_status =
+			_check_inherited_parameter_type(fe, fe_arg_info, proto, proto_arg_info);
+		if (local_status == INHERITANCE_ERROR) {
 			return INHERITANCE_ERROR;
+		} else if (local_status == INHERITANCE_UNRESOLVED) {
+			status = INHERITANCE_UNRESOLVED;
 		}
 	}
 
 	/* Check return type compatibility, but only if the prototype already specifies
 	 * a return type. Adding a new return type is always valid. */
 	if (proto->common.fn_flags & ZEND_ACC_HAS_RETURN_TYPE) {
-		return _check_inherited_return_type(
-			fe, fe->common.arg_info - 1, proto, proto->common.arg_info - 1);
+		_inheritance_status local_result =
+			_check_inherited_return_type(fe, fe->common.arg_info - 1,
+			                             proto, proto->common.arg_info - 1);
+		if (local_result == INHERITANCE_ERROR) {
+			return INHERITANCE_ERROR;
+		} else if (local_result == INHERITANCE_UNRESOLVED) {
+			status = INHERITANCE_UNRESOLVED;
+		}
 	}
-	return INHERITANCE_SUCCESS;
+
+	/*
+  if (status == INHERITANCE_UNRESOLVED && CG(unverified_types)) {
+		zend_string *key = zend_string_tolower(fe->common.scope->name);
+		zend_hash_add_empty_element(CG(unverified_types), key);
+		zend_string_release(key);
+  }
+	*/
+
+	return status;
 }
 /* }}} */
 
@@ -2231,7 +2253,6 @@ ZEND_API void zend_verify_variance(zend_class_entry *ce)
 
 				if (check < 0) {
 					_inheritance_runtime_error_msg(child, parent);
-					// todo: what to do with errors, not warnings?
 					continue;
 				}
 			}