1 // RUN: %clang_cc1 -emit-llvm -g -triple x86_64-apple-darwin10 %s -o - | FileCheck %s
2 
3 // Check the line numbers for cleanup code with EH in combination with
4 // simple return expressions.
5 
6 // CHECK: define {{.*}}foo
7 // CHECK: call void @_ZN1CD1Ev(%class.C* {{.*}}), !dbg ![[CLEANUP:[0-9]+]]
8 // CHECK: ret i32 0, !dbg ![[RET:[0-9]+]]
9 
10 // CHECK: define {{.*}}bar
11 // CHECK: ret void, !dbg ![[RETBAR:[0-9]+]]
12 
13 // CHECK: define {{.*}}baz
14 // CHECK: ret void, !dbg ![[RETBAZ:[0-9]+]]
15 
16 class C {
17 public:
18   ~C() {}
19   int i;
20 };
21 
22 int foo()
23 {
24   C c;
25   c.i = 42;
26   // This breakpoint should be at/before the cleanup code.
27   // CHECK: ![[CLEANUP]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
28   return 0;
29   // CHECK: ![[RET]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
30 }
31 
32 void bar()
33 {
34   if (!foo())
35     // CHECK: {{.*}} = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
36     return;
37 
38   if (foo()) {
39     C c;
40     c.i = foo();
41   }
42   // Clang creates only a single ret instruction. Make sure it is at a useful line.
43   // CHECK: ![[RETBAR]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
44 }
45 
46 void baz()
47 {
48   if (!foo())
49     // CHECK: {{.*}} = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
50     return;
51 
52   if (foo()) {
53     // no cleanup
54     // CHECK: {{.*}} = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
55     return;
56   }
57   // CHECK: ![[RETBAZ]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
58 }
59