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

/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp328 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); local
331 if (ArgSVal.isUndef())
334 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
340 if (!isBadDeallocationArgument(ArgSVal.getAsRegion()))
423 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&
H A DNullabilityChecker.cpp567 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); local
568 if (!ArgSVal)
575 NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
593 const MemRegion *Region = getTrackRegion(*ArgSVal);
H A DDynamicTypePropagation.cpp731 SVal ArgSVal = M.getArgSVal(i); local
732 SymbolRef ArgSym = ArgSVal.getAsSymbol();

Completed in 96 milliseconds