1--TEST-- 2Bug #78341: Failure to detect smart branch in DFA pass 3--FILE-- 4<?php 5 6function test($a) { 7 // Just some dead code... 8 if (strpos("foo", "foo") !== 0) { 9 echo "Foo"; 10 } 11 12 $x = $a === null; 13 if ($x) { 14 var_dump($x); 15 } 16} 17test(null); 18 19?> 20--EXPECT-- 21bool(true) 22