Lines Matching refs:getArgSVal
223 return Call.getArgSVal(Desc->StreamArgNo); in getStreamArg()
853 auto GetArgSVal = [&Call](int Idx) { return Call.getArgSVal(Idx); }; in escapeArgs()
1074 dyn_cast_or_null<SubRegion>(Call.getArgSVal(0).getAsRegion()); in tryToInvalidateFReadBufferByElements()
1118 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
1121 std::optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
1215 Call.getArgSVal(0).getAs<DefinedSVal>(); in evalFgetx()
1254 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalFputx()
1385 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalUngetc()
1430 auto NewLinePtr = getPointeeVal(Call.getArgSVal(0), State); in evalGetdelim()
1437 SVal SizePtrSval = Call.getArgSVal(1); in evalGetdelim()
1458 if (auto NewLinePtr = getPointeeVal(Call.getArgSVal(0), State)) in evalGetdelim()
1475 State = ensureFseekWhenceCorrect(Call.getArgSVal(2), C, State); in preFseek()