Searched defs:ArgSVal (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp330 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); local
333 if (ArgSVal.isUndef())
336 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
342 if (!isBadDeallocationArgument(ArgSVal.getAsRegion()))
425 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&
H A DMallocChecker.cpp1887 SVal ArgSVal = Call.getArgSVal(I); local
1888 if (ArgSVal.getAs<Loc>()) {
1889 SymbolRef Sym = ArgSVal.getAsSymbol();

Completed in 607 milliseconds