| commit | ed7499dbcf4ada91ca32609f927a6eba7d8671ed | [log] [tgz] |
|---|---|---|
| author | buyingyi <buyingyi@gmail.com> | Tue Jan 27 23:52:04 2015 -0800 |
| committer | Ian Maxon <imaxon@uci.edu> | Thu Jan 29 18:40:20 2015 -0800 |
| tree | 20505f30b6d73ccde96c61f1f2edae65436e3627 | |
| parent | 0a3366020e5fe6d5c29ccfd5742f41ec3e18c427 [diff] |
Tracks the variables coming from the outer branch of loj to later decide whether they are still nullable Change-Id: I65ef3ec64e231d4ee4b9cb18ac3292f126ee16f8 Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/209 Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu> Reviewed-by: Yingyi Bu <buyingyi@gmail.com>