forked from OSchip/llvm-project
152 lines
3.9 KiB
C++
152 lines
3.9 KiB
C++
|
// RUN: %clang_cc1 -analyze -cfg-dump -cfg-add-implicit-dtors %s 2>&1 | FileCheck %s
|
||
|
|
// XPASS: *
|
||
|
|
|
||
|
|
class A {
|
||
|
|
public:
|
||
|
|
A() {}
|
||
|
|
~A() {}
|
||
|
|
operator int() const { return 1; }
|
||
|
|
};
|
||
|
|
|
||
|
|
extern const bool UV;
|
||
|
|
|
||
|
|
void test_const_ref() {
|
||
|
|
A a;
|
||
|
|
const A& b = a;
|
||
|
|
const A& c = A();
|
||
|
|
}
|
||
|
|
|
||
|
|
void test_scope() {
|
||
|
|
A a;
|
||
|
|
{ A c;
|
||
|
|
A d;
|
||
|
|
}
|
||
|
|
A b;
|
||
|
|
}
|
||
|
|
|
||
|
|
void test_return() {
|
||
|
|
A a;
|
||
|
|
A b;
|
||
|
|
if (UV) return;
|
||
|
|
A c;
|
||
|
|
}
|
||
|
|
|
||
|
|
void test_goto() {
|
||
|
|
A a;
|
||
|
|
l0:
|
||
|
|
A b;
|
||
|
|
{ A a;
|
||
|
|
if (UV) goto l0;
|
||
|
|
if (UV) goto l1;
|
||
|
|
A b;
|
||
|
|
}
|
||
|
|
l1:
|
||
|
|
A c;
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK: [ B2 (ENTRY) ]
|
||
|
|
// CHECK: Predecessors (0):
|
||
|
|
// CHECK: Successors (1): B1
|
||
|
|
// CHECK: [ B1 ]
|
||
|
|
// CHECK: 1: A a;
|
||
|
|
// CHECK: 2: const A &b = a;
|
||
|
|
// CHECK: 3: const A &c = A();
|
||
|
|
// CHECK: 4: [B1.3].~A() (Implicit destructor)
|
||
|
|
// CHECK: 5: [B1.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: Predecessors (1): B2
|
||
|
|
// CHECK: Successors (1): B0
|
||
|
|
// CHECK: [ B0 (EXIT) ]
|
||
|
|
// CHECK: Predecessors (1): B1
|
||
|
|
// CHECK: Successors (0):
|
||
|
|
// CHECK: [ B2 (ENTRY) ]
|
||
|
|
// CHECK: Predecessors (0):
|
||
|
|
// CHECK: Successors (1): B1
|
||
|
|
// CHECK: [ B1 ]
|
||
|
|
// CHECK: 1: A a;
|
||
|
|
// CHECK: 2: A c;
|
||
|
|
// CHECK: 3: A d;
|
||
|
|
// CHECK: 4: [B1.3].~A() (Implicit destructor)
|
||
|
|
// CHECK: 5: [B1.2].~A() (Implicit destructor)
|
||
|
|
// CHECK: 6: A b;
|
||
|
|
// CHECK: 7: [B1.6].~A() (Implicit destructor)
|
||
|
|
// CHECK: 8: [B1.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: Predecessors (1): B2
|
||
|
|
// CHECK: Successors (1): B0
|
||
|
|
// CHECK: [ B0 (EXIT) ]
|
||
|
|
// CHECK: Predecessors (1): B1
|
||
|
|
// CHECK: Successors (0):
|
||
|
|
// CHECK: [ B4 (ENTRY) ]
|
||
|
|
// CHECK: Predecessors (0):
|
||
|
|
// CHECK: Successors (1): B3
|
||
|
|
// CHECK: [ B1 ]
|
||
|
|
// CHECK: 1: A c;
|
||
|
|
// CHECK: 2: [B1.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: 3: [B3.2].~A() (Implicit destructor)
|
||
|
|
// CHECK: 4: [B3.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: Predecessors (1): B3
|
||
|
|
// CHECK: Successors (1): B0
|
||
|
|
// CHECK: [ B2 ]
|
||
|
|
// CHECK: 1: return;
|
||
|
|
// CHECK: 2: [B3.2].~A() (Implicit destructor)
|
||
|
|
// CHECK: 3: [B3.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: Predecessors (1): B3
|
||
|
|
// CHECK: Successors (1): B0
|
||
|
|
// CHECK: [ B3 ]
|
||
|
|
// CHECK: 1: A a;
|
||
|
|
// CHECK: 2: A b;
|
||
|
|
// CHECK: 3: UV
|
||
|
|
// CHECK: T: if [B3.3]
|
||
|
|
// CHECK: Predecessors (1): B4
|
||
|
|
// CHECK: Successors (2): B2 B1
|
||
|
|
// CHECK: [ B0 (EXIT) ]
|
||
|
|
// CHECK: Predecessors (2): B1 B2
|
||
|
|
// CHECK: Successors (0):
|
||
|
|
// CHECK: [ B8 (ENTRY) ]
|
||
|
|
// CHECK: Predecessors (0):
|
||
|
|
// CHECK: Successors (1): B7
|
||
|
|
// CHECK: [ B1 ]
|
||
|
|
// CHECK: l1:
|
||
|
|
// CHECK: 1: A c;
|
||
|
|
// CHECK: 2: [B1.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: 3: [B6.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: 4: [B7.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: Predecessors (2): B2 B3
|
||
|
|
// CHECK: Successors (1): B0
|
||
|
|
// CHECK: [ B2 ]
|
||
|
|
// CHECK: 1: A b;
|
||
|
|
// CHECK: 2: [B2.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: 3: [B6.2].~A() (Implicit destructor)
|
||
|
|
// CHECK: Predecessors (1): B4
|
||
|
|
// CHECK: Successors (1): B1
|
||
|
|
// CHECK: [ B3 ]
|
||
|
|
// CHECK: 1: [B6.2].~A() (Implicit destructor)
|
||
|
|
// CHECK: T: goto l1;
|
||
|
|
// CHECK: Predecessors (1): B4
|
||
|
|
// CHECK: Successors (1): B1
|
||
|
|
// CHECK: [ B4 ]
|
||
|
|
// CHECK: 1: UV
|
||
|
|
// CHECK: T: if [B4.1]
|
||
|
|
// CHECK: Predecessors (1): B6
|
||
|
|
// CHECK: Successors (2): B3 B2
|
||
|
|
// CHECK: [ B5 ]
|
||
|
|
// CHECK: 1: [B6.2].~A() (Implicit destructor)
|
||
|
|
// CHECK: 2: [B6.1].~A() (Implicit destructor)
|
||
|
|
// CHECK: T: goto l0;
|
||
|
|
// CHECK: Predecessors (1): B6
|
||
|
|
// CHECK: Successors (1): B6
|
||
|
|
// CHECK: [ B6 ]
|
||
|
|
// CHECK: l0:
|
||
|
|
// CHECK: 1: A b;
|
||
|
|
// CHECK: 2: A a;
|
||
|
|
// CHECK: 3: UV
|
||
|
|
// CHECK: T: if [B6.3]
|
||
|
|
// CHECK: Predecessors (2): B7 B5
|
||
|
|
// CHECK: Successors (2): B5 B4
|
||
|
|
// CHECK: [ B7 ]
|
||
|
|
// CHECK: 1: A a;
|
||
|
|
// CHECK: Predecessors (1): B8
|
||
|
|
// CHECK: Successors (1): B6
|
||
|
|
// CHECK: [ B0 (EXIT) ]
|
||
|
|
// CHECK: Predecessors (1): B1
|
||
|
|
// CHECK: Successors (0):
|