Searched refs:getArgSVal (Results 1 – 11 of 11) sorted by relevance
96 if (isCallbackArg(getArgSVal(Idx), *I)) in hasNonZeroCallbackArg()161 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()166 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()195 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent301 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()
61 SVal V = Call.getArgSVal(0); in performTrivialCopy()
362 Optional<Loc> ArgV = Call->getArgSVal(I).getAs<Loc>(); in visitNodeMaybeUnsuppress()1613 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion(); in VisitNode()
254 SVal argV = CE.getArgSVal(i); in checkPreCall()282 SVal argV = CE.getArgSVal(i); in checkPostCall()
82 SVal V = Call.getArgSVal(idx); in checkPreCall()
156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
157 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()790 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
425 if (PreVisitProcessArg(C, Call.getArgSVal(i), Call.getArgSourceRange(i), in checkPreCall()
817 return !Call.getArgSVal(i).isZeroConstant(); in getFreeWhenDoneArg()1887 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall()2147 if (Call->getNumArgs() >= 4 && Call->getArgSVal(4).isConstant(0)) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2853 SVal V = CallOrMsg.getArgSVal(idx); in processSummaryOfInlined()2905 SVal V = CallOrMsg.getArgSVal(idx); in checkSummary()
236 virtual SVal getArgSVal(unsigned Index) const;