This is an archive of the discontinued LLVM Phabricator instance.

Differential D43481

[CFG] [analyzer] Add construction context when the constructor is being no-op-casted to a const value type.
ClosedPublic

Authored by NoQ on Feb 19 2018, 2:13 PM.

Details

Reviewers
dcoughlin
xazax.hun
a.sidorin
george.karpenkov
szepet
Commits
rG8cc55e9f16dd: [CFG] Provide construction contexts for temporaries bound to const references.
rL326016: [CFG] Provide construction contexts for temporaries bound to const references.
rC326016: [CFG] Provide construction contexts for temporaries bound to const references.
Summary

Because lifetime-extended temporaries are treated as const objects, an implicit NoOp cast to const usually surrounds them in the AST, somewhere between MaterializeTemporaryExpr and CXXBindTemporaryExpr. Skip the cast while looking for the construction context.

In the Analyzer this, again, is more useful for adding MaterializeTemporaryExpr to existing contexts (which are still to be used) than to finding more "top-level" contexts, because CXXBindTemporaryExpr is usually enough to provide some context, and if there's no CXXBindTemporaryExpr then we're having no destructors and we'd inline the constructor anyway. So there are no functional changes in the analyzer yet.

Diff Detail

Revision Contents

PathSize
lib/
Analysis/
3 lines
test/
Analysis/
2 lines
9 lines
41 lines

Diff 134967

lib/Analysis/CFG.cpp

Show First 20 Lines • Show All 1,164 Lines • ▼ Show 20 Lines if (const ConstructionContext *PreviousContext =
"Already within a different construction context!"); "Already within a different construction context!");
} else { } else {
ConstructionContextMap[CE] = ContextSoFar; ConstructionContextMap[CE] = ContextSoFar;
} }
} else if (auto *Cleanups = dyn_cast<ExprWithCleanups>(Child)) { } else if (auto *Cleanups = dyn_cast<ExprWithCleanups>(Child)) {
findConstructionContexts(ContextSoFar, Cleanups->getSubExpr()); findConstructionContexts(ContextSoFar, Cleanups->getSubExpr());
} else if (auto *Cast = dyn_cast<CXXFunctionalCastExpr>(Child)) { } else if (auto *Cast = dyn_cast<CXXFunctionalCastExpr>(Child)) {
findConstructionContexts(ContextSoFar, Cast->getSubExpr()); findConstructionContexts(ContextSoFar, Cast->getSubExpr());
} else if (auto *ImplicitCast = dyn_cast<ImplicitCastExpr>(Child)) {
if (ImplicitCast->getCastKind() == CK_NoOp)
findConstructionContexts(ContextSoFar, ImplicitCast->getSubExpr());
} else if (auto *BTE = dyn_cast<CXXBindTemporaryExpr>(Child)) { } else if (auto *BTE = dyn_cast<CXXBindTemporaryExpr>(Child)) {
findConstructionContexts( findConstructionContexts(
ConstructionContext::create(cfg->getBumpVectorContext(), BTE, ConstructionContext::create(cfg->getBumpVectorContext(), BTE,
ContextSoFar), ContextSoFar),
BTE->getSubExpr()); BTE->getSubExpr());
} }
} }
▲ Show 20 Lines • Show All 3,963 Lines • Show Last 20 Lines

test/Analysis/auto-obj-dtors-cfg-output.cpp

Show First 20 Lines • Show All 44 Lines • ▼ Show 20 Lines
// CHECK: [B1] // CHECK: [B1]
// WARNINGS-NEXT: 1: (CXXConstructExpr, class A) // WARNINGS-NEXT: 1: (CXXConstructExpr, class A)
// ANALYZER-NEXT: 1: (CXXConstructExpr, [B1.2], class A) // ANALYZER-NEXT: 1: (CXXConstructExpr, [B1.2], class A)
// CHECK-NEXT: 2: A a; // CHECK-NEXT: 2: A a;
// CHECK-NEXT: 3: a // CHECK-NEXT: 3: a
// CHECK-NEXT: 4: [B1.3] (ImplicitCastExpr, NoOp, const class A) // CHECK-NEXT: 4: [B1.3] (ImplicitCastExpr, NoOp, const class A)
// CHECK-NEXT: 5: const A &b = a; // CHECK-NEXT: 5: const A &b = a;
// WARNINGS-NEXT: 6: A() (CXXConstructExpr, class A) // WARNINGS-NEXT: 6: A() (CXXConstructExpr, class A)
// ANALYZER-NEXT: 6: A() (CXXConstructExpr, [B1.7], class A) // ANALYZER-NEXT: 6: A() (CXXConstructExpr, [B1.7], [B1.9], class A)
// CHECK-NEXT: 7: [B1.6] (BindTemporary) // CHECK-NEXT: 7: [B1.6] (BindTemporary)
// CHECK-NEXT: 8: [B1.7] (ImplicitCastExpr, NoOp, const class A) // CHECK-NEXT: 8: [B1.7] (ImplicitCastExpr, NoOp, const class A)
// CHECK-NEXT: 9: [B1.8] // CHECK-NEXT: 9: [B1.8]
// CHECK: 10: const A &c = A(); // CHECK: 10: const A &c = A();
// CHECK: 11: [B1.10].~A() (Implicit destructor) // CHECK: 11: [B1.10].~A() (Implicit destructor)
// CHECK: 12: [B1.2].~A() (Implicit destructor) // CHECK: 12: [B1.2].~A() (Implicit destructor)
// CHECK-NEXT: Preds (1): B2 // CHECK-NEXT: Preds (1): B2
// CHECK-NEXT: Succs (1): B0 // CHECK-NEXT: Succs (1): B0
▲ Show 20 Lines • Show All 864 Lines • Show Last 20 Lines

test/Analysis/cfg-rich-constructors.cpp

Show First 20 Lines • Show All 149 Lines • ▼ Show 20 Lines
// CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, NullToPointer, class C *) // CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, NullToPointer, class C *)
// CHECK-NEXT: 3: [B1.2] (CXXConstructExpr, [B1.4], const class C) // CHECK-NEXT: 3: [B1.2] (CXXConstructExpr, [B1.4], const class C)
// CHECK-NEXT: 4: [B1.3] // CHECK-NEXT: 4: [B1.3]
// CHECK-NEXT: 5: const C &c(0); // CHECK-NEXT: 5: const C &c(0);
void referenceVariableWithConstructor() { void referenceVariableWithConstructor() {
const C &c(0); const C &c(0);
} }
// TODO: Should find construction target here.
// CHECK: void referenceVariableWithInitializer() // CHECK: void referenceVariableWithInitializer()
// CHECK: 1: C() (CXXConstructExpr, class C) // CHECK: 1: C() (CXXConstructExpr, [B1.3], class C)
// CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, NoOp, const class C) // CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, NoOp, const class C)
// CHECK-NEXT: 3: [B1.2] // CHECK-NEXT: 3: [B1.2]
// CHECK-NEXT: 4: const C &c = C(); // CHECK-NEXT: 4: const C &c = C();
void referenceVariableWithInitializer() { void referenceVariableWithInitializer() {
const C &c = C(); const C &c = C();
} }
// TODO: Should find construction targets for the elidable constructors as well. // TODO: Should find construction targets for the elidable constructors as well.
▲ Show 20 Lines • Show All 161 Lines • ▼ Show 20 Lines
class D { class D {
public: public:
D(); D();
~D(); ~D();
}; };
// CHECK: return_stmt_with_dtor::D returnTemporary() // CHECK: return_stmt_with_dtor::D returnTemporary()
// CHECK: 1: return_stmt_with_dtor::D() (CXXConstructExpr, [B1.2], class return_stmt_with_dtor::D) // CHECK: 1: return_stmt_with_dtor::D() (CXXConstructExpr, [B1.2], [B1.4], class return_stmt_with_dtor::D)
// CHECK-NEXT: 2: [B1.1] (BindTemporary) // CHECK-NEXT: 2: [B1.1] (BindTemporary)
// CHECK-NEXT: 3: [B1.2] (ImplicitCastExpr, NoOp, const class return_stmt_with_dtor::D) // CHECK-NEXT: 3: [B1.2] (ImplicitCastExpr, NoOp, const class return_stmt_with_dtor::D)
// CHECK-NEXT: 4: [B1.3] // CHECK-NEXT: 4: [B1.3]
// CHECK-NEXT: 5: [B1.4] (CXXConstructExpr, [B1.7], class return_stmt_with_dtor::D) // CHECK-NEXT: 5: [B1.4] (CXXConstructExpr, [B1.7], class return_stmt_with_dtor::D)
// CHECK-NEXT: 6: ~return_stmt_with_dtor::D() (Temporary object destructor) // CHECK-NEXT: 6: ~return_stmt_with_dtor::D() (Temporary object destructor)
// CHECK-NEXT: 7: return [B1.5]; // CHECK-NEXT: 7: return [B1.5];
D returnTemporary() { D returnTemporary() {
return D(); return D();
▲ Show 20 Lines • Show All 66 Lines • ▼ Show 20 Lines
// CHECK-NEXT: 4: [B1.3] // CHECK-NEXT: 4: [B1.3]
// CHECK-NEXT: 5: const temporary_object_expr_with_dtors::D &d(0); // CHECK-NEXT: 5: const temporary_object_expr_with_dtors::D &d(0);
// CHECK-NEXT: 6: [B1.5].~D() (Implicit destructor) // CHECK-NEXT: 6: [B1.5].~D() (Implicit destructor)
void referenceVariableWithConstructor() { void referenceVariableWithConstructor() {
const D &d(0); const D &d(0);
} }
// CHECK: void referenceVariableWithInitializer() // CHECK: void referenceVariableWithInitializer()
// CHECK: 1: temporary_object_expr_with_dtors::D() (CXXConstructExpr, [B1.2], class temporary_object_expr_with_dtors::D) // CHECK: 1: temporary_object_expr_with_dtors::D() (CXXConstructExpr, [B1.2], [B1.4], class temporary_object_expr_with_dtors::D)
// CHECK-NEXT: 2: [B1.1] (BindTemporary) // CHECK-NEXT: 2: [B1.1] (BindTemporary)
// CHECK-NEXT: 3: [B1.2] (ImplicitCastExpr, NoOp, const class temporary_object_expr_with_dtors::D) // CHECK-NEXT: 3: [B1.2] (ImplicitCastExpr, NoOp, const class temporary_object_expr_with_dtors::D)
// CHECK-NEXT: 4: [B1.3] // CHECK-NEXT: 4: [B1.3]
// CHECK-NEXT: 5: const temporary_object_expr_with_dtors::D &d = temporary_object_expr_with_dtors::D(); // CHECK-NEXT: 5: const temporary_object_expr_with_dtors::D &d = temporary_object_expr_with_dtors::D();
// CHECK-NEXT: 6: [B1.5].~D() (Implicit destructor) // CHECK-NEXT: 6: [B1.5].~D() (Implicit destructor)
void referenceVariableWithInitializer() { void referenceVariableWithInitializer() {
const D &d = D(); const D &d = D();
} }
Show All 11 Lines
// CHECK-NEXT: 3: [B5.2]() // CHECK-NEXT: 3: [B5.2]()
// CHECK-NEXT: 4: [B5.3] (BindTemporary) // CHECK-NEXT: 4: [B5.3] (BindTemporary)
// CHECK-NEXT: 5: [B5.4] (ImplicitCastExpr, NoOp, const class temporary_object_expr_with_dtors::D) // CHECK-NEXT: 5: [B5.4] (ImplicitCastExpr, NoOp, const class temporary_object_expr_with_dtors::D)
// CHECK-NEXT: 6: [B5.5] // CHECK-NEXT: 6: [B5.5]
// CHECK-NEXT: 7: [B5.6] (CXXConstructExpr, [B5.8], class temporary_object_expr_with_dtors::D) // CHECK-NEXT: 7: [B5.6] (CXXConstructExpr, [B5.8], class temporary_object_expr_with_dtors::D)
// CHECK-NEXT: 8: [B5.7] (BindTemporary) // CHECK-NEXT: 8: [B5.7] (BindTemporary)
// CHECK: [B6] // CHECK: [B6]
// CHECK-NEXT: 1: 0 // CHECK-NEXT: 1: 0
// CHECK-NEXT: 2: [B6.1] (CXXConstructExpr, [B6.3], class temporary_object_expr_with_dtors::D) // CHECK-NEXT: 2: [B6.1] (CXXConstructExpr, [B6.3], [B6.6], class temporary_object_expr_with_dtors::D)
// CHECK-NEXT: 3: [B6.2] (BindTemporary) // CHECK-NEXT: 3: [B6.2] (BindTemporary)
// CHECK-NEXT: 4: temporary_object_expr_with_dtors::D([B6.3]) (CXXFunctionalCastExpr, ConstructorConversion, class temporary_object_expr_with_dtors::D) // CHECK-NEXT: 4: temporary_object_expr_with_dtors::D([B6.3]) (CXXFunctionalCastExpr, ConstructorConversion, class temporary_object_expr_with_dtors::D)
// CHECK-NEXT: 5: [B6.4] (ImplicitCastExpr, NoOp, const class temporary_object_expr_with_dtors::D) // CHECK-NEXT: 5: [B6.4] (ImplicitCastExpr, NoOp, const class temporary_object_expr_with_dtors::D)
// CHECK-NEXT: 6: [B6.5] // CHECK-NEXT: 6: [B6.5]
// CHECK-NEXT: 7: [B6.6] (CXXConstructExpr, [B6.8], class temporary_object_expr_with_dtors::D) // CHECK-NEXT: 7: [B6.6] (CXXConstructExpr, [B6.8], class temporary_object_expr_with_dtors::D)
// CHECK-NEXT: 8: [B6.7] (BindTemporary) // CHECK-NEXT: 8: [B6.7] (BindTemporary)
// CHECK: [B7] // CHECK: [B7]
// CHECK-NEXT: 1: coin // CHECK-NEXT: 1: coin
Show All 18 Lines

test/Analysis/temp-obj-dtors-cfg-output.cpp

Show First 20 Lines • Show All 211 Lines • ▼ Show 20 Lines
// CHECK: [B1 (ENTRY)] // CHECK: [B1 (ENTRY)]
// CHECK: Succs (1): B0 // CHECK: Succs (1): B0
// CHECK: [B0 (EXIT)] // CHECK: [B0 (EXIT)]
// CHECK: Preds (1): B1 // CHECK: Preds (1): B1
// CHECK: [B2 (ENTRY)] // CHECK: [B2 (ENTRY)]
// CHECK: Succs (1): B1 // CHECK: Succs (1): B1
// CHECK: [B1] // CHECK: [B1]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B1.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B1.2], [B1.4], class A)
// CHECK: 2: [B1.1] (BindTemporary) // CHECK: 2: [B1.1] (BindTemporary)
// CHECK: 3: [B1.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B1.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B1.3] // CHECK: 4: [B1.3]
// WARNINGS: 5: [B1.4] (CXXConstructExpr, class A) // WARNINGS: 5: [B1.4] (CXXConstructExpr, class A)
// ANALYZER: 5: [B1.4] (CXXConstructExpr, [B1.7], class A) // ANALYZER: 5: [B1.4] (CXXConstructExpr, [B1.7], class A)
// CHECK: 6: ~A() (Temporary object destructor) // CHECK: 6: ~A() (Temporary object destructor)
// CHECK: 7: return [B1.5]; // CHECK: 7: return [B1.5];
// CHECK: Preds (1): B2 // CHECK: Preds (1): B2
▲ Show 20 Lines • Show All 43 Lines • ▼ Show 20 Lines
// CHECK: Preds (1): B2 // CHECK: Preds (1): B2
// CHECK: Succs (1): B0 // CHECK: Succs (1): B0
// CHECK: [B0 (EXIT)] // CHECK: [B0 (EXIT)]
// CHECK: Preds (1): B1 // CHECK: Preds (1): B1
// CHECK: [B2 (ENTRY)] // CHECK: [B2 (ENTRY)]
// CHECK: Succs (1): B1 // CHECK: Succs (1): B1
// CHECK: [B1] // CHECK: [B1]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B1.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B1.2], [B1.4], class A)
// CHECK: 2: [B1.1] (BindTemporary) // CHECK: 2: [B1.1] (BindTemporary)
// CHECK: 3: [B1.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B1.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B1.3] // CHECK: 4: [B1.3]
// WARNINGS: 5: [B1.4] (CXXConstructExpr, class A) // WARNINGS: 5: [B1.4] (CXXConstructExpr, class A)
// ANALYZER: 5: [B1.4] (CXXConstructExpr, [B1.7], class A) // ANALYZER: 5: [B1.4] (CXXConstructExpr, [B1.7], class A)
// CHECK: 6: ~A() (Temporary object destructor) // CHECK: 6: ~A() (Temporary object destructor)
// CHECK: 7: return [B1.5]; // CHECK: 7: return [B1.5];
// CHECK: Preds (1): B2 // CHECK: Preds (1): B2
▲ Show 20 Lines • Show All 238 Lines • ▼ Show 20 Lines
// WARNINGS: 4: [B7.3] (CXXConstructExpr, class A) // WARNINGS: 4: [B7.3] (CXXConstructExpr, class A)
// ANALYZER: 4: [B7.3] (CXXConstructExpr, [B7.5], class A) // ANALYZER: 4: [B7.3] (CXXConstructExpr, [B7.5], class A)
// CHECK: 5: A a = B() ? A() : A(B()); // CHECK: 5: A a = B() ? A() : A(B());
// CHECK: T: (Temp Dtor) [B9.2] // CHECK: T: (Temp Dtor) [B9.2]
// CHECK: Preds (2): B8 B9 // CHECK: Preds (2): B8 B9
// CHECK: Succs (2): B6 B5 // CHECK: Succs (2): B6 B5
// CHECK: [B8] // CHECK: [B8]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B8.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B8.2], [B8.4], class A)
// CHECK: 2: [B8.1] (BindTemporary) // CHECK: 2: [B8.1] (BindTemporary)
// CHECK: 3: [B8.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B8.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B8.3] // CHECK: 4: [B8.3]
// WARNINGS: 5: [B8.4] (CXXConstructExpr, class A) // WARNINGS: 5: [B8.4] (CXXConstructExpr, class A)
// ANALYZER: 5: [B8.4] (CXXConstructExpr, [B8.6], class A) // ANALYZER: 5: [B8.4] (CXXConstructExpr, [B8.6], class A)
// CHECK: 6: [B8.5] (BindTemporary) // CHECK: 6: [B8.5] (BindTemporary)
// CHECK: Preds (1): B10 // CHECK: Preds (1): B10
// CHECK: Succs (1): B7 // CHECK: Succs (1): B7
// CHECK: [B9] // CHECK: [B9]
// WARNINGS: 1: B() (CXXConstructExpr, class B) // WARNINGS: 1: B() (CXXConstructExpr, class B)
// ANALYZER: 1: B() (CXXConstructExpr, [B9.2], class B) // ANALYZER: 1: B() (CXXConstructExpr, [B9.2], class B)
// CHECK: 2: [B9.1] (BindTemporary) // CHECK: 2: [B9.1] (BindTemporary)
// CHECK: 3: [B9.2].operator A // CHECK: 3: [B9.2].operator A
// CHECK: 4: [B9.2] // CHECK: 4: [B9.2]
// CHECK: 5: [B9.4] (ImplicitCastExpr, UserDefinedConversion, class A) // CHECK: 5: [B9.4] (ImplicitCastExpr, UserDefinedConversion, class A)
// CHECK: 6: [B9.5] (BindTemporary) // CHECK: 6: [B9.5] (BindTemporary)
// CHECK: 7: [B9.6] (ImplicitCastExpr, NoOp, const class A) // CHECK: 7: [B9.6] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 8: [B9.7] // CHECK: 8: [B9.7]
// WARNINGS: 9: [B9.8] (CXXConstructExpr, class A) // WARNINGS: 9: [B9.8] (CXXConstructExpr, class A)
// ANALYZER: 9: [B9.8] (CXXConstructExpr, [B9.10], class A) // ANALYZER: 9: [B9.8] (CXXConstructExpr, [B9.10], [B9.13], class A)
// CHECK: 10: [B9.9] (BindTemporary) // CHECK: 10: [B9.9] (BindTemporary)
// CHECK: 11: A([B9.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A) // CHECK: 11: A([B9.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A)
// CHECK: 12: [B9.11] (ImplicitCastExpr, NoOp, const class A) // CHECK: 12: [B9.11] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 13: [B9.12] // CHECK: 13: [B9.12]
// WARNINGS: 14: [B9.13] (CXXConstructExpr, class A) // WARNINGS: 14: [B9.13] (CXXConstructExpr, class A)
// ANALYZER: 14: [B9.13] (CXXConstructExpr, [B9.15], class A) // ANALYZER: 14: [B9.13] (CXXConstructExpr, [B9.15], class A)
// CHECK: 15: [B9.14] (BindTemporary) // CHECK: 15: [B9.14] (BindTemporary)
// CHECK: Preds (1): B10 // CHECK: Preds (1): B10
▲ Show 20 Lines • Show All 93 Lines • ▼ Show 20 Lines
// CHECK: [B3] // CHECK: [B3]
// CHECK: 1: 1 // CHECK: 1: 1
// CHECK: 2: return [B3.1]; // CHECK: 2: return [B3.1];
// CHECK: 3: [B4.6].~C() (Implicit destructor) // CHECK: 3: [B4.6].~C() (Implicit destructor)
// CHECK: Preds (1): B4 // CHECK: Preds (1): B4
// CHECK: Succs (1): B0 // CHECK: Succs (1): B0
// CHECK: [B4] // CHECK: [B4]
// WARNINGS: 1: C() (CXXConstructExpr, struct C) // WARNINGS: 1: C() (CXXConstructExpr, struct C)
// ANALYZER: 1: C() (CXXConstructExpr, [B4.2], struct C) // ANALYZER: 1: C() (CXXConstructExpr, [B4.2], [B4.4], struct C)
// CHECK: 2: [B4.1] (BindTemporary) // CHECK: 2: [B4.1] (BindTemporary)
// CHECK: 3: [B4.2] (ImplicitCastExpr, NoOp, const struct C) // CHECK: 3: [B4.2] (ImplicitCastExpr, NoOp, const struct C)
// CHECK: 4: [B4.3] // CHECK: 4: [B4.3]
// WARNINGS: 5: [B4.4] (CXXConstructExpr, struct C) // WARNINGS: 5: [B4.4] (CXXConstructExpr, struct C)
// ANALYZER: 5: [B4.4] (CXXConstructExpr, [B4.6], struct C) // ANALYZER: 5: [B4.4] (CXXConstructExpr, [B4.6], struct C)
// CHECK: 6: C c = C(); // CHECK: 6: C c = C();
// CHECK: 7: ~C() (Temporary object destructor) // CHECK: 7: ~C() (Temporary object destructor)
// CHECK: 8: c // CHECK: 8: c
Show All 35 Lines
// CHECK: Preds (1): B3 // CHECK: Preds (1): B3
// CHECK: Succs (1): B0 // CHECK: Succs (1): B0
// CHECK: [B2] // CHECK: [B2]
// CHECK: 1: 1 // CHECK: 1: 1
// CHECK: 2: return [B2.1]; // CHECK: 2: return [B2.1];
// CHECK: Preds (1): B3 // CHECK: Preds (1): B3
// CHECK: Succs (1): B0 // CHECK: Succs (1): B0
// CHECK: [B3] // CHECK: [B3]
// WARNINGS: 1: D() (CXXConstructExpr, struct D) // CXX98-WARNINGS: 1: D() (CXXConstructExpr, struct D)
// CXX98-ANALYZER: 1: D() (CXXConstructExpr, struct D) // CXX98-ANALYZER: 1: D() (CXXConstructExpr, [B3.3], struct D)
// CXX11-ANALYZER: 1: D() (CXXConstructExpr, [B3.2], struct D)
// CXX98: 2: [B3.1] (ImplicitCastExpr, NoOp, const struct D) // CXX98: 2: [B3.1] (ImplicitCastExpr, NoOp, const struct D)
// CXX98: 3: [B3.2] // CXX98: 3: [B3.2]
// CXX98-WARNINGS: 4: [B3.3] (CXXConstructExpr, struct D) // CXX98-WARNINGS: 4: [B3.3] (CXXConstructExpr, struct D)
// CXX98-ANALYZER: 4: [B3.3] (CXXConstructExpr, [B3.5], struct D) // CXX98-ANALYZER: 4: [B3.3] (CXXConstructExpr, [B3.5], struct D)
// CXX98: 5: D d = D(); // CXX98: 5: D d = D();
// CXX98: 6: d // CXX98: 6: d
// CXX98: 7: [B3.6].operator bool // CXX98: 7: [B3.6].operator bool
// CXX98: 8: [B3.6] // CXX98: 8: [B3.6]
// CXX98: 9: [B3.8] (ImplicitCastExpr, UserDefinedConversion, _Bool) // CXX98: 9: [B3.8] (ImplicitCastExpr, UserDefinedConversion, _Bool)
// CXX98: T: if [B3.9] // CXX98: T: if [B3.9]
// CXX11-WARNINGS: 1: D() (CXXConstructExpr, struct D)
// CXX11-ANALYZER: 1: D() (CXXConstructExpr, [B3.2], struct D)
// CXX11: 2: [B3.1] // CXX11: 2: [B3.1]
// CXX11-WARNINGS: 3: [B3.2] (CXXConstructExpr, struct D) // CXX11-WARNINGS: 3: [B3.2] (CXXConstructExpr, struct D)
// CXX11-ANALYZER: 3: [B3.2] (CXXConstructExpr, [B3.4], struct D) // CXX11-ANALYZER: 3: [B3.2] (CXXConstructExpr, [B3.4], struct D)
// CXX11: 4: D d = D(); // CXX11: 4: D d = D();
// CXX11: 5: d // CXX11: 5: d
// CXX11: 6: [B3.5].operator bool // CXX11: 6: [B3.5].operator bool
// CXX11: 7: [B3.5] // CXX11: 7: [B3.5]
// CXX11: 8: [B3.7] (ImplicitCastExpr, UserDefinedConversion, _Bool) // CXX11: 8: [B3.7] (ImplicitCastExpr, UserDefinedConversion, _Bool)
Show All 27 Lines
// CHECK: 2: [B4.1] (ImplicitCastExpr, NoOp, const class A) // CHECK: 2: [B4.1] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 3: [B4.2] // CHECK: 3: [B4.2]
// CHECK: 4: [B7.3]([B4.3]) // CHECK: 4: [B7.3]([B4.3])
// CHECK: T: (Temp Dtor) [B6.2] // CHECK: T: (Temp Dtor) [B6.2]
// CHECK: Preds (2): B5 B6 // CHECK: Preds (2): B5 B6
// CHECK: Succs (2): B3 B2 // CHECK: Succs (2): B3 B2
// CHECK: [B5] // CHECK: [B5]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B5.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B5.2], [B5.4], class A)
// CHECK: 2: [B5.1] (BindTemporary) // CHECK: 2: [B5.1] (BindTemporary)
// CHECK: 3: [B5.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B5.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B5.3] // CHECK: 4: [B5.3]
// WARNINGS: 5: [B5.4] (CXXConstructExpr, class A) // WARNINGS: 5: [B5.4] (CXXConstructExpr, class A)
// ANALYZER: 5: [B5.4] (CXXConstructExpr, [B5.6], class A) // ANALYZER: 5: [B5.4] (CXXConstructExpr, [B5.6], class A)
// CHECK: 6: [B5.5] (BindTemporary) // CHECK: 6: [B5.5] (BindTemporary)
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
// CHECK: Succs (1): B4 // CHECK: Succs (1): B4
// CHECK: [B6] // CHECK: [B6]
// WARNINGS: 1: B() (CXXConstructExpr, class B) // WARNINGS: 1: B() (CXXConstructExpr, class B)
// ANALYZER: 1: B() (CXXConstructExpr, [B6.2], class B) // ANALYZER: 1: B() (CXXConstructExpr, [B6.2], class B)
// CHECK: 2: [B6.1] (BindTemporary) // CHECK: 2: [B6.1] (BindTemporary)
// CHECK: 3: [B6.2].operator A // CHECK: 3: [B6.2].operator A
// CHECK: 4: [B6.2] // CHECK: 4: [B6.2]
// CHECK: 5: [B6.4] (ImplicitCastExpr, UserDefinedConversion, class A) // CHECK: 5: [B6.4] (ImplicitCastExpr, UserDefinedConversion, class A)
// CHECK: 6: [B6.5] (BindTemporary) // CHECK: 6: [B6.5] (BindTemporary)
// CHECK: 7: [B6.6] (ImplicitCastExpr, NoOp, const class A) // CHECK: 7: [B6.6] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 8: [B6.7] // CHECK: 8: [B6.7]
// WARNINGS: 9: [B6.8] (CXXConstructExpr, class A) // WARNINGS: 9: [B6.8] (CXXConstructExpr, class A)
// ANALYZER: 9: [B6.8] (CXXConstructExpr, [B6.10], class A) // ANALYZER: 9: [B6.8] (CXXConstructExpr, [B6.10], [B6.13], class A)
// CHECK: 10: [B6.9] (BindTemporary) // CHECK: 10: [B6.9] (BindTemporary)
// CHECK: 11: A([B6.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A) // CHECK: 11: A([B6.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A)
// CHECK: 12: [B6.11] (ImplicitCastExpr, NoOp, const class A) // CHECK: 12: [B6.11] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 13: [B6.12] // CHECK: 13: [B6.12]
// WARNINGS: 14: [B6.13] (CXXConstructExpr, class A) // WARNINGS: 14: [B6.13] (CXXConstructExpr, class A)
// ANALYZER: 14: [B6.13] (CXXConstructExpr, [B6.15], class A) // ANALYZER: 14: [B6.13] (CXXConstructExpr, [B6.15], class A)
// CHECK: 15: [B6.14] (BindTemporary) // CHECK: 15: [B6.14] (BindTemporary)
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
Show All 26 Lines
// CHECK: 2: [B10.1] (ImplicitCastExpr, NoOp, const class A) // CHECK: 2: [B10.1] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 3: [B10.2] // CHECK: 3: [B10.2]
// CHECK: 4: const A &a = B() ? A() : A(B()); // CHECK: 4: const A &a = B() ? A() : A(B());
// CHECK: T: (Temp Dtor) [B12.2] // CHECK: T: (Temp Dtor) [B12.2]
// CHECK: Preds (2): B11 B12 // CHECK: Preds (2): B11 B12
// CHECK: Succs (2): B9 B8 // CHECK: Succs (2): B9 B8
// CHECK: [B11] // CHECK: [B11]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B11.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B11.2], [B11.4], class A)
// CHECK: 2: [B11.1] (BindTemporary) // CHECK: 2: [B11.1] (BindTemporary)
// CHECK: 3: [B11.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B11.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B11.3] // CHECK: 4: [B11.3]
// WARNINGS: 5: [B11.4] (CXXConstructExpr, class A) // WARNINGS: 5: [B11.4] (CXXConstructExpr, class A)
// ANALYZER: 5: [B11.4] (CXXConstructExpr, [B11.6], class A) // ANALYZER: 5: [B11.4] (CXXConstructExpr, [B11.6], class A)
// CHECK: 6: [B11.5] (BindTemporary) // CHECK: 6: [B11.5] (BindTemporary)
// CHECK: Preds (1): B13 // CHECK: Preds (1): B13
// CHECK: Succs (1): B10 // CHECK: Succs (1): B10
// CHECK: [B12] // CHECK: [B12]
// WARNINGS: 1: B() (CXXConstructExpr, class B) // WARNINGS: 1: B() (CXXConstructExpr, class B)
// ANALYZER: 1: B() (CXXConstructExpr, [B12.2], class B) // ANALYZER: 1: B() (CXXConstructExpr, [B12.2], class B)
// CHECK: 2: [B12.1] (BindTemporary) // CHECK: 2: [B12.1] (BindTemporary)
// CHECK: 3: [B12.2].operator A // CHECK: 3: [B12.2].operator A
// CHECK: 4: [B12.2] // CHECK: 4: [B12.2]
// CHECK: 5: [B12.4] (ImplicitCastExpr, UserDefinedConversion, class A) // CHECK: 5: [B12.4] (ImplicitCastExpr, UserDefinedConversion, class A)
// CHECK: 6: [B12.5] (BindTemporary) // CHECK: 6: [B12.5] (BindTemporary)
// CHECK: 7: [B12.6] (ImplicitCastExpr, NoOp, const class A) // CHECK: 7: [B12.6] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 8: [B12.7] // CHECK: 8: [B12.7]
// WARNINGS: 9: [B12.8] (CXXConstructExpr, class A) // WARNINGS: 9: [B12.8] (CXXConstructExpr, class A)
// ANALYZER: 9: [B12.8] (CXXConstructExpr, [B12.10], class A) // ANALYZER: 9: [B12.8] (CXXConstructExpr, [B12.10], [B12.13], class A)
// CHECK: 10: [B12.9] (BindTemporary) // CHECK: 10: [B12.9] (BindTemporary)
// CHECK: 11: A([B12.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A) // CHECK: 11: A([B12.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A)
// CHECK: 12: [B12.11] (ImplicitCastExpr, NoOp, const class A) // CHECK: 12: [B12.11] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 13: [B12.12] // CHECK: 13: [B12.12]
// WARNINGS: 14: [B12.13] (CXXConstructExpr, class A) // WARNINGS: 14: [B12.13] (CXXConstructExpr, class A)
// ANALYZER: 14: [B12.13] (CXXConstructExpr, [B12.15], class A) // ANALYZER: 14: [B12.13] (CXXConstructExpr, [B12.15], class A)
// CHECK: 15: [B12.14] (BindTemporary) // CHECK: 15: [B12.14] (BindTemporary)
// CHECK: Preds (1): B13 // CHECK: Preds (1): B13
▲ Show 20 Lines • Show All 46 Lines • ▼ Show 20 Lines
// CXX11: 1: [B7.3] (ImplicitCastExpr, NoOp, const class A) // CXX11: 1: [B7.3] (ImplicitCastExpr, NoOp, const class A)
// WARNINGS-CXX11: 2: [B5.1] (CXXConstructExpr, class A) // WARNINGS-CXX11: 2: [B5.1] (CXXConstructExpr, class A)
// ANALYZER-CXX11: 2: [B5.1] (CXXConstructExpr, [B5.3], class A) // ANALYZER-CXX11: 2: [B5.1] (CXXConstructExpr, [B5.3], class A)
// CXX11: 3: [B5.2] (BindTemporary) // CXX11: 3: [B5.2] (BindTemporary)
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
// CHECK: Succs (1): B4 // CHECK: Succs (1): B4
// CHECK: [B6] // CHECK: [B6]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B6.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B6.2], [B6.4], class A)
// CHECK: 2: [B6.1] (BindTemporary) // CHECK: 2: [B6.1] (BindTemporary)
// CHECK: 3: [B6.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B6.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B6.3] // CHECK: 4: [B6.3]
// WARNINGS: 5: [B6.4] (CXXConstructExpr, class A) // WARNINGS: 5: [B6.4] (CXXConstructExpr, class A)
// ANALYZER: 5: [B6.4] (CXXConstructExpr, [B6.6], class A) // ANALYZER: 5: [B6.4] (CXXConstructExpr, [B6.6], class A)
// CHECK: 6: [B6.5] (BindTemporary) // CHECK: 6: [B6.5] (BindTemporary)
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
// CHECK: Succs (1): B4 // CHECK: Succs (1): B4
▲ Show 20 Lines • Show All 49 Lines • ▼ Show 20 Lines
// CXX11: 1: [B7.5] (ImplicitCastExpr, NoOp, const class A) // CXX11: 1: [B7.5] (ImplicitCastExpr, NoOp, const class A)
// WARNINGS-CXX11: 2: [B5.1] (CXXConstructExpr, class A) // WARNINGS-CXX11: 2: [B5.1] (CXXConstructExpr, class A)
// ANALYZER-CXX11: 2: [B5.1] (CXXConstructExpr, [B5.3], class A) // ANALYZER-CXX11: 2: [B5.1] (CXXConstructExpr, [B5.3], class A)
// CXX11: 3: [B5.2] (BindTemporary) // CXX11: 3: [B5.2] (BindTemporary)
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
// CHECK: Succs (1): B4 // CHECK: Succs (1): B4
// CHECK: [B6] // CHECK: [B6]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B6.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B6.2], [B6.4], class A)
// CHECK: 2: [B6.1] (BindTemporary) // CHECK: 2: [B6.1] (BindTemporary)
// CHECK: 3: [B6.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B6.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B6.3] // CHECK: 4: [B6.3]
// WARNINGS: 5: [B6.4] (CXXConstructExpr, class A) // WARNINGS: 5: [B6.4] (CXXConstructExpr, class A)
// ANALYZER: 5: [B6.4] (CXXConstructExpr, [B6.6], class A) // ANALYZER: 5: [B6.4] (CXXConstructExpr, [B6.6], class A)
// CHECK: 6: [B6.5] (BindTemporary) // CHECK: 6: [B6.5] (BindTemporary)
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
// CHECK: Succs (1): B4 // CHECK: Succs (1): B4
▲ Show 20 Lines • Show All 68 Lines • ▼ Show 20 Lines
// CHECK: Preds (1): B13 // CHECK: Preds (1): B13
// CHECK: Succs (2): B10 B11 // CHECK: Succs (2): B10 B11
// CHECK: [B0 (EXIT)] // CHECK: [B0 (EXIT)]
// CHECK: Preds (1): B1 // CHECK: Preds (1): B1
// CHECK: [B2 (ENTRY)] // CHECK: [B2 (ENTRY)]
// CHECK: Succs (1): B1 // CHECK: Succs (1): B1
// CHECK: [B1] // CHECK: [B1]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B1.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B1.2], [B1.4], class A)
// CHECK: 2: [B1.1] (BindTemporary) // CHECK: 2: [B1.1] (BindTemporary)
// CHECK: 3: [B1.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B1.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B1.3] // CHECK: 4: [B1.3]
// WARNINGS: 5: [B1.4] (CXXConstructExpr, class A) // WARNINGS: 5: [B1.4] (CXXConstructExpr, class A)
// ANALYZER: 5: [B1.4] (CXXConstructExpr, [B1.6], class A) // ANALYZER: 5: [B1.4] (CXXConstructExpr, [B1.6], class A)
// CHECK: 6: A a = A(); // CHECK: 6: A a = A();
// CHECK: 7: ~A() (Temporary object destructor) // CHECK: 7: ~A() (Temporary object destructor)
// CHECK: 8: int b; // CHECK: 8: int b;
// CHECK: 9: [B1.6].~A() (Implicit destructor) // CHECK: 9: [B1.6].~A() (Implicit destructor)
// CHECK: Preds (1): B2 // CHECK: Preds (1): B2
// CHECK: Succs (1): B0 // CHECK: Succs (1): B0
// CHECK: [B0 (EXIT)] // CHECK: [B0 (EXIT)]
// CHECK: Preds (1): B1 // CHECK: Preds (1): B1
// CHECK: [B2 (ENTRY)] // CHECK: [B2 (ENTRY)]
// CHECK: Succs (1): B1 // CHECK: Succs (1): B1
// CHECK: [B1] // CHECK: [B1]
// WARNINGS: 1: A() (CXXConstructExpr, class A) // WARNINGS: 1: A() (CXXConstructExpr, class A)
// ANALYZER: 1: A() (CXXConstructExpr, [B1.2], class A) // ANALYZER: 1: A() (CXXConstructExpr, [B1.2], [B1.4], class A)
// CHECK: 2: [B1.1] (BindTemporary) // CHECK: 2: [B1.1] (BindTemporary)
// CHECK: 3: [B1.2] (ImplicitCastExpr, NoOp, const class A) // CHECK: 3: [B1.2] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 4: [B1.3] // CHECK: 4: [B1.3]
// CHECK: 5: const A &a = A(); // CHECK: 5: const A &a = A();
// CHECK: 6: foo // CHECK: 6: foo
// CHECK: 7: [B1.6] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(const class A &)) // CHECK: 7: [B1.6] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(const class A &))
// WARNINGS: 8: A() (CXXConstructExpr, class A) // WARNINGS: 8: A() (CXXConstructExpr, class A)
// ANALYZER: 8: A() (CXXConstructExpr, [B1.9], class A) // ANALYZER: 8: A() (CXXConstructExpr, [B1.9], [B1.11], class A)
// CHECK: 9: [B1.8] (BindTemporary) // CHECK: 9: [B1.8] (BindTemporary)
// CHECK: 10: [B1.9] (ImplicitCastExpr, NoOp, const class A) // CHECK: 10: [B1.9] (ImplicitCastExpr, NoOp, const class A)
// CHECK: 11: [B1.10] // CHECK: 11: [B1.10]
// CHECK: 12: [B1.7]([B1.11]) // CHECK: 12: [B1.7]([B1.11])
// CHECK: 13: ~A() (Temporary object destructor) // CHECK: 13: ~A() (Temporary object destructor)
// CHECK: 14: int b; // CHECK: 14: int b;
// CHECK: 15: [B1.5].~A() (Implicit destructor) // CHECK: 15: [B1.5].~A() (Implicit destructor)
// CHECK: Preds (1): B2 // CHECK: Preds (1): B2
▲ Show 20 Lines • Show All 151 Lines • ▼ Show 20 Lines
// CHECK: 1: [B7.3] || [B6.7] // CHECK: 1: [B7.3] || [B6.7]
// CHECK: T: (Temp Dtor) [B6.4] // CHECK: T: (Temp Dtor) [B6.4]
// CHECK: Preds (2): B6 B7 // CHECK: Preds (2): B6 B7
// CHECK: Succs (2): B4 B3 // CHECK: Succs (2): B4 B3
// CHECK: [B6] // CHECK: [B6]
// CHECK: 1: check // CHECK: 1: check
// CHECK: 2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &)) // CHECK: 2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &))
// WARNINGS: 3: NoReturn() (CXXConstructExpr, class NoReturn) // WARNINGS: 3: NoReturn() (CXXConstructExpr, class NoReturn)
// ANALYZER: 3: NoReturn() (CXXConstructExpr, [B6.4], class NoReturn) // ANALYZER: 3: NoReturn() (CXXConstructExpr, [B6.4], [B6.6], class NoReturn)
// CHECK: 4: [B6.3] (BindTemporary) // CHECK: 4: [B6.3] (BindTemporary)
// CHECK: 5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn) // CHECK: 5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn)
// CHECK: 6: [B6.5] // CHECK: 6: [B6.5]
// CHECK: 7: [B6.2]([B6.6]) // CHECK: 7: [B6.2]([B6.6])
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
// CHECK: Succs (1): B5 // CHECK: Succs (1): B5
// CHECK: [B7] // CHECK: [B7]
// CHECK: 1: value // CHECK: 1: value
Show All 34 Lines
// CHECK: 1: [B8.3] || [B7.3] || [B6.7] // CHECK: 1: [B8.3] || [B7.3] || [B6.7]
// CHECK: T: (Temp Dtor) [B6.4] // CHECK: T: (Temp Dtor) [B6.4]
// CHECK: Preds (3): B6 B7 B8 // CHECK: Preds (3): B6 B7 B8
// CHECK: Succs (2): B4 B3 // CHECK: Succs (2): B4 B3
// CHECK: [B6] // CHECK: [B6]
// CHECK: 1: check // CHECK: 1: check
// CHECK: 2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &)) // CHECK: 2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &))
// WARNINGS: 3: NoReturn() (CXXConstructExpr, class NoReturn) // WARNINGS: 3: NoReturn() (CXXConstructExpr, class NoReturn)
// ANALYZER: 3: NoReturn() (CXXConstructExpr, [B6.4], class NoReturn) // ANALYZER: 3: NoReturn() (CXXConstructExpr, [B6.4], [B6.6], class NoReturn)
// CHECK: 4: [B6.3] (BindTemporary) // CHECK: 4: [B6.3] (BindTemporary)
// CHECK: 5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn) // CHECK: 5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn)
// CHECK: 6: [B6.5] // CHECK: 6: [B6.5]
// CHECK: 7: [B6.2]([B6.6]) // CHECK: 7: [B6.2]([B6.6])
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
// CHECK: Succs (1): B5 // CHECK: Succs (1): B5
// CHECK: [B7] // CHECK: [B7]
// CHECK: 1: value // CHECK: 1: value
▲ Show 20 Lines • Show All 41 Lines • ▼ Show 20 Lines
// CHECK: 1: [B8.3] || [B7.2] || [B6.7] // CHECK: 1: [B8.3] || [B7.2] || [B6.7]
// CHECK: T: (Temp Dtor) [B6.4] // CHECK: T: (Temp Dtor) [B6.4]
// CHECK: Preds (3): B6 B7 B8 // CHECK: Preds (3): B6 B7 B8
// CHECK: Succs (2): B4 B3 // CHECK: Succs (2): B4 B3
// CHECK: [B6] // CHECK: [B6]
// CHECK: 1: check // CHECK: 1: check
// CHECK: 2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &)) // CHECK: 2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &))
// WARNINGS: 3: NoReturn() (CXXConstructExpr, class NoReturn) // WARNINGS: 3: NoReturn() (CXXConstructExpr, class NoReturn)
// ANALYZER: 3: NoReturn() (CXXConstructExpr, [B6.4], class NoReturn) // ANALYZER: 3: NoReturn() (CXXConstructExpr, [B6.4], [B6.6], class NoReturn)
// CHECK: 4: [B6.3] (BindTemporary) // CHECK: 4: [B6.3] (BindTemporary)
// CHECK: 5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn) // CHECK: 5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn)
// CHECK: 6: [B6.5] // CHECK: 6: [B6.5]
// CHECK: 7: [B6.2]([B6.6]) // CHECK: 7: [B6.2]([B6.6])
// CHECK: Preds (1): B7 // CHECK: Preds (1): B7
// CHECK: Succs (1): B5 // CHECK: Succs (1): B5
// CHECK: [B7] // CHECK: [B7]
// CHECK: 1: value // CHECK: 1: value
Show All 19 Lines