summaryrefslogtreecommitdiffstats
path: root/test/Verifier
diff options
context:
space:
mode:
authorAdrian Prantl <aprantl@apple.com>2016-10-05 22:15:37 +0000
committerAdrian Prantl <aprantl@apple.com>2016-10-05 22:15:37 +0000
commit3d7360fb8aa5773936a05f72df651ba50b489fd5 (patch)
treea81e9d80f404f1955c1a8d9f72a739962bf93746 /test/Verifier
parent5f1ad48020b0e295972efb6c6d24c4a3cdf71300 (diff)
Verifier: Reject any unknown named MD nodes in the llvm.dbg namespace.
This came out of a discussion in https://reviews.llvm.org/D25285. There used to be various other llvm.dbg.* nodes, but we don't support upgrading them and we want to reserve the namespace for future uses. This also removes an entirely obsolete and bitrotted testcase for PR7662. Reapplies 283390 with a forgotten testcase. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@283400 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Verifier')
-rw-r--r--test/Verifier/dbg-invalid-named-metadata.ll7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Verifier/dbg-invalid-named-metadata.ll b/test/Verifier/dbg-invalid-named-metadata.ll
new file mode 100644
index 000000000000..d31e0da58074
--- /dev/null
+++ b/test/Verifier/dbg-invalid-named-metadata.ll
@@ -0,0 +1,7 @@
+; RUN: not llvm-as -disable-output <%s 2>&1 | FileCheck %s
+; CHECK: assembly parsed, but does not verify
+
+!llvm.module.flags = !{!0}
+!llvm.dbg.the_dbg_namespace_is_reserved = !{}
+
+!0 = !{i32 2, !"Debug Info Version", i32 3}