| commit | a1fe43952c1339742e35c4d8ac4dc4de0e309008 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 18 Mar 2012 10:49:58 +0000 (18 11:49 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 3 Jun 2012 12:31:06 +0000 (3 14:31 +0200) | ||
| tree | 9c1004f9463bb5e7fa86910d867d0f1f1ec413c5 | treesnapshot (tar.gz zip) |
| parent | fedb64a1a9980d30cfb991594967b5f39a30ecbe | commitdiff |
scop_add_break: try and merge filters
For statements that follow a break inside a loop, the skip condition
corresponding to the break may be applied twice, once because it follows
the break inside the same iteration and once because it may be executed
in a later iteration. In such cases, we want to combine the two filters
into a single filter that applies to the current and to previous iterations.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
For statements that follow a break inside a loop, the skip condition
corresponding to the break may be applied twice, once because it follows
the break inside the same iteration and once because it may be executed
in a later iteration. In such cases, we want to combine the two filters
into a single filter that applies to the current and to previous iterations.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>