Lines Matching refs:ExplodedNode

210   ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
211                             CheckerContext &C, ExplodedNode *Pred) const;
222   void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
233 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym,  in REGISTER_MAP_WITH_PROGRAMSTATE()
241   const ExplodedNode *Pred = N;  in REGISTER_MAP_WITH_PROGRAMSTATE()
522   ExplodedNode *N = C.getPredecessor();  in checkDeadSymbols()
610 ExplodedNode *
612                                   CheckerContext &C, ExplodedNode *Pred) const {  in reportLeaks()
613   ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
624   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportDoubleRelease()
632   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportUnownedRelease()
640   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportUseAfterFree()
645 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode,  in reportBug()
654     const ExplodedNode *AcquireNode = getAcquireSite(ErrorNode, Sym, C);  in reportBug()