Searched refs:makeRetValAndAssumeDual (Results 1 – 1 of 1) sorted by relevance
711 makeRetValAndAssumeDual(ProgramStateRef State, CheckerContext &C) { in makeRetValAndAssumeDual() function1520 std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C); in evalFgetpos()1539 std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C); in evalFsetpos()