1 // RUN: %clang_cc1 -O1 -triple x86_64-none-linux-gnu -emit-llvm -debug-info-kind=line-tables-only %s -o - | FileCheck %s
2 // RUN: %clang_cc1 -O1 -triple x86_64-none-linux-gnu -emit-llvm -debug-info-kind=line-directives-only %s -o - | FileCheck %s
3 
4 // Inserting lifetime markers should not affect debuginfo: lifetime.end is not
5 // a destructor, but instrumentation for the compiler. Ensure the debug info for
6 // the return statement (in the IR) does not point to the function closing '}'
7 // which is used to show some destructors have been called before leaving the
8 // function.
9 
10 extern int f(int);
11 extern int g(int);
12 
13 // CHECK-LABEL: define i32 @test
14 int test(int a, int b) {
15   int res;
16 
17   if (a==2) {
18     int r = f(b);
19     res = r + b;
20     a += 2;
21   } else {
22     int r = f(a);
23     res = r + a;
24     b += 1;
25   }
26 
27   return res;
28 // CHECK: ret i32 %{{.*}}, !dbg [[DI:![0-9]+]]
29 // CHECK: [[DI]] = !DILocation(line: [[@LINE-2]]
30 }
31