Home | History | Annotate | Download | only in Checkers

Lines Matching refs:GetAllocationSite

2142 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N,
2242     GetAllocationSite(BRC.getStateManager(), EndN, Sym);
2326   // call to GetAllocationSite.  This will walk the ExplodedGraph backwards.
2335     GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym);