Home
last modified time | relevance | path

Searched refs:checkerContext (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp82 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() argument
174 ExplodedNode *errorNode = checkerContext.generateSink(errorState); in reportOOB()
190 checkerContext.EmitReport(new RangedBugReport(*BT, os.str(), errorNode)); in reportOOB()