Searched refs:assumeNoAliasingWithStdStreams (Results 1 – 1 of 1) sorted by relevance
289 ProgramStateRef assumeNoAliasingWithStdStreams(ProgramStateRef State,903 ProgramStateRef StreamChecker::assumeNoAliasingWithStdStreams( in assumeNoAliasingWithStdStreams() function in StreamChecker951 StateNotNull = assumeNoAliasingWithStdStreams(StateNotNull, RetVal, C); in evalFopen()