Home
last modified time | relevance | path

Searched refs:getArgSVal (Results 1 – 17 of 17) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIChecker.cpp31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion(); in checkDoubleNonblocking()
138 return CE.getArgSVal(0).getAsRegion(); in topRegionUsedByWait()
140 return CE.getArgSVal(1).getAsRegion(); in topRegionUsedByWait()
/external/clang/lib/StaticAnalyzer/Core/
DCallEvent.cpp104 if (getArgSVal(Idx).isZeroConstant()) in hasNonNullArgumentsWithType()
179 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
184 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()
223 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent
329 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()
DExprEngineCXX.cpp61 SVal V = Call.getArgSVal(0); in performTrivialCopy()
DBugReporterVisitors.cpp362 Optional<Loc> ArgV = Call->getArgSVal(I).getAs<Loc>(); in visitNodeMaybeUnsuppress()
1665 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion(); in VisitNode()
/external/clang/lib/StaticAnalyzer/Checkers/
DObjCSelfInitChecker.cpp253 SVal argV = CE.getArgSVal(i); in checkPreCall()
281 SVal argV = CE.getArgSVal(i); in checkPostCall()
DNonNullParamChecker.cpp96 SVal V = Call.getArgSVal(idx); in checkPreCall()
DSimpleStreamChecker.cpp146 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
DObjCSuperDeallocChecker.cpp211 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
DCheckObjCDealloc.cpp379 SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
939 SVal Arg = M.getArgSVal(0); in getValueReleasedByNillingOut()
DBasicObjCFoundationChecks.cpp156 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
788 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
DLocalizationChecker.cpp780 SVal svTitle = msg.getArgSVal(argumentNumber); in checkPreObjCMessage()
835 SVal argValue = Call.getArgSVal(i); in checkPostCall()
DCallAndMessageChecker.cpp432 if (PreVisitProcessArg(C, Call.getArgSVal(i), Call.getArgSourceRange(i), in checkPreCall()
DMallocChecker.cpp1025 return !Call.getArgSVal(i).isZeroConstant(); in getFreeWhenDoneArg()
2217 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall()
2492 if (Call->getNumArgs() >= 4 && Call->getArgSVal(4).isConstant(0)) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
DDynamicTypePropagation.cpp756 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage()
DNullabilityChecker.cpp688 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall()
DRetainCountChecker.cpp2940 SVal V = CallOrMsg.getArgSVal(idx); in processSummaryOfInlined()
3013 SVal V = CallOrMsg.getArgSVal(idx); in checkSummary()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCallEvent.h269 virtual SVal getArgSVal(unsigned Index) const;