Searched refs:getArgSVal (Results 1 - 10 of 10) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DNonNullParamChecker.cpp82 SVal V = Call.getArgSVal(idx);
H A DObjCSelfInitChecker.cpp254 SVal argV = CE.getArgSVal(i);
282 SVal argV = CE.getArgSVal(i);
H A DSimpleStreamChecker.cpp156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
H A DCallAndMessageChecker.cpp425 if (PreVisitProcessArg(C, Call.getArgSVal(i), Call.getArgSourceRange(i),
H A DBasicObjCFoundationChecks.cpp157 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue())
790 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>())
H A DMallocChecker.cpp817 return !Call.getArgSVal(i).isZeroConstant();
1887 SVal ArgSVal = Call.getArgSVal(I);
2147 if (Call->getNumArgs() >= 4 && Call->getArgSVal(4).isConstant(0))
/external/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp96 if (isCallbackArg(getArgSVal(Idx), *I))
161 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion())
166 ValuesToInvalidate.push_back(getArgSVal(Idx));
195 SVal CallEvent::getArgSVal(unsigned Index) const { function in class:CallEvent
301 SVal ArgVal = Call.getArgSVal(Idx);
H A DExprEngineCXX.cpp61 SVal V = Call.getArgSVal(0);
H A DBugReporterVisitors.cpp362 Optional<Loc> ArgV = Call->getArgSVal(I).getAs<Loc>();
1613 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion();
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h236 virtual SVal getArgSVal(unsigned Index) const;
351 /// correspond with the argument value returned by \c getArgSVal(0).

Completed in 196 milliseconds