diff options
author | Marcin Swiderski <marcin.sfider@gmail.com> | 2010-10-04 03:38:22 +0000 |
---|---|---|
committer | Marcin Swiderski <marcin.sfider@gmail.com> | 2010-10-04 03:38:22 +0000 |
commit | 82bc3fd823d85ee3ef9a641c0975b6ad25f55047 (patch) | |
tree | 34ad12e586bc195f149cd1d0a131fa00a472ca22 /test/Analysis/initializers-cfg-output.cpp | |
parent | 374677ce3f4b09678c711b8ce4e7722a0898f048 (diff) |
Added support for C++ initializers in CFG.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115493 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/initializers-cfg-output.cpp')
-rw-r--r-- | test/Analysis/initializers-cfg-output.cpp | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/test/Analysis/initializers-cfg-output.cpp b/test/Analysis/initializers-cfg-output.cpp new file mode 100644 index 0000000000..0396c47c10 --- /dev/null +++ b/test/Analysis/initializers-cfg-output.cpp @@ -0,0 +1,89 @@ +// RUN: %clang_cc1 -analyze -cfg-dump -cfg-add-initializers %s 2>&1 | FileCheck %s +// XPASS: * + +class A { +public: + A() {} + A(int i) {} +}; + +class B : public virtual A { +public: + B() {} + B(int i) : A(i) {} +}; + +class C : public virtual A { +public: + C() {} + C(int i) : A(i) {} +}; + +class TestOrder : public C, public B, public A { + int i; + int& r; +public: + TestOrder(); +}; + +TestOrder::TestOrder() + : r(i), B(), i(), C() { + A a; +} + +class TestControlFlow { + int x, y, z; +public: + TestControlFlow(bool b); +}; + +TestControlFlow::TestControlFlow(bool b) + : y(b ? 0 : 1) + , x(0) + , z(y) { + int v; +} + +// CHECK: [ B2 (ENTRY) ] +// CHECK: Predecessors (0): +// CHECK: Successors (1): B1 +// CHECK: [ B1 ] +// CHECK: 1: A() (Base initializer) +// CHECK: 2: C() (Base initializer) +// CHECK: 3: B() (Base initializer) +// CHECK: 4: A() (Base initializer) +// CHECK: 5: i(/*implicit*/int()) (Member initializer) +// CHECK: 6: r(this->i) (Member initializer) +// CHECK: 7: A a; +// CHECK: Predecessors (1): B2 +// CHECK: Successors (1): B0 +// CHECK: [ B0 (EXIT) ] +// CHECK: Predecessors (1): B1 +// CHECK: Successors (0): +// CHECK: [ B5 (ENTRY) ] +// CHECK: Predecessors (0): +// CHECK: Successors (1): B4 +// CHECK: [ B1 ] +// CHECK: 1: [B4.2] ? [B2.1] : [B3.1] +// CHECK: 2: y([B1.1]) (Member initializer) +// CHECK: 3: z(this->y) (Member initializer) +// CHECK: 4: int v; +// CHECK: Predecessors (2): B2 B3 +// CHECK: Successors (1): B0 +// CHECK: [ B2 ] +// CHECK: 1: 0 +// CHECK: Predecessors (1): B4 +// CHECK: Successors (1): B1 +// CHECK: [ B3 ] +// CHECK: 1: 1 +// CHECK: Predecessors (1): B4 +// CHECK: Successors (1): B1 +// CHECK: [ B4 ] +// CHECK: 1: x(0) (Member initializer) +// CHECK: 2: b +// CHECK: T: [B4.2] ? ... : ... +// CHECK: Predecessors (1): B5 +// CHECK: Successors (2): B2 B3 +// CHECK: [ B0 (EXIT) ] +// CHECK: Predecessors (1): B1 +// CHECK: Successors (0): |