1; RUN: llvm-as < %s 2>&1 >/dev/null | FileCheck %s
2
3; Ensure we reject debug info where the DIFiles of a DICompileUnit mix source
4; and no-source.
5
6define dso_local void @foo() !dbg !5 {
7  ret void
8}
9
10define dso_local void @bar() !dbg !6 {
11  ret void
12}
13
14!llvm.dbg.cu = !{!4}
15!llvm.module.flags = !{!0, !1}
16
17!0 = !{i32 2, !"Dwarf Version", i32 5}
18!1 = !{i32 2, !"Debug Info Version", i32 3}
19
20!2 = !DIFile(filename: "foo.c", directory: "dir", source: "void foo() { }\0A")
21; CHECK: inconsistent use of embedded source
22; CHECK: warning: ignoring invalid debug info
23!3 = !DIFile(filename: "bar.h", directory: "dir")
24
25!4 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2)
26!5 = distinct !DISubprogram(name: "foo", file: !2, unit: !4)
27!6 = distinct !DISubprogram(name: "bar", file: !3, unit: !4)
28