Searched refs:ArgSVal (Results 1 – 2 of 2) sorted by relevance
338 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); in checkPreStmt() local341 if (ArgSVal.isUndef()) in checkPreStmt()344 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()350 if (!isBadDeallocationArgument(ArgSVal.getAsRegion())) in checkPreStmt()433 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) && in checkPreStmt()
2199 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall() local2200 if (ArgSVal.getAs<Loc>()) { in checkPreCall()2201 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()