Searched refs:ArgSVal (Results 1 - 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp336 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); local
339 if (ArgSVal.isUndef())
342 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
348 if (!isBadDeallocationArgument(ArgSVal.getAsRegion()))
431 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&
H A DNullabilityChecker.cpp557 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); local
558 if (!ArgSVal)
565 NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
582 const MemRegion *Region = getTrackRegion(*ArgSVal);
H A DDynamicTypePropagation.cpp731 SVal ArgSVal = M.getArgSVal(i); local
732 SymbolRef ArgSym = ArgSVal.getAsSymbol();

Completed in 38 milliseconds