Searched refs:getArgSVal (Results 1 – 11 of 11) sorted by relevance
97 if (isCallbackArg(getArgSVal(Idx), *I)) in hasNonZeroCallbackArg()157 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()162 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()191 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent299 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()1616 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion(); in VisitNode()
256 SVal argV = CE.getArgSVal(i); in checkPreCall()284 SVal argV = CE.getArgSVal(i); in checkPostCall()
75 SVal V = Call.getArgSVal(idx); in checkPreCall()
156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
143 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()748 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
350 if (PreVisitProcessArg(C, Call.getArgSVal(i), Call.getArgSourceRange(i), in checkPreCall()
706 return !Call.getArgSVal(i).isZeroConstant(); in getFreeWhenDoneArg()1722 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall()1973 if (Call->getNumArgs() >= 4 && Call->getArgSVal(4).isConstant(0)) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2745 SVal V = CallOrMsg.getArgSVal(idx); in processSummaryOfInlined()2784 SVal V = CallOrMsg.getArgSVal(idx); in checkSummary()
238 virtual SVal getArgSVal(unsigned Index) const;