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