blob: 7b2ca4b44e8104dcd61b151cb8560a3a09e2e389 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
--TEST--
SCCP 026: Elimination of dead code due to conflicting type checks
--INI--
opcache.enable=1
opcache.enable_cli=1
opcache.optimization_level=-1
opcache.opt_debug_level=0x20000
opcache.preload=
--SKIPIF--
<?php require_once('skipif.inc'); ?>
--FILE--
<?php
function test($var) {
if (!is_string($var) || (is_object($var) && !method_exists($var, '__toString'))) {
return;
}
var_dump($username);
}
?>
--EXPECTF--
$_main:
; (lines=1, args=0, vars=0, tmps=0)
; (after optimizer)
; %s:1-10
0000 RETURN int(1)
test:
; (lines=9, args=1, vars=2, tmps=1)
; (after optimizer)
; %s:2-8
0000 CV0($var) = RECV 1
0001 T2 = TYPE_CHECK (string) CV0($var)
0002 JMPZ T2 0004
0003 JMP 0005
0004 RETURN null
0005 INIT_FCALL 1 %d string("var_dump")
0006 SEND_VAR CV1($username) 1
0007 DO_ICALL
0008 RETURN null
|
