Searched refs:ArgSVal (Results 1 – 5 of 5) 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()
753 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall() local754 if (!ArgSVal) in checkPreCall()761 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()790 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
876 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage() local877 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
2901 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall() local2902 if (isa<Loc>(ArgSVal)) { in checkPreCall()2903 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
1002 const auto ArgSVal = Call.getArgSVal(Constraint->getArgNo()); in checkPreCall() local1005 C.getNoteTag([Msg = std::move(Msg), ArgSVal]( in checkPreCall()1007 if (BR.isInteresting(ArgSVal)) in checkPreCall()