Searched refs:ensureNoFilePositionIndeterminate (Results 1 – 1 of 1) sorted by relevance
325 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,558 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preFread()582 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preFwrite()885 ProgramStateRef StreamChecker::ensureNoFilePositionIndeterminate( in ensureNoFilePositionIndeterminate() function in StreamChecker