| commit | e7097454d37a84c4ac8da6ecc65ac944fb315630 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 16 Dec 2014 15:00:14 +0000 (16 16:00 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 16 Dec 2014 15:00:14 +0000 (16 16:00 +0100) | ||
| tree | a0de1f006906492773eff893ce4365ad02dbdbc1 | treesnapshot (tar.gz zip) |
| parent | 32cc78168a9ffbdc405396a2fa411f2f03a4b057 | commitdiff |
encapsulate loop containing continue/break when encapsulating dynamic control
If we decide to encapsulate a statement that contains a break
or a continue statement, then we need to make sure that we also
encapsulate the loop containing the break or continue.
Otherwise, we would not take into account the effect of
the break or continue on subsequent statements inside that loop.
Reported-by: Ali Zaidi <Ali.Zaidi@arm.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If we decide to encapsulate a statement that contains a break
or a continue statement, then we need to make sure that we also
encapsulate the loop containing the break or continue.
Otherwise, we would not take into account the effect of
the break or continue on subsequent statements inside that loop.
Reported-by: Ali Zaidi <Ali.Zaidi@arm.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| tests/encapsulate/continue6.c | [new file with mode: 0644] | blob |
| tests/encapsulate/continue6.scop | [new file with mode: 0644] | blob |
| tree2scop.c | diffblobblamehistory |