Searched refs:ensureNoFilePositionIndeterminate (Results 1 – 1 of 1) sorted by relevance
361 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,643 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preFread()668 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preFwrite()1099 ProgramStateRef StreamChecker::ensureNoFilePositionIndeterminate( in ensureNoFilePositionIndeterminate() function in StreamChecker