Searched refs:ArgSVal (Results 1 - 1 of 1) 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) &&

Completed in 35 milliseconds