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--
17Warning: Undefined variable $a in %s on line %d
18