Lines Matching refs:ExplodedNode

796 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,  in processCFGElement()
834 const ExplodedNode *Pred, in shouldRemoveDeadBindings()
858 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
938 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) { in ProcessStmt()
968 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) { in ProcessLoopExit()
987 ExplodedNode *Pred) { in ProcessInitializer()
1075 ExplodedNode *Pred) { in ProcessImplicitDtor()
1102 ExplodedNode *Pred) { in ProcessNewAllocator()
1121 ExplodedNode *Pred, in ProcessAutomaticObjDtor()
1156 ExplodedNode *Pred, in ProcessDeleteDtor()
1196 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in ProcessBaseDtor()
1216 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in ProcessMemberDtor()
1239 ExplodedNode *Pred, in ProcessTemporaryDtor()
1277 ExplodedNode *CleanPred = in ProcessTemporaryDtor()
1301 ExplodedNode *Pred, in processCleanupTemporaryBranch()
1330 for (ExplodedNode *Node : PreVisit) { in VisitCXXBindTemporaryExpr()
1371 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred, in Visit()
1482 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1737 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
2082 bool ExprEngine::replayWithoutInlining(ExplodedNode *N, in replayWithoutInlining()
2087 ExplodedNode *BeforeProcessingCall = nullptr; in replayWithoutInlining()
2130 ExplodedNode *NewNode = G.getNode(NewNodeLoc, NewNodeState, false, &IsNew); in replayWithoutInlining()
2148 ExplodedNode *Pred) { in processCFGBlockEntrance()
2159 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
2189 const ExplodedNode *Sink = in processCFGBlockEntrance()
2354 assumeCondition(const Stmt *Condition, ExplodedNode *N) { in assumeCondition()
2402 ExplodedNode *Pred, in processBranch()
2436 for (ExplodedNode *PredN : CheckersOutSet) { in processBranch()
2480 ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2546 ExplodedNode *Pred, in processBeginOfFunction()
2556 ExplodedNode *Pred, in processEndOfFunction()
2713 ExplodedNode *Pred, in VisitCommonDeclRefExpr()
2853 ExplodedNode *Pred, in VisitArrayInitLoopExpr()
2951 ExplodedNode *Pred, in VisitArraySubscriptExpr()
3001 void ExprEngine::VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred, in VisitMemberExpr()
3081 void ExprEngine::VisitAtomicExpr(const AtomicExpr *AE, ExplodedNode *Pred, in VisitAtomicExpr()
3219 ExplodedNode *Pred, in evalBind()
3277 ExplodedNode *Pred, in evalStore()
3301 ExplodedNode *Pred, in evalLoad()
3339 ExplodedNode *Pred, in evalLocation()
3423 void ExprEngine::VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred, in VisitGCCAsmStmt()
3446 void ExprEngine::VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred, in VisitMSAsmStmt()
3462 static bool nodeHasBugReport(const ExplodedNode *N) { in nodeHasBugReport()
3474 const ExplodedNode *EN = PR->getErrorNode(); in nodeHasBugReport()
3488 const ExplodedNode *N, in traverseHiddenNodes()
3489 llvm::function_ref<void(const ExplodedNode *)> PreCallback, in traverseHiddenNodes()
3490 llvm::function_ref<void(const ExplodedNode *)> PostCallback, in traverseHiddenNodes()
3491 llvm::function_ref<bool(const ExplodedNode *)> Stop) { in traverseHiddenNodes()
3506 static bool isNodeHidden(const ExplodedNode *N, const ExplodedGraph *G) { in isNodeHidden()
3510 static std::string getNodeLabel(const ExplodedNode *N, ExplodedGraph *G){ in getNodeLabel()
3526 [&](const ExplodedNode *OtherNode) { in getNodeLabel()
3539 [&](const ExplodedNode *) { Out << ",\\l"; }, in getNodeLabel() argument
3540 [&](const ExplodedNode *) { return false; }); in getNodeLabel() argument
3559 void ExprEngine::ViewGraph(ArrayRef<const ExplodedNode *> Nodes) { in ViewGraph()
3566 std::vector<const ExplodedNode *> Src; in DumpGraph()
3575 const auto *N = const_cast<ExplodedNode *>(R->getErrorNode()); in DumpGraph()
3586 std::string ExprEngine::DumpGraph(ArrayRef<const ExplodedNode *> Nodes, in DumpGraph()