From 8313e6ced94c75262ecee093cdc55bbfbbc1d4d0 Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Sun, 21 Mar 2021 13:06:34 +0000
Subject: [PATCH] test: Add a test for the infamous 'undef appears in sim but
not in check' bug.
---
test/sim/taint-ret.sh | 38 ++++++++++++++++++++++++++++++++++++++
1 file changed, 38 insertions(+)
create mode 100644 test/sim/taint-ret.sh
diff --git a/test/sim/taint-ret.sh b/test/sim/taint-ret.sh
new file mode 100644
index 000000000..9688dbae9
--- /dev/null
+++ b/test/sim/taint-ret.sh
@@ -0,0 +1,38 @@
+. lib/testcase
+
+cat > src.cpp <<EOF
+#include <sys/lamp.h>
+#include <cassert>
+
+int x;
+
+int get() { return x; }
+
+void foo()
+{
+ int val = __lamp_any_i32();
+ if (val == 0) {
+ val = get();
+ } else {
+ val -= 1;
+ }
+ int y = get();
+ assert( x == y );
+}
+
+int main()
+{
+ foo();
+}
+EOF
+
+sim --symbolic src.cpp <<EOF
+> start
+> break __lart_abstract.tobool.i1
+> step --out
+> step --out
+> bitcode
+> stepi
+- FAULT
++ executing foo()
+EOF
--
GitLab