Searched refs:getArgSVal (Results 1 – 14 of 14) sorted by relevance
104 if (getArgSVal(Idx).isZeroConstant()) in hasNonNullArgumentsWithType()179 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()184 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()213 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent319 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()
61 SVal V = Call.getArgSVal(0); in performTrivialCopy()
358 Optional<Loc> ArgV = Call->getArgSVal(I).getAs<Loc>(); in visitNodeMaybeUnsuppress()1603 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion(); in VisitNode()
253 SVal argV = CE.getArgSVal(i); in checkPreCall()281 SVal argV = CE.getArgSVal(i); in checkPostCall()
96 SVal V = Call.getArgSVal(idx); in checkPreCall()
155 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
716 SVal svTitle = msg.getArgSVal(argumentNumber); in checkPreObjCMessage()771 SVal argValue = Call.getArgSVal(i); in checkPostCall()
157 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()790 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
432 if (PreVisitProcessArg(C, Call.getArgSVal(i), Call.getArgSourceRange(i), in checkPreCall()
731 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage()
1017 return !Call.getArgSVal(i).isZeroConstant(); in getFreeWhenDoneArg()2209 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall()2484 if (Call->getNumArgs() >= 4 && Call->getArgSVal(4).isConstant(0)) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
557 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall()
2947 SVal V = CallOrMsg.getArgSVal(idx); in processSummaryOfInlined()3020 SVal V = CallOrMsg.getArgSVal(idx); in checkSummary()
237 virtual SVal getArgSVal(unsigned Index) const;