xref: /php-src/Zend/tests/bug80030.phpt (revision 50975640) 
1--TEST--
2Bug #80030: Optimizer segfault with isset on static property with undef dynamic class name
3--FILE--
4<?php
5
6function test() {
7    var_dump(isset($className::$test));
8}
9test();
10
11?>
12--EXPECTF--
13Warning: Undefined variable $className in %s on line %d
14
15Fatal error: Uncaught Error: Class name must be a valid object or a string in %s:%d
16Stack trace:
17#0 %s(%d): test()
18#1 {main}
19  thrown in %s on line %d
20