Page MenuHomePhabricator
Differential D62825 Diff 207596 cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp

Changeset View

Standalone View

View Options

cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp

Show First 20 Lines • Show All 1,681 Lines • ▼ Show 20 Lines switch (S->getStmtClass()) {
case Stmt::ImplicitCastExprClass: case Stmt::ImplicitCastExprClass:
case Stmt::CStyleCastExprClass: case Stmt::CStyleCastExprClass:
case Stmt::CXXStaticCastExprClass: case Stmt::CXXStaticCastExprClass:
case Stmt::CXXDynamicCastExprClass: case Stmt::CXXDynamicCastExprClass:
case Stmt::CXXReinterpretCastExprClass: case Stmt::CXXReinterpretCastExprClass:
case Stmt::CXXConstCastExprClass: case Stmt::CXXConstCastExprClass:
case Stmt::CXXFunctionalCastExprClass: case Stmt::CXXFunctionalCastExprClass:
case Stmt::BuiltinBitCastExprClass:
case Stmt::ObjCBridgedCastExprClass: { case Stmt::ObjCBridgedCastExprClass: {
Bldr.takeNodes(Pred); Bldr.takeNodes(Pred);
const auto *C = cast<CastExpr>(S); const auto *C = cast<CastExpr>(S);
ExplodedNodeSet dstExpr; ExplodedNodeSet dstExpr;
VisitCast(C, C->getSubExpr(), Pred, dstExpr); VisitCast(C, C->getSubExpr(), Pred, dstExpr);
// Handle the postvisit checks. // Handle the postvisit checks.
getCheckerManager().runCheckersForPostStmt(Dst, dstExpr, C, *this); getCheckerManager().runCheckersForPostStmt(Dst, dstExpr, C, *this);
▲ Show 20 Lines • Show All 1,478 Lines • Show Last 20 Lines