Searched refs:ArgSVal (Results 1 – 4 of 4) sorted by relevance
328 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); in checkPreStmt() local331 if (ArgSVal.isUndef()) in checkPreStmt()334 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()340 if (!isBadDeallocationArgument(ArgSVal.getAsRegion())) in checkPreStmt()423 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) && in checkPreStmt()
688 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall() local689 if (!ArgSVal) in checkPreCall()696 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()722 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
756 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage() local757 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
2217 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall() local2218 if (ArgSVal.getAs<Loc>()) { in checkPreCall()2219 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()