|  | ; RUN: llvm-as < %s 2>&1 >/dev/null | FileCheck %s | 
|  |  | 
|  | ; Ensure we reject debug info where the DIFiles of a DICompileUnit mix source | 
|  | ; and no-source. | 
|  |  | 
|  | define dso_local void @foo() !dbg !5 { | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define dso_local void @bar() !dbg !6 { | 
|  | ret void | 
|  | } | 
|  |  | 
|  | !llvm.dbg.cu = !{!4} | 
|  | !llvm.module.flags = !{!0, !1} | 
|  |  | 
|  | !0 = !{i32 2, !"Dwarf Version", i32 5} | 
|  | !1 = !{i32 2, !"Debug Info Version", i32 3} | 
|  |  | 
|  | !2 = !DIFile(filename: "foo.c", directory: "dir", source: "void foo() { }\0A") | 
|  | ; CHECK: inconsistent use of embedded source | 
|  | ; CHECK: warning: ignoring invalid debug info | 
|  | !3 = !DIFile(filename: "bar.h", directory: "dir") | 
|  |  | 
|  | !4 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2) | 
|  | !5 = distinct !DISubprogram(name: "foo", file: !2, unit: !4) | 
|  | !6 = distinct !DISubprogram(name: "bar", file: !3, unit: !4) |