diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-06-07 14:00:12 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-06-07 14:00:43 -0700 |
| commit | 507d73ae7b6964031c3090e9330fb50c009df7c1 (patch) | |
| tree | 6df09f13bcbc13a4a92d794f1c44773d09feb182 /src/relooper/test3.txt | |
| parent | c6d56fb9da9eb2ecafadec1a951c98db17092b18 (diff) | |
remove break labels more aggresively, with a refined natural flow analysis1.4.9
Diffstat (limited to 'src/relooper/test3.txt')
| -rw-r--r-- | src/relooper/test3.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/relooper/test3.txt b/src/relooper/test3.txt index 696542ef..6049ee48 100644 --- a/src/relooper/test3.txt +++ b/src/relooper/test3.txt @@ -9,7 +9,7 @@ do { } } while(0); LBB3 -L5: do { +do { if (LBB3 -> LBB4) { LBB4 if (!(LBB4 -> LBB5)) { @@ -18,7 +18,7 @@ L5: do { while(1) { LBB5 if (LBB5 -> LBB6) { - break L5; + break; } } } |