Searched refs:PutVal (Results 1 – 1 of 1) sorted by relevance
1254 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalFputx() local1255 if (!PutVal) in evalFputx()1258 State->BindExpr(E.CE, C.getLocationContext(), *PutVal); in evalFputx()1385 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalUngetc() local1386 if (!PutVal) in evalUngetc()1388 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); in evalUngetc()