From a7cb592efa9ec72c4c5e9d3c1e7469203a4b47e2 Mon Sep 17 00:00:00 2001
From: Kimplul <kimi.h.kuparinen@gmail.com>
Date: Tue, 2 Apr 2024 15:15:04 +0300
Subject: add simple unreachability

---
 tests/unreachable.qbt | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 tests/unreachable.qbt

(limited to 'tests')

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);
+}
-- 
cgit v1.3