Lines Matching refs:ExplodedNode

209   ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
210                             CheckerContext &C, ExplodedNode *Pred) const;
221   void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
232 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym,  in REGISTER_MAP_WITH_PROGRAMSTATE()
240   const ExplodedNode *Pred = N;  in REGISTER_MAP_WITH_PROGRAMSTATE()
521   ExplodedNode *N = C.getPredecessor();  in checkDeadSymbols()
609 ExplodedNode *
611                                   CheckerContext &C, ExplodedNode *Pred) const {  in reportLeaks()
612   ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
623   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportDoubleRelease()
631   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportUnownedRelease()
639   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportUseAfterFree()
644 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode,  in reportBug()
653     const ExplodedNode *AcquireNode = getAcquireSite(ErrorNode, Sym, C);  in reportBug()