reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1201 StmtNodeBuilder Bldr(Pred, DstTop, *currBldrCtx); 1287 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); 1287 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); 1323 ProgramStateRef state = Pred->getState(); 1324 state = state->BindExpr(S, Pred->getLocationContext(), 1326 Bldr.generateNode(S, Pred, state); 1331 Bldr.takeNodes(Pred); 1332 VisitObjCAtSynchronizedStmt(cast<ObjCAtSynchronizedStmt>(S), Pred, Dst); 1342 Bldr.takeNodes(Pred); 1344 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1402 Bldr.takeNodes(Pred); 1404 getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this); 1412 Bldr.takeNodes(Pred); 1414 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1437 const LocationContext *LCtx = Pred->getLocationContext(); 1458 Bldr.takeNodes(Pred); 1461 getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this); 1496 Bldr.takeNodes(Pred); 1497 VisitArraySubscriptExpr(cast<ArraySubscriptExpr>(S), Pred, Dst); 1502 Bldr.takeNodes(Pred); 1503 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), Pred, Dst); 1508 Bldr.takeNodes(Pred); 1509 VisitMSAsmStmt(cast<MSAsmStmt>(S), Pred, Dst); 1514 Bldr.takeNodes(Pred); 1515 VisitBlockExpr(cast<BlockExpr>(S), Pred, Dst); 1521 Bldr.takeNodes(Pred); 1522 VisitLambdaExpr(cast<LambdaExpr>(S), Pred, Dst); 1525 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); 1525 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); 1533 Bldr.takeNodes(Pred); 1534 VisitLogicalExpr(B, Pred, Dst); 1539 ProgramStateRef state = Pred->getState(); 1540 Bldr.generateNode(B, Pred, 1541 state->BindExpr(B, Pred->getLocationContext(), 1543 Pred->getLocationContext()))); 1547 Bldr.takeNodes(Pred); 1552 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Tmp); 1556 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); 1570 ProgramStateRef State = Pred->getState(); 1571 const LocationContext *LCtx = Pred->getLocationContext(); 1575 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, 1575 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, 1578 if (!Pred) 1590 Bldr.takeNodes(Pred); 1591 VisitCallExpr(cast<CallExpr>(S), Pred, Dst); 1596 Bldr.takeNodes(Pred); 1597 VisitCXXCatchStmt(cast<CXXCatchStmt>(S), Pred, Dst); 1603 Bldr.takeNodes(Pred); 1604 VisitCXXConstructExpr(cast<CXXConstructExpr>(S), Pred, Dst); 1609 Bldr.takeNodes(Pred); 1612 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1624 Bldr.takeNodes(Pred); 1627 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1639 Bldr.takeNodes(Pred); 1641 VisitGuardedExpr(C, C->getLHS(), C->getRHS(), Pred, Dst); 1647 Bldr.takeNodes(Pred); 1648 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); 1653 Bldr.takeNodes(Pred); 1654 VisitCompoundLiteralExpr(cast<CompoundLiteralExpr>(S), Pred, Dst); 1660 Bldr.takeNodes(Pred); 1662 VisitGuardedExpr(C, C->getTrueExpr(), C->getFalseExpr(), Pred, Dst); 1668 Bldr.takeNodes(Pred); 1669 VisitCXXThisExpr(cast<CXXThisExpr>(S), Pred, Dst); 1674 Bldr.takeNodes(Pred); 1676 VisitCommonDeclRefExpr(DE, DE->getDecl(), Pred, Dst); 1682 Bldr.takeNodes(Pred); 1683 VisitDeclStmt(cast<DeclStmt>(S), Pred, Dst); 1696 Bldr.takeNodes(Pred); 1699 VisitCast(C, C->getSubExpr(), Pred, dstExpr); 1708 Bldr.takeNodes(Pred); 1711 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, MTE, *this); 1721 Bldr.takeNodes(Pred); 1722 VisitInitListExpr(cast<InitListExpr>(S), Pred, Dst); 1727 Bldr.takeNodes(Pred); 1728 VisitMemberExpr(cast<MemberExpr>(S), Pred, Dst); 1733 Bldr.takeNodes(Pred); 1734 VisitAtomicExpr(cast<AtomicExpr>(S), Pred, Dst); 1739 Bldr.takeNodes(Pred); 1740 VisitLvalObjCIvarRefExpr(cast<ObjCIvarRefExpr>(S), Pred, Dst); 1745 Bldr.takeNodes(Pred); 1746 VisitObjCForCollectionStmt(cast<ObjCForCollectionStmt>(S), Pred, Dst); 1751 Bldr.takeNodes(Pred); 1752 VisitObjCMessage(cast<ObjCMessageExpr>(S), Pred, Dst); 1760 Bldr.generateSink(S, Pred, Pred->getState()); 1760 Bldr.generateSink(S, Pred, Pred->getState()); 1764 Bldr.takeNodes(Pred); 1765 VisitReturnStmt(cast<ReturnStmt>(S), Pred, Dst); 1770 Bldr.takeNodes(Pred); 1772 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); 1784 Bldr.takeNodes(Pred); 1786 Pred, Dst); 1802 ProgramStateRef state = Pred->getState(); 1803 Bldr.generateNode(SE, Pred, 1804 state->BindExpr(SE, Pred->getLocationContext(), 1806 Pred->getLocationContext()))); 1812 Bldr.takeNodes(Pred); 1816 VisitUnaryOperator(U, Pred, Tmp); 1820 VisitUnaryOperator(U, Pred, Dst); 1826 Bldr.takeNodes(Pred); 1827 ProgramStateRef state = Pred->getState(); 1830 SVal V = state->getSVal(Result, Pred->getLocationContext()); 1831 Bldr.generateNode(S, Pred, 1832 state->BindExpr(S, Pred->getLocationContext(), V)); 1835 Bldr.generateNode(S, Pred, 1836 state->BindExpr(S, Pred->getLocationContext(),