linetable-cleanup.cpp revision 176edba5311f6eff0cad2631449885ddf4fbc9ea 
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
16class C {
17public:
18  ~C() {}
19  int i;
20};
21
22int 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
32void 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
46void baz()
47{
48  if (!foo())
49    // CHECK: ![[SCOPE1:.*]] = metadata !{metadata !"0xb\00[[@LINE-1]]\00{{.*}}", {{.*}} ; [ DW_TAG_lexical_block ]
50    // CHECK: {{.*}} = metadata !{i32 [[@LINE+1]], i32 0, metadata ![[SCOPE1]], null}
51    return;
52
53  if (foo()) {
54    // no cleanup
55    // CHECK: {{.*}} = metadata !{i32 [[@LINE+2]], i32 0, metadata ![[SCOPE2:.*]], null}
56    // CHECK: ![[SCOPE2]] = metadata !{metadata !"0xb\00[[@LINE-3]]\00{{.*}}", {{.*}} ; [ DW_TAG_lexical_block ]
57    return;
58  }
59  // CHECK: ![[RETBAZ]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
60}
61