1--TEST--
2Register Alloction 020: Incorrect TSSA type inference
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.file_update_protection=0
7--FILE--
8<?php
9function foo() {
10    for($j=0; $j<6; $j++) {
11        $y = $a;
12        $a = 6;
13        for(;$i;);
14    }
15}
16@foo();
17?>
18DONE
19--EXPECTF--
20DONE
21