1--TEST--
2Type inference should not result in infinite loop
3--FILE--
4<?php
5
6function test() {
7 $b = false;
8 do {
9 $a = $a + PHP_INT_MAX + 2;
10 $a = 0;
11 } while ($b);
12}
13test();
14
15?>
16--EXPECTF--
17Notice: Undefined variable: a in %s on line %d
18
