Searched refs:reportOOB (Results 1 – 1 of 1) sorted by relevance
33 void reportOOB(CheckerContext &C, const GRState *errorState,125 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); in checkLocation()157 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()170 void ArrayBoundCheckerV2::reportOOB(CheckerContext &checkerContext, in reportOOB() function in ArrayBoundCheckerV2