From a5524ee8393c06e6328b91b623ab4a8112301f0b Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Fri, 31 May 2019 12:32:10 +0200
Subject: add simple unknown bitcast alias test from the original issue

---
 .../2019-05-31_simple-unknown-bitcast-alias.ll     | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 test/regression/2019-05-31_simple-unknown-bitcast-alias.ll

(limited to 'test/regression/2019-05-31_simple-unknown-bitcast-alias.ll')

diff --git a/test/regression/2019-05-31_simple-unknown-bitcast-alias.ll b/test/regression/2019-05-31_simple-unknown-bitcast-alias.ll
new file mode 100644
index 00000000..ea164308
--- /dev/null
+++ b/test/regression/2019-05-31_simple-unknown-bitcast-alias.ll
@@ -0,0 +1,22 @@
+; RUN: %llvmas %s -o=%t.bc
+; RUN: rm -rf %t.klee-out
+; RUN: %klee -output-source -output-dir=%t.klee-out %t.bc
+
+; bitcast of @foo2, which is not known yet
+@foo3 = alias i16 (...), bitcast (i32 (...)* @foo2 to i16 (...)*)
+; @foo is not known yet
+@foo2 = alias i32 (...), i32 (...)* @foo
+@foo = alias i32 (...), bitcast (i32 ()* @__foo to i32 (...)*)
+
+define i32 @__foo() {
+entry:
+  ret i32 42
+}
+
+define i32 @main() {
+entry:
+  call i32 (...) @foo()
+  call i32 (...) @foo2()
+  call i16 (...) @foo3()
+  ret i32 0
+}
-- 
cgit 1.4.1