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