Searched refs:errorState (Results 1 – 1 of 1) sorted by relevance
38 void reportOOB(CheckerContext &C, ProgramStateRef errorState, OOB_Kind kind,231 CheckerContext &checkerContext, ProgramStateRef errorState, OOB_Kind kind, in reportOOB() argument234 ExplodedNode *errorNode = checkerContext.generateErrorNode(errorState); in reportOOB()