Home
last modified time | relevance | path

Searched refs:ArgSVal (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp306 SVal ArgSVal = C.getSVal(ArgExpr); in checkPreStmt() local
309 if (ArgSVal.isUndef()) in checkPreStmt()
312 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
318 if (!isBadDeallocationArgument(ArgSVal.getAsRegion())) in checkPreStmt()
H A DNullabilityChecker.cpp704 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall() local
705 if (!ArgSVal) in checkPreCall()
712 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()
741 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
H A DDynamicTypePropagation.cpp875 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage() local
876 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
H A DMallocChecker.cpp2910 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall() local
2911 if (isa<Loc>(ArgSVal)) { in checkPreCall()
2912 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()