diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-04-02 15:15:04 +0300 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-04-02 15:15:04 +0300 |
| commit | a7cb592efa9ec72c4c5e9d3c1e7469203a4b47e2 (patch) | |
| tree | 5c43cfbde7cad7f1f46366d9b9fedd9c81953f91 /tests | |
| parent | 59148d666a78d671198d56caabe7fe4d7fb3fee1 (diff) | |
| download | qbt-a7cb592efa9ec72c4c5e9d3c1e7469203a4b47e2.tar.gz qbt-a7cb592efa9ec72c4c5e9d3c1e7469203a4b47e2.zip | |
add simple unreachability
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/unreachable.qbt | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/unreachable.qbt b/tests/unreachable.qbt new file mode 100644 index 0000000..b97f9e1 --- /dev/null +++ b/tests/unreachable.qbt @@ -0,0 +1,18 @@ +in_jump() { + i27 r0 = 0; + -> after; + + i27 r1 = 0; + => (r1); + + after: + => (r0); +} + +after_return() { + i27 r0 = 0; + => (r0); + + i27 r1 = 10; + => (r1); +} |