1--TEST--
2JIT BOOL_NOT: 002 Incorrect function JIT for MAY_BE_DOUBLE|MAY_BE_UNDEF
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.file_update_protection=0
7opcache.protect_memory=1
8--FILE--
9<?php
10function test() {
11	$j = 2;
12    for ($i = 0; $i < 10;
13    	$a = !$i + $c[0] = 0xfff0001/34028236692903846346336*6) {
14	    $a =!$a + $a &= 74444444 - 444 >> 4 - $j++;
15        if ($j > 14) break;
16    }
17}
18test();
19?>
20--EXPECTF--
21Warning: Undefined variable $a in %sbool_not_002.php on line 6
22
23Warning: Undefined variable $a in %sbool_not_002.php on line 6
24
25Deprecated: Implicit conversion from float %f to int loses precision in %sbool_not_002.php on line 6
26
27Deprecated: Implicit conversion from float %f to int loses precision in %sbool_not_002.php on line 6
28
29Fatal error: Uncaught ArithmeticError: Bit shift by negative number in %sbool_not_002.php:6
30Stack trace:
31#0 %sbool_not_002.php(10): test()
32#1 {main}
33  thrown in %sbool_not_002.php on line 6
34