1--TEST--
2Handling of undef variable exception in JMP_NULL
3--FILE--
4<?php
5
6set_error_handler(function($_, $m) {
7 throw new Exception($m);
8});
9
10try {
11 $foo?->foo;
12} catch (Exception $e) {
13 echo $e->getMessage(), "\n";
14}
15
16?>
17--EXPECT--
18Undefined variable $foo
19
