Searched refs:errorState (Results 1 – 1 of 1) sorted by relevance
35 void reportOOB(CheckerContext &C, ProgramStateRef errorState,182 ProgramStateRef errorState, in reportOOB() argument185 ExplodedNode *errorNode = checkerContext.generateErrorNode(errorState); in reportOOB()