Check for redundant func info

This commit is contained in:
Nikita Popov committed 2020-07-21 13:01:12 +02:00
1 parent ac56ca0dcc
commit ae2b214be2
1 file changed
+5
+5
View File
@@ -938,6 +938,11 @@ uint32_t zend_get_func_info(
if (internal_ret & ~ret) {
fprintf(stderr, "Inaccurate func info for %s()\n", ZSTR_VAL(lcname));
}
/* Check whether the func info is completely redundant with arginfo.
* Ignore UNKNOWN_INFO for now. */
if (internal_ret == ret && (internal_ret & MAY_BE_ANY) != MAY_BE_ANY) {
fprintf(stderr, "Useless func info for %s()\n", ZSTR_VAL(lcname));
}
/* If the return type is not mixed, check that the types match exactly if we exclude
* RC and array information. */
uint32_t ret_any = ret & MAY_BE_ANY, internal_ret_any = internal_ret & MAY_BE_ANY;