Searched refs:checkerContext (Results 1 – 1 of 1) sorted by relevance
82 CheckerContext &checkerContext) const { in checkLocation()93 const GRState *state = checkerContext.getState(); in checkLocation()96 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation()125 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); in checkLocation()157 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()167 checkerContext.generateNode(state); in checkLocation()170 void ArrayBoundCheckerV2::reportOOB(CheckerContext &checkerContext, in reportOOB() argument174 ExplodedNode *errorNode = checkerContext.generateSink(errorState); in reportOOB()190 checkerContext.EmitReport(new RangedBugReport(*BT, os.str(), errorNode)); in reportOOB()