From a39b1ce61f91a2543ee1735fe6f83045ac7c65f4 Mon Sep 17 00:00:00 2001 From: Justin Bogner Date: Fri, 17 Feb 2017 23:57:42 +0000 Subject: Verifier: Disallow a line number without a file in DISubprogram A line number doesn't make much sense if you don't say where it's from. Add a verifier check for this and update some tests that had bogus debug info. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@295516 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/ThinLTO/X86/crash_debuginfo.ll | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'test/ThinLTO/X86') diff --git a/test/ThinLTO/X86/crash_debuginfo.ll b/test/ThinLTO/X86/crash_debuginfo.ll index 31b55fb4f9e..8638c24d082 100644 --- a/test/ThinLTO/X86/crash_debuginfo.ll +++ b/test/ThinLTO/X86/crash_debuginfo.ll @@ -41,6 +41,5 @@ declare void @bar(i32) !14 = !DILocalVariable(name: "caster", scope: !9, file: !1, line: 728, type: !15) !15 = distinct !DICompositeType(tag: DW_TAG_union_type, scope: !9, file: !1, line: 728, size: 64, align: 64, elements: !6, identifier: "someclass") !16 = distinct !DILocation(line: 87, column: 9, scope: !17) -!17 = distinct !DISubprogram(name: "foo", linkageName: "foo", scope: !10, line: 73, type: !11, isLocal: false, isDefinition: true, scopeLine: 74, flags: DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !18, variables: !6) +!17 = distinct !DISubprogram(name: "foo", linkageName: "foo", scope: !10, file: !1, line: 73, type: !11, isLocal: false, isDefinition: true, scopeLine: 74, flags: DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !18, variables: !6) !18 = !DISubprogram(name: "foo", linkageName: "foo", scope: !10, file: !1, line: 83, type: !11, isLocal: false, isDefinition: false, scopeLine: 83, flags: DIFlagPrototyped, isOptimized: true) - -- cgit v1.2.3