[Verifier] Stop accepting broken DIGlobalVariable(s).

The code wasn't yelling at the user when there's a reference
from a DIGlobalVariableExpression. Thanks to Adrian for the
reduced testcase. Fixes PR34672.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@314069 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp
index 19d8c2a66a8b0a853b8fb96a341345c9ec532727..57559356f4d316915a8d5951a86ebf5d02d07502 100644 (file)
--- a/lib/IR/Verifier.cpp
+++ b/lib/IR/Verifier.cpp
@@ -1146,7 +1146,6 @@ void Verifier::visitDITemplateValueParameter(
 void Verifier::visitDIVariable(const DIVariable &N) {
   if (auto *S = N.getRawScope())
     AssertDI(isa<DIScope>(S), "invalid scope", &N, S);
-  AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());
   if (auto *F = N.getRawFile())
     AssertDI(isa<DIFile>(F), "invalid file", &N, F);
 }
@@ -1169,6 +1168,7 @@ void Verifier::visitDILocalVariable(const DILocalVariable &N) {
   // Checks common to all variables.
   visitDIVariable(N);
 
+  AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());
   AssertDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N);
   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),
            "local variable requires a valid scope", &N, N.getRawScope());
@@ -1181,6 +1181,8 @@ void Verifier::visitDIExpression(const DIExpression &N) {
 void Verifier::visitDIGlobalVariableExpression(
     const DIGlobalVariableExpression &GVE) {
   AssertDI(GVE.getVariable(), "missing variable");
+  if (auto *Var = GVE.getVariable())
+    visitDIGlobalVariable(*Var);
   if (auto *Expr = GVE.getExpression()) {
     visitDIExpression(*Expr);
     if (auto Fragment = Expr->getFragmentInfo())

diff --git a/test/DebugInfo/pr34186.ll b/test/DebugInfo/pr34186.ll
index 2d9c4f27877458a4052c7c7b4275dfaa77ac74a6..4432a278e51c2d7a7839d3adf32b1e1cfadf68a1 100644 (file)
--- a/test/DebugInfo/pr34186.ll
+++ b/test/DebugInfo/pr34186.ll
@@ -1,7 +1,13 @@
-; Make sure we reject GVs without a type and we verify each exactly once.
+; Make sure we reject GVs without a type.
+; Currently the verifier when traversing the graph induced by the debug info
+; metadata can reach the GV both from a DICompileUnit and a DIGlobalVariable
+; expression, so we emit a diagnostic twice. This is, not ideal, but the
+; alternative is that of keeping a map of visited GVs, which has non trivial
+; memory usage consequences on large testcases, or when LTO is the mode of
+; operation.
 ; RUN: not llc %s 2>&1 | FileCheck %s
 ; CHECK: missing global variable type
-; CHECK-NOT: missing global variable type
+; CHECK: missing global variable type
 
 !llvm.dbg.cu = !{!2}
 !llvm.module.flags = !{!63, !64}

diff --git a/test/DebugInfo/pr34672.ll b/test/DebugInfo/pr34672.ll
new file mode 100644 (file)
index 0000000..49be0e3
--- /dev/null
+++ b/test/DebugInfo/pr34672.ll
@@ -0,0 +1,16 @@
+; RUN: not opt -verify %s 2>&1 | FileCheck %s
+; CHECK: invalid type ref
+; CHECK-NOT: invalid type ref
+
+@global = common global i32 0, align 4, !dbg !2
+
+!llvm.dbg.cu = !{!0}
+!llvm.module.flags = !{!5, !6}
+
+!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "adrian", emissionKind: FullDebug)
+!1 = !DIFile(filename: "broken.c", directory: "/")
+!2 = !DIGlobalVariableExpression(var: !3, expr: !DIExpression())
+!3 = !DIGlobalVariable(name: "g", scope: !0, file: !1, line: 1, type: !1, isLocal: false, isDefinition: true)
+!5 = !{i32 2, !"Dwarf Version", i32 4}
+!6 = !{i32 1, !"Debug Info Version", i32 3}
+