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.jit_buffer_size=1M
8opcache.protect_memory=1
9--FILE--
10<?php
11function test() {
12	$j = 2;
13    for ($i = 0; $i < 10;
14    	$a = !$i + $c[0] = 0xfff0001/34028236692903846346336*6) {
15	    $a =!$a + $a &= 74444444 - 444 >> 4 - $j++;
16        if ($j > 14) break;
17    }
18}
19test();
20?>
21--EXPECTF--
22Warning: Undefined variable $a in %sbool_not_002.php on line 6
23
24Warning: Undefined variable $a in %sbool_not_002.php on line 6
25
26Fatal error: Uncaught ArithmeticError: Bit shift by negative number in %sbool_not_002.php:6
27Stack trace:
28#0 %sbool_not_002.php(10): test()
29#1 {main}
30  thrown in %sbool_not_002.php on line 6
31