Searched refs:ensureNoFilePositionIndeterminate (Results 1 – 1 of 1) sorted by relevance
424 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,707 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preReadWrite()1585 ProgramStateRef StreamChecker::ensureNoFilePositionIndeterminate( in ensureNoFilePositionIndeterminate() function in StreamChecker