Lines Matching defs:ExplodedNode
966 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,
1005 const ExplodedNode *Pred,
1029 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out,
1112 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) {
1142 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) {
1161 ExplodedNode *Pred) {
1291 ExplodedNode *Pred) {
1318 ExplodedNode *Pred) {
1338 ExplodedNode *Pred,
1410 ExplodedNode *Pred,
1486 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
1506 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
1565 ExplodedNode *Pred,
1602 ExplodedNode *CleanPred =
1642 ExplodedNode *Pred,
1669 for (ExplodedNode *Node : PreVisit) {
1710 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,
1842 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
2081 for (ExplodedNode *const N : PreVisit)
2106 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
2450 bool ExprEngine::replayWithoutInlining(ExplodedNode *N,
2455 ExplodedNode *BeforeProcessingCall = nullptr;
2499 ExplodedNode *NewNode = G.getNode(NewNodeLoc, NewNodeState, false, &IsNew);
2517 ExplodedNode *Pred) {
2528 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred);
2558 const ExplodedNode *Sink =
2721 assumeCondition(const Stmt *Condition, ExplodedNode *N) {
2768 const Stmt *Condition, NodeBuilderContext &BldCtx, ExplodedNode *Pred,
2800 for (ExplodedNode *PredN : CheckersOutSet) {
2856 ExplodedNode *Pred,
2907 //ExplodedNode* N = builder.generateNode(builder.begin(), state, true);
2921 ExplodedNode *Pred,
2931 ExplodedNode *Pred,
3012 //ExplodedNode* N = builder.generateDefaultCaseNode(state, true);
3088 ExplodedNode *Pred,
3228 ExplodedNode *Pred,
3326 ExplodedNode *Pred,
3376 void ExprEngine::VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred,
3464 void ExprEngine::VisitAtomicExpr(const AtomicExpr *AE, ExplodedNode *Pred,
3603 ExplodedNode *Pred,
3661 ExplodedNode *Pred,
3685 ExplodedNode *Pred,
3723 ExplodedNode *Pred,
3737 // Associate this new state with an ExplodedNode.
3774 for (ExplodedNode *Pred : Src) {
3819 void ExprEngine::VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred,
3854 void ExprEngine::VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred,
3870 static bool nodeHasBugReport(const ExplodedNode *N) {
3879 const ExplodedNode *EN = PR->getErrorNode();
3893 const ExplodedNode *N,
3894 llvm::function_ref<void(const ExplodedNode *)> PreCallback,
3895 llvm::function_ref<void(const ExplodedNode *)> PostCallback,
3896 llvm::function_ref<bool(const ExplodedNode *)> Stop) {
3911 static bool isNodeHidden(const ExplodedNode *N, const ExplodedGraph *G) {
3915 static std::string getNodeLabel(const ExplodedNode *N, ExplodedGraph *G){
3931 [&](const ExplodedNode *OtherNode) {
3944 [&](const ExplodedNode *) { Out << ",\\l"; },
3945 [&](const ExplodedNode *) { return false; });
3964 void ExprEngine::ViewGraph(ArrayRef<const ExplodedNode *> Nodes) {
3971 std::vector<const ExplodedNode *> Src;
3979 const auto *N = const_cast<ExplodedNode *>(R->getErrorNode());
3990 std::string ExprEngine::DumpGraph(ArrayRef<const ExplodedNode *> Nodes,