Searched refs:ArgSVal (Results 1 – 4 of 4) sorted by relevance
307 SVal ArgSVal = C.getSVal(ArgExpr); in checkPreStmt() local310 if (ArgSVal.isUndef()) in checkPreStmt()313 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()319 if (!isBadDeallocationArgument(ArgSVal.getAsRegion())) in checkPreStmt()
704 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall() local705 if (!ArgSVal) in checkPreCall()712 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()741 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
878 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage() local879 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
2694 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall() local2695 if (ArgSVal.getAs<Loc>()) { in checkPreCall()2696 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()