Searched refs:ensureNoFilePositionIndeterminate (Results 1 – 1 of 1) sorted by relevance
566 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,1044 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preRead()1069 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preWrite()1924 ProgramStateRef StreamChecker::ensureNoFilePositionIndeterminate( in ensureNoFilePositionIndeterminate() function in StreamChecker