| 1 | // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=false %s 2>&1 | FileCheck -check-prefixes=CHECK,WARNINGS %s |
|---|
| 2 | // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=true %s 2>&1 | FileCheck -check-prefixes=CHECK,ANALYZER %s |
|---|
| 3 | |
|---|
| 4 | // This file tests how we construct two different flavors of the Clang CFG - |
|---|
| 5 | // the CFG used by the Sema analysis-based warnings and the CFG used by the |
|---|
| 6 | // static analyzer. The difference in the behavior is checked via FileCheck |
|---|
| 7 | // prefixes (WARNINGS and ANALYZER respectively). When introducing new analyzer |
|---|
| 8 | // flags, no new run lines should be added - just these flags would go to the |
|---|
| 9 | // respective line depending on where is it turned on and where is it turned |
|---|
| 10 | // off. Feel free to add tests that test only one of the CFG flavors if you're |
|---|
| 11 | // not sure how the other flavor is supposed to work in your case. |
|---|
| 12 | |
|---|
| 13 | class A { |
|---|
| 14 | public: |
|---|
| 15 | A() {} |
|---|
| 16 | A(int i) {} |
|---|
| 17 | }; |
|---|
| 18 | |
|---|
| 19 | class B : public virtual A { |
|---|
| 20 | public: |
|---|
| 21 | B() {} |
|---|
| 22 | B(int i) : A(i) {} |
|---|
| 23 | }; |
|---|
| 24 | |
|---|
| 25 | class C : public virtual A { |
|---|
| 26 | public: |
|---|
| 27 | C() {} |
|---|
| 28 | C(int i) : A(i) {} |
|---|
| 29 | }; |
|---|
| 30 | |
|---|
| 31 | class TestOrder : public C, public B, public A { |
|---|
| 32 | int i; |
|---|
| 33 | int& r; |
|---|
| 34 | public: |
|---|
| 35 | TestOrder(); |
|---|
| 36 | }; |
|---|
| 37 | |
|---|
| 38 | TestOrder::TestOrder() |
|---|
| 39 | : r(i), B(), i(), C() { |
|---|
| 40 | A a; |
|---|
| 41 | } |
|---|
| 42 | |
|---|
| 43 | class TestControlFlow { |
|---|
| 44 | int x, y, z; |
|---|
| 45 | public: |
|---|
| 46 | TestControlFlow(bool b); |
|---|
| 47 | }; |
|---|
| 48 | |
|---|
| 49 | TestControlFlow::TestControlFlow(bool b) |
|---|
| 50 | : y(b ? 0 : 1) |
|---|
| 51 | , x(0) |
|---|
| 52 | , z(y) { |
|---|
| 53 | int v; |
|---|
| 54 | } |
|---|
| 55 | |
|---|
| 56 | class TestDelegating { |
|---|
| 57 | int x, z; |
|---|
| 58 | public: |
|---|
| 59 | TestDelegating() : TestDelegating(2, 3) {} |
|---|
| 60 | TestDelegating(int x, int z) : x(x), z(z) {} |
|---|
| 61 | }; |
|---|
| 62 | |
|---|
| 63 | // CHECK: [B2 (ENTRY)] |
|---|
| 64 | // CHECK: Succs (1): B1 |
|---|
| 65 | // CHECK: [B1] |
|---|
| 66 | // WARNINGS: 1: (CXXConstructExpr, class A) |
|---|
| 67 | // ANALYZER: 1: (CXXConstructExpr, A() (Base initializer), class A) |
|---|
| 68 | // CHECK: 2: A([B1.1]) (Base initializer) |
|---|
| 69 | // WARNINGS: 3: (CXXConstructExpr, class C) |
|---|
| 70 | // ANALYZER: 3: (CXXConstructExpr, C() (Base initializer), class C) |
|---|
| 71 | // CHECK: 4: C([B1.3]) (Base initializer) |
|---|
| 72 | // WARNINGS: 5: (CXXConstructExpr, class B) |
|---|
| 73 | // ANALYZER: 5: (CXXConstructExpr, B() (Base initializer), class B) |
|---|
| 74 | // CHECK: 6: B([B1.5]) (Base initializer) |
|---|
| 75 | // WARNINGS: 7: (CXXConstructExpr, class A) |
|---|
| 76 | // ANALYZER: 7: (CXXConstructExpr, A() (Base initializer), class A) |
|---|
| 77 | // CHECK: 8: A([B1.7]) (Base initializer) |
|---|
| 78 | // CHECK: 9: /*implicit*/(int)0 |
|---|
| 79 | // CHECK: 10: i([B1.9]) (Member initializer) |
|---|
| 80 | // CHECK: 11: this |
|---|
| 81 | // CHECK: 12: [B1.11]->i |
|---|
| 82 | // CHECK: 13: r([B1.12]) (Member initializer) |
|---|
| 83 | // WARNINGS: 14: (CXXConstructExpr, class A) |
|---|
| 84 | // ANALYZER: 14: (CXXConstructExpr, [B1.15], class A) |
|---|
| 85 | // CHECK: 15: A a; |
|---|
| 86 | // CHECK: Preds (1): B2 |
|---|
| 87 | // CHECK: Succs (1): B0 |
|---|
| 88 | // CHECK: [B0 (EXIT)] |
|---|
| 89 | // CHECK: Preds (1): B1 |
|---|
| 90 | // CHECK: [B5 (ENTRY)] |
|---|
| 91 | // CHECK: Succs (1): B4 |
|---|
| 92 | // CHECK: [B1] |
|---|
| 93 | // CHECK: 1: [B4.4] ? [B2.1] : [B3.1] |
|---|
| 94 | // CHECK: 2: y([B1.1]) (Member initializer) |
|---|
| 95 | // CHECK: 3: this |
|---|
| 96 | // CHECK: 4: [B1.3]->y |
|---|
| 97 | // CHECK: 5: [B1.4] (ImplicitCastExpr, LValueToRValue, int) |
|---|
| 98 | // CHECK: 6: z([B1.5]) (Member initializer) |
|---|
| 99 | // CHECK: 7: int v; |
|---|
| 100 | // CHECK: Preds (2): B2 B3 |
|---|
| 101 | // CHECK: Succs (1): B0 |
|---|
| 102 | // CHECK: [B2] |
|---|
| 103 | // CHECK: 1: 0 |
|---|
| 104 | // CHECK: Preds (1): B4 |
|---|
| 105 | // CHECK: Succs (1): B1 |
|---|
| 106 | // CHECK: [B3] |
|---|
| 107 | // CHECK: 1: 1 |
|---|
| 108 | // CHECK: Preds (1): B4 |
|---|
| 109 | // CHECK: Succs (1): B1 |
|---|
| 110 | // CHECK: [B4] |
|---|
| 111 | // CHECK: 1: 0 |
|---|
| 112 | // CHECK: 2: x([B4.1]) (Member initializer) |
|---|
| 113 | // CHECK: 3: b |
|---|
| 114 | // CHECK: 4: [B4.3] (ImplicitCastExpr, LValueToRValue, _Bool) |
|---|
| 115 | // CHECK: T: [B4.4] ? ... : ... |
|---|
| 116 | // CHECK: Preds (1): B5 |
|---|
| 117 | // CHECK: Succs (2): B2 B3 |
|---|
| 118 | // CHECK: [B0 (EXIT)] |
|---|
| 119 | // CHECK: Preds (1): B1 |
|---|
| 120 | // CHECK: [B2 (ENTRY)] |
|---|
| 121 | // CHECK: Succs (1): B1 |
|---|
| 122 | // CHECK: [B1] |
|---|
| 123 | // CHECK: 1: 2 |
|---|
| 124 | // CHECK: 2: 3 |
|---|
| 125 | // WARNINGS: 3: [B1.1], [B1.2] (CXXConstructExpr, class TestDelegating) |
|---|
| 126 | // ANALYZER: 3: [B1.1], [B1.2] (CXXConstructExpr, TestDelegating([B1.1], [B1.2]) (Delegating initializer), class TestDelegating) |
|---|
| 127 | // CHECK: 4: TestDelegating([B1.3]) (Delegating initializer) |
|---|
| 128 | // CHECK: Preds (1): B2 |
|---|
| 129 | // CHECK: Succs (1): B0 |
|---|
| 130 | // CHECK: [B0 (EXIT)] |
|---|
| 131 | // CHECK: Preds (1): B1 |
|---|
| 132 | |
|---|