test/Verifier/DISubprogram.ll

   1 ; RUN: not opt -S <%s 2>&1| FileCheck %s
   2
   3 define void @f() !dbg !14 {
   4   ret void
   5 }
   6
   7 !0 = !{null}
   8 !1 = distinct !DICompositeType(tag: DW_TAG_structure_type)
   9 !2 = !DIFile(filename: "path/to/file", directory: "/path/to/dir")
  10 !3 = !DISubroutineType(types: !0)
  11 !4 = distinct !DICompositeType(tag: DW_TAG_structure_type)
  12 !8 = distinct !DICompileUnit(language: DW_LANG_Swift, producer: "clang",
  13                              file: !2, emissionKind: 2)
  14 ; CHECK: invalid thrown type
  15 !13 = !{!14}
  16 !14 = distinct !DISubprogram(name: "f", scope: !1,
  17                             file: !2, line: 1, type: !3, isLocal: true,
  18                             isDefinition: true, scopeLine: 2,
  19                             unit: !8, thrownTypes: !13)
  20 !15 = !{i32 1, !"Debug Info Version", i32 3}
  21 !llvm.module.flags = !{!15}
  22 !llvm.dbg.cu = !{!8}