summaryrefslogtreecommitdiffstats
path: root/llvm/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
commitb3510afcd1eb1c03bb4b30b3a53cc5c6a9997227 (patch)
treef8463686d7ee15529ed72f9f9e2a519b2f2b6a26 /llvm/test/Verifier
parent497f0854755311e666c750de772de31e6fab10f9 (diff)
downloadbcm5719-llvm-b3510afcd1eb1c03bb4b30b3a53cc5c6a9997227.tar.gz
bcm5719-llvm-b3510afcd1eb1c03bb4b30b3a53cc5c6a9997227.zip
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. llvm-svn: 283400
Diffstat (limited to 'llvm/test/Verifier')
-rw-r--r--llvm/test/Verifier/dbg-invalid-named-metadata.ll7
1 files changed, 7 insertions, 0 deletions
diff --git a/llvm/test/Verifier/dbg-invalid-named-metadata.ll b/llvm/test/Verifier/dbg-invalid-named-metadata.ll
new file mode 100644
index 00000000000..d31e0da5807
--- /dev/null
+++ b/llvm/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}
OpenPOWER on IntegriCloud