| commit | a277bac41e3b8253dc62798b0575e68ff3af9925 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 12 Apr 2016 10:59:00 +0000 (12 12:59 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 12 Apr 2016 11:45:50 +0000 (12 13:45 +0200) | ||
| tree | a9a363293ad257963d7aba6944e64c23e2f2d1df | treesnapshot (tar.gz zip) |
| parent | d91634ad944e375362ac9f831f1c0a080c3f7a81 | commitdiff |
take into account writes inside macro statements during evaluation
If a variable is being written inside a macro statement then
a known value for that variable may not be valid throughout
the entire macro statement. Remove the known values for
such variables before evaluating the macro statement tree.
Reported-by: Bruno bodin <bbodin@inf.ed.ac.uk>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If a variable is being written inside a macro statement then
a known value for that variable may not be valid throughout
the entire macro statement. Remove the known values for
such variables before evaluating the macro statement tree.
Reported-by: Bruno bodin <bbodin@inf.ed.ac.uk>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| tests/encapsulate/no_propagate.c | [new file with mode: 0644] | blob |
| tests/encapsulate/no_propagate.scop | [new file with mode: 0644] | blob |
| tree2scop.c | diffblobblamehistory |