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()
525 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
613 ExplodedNode *
615 CheckerContext &C, ExplodedNode *Pred) const { in reportLeaks()
616 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState(), Pred); in reportLeaks()
627 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportDoubleRelease()
635 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUnownedRelease()
643 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUseAfterFree()
648 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, in reportBug()
657 const ExplodedNode *AcquireNode = getAcquireSite(ErrorNode, Sym, C); in reportBug()