diff options
Diffstat (limited to 'src/relooper/test.txt')
-rw-r--r-- | src/relooper/test.txt | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/relooper/test.txt b/src/relooper/test.txt index 12d0ef39..d657c6af 100644 --- a/src/relooper/test.txt +++ b/src/relooper/test.txt @@ -109,3 +109,30 @@ while(1) { // block D } + + +-- if (expensive || expensive2) X else Y; Z -- + + + +// block A +do { + if (expensive()) { + label = 33; + } else { + // block B + if (expensive2()) { + label = 33; + break; + } + // block D + } +} while(0); +if (label == 33) { + // block C; +} +while(1) { + // block E + // block F +} + |