Index: llvm/trunk/lib/IR/DebugInfo.cpp =================================================================== --- llvm/trunk/lib/IR/DebugInfo.cpp +++ llvm/trunk/lib/IR/DebugInfo.cpp @@ -283,7 +283,9 @@ Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_array_type && Tag != dwarf::DW_TAG_enumeration_type && Tag != dwarf::DW_TAG_subroutine_type && - Tag != dwarf::DW_TAG_inheritance && Tag != dwarf::DW_TAG_friend) + Tag != dwarf::DW_TAG_inheritance && Tag != dwarf::DW_TAG_friend && + Tag != dwarf::DW_TAG_structure_type && Tag != dwarf::DW_TAG_member && + Tag != dwarf::DW_TAG_typedef) return false; } Index: llvm/trunk/test/DebugInfo/X86/missing-file-line.ll =================================================================== --- llvm/trunk/test/DebugInfo/X86/missing-file-line.ll +++ llvm/trunk/test/DebugInfo/X86/missing-file-line.ll @@ -0,0 +1,61 @@ +; REQUIRES: object-emission + +; RUN: llc -mtriple=x86_64-linux-gnu -filetype=obj %s -o - | llvm-dwarfdump -debug-dump=all - > %t +; RUN: FileCheck --check-prefix=CHECK1 %s < %t +; RUN: FileCheck --check-prefix=CHECK2 %s < %t +; RUN: FileCheck --check-prefix=CHECK3 %s < %t + +; Test that we accept and generate DWARF entities for DW_TAG_structure_type, +; DW_TAG_member and DW_TAG_typedef with no source location. These can come up +; in some languages with predefined types. + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +%struct.S = type { %struct.S* } + +define void @f() { + %x = alloca %struct.S, align 8 + ; CHECK1: DW_TAG_structure_type + ; CHECK1-NOT: DW_AT_decl_file + ; CHECK1-NOT: DW_AT_decl_line + ; CHECK1: {{DW_TAG|NULL}} + + ; CHECK2: DW_TAG_member + ; CHECK2-NOT: DW_AT_decl_file + ; CHECK2-NOT: DW_AT_decl_line + ; CHECK2: {{DW_TAG|NULL}} + + ; CHECK3: DW_TAG_typedef + ; CHECK3-NOT: DW_AT_decl_file + ; CHECK3-NOT: DW_AT_decl_line + ; CHECK3: {{DW_TAG|NULL}} + call void @llvm.dbg.declare(metadata %struct.S* %x, metadata !10, metadata !16), !dbg !17 + ret void, !dbg !18 +} + +declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 + +!llvm.dbg.cu = !{!0} +!llvm.module.flags = !{!7, !8} +!llvm.ident = !{!9} + +!0 = !MDCompileUnit(language: DW_LANG_C99, file: !1, producer: "clang", isOptimized: false, runtimeVersion: 0, emissionKind: 1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2) +!1 = !MDFile(filename: "file.c", directory: "/dir") +!2 = !{} +!3 = !{!4} +!4 = !MDSubprogram(name: "f", scope: !1, file: !1, line: 7, type: !5, isLocal: false, isDefinition: true, scopeLine: 7, isOptimized: false, function: void ()* @f, variables: !2) +!5 = !MDSubroutineType(types: !6) +!6 = !{null} +!7 = !{i32 2, !"Dwarf Version", i32 4} +!8 = !{i32 2, !"Debug Info Version", i32 3} +!9 = !{!"clang"} +!10 = !MDLocalVariable(tag: DW_TAG_auto_variable, name: "x", scope: !4, file: !1, line: 8, type: !11) +!11 = !MDDerivedType(tag: DW_TAG_typedef, name: "SS", baseType: !12) +!12 = !MDCompositeType(tag: DW_TAG_structure_type, name: "S", size: 64, align: 64, elements: !13) +!13 = !{!14} +!14 = !MDDerivedType(tag: DW_TAG_member, name: "s", scope: !12, baseType: !15, size: 64, align: 64) +!15 = !MDDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64, align: 64) +!16 = !MDExpression() +!17 = !MDLocation(line: 8, column: 6, scope: !4) +!18 = !MDLocation(line: 9, column: 1, scope: !4)