Lines Matching refs:ExplodedNode

361   ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
362                             CheckerContext &C, ExplodedNode *Pred) const;
416   static const ExplodedNode *getAcquisitionSite(const ExplodedNode *N,
433 const ExplodedNode *StreamChecker::getAcquisitionSite(const ExplodedNode *N,  in getAcquisitionSite()
442   const ExplodedNode *Pred = N;  in getAcquisitionSite()
872     if (ExplodedNode *N = C.generateErrorNode(StateNull)) {  in ensureStreamNonNull()
899     ExplodedNode *N = C.generateErrorNode();  in ensureStreamOpened()
915     ExplodedNode *N = C.generateErrorNode();  in ensureStreamOpened()
953       ExplodedNode *N = C.generateNonFatalErrorNode(State);  in ensureNoFilePositionIndeterminate()
965     ExplodedNode *N = C.generateErrorNode(State);  in ensureNoFilePositionIndeterminate()
987   if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) {  in ensureFseekWhenceCorrect()
1001   if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) {  in reportFEofWarning()
1014 ExplodedNode *
1016                            CheckerContext &C, ExplodedNode *Pred) const {  in reportLeaks()
1017   ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
1033     const ExplodedNode *StreamOpenNode = getAcquisitionSite(Err, LeakSym, C);  in reportLeaks()
1070   ExplodedNode *N = C.getPredecessor();  in checkDeadSymbols()