Jiang Ning
81518d06ac
Require DISubprogram metadata to carry a non-null type in the verifier. LangRef specifies that the `type:` field of `DISubprogram` points to a `DISubroutineType`. This patch diagnoses malformed debug info where the field is omitted or resolves to null, while preserving the existing wrong-type diagnostic for non-DISubroutineType operands. Update hand-written LLVM IR tests to use valid DISubprogram metadata where they are not intentionally testing malformed debug info. These tests now use minimal DISubroutineType metadata so the new verifier check does not mask their original coverage. Fixes #186557
87 lines
4.4 KiB
LLVM
87 lines
4.4 KiB
LLVM
; The .bc file was generated from this source using llvm-as from r347766.
|
|
; A 7.0 release version should work to recreate it if necessary.
|
|
; RUN: llvm-dis < %s.bc | FileCheck %s
|
|
|
|
; CHECK: define void @_Z3foov() !dbg !9
|
|
define void @_Z3foov() !dbg !9 {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: !named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14, !15, !16, !17, !18}
|
|
!named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14, !15, !16, !17, !18}
|
|
|
|
!0 = !{null}
|
|
!1 = distinct !DICompositeType(tag: DW_TAG_structure_type)
|
|
!2 = !DIFile(filename: "path/to/file", directory: "/path/to/dir")
|
|
!3 = !DISubroutineType(types: !0)
|
|
!4 = distinct !DICompositeType(tag: DW_TAG_structure_type)
|
|
!5 = distinct !{}
|
|
!6 = distinct !{}
|
|
|
|
; CHECK: !7 = distinct !DISubprogram(scope: null, type: !3, spFlags: DISPFlagDefinition, unit: !8)
|
|
!7 = distinct !DISubprogram(type: !3, unit: !8)
|
|
|
|
!8 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang",
|
|
file: !2, isOptimized: true, flags: "-O2")
|
|
|
|
; CHECK: !9 = distinct !DISubprogram(scope: null, type: !3, spFlags: 0)
|
|
!9 = distinct !DISubprogram(type: !3, isDefinition: false)
|
|
|
|
; CHECK: !10 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagPureVirtual | DISPFlagLocalToUnit | DISPFlagDefinition | DISPFlagOptimized,
|
|
!10 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: true, isDefinition: true, isOptimized: true,
|
|
virtuality: DW_VIRTUALITY_pure_virtual,
|
|
unit: !8)
|
|
|
|
; CHECK: !11 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagVirtual | DISPFlagLocalToUnit | DISPFlagDefinition | DISPFlagOptimized,
|
|
!11 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: true, isDefinition: true, isOptimized: true,
|
|
virtuality: DW_VIRTUALITY_virtual,
|
|
unit: !8)
|
|
|
|
; CHECK: !12 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition | DISPFlagOptimized,
|
|
!12 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: true, isDefinition: true, isOptimized: true,
|
|
virtuality: DW_VIRTUALITY_none,
|
|
unit: !8)
|
|
|
|
; CHECK: !13 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagDefinition | DISPFlagOptimized,
|
|
!13 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: false, isDefinition: true, isOptimized: true,
|
|
unit: !8)
|
|
|
|
; CHECK: !14 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagLocalToUnit | DISPFlagOptimized)
|
|
!14 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: true, isDefinition: false, isOptimized: true)
|
|
|
|
; CHECK: !15 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition,
|
|
!15 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: true, isDefinition: true, isOptimized: false,
|
|
unit: !8)
|
|
|
|
; CHECK: !16 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagLocalToUnit)
|
|
!16 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: true, isDefinition: false, isOptimized: false)
|
|
|
|
; CHECK: !17 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagDefinition,
|
|
!17 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: false, isDefinition: true, isOptimized: false,
|
|
unit: !8)
|
|
|
|
; CHECK: !18 = distinct !DISubprogram({{.*}}, spFlags: DISPFlagOptimized)
|
|
!18 = distinct !DISubprogram(name: "foo", linkageName: "_Zfoov", scope: !1,
|
|
file: !2, line: 7, type: !3, containingType: !4,
|
|
isLocal: false, isDefinition: false, isOptimized: true)
|
|
|
|
!19 = !{i32 1, !"Debug Info Version", i32 3}
|
|
!llvm.module.flags = !{!19}
|
|
!llvm.dbg.cu = !{!8}
|