Lines Matching refs:ExplodedNode
360 ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
361 CheckerContext &C, ExplodedNode *Pred) const;
415 static const ExplodedNode *getAcquisitionSite(const ExplodedNode *N,
432 const ExplodedNode *StreamChecker::getAcquisitionSite(const ExplodedNode *N, in getAcquisitionSite()
441 const ExplodedNode *Pred = N; in getAcquisitionSite()
875 if (ExplodedNode *N = C.generateErrorNode(StateNull)) { in ensureStreamNonNull()
902 ExplodedNode *N = C.generateErrorNode(); in ensureStreamOpened()
918 ExplodedNode *N = C.generateErrorNode(); in ensureStreamOpened()
956 ExplodedNode *N = C.generateNonFatalErrorNode(State); in ensureNoFilePositionIndeterminate()
968 ExplodedNode *N = C.generateErrorNode(State); in ensureNoFilePositionIndeterminate()
990 if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) { in ensureFseekWhenceCorrect()
1004 if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) { in reportFEofWarning()
1017 ExplodedNode *
1019 CheckerContext &C, ExplodedNode *Pred) const { in reportLeaks()
1020 ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred); in reportLeaks()
1036 const ExplodedNode *StreamOpenNode = getAcquisitionSite(Err, LeakSym, C); in reportLeaks()
1073 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()