diff options
| -rw-r--r-- | Zend/tests/typehints/inexistent_class_hint_with_scalar_arg.phpt | 16 | ||||
| -rw-r--r-- | Zend/zend_execute.c | 6 |
2 files changed, 21 insertions, 1 deletions
diff --git a/Zend/tests/typehints/inexistent_class_hint_with_scalar_arg.phpt b/Zend/tests/typehints/inexistent_class_hint_with_scalar_arg.phpt new file mode 100644 index 0000000000..3bacf826d5 --- /dev/null +++ b/Zend/tests/typehints/inexistent_class_hint_with_scalar_arg.phpt @@ -0,0 +1,16 @@ +--TEST-- +Inexistent class as typehint receiving scalar argument +--FILE-- +<?php + +function foo(bar $ex) {} +foo(null); + +?> +--EXPECTF-- +Fatal error: Uncaught TypeError: Argument 1 passed to foo() must be an instance of bar, null given, called in %s on line %d and defined in %s:%d +Stack trace: +#0 %s(%d): foo(NULL) +#1 {main} + thrown in %s on line %d + diff --git a/Zend/zend_execute.c b/Zend/zend_execute.c index 491dbb8e68..246372fee2 100644 --- a/Zend/zend_execute.c +++ b/Zend/zend_execute.c @@ -780,7 +780,11 @@ static zend_always_inline int zend_verify_arg_type(zend_function *zf, uint32_t a } else { ce = zend_verify_arg_class_kind(cur_arg_info); if (UNEXPECTED(!ce)) { - zend_verify_arg_error(zf, arg_num, "be an instance of ", cur_arg_info->class_name->val, "instance of ", Z_OBJCE_P(arg)->name->val, arg); + if (Z_TYPE_P(arg) == IS_OBJECT) { + zend_verify_arg_error(zf, arg_num, "be an instance of ", cur_arg_info->class_name->val, "instance of ", Z_OBJCE_P(arg)->name->val, arg); + } else { + zend_verify_arg_error(zf, arg_num, "be an instance of ", cur_arg_info->class_name->val, "", zend_zval_type_name(arg), arg); + } return 0; } *cache_slot = (void*)ce; |