aboutsummaryrefslogtreecommitdiffstats
path: root/test/Verifier/alias.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Verifier/alias.ll')
-rw-r--r--test/Verifier/alias.ll12
1 files changed, 12 insertions, 0 deletions
diff --git a/test/Verifier/alias.ll b/test/Verifier/alias.ll
new file mode 100644
index 0000000..e3636bc
--- /dev/null
+++ b/test/Verifier/alias.ll
@@ -0,0 +1,12 @@
+; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
+
+
+declare void @f()
+@fa = alias void ()* @f
+; CHECK: Alias must point to a definition
+; CHECK-NEXT: @fa
+
+@g = external global i32
+@ga = alias i32* @g
+; CHECK: Alias must point to a definition
+; CHECK-NEXT: @ga