Searched refs:BugState (Results 1 – 1 of 1) sorted by relevance
325 ProgramStateRef BugState, StringRef ErrMsg) { in EnsureGetdelimBufferAndSizeCorrect() argument326 if (ExplodedNode *N = C.generateErrorNode(BugState)) { in EnsureGetdelimBufferAndSizeCorrect()