Searched refs:ensureNoFilePositionIndeterminate (Results 1 – 1 of 1) sorted by relevance
553 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,1005 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preRead()1030 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preWrite()1844 ProgramStateRef StreamChecker::ensureNoFilePositionIndeterminate( in ensureNoFilePositionIndeterminate() function in StreamChecker