cache assigned values in then and else branch of if statement separately
commit7ed8a1f55bbb415c37091b98c9f8f8660d0330df
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 18 May 2012 10:43:31 +0000 (18 12:43 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 22 May 2012 09:45:29 +0000 (22 11:45 +0200)
treef20b7be68322471b08412082a0dc66e4b1ab47b5
parentbc2acf308b433cb1b86bd889df5a23aa3692d141
cache assigned values in then and else branch of if statement separately

In particular, don't let any assignments in the then branch affect
the else branch.  Moreover, don't let assignments in either branch
affect the resolution of nested accesses.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
tests/filter2.c [new file with mode: 0644]
tests/filter2.scop [new file with mode: 0644]