Searched refs:PutVal (Results 1 – 1 of 1) sorted by relevance
1293 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalFputx() local1294 if (!PutVal) in evalFputx()1297 State->BindExpr(E.CE, C.getLocationContext(), *PutVal); in evalFputx()1424 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalUngetc() local1425 if (!PutVal) in evalUngetc()1427 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); in evalUngetc()