Searched refs:ensureFseekWhenceCorrect (Results 1 – 1 of 1) sorted by relevance
560 ProgramStateRef ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,1475 State = ensureFseekWhenceCorrect(Call.getArgSVal(2), C, State); in preFseek()1894 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C, in ensureFseekWhenceCorrect() function in StreamChecker