commit d5561e0a0bbd484da17d3b68ae5fedc0a057246b
author Konstantin Zhuravlyov <kzhuravl_dev@outlook.com> Wed Mar 08 23:55:44 2017 +0000
committer Konstantin Zhuravlyov <kzhuravl_dev@outlook.com> Wed Mar 08 23:55:44 2017 +0000
tree 40642d65e0adf50eae29e4cb204584c0de1a633c
parent d4cb9c6da0b940e0b13c1c5a286cc67d31267d70

[DebugInfo] Emit address space with DW_AT_address_class attribute for pointer and reference types

Differential Revision: https://reviews.llvm.org/D29670

llvm-svn: 297320

llvm/lib/IR/Verifier.cpp

diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp
index 5a7b8da..dd0e9fd 100644
--- a/llvm/lib/IR/Verifier.cpp
+++ b/llvm/lib/IR/Verifier.cpp
@@ -910,6 +910,13 @@
   AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());
   AssertDI(isType(N.getRawBaseType()), "invalid base type", &N,
            N.getRawBaseType());
+
+  if (N.getDWARFAddressSpace()) {
+    AssertDI(N.getTag() == dwarf::DW_TAG_pointer_type ||
+                 N.getTag() == dwarf::DW_TAG_reference_type,
+             "DWARF address space only applies to pointer or reference types",
+             &N);
+  }
 }
 
 static bool hasConflictingReferenceFlags(unsigned Flags) {