reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1199 S->getBeginLoc(), "Error evaluating statement"); 1203 assert(!isa<Expr>(S) || S == cast<Expr>(S)->IgnoreParens()); 1203 assert(!isa<Expr>(S) || S == cast<Expr>(S)->IgnoreParens()); 1203 assert(!isa<Expr>(S) || S == cast<Expr>(S)->IgnoreParens()); 1205 switch (S->getStmtClass()) { 1287 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); 1324 state = state->BindExpr(S, Pred->getLocationContext(), 1326 Bldr.generateNode(S, Pred, state); 1332 VisitObjCAtSynchronizedStmt(cast<ObjCAtSynchronizedStmt>(S), Pred, Dst); 1344 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1346 VisitCXXBindTemporaryExpr(cast<CXXBindTemporaryExpr>(S), PreVisit, Next); 1347 getCheckerManager().runCheckersForPostStmt(Dst, Next, S, *this); 1404 getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this); 1405 getCheckerManager().runCheckersForPostStmt(Dst, preVisit, S, *this); 1414 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1420 if (const auto *DefE = dyn_cast<CXXDefaultArgExpr>(S)) 1422 else if (const auto *DefE = dyn_cast<CXXDefaultInitExpr>(S)) 1440 State = State->BindExpr(S, LCtx, *ConstantVal); 1443 cast<Expr>(S), 1444 cast<Expr>(S)); 1445 Bldr2.generateNode(S, I, State); 1448 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, S, *this); 1461 getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this); 1466 const auto *Ex = cast<Expr>(S); 1487 Bldr2.generateNode(S, N, State); 1490 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, S, *this); 1497 VisitArraySubscriptExpr(cast<ArraySubscriptExpr>(S), Pred, Dst); 1503 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), Pred, Dst); 1509 VisitMSAsmStmt(cast<MSAsmStmt>(S), Pred, Dst); 1515 VisitBlockExpr(cast<BlockExpr>(S), Pred, Dst); 1522 VisitLambdaExpr(cast<LambdaExpr>(S), Pred, Dst); 1525 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); 1531 const auto *B = cast<BinaryOperator>(S); 1552 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Tmp); 1553 evalEagerlyAssumeBinOpBifurcation(Dst, Tmp, cast<Expr>(S)); 1556 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); 1563 const auto *OCE = cast<CXXOperatorCallExpr>(S); 1591 VisitCallExpr(cast<CallExpr>(S), Pred, Dst); 1597 VisitCXXCatchStmt(cast<CXXCatchStmt>(S), Pred, Dst); 1604 VisitCXXConstructExpr(cast<CXXConstructExpr>(S), Pred, Dst); 1612 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1616 VisitCXXNewExpr(cast<CXXNewExpr>(S), i, PostVisit); 1618 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); 1626 const auto *CDE = cast<CXXDeleteExpr>(S); 1627 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1640 const auto *C = cast<ChooseExpr>(S); 1648 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); 1654 VisitCompoundLiteralExpr(cast<CompoundLiteralExpr>(S), Pred, Dst); 1661 const auto *C = cast<AbstractConditionalOperator>(S); 1669 VisitCXXThisExpr(cast<CXXThisExpr>(S), Pred, Dst); 1675 const auto *DE = cast<DeclRefExpr>(S); 1683 VisitDeclStmt(cast<DeclStmt>(S), Pred, Dst); 1697 const auto *C = cast<CastExpr>(S); 1709 const auto *MTE = cast<MaterializeTemporaryExpr>(S); 1722 VisitInitListExpr(cast<InitListExpr>(S), Pred, Dst); 1728 VisitMemberExpr(cast<MemberExpr>(S), Pred, Dst); 1734 VisitAtomicExpr(cast<AtomicExpr>(S), Pred, Dst); 1740 VisitLvalObjCIvarRefExpr(cast<ObjCIvarRefExpr>(S), Pred, Dst); 1746 VisitObjCForCollectionStmt(cast<ObjCForCollectionStmt>(S), Pred, Dst); 1752 VisitObjCMessage(cast<ObjCMessageExpr>(S), Pred, Dst); 1760 Bldr.generateSink(S, Pred, Pred->getState()); 1765 VisitReturnStmt(cast<ReturnStmt>(S), Pred, Dst); 1772 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1776 VisitOffsetOfExpr(cast<OffsetOfExpr>(S), Node, PostVisit); 1778 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); 1785 VisitUnaryExprOrTypeTraitExpr(cast<UnaryExprOrTypeTraitExpr>(S), 1791 const auto *SE = cast<StmtExpr>(S); 1813 const auto *U = cast<UnaryOperator>(S); 1828 const auto *PE = cast<PseudoObjectExpr>(S); 1831 Bldr.generateNode(S, Pred, 1832 state->BindExpr(S, Pred->getLocationContext(), V)); 1835 Bldr.generateNode(S, Pred, 1836 state->BindExpr(S, Pred->getLocationContext(),