Lines Matching refs:ExplodedNode
56 ExplodedNode *MakeNode(const ProgramState *state, ExplodedNode *Pred,
63 ExplodedNode *N = ENB->generateNode(state, Pred);
1596 typedef llvm::DenseMap<const ExplodedNode *, const RetainSummary *>
1722 virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
1723 const ExplodedNode *PrevN,
1728 const ExplodedNode *N,
1739 const ExplodedNode *N,
1748 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
1757 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
1778 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
1831 PathDiagnosticPiece *CFRefReportVisitor::VisitNode(const ExplodedNode *N,
1832 const ExplodedNode *PrevN,
1904 const ExplodedNode *OrigNode = BRC.getNodeResolver().getOriginalNode(N);
2109 static std::pair<const ExplodedNode*,const MemRegion*>
2110 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N,
2115 const ExplodedNode *Last = N;
2138 const ExplodedNode *EndN,
2148 const ExplodedNode *EndN,
2158 const ExplodedNode *AllocNode = 0;
2169 const ExplodedNode *LeakN = EndN;
2225 ExplodedNode *n, SymbolRef sym,
2237 const ExplodedNode *AllocNode = 0;
2317 // Once in a blue moon, a new ExplodedNode will have the same address as an
2444 ExplodedNode *Pred, RetEffect RE, RefVal X,
2464 std::pair<ExplodedNode *, const ProgramState *>
2466 GenericNodeBuilderRefCount Bd, ExplodedNode *Pred,
2469 ExplodedNode *processLeaks(const ProgramState *state,
2473 ExplodedNode *Pred = 0) const;
2622 ExplodedNode *Pred = C.getPredecessor();
2780 ExplodedNode *NewNode;
2945 ExplodedNode *N = C.generateSink(St);
3115 ExplodedNode *Pred = C.generateNode(state);
3164 ExplodedNode *Pred,
3194 ExplodedNode *N = C.generateNode(state, Pred, &ReturnOwnLeakTag);
3214 ExplodedNode *N = C.generateNode(state, Pred, &ReturnNotOwnedTag);
3332 std::pair<ExplodedNode *, const ProgramState *>
3335 ExplodedNode *Pred, ExprEngine &Eng,
3363 ExplodedNode *N = Bd.MakeNode(state, Pred);
3374 if (ExplodedNode *N = Bd.MakeNode(state, Pred, true)) {
3392 return std::make_pair((ExplodedNode *)0, (const ProgramState *)0);
3412 ExplodedNode *
3416 ExprEngine &Eng, ExplodedNode *Pred) const {
3421 ExplodedNode *N = Builder.MakeNode(state, Pred);
3447 ExplodedNode *Pred = Builder.getPredecessor();
3480 ExplodedNode *Pred = C.getPredecessor();
