Searched refs:ArgSVal (Results 1 – 6 of 6) sorted by relevance
60 auto ArgSVal = Call.getArgSVal(0); in handleConstructorAndAssignment() local62 const auto *ArgMemRegion = ArgSVal.getAsRegion(); in handleConstructorAndAssignment()86 auto ArgQType = ArgSVal.getType(C.getASTContext()); in handleConstructorAndAssignment()
300 SVal ArgSVal = C.getSVal(ArgExpr); in checkPreStmt() local303 if (ArgSVal.isUndef()) in checkPreStmt()306 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()312 if (!isBadDeallocationArgument(ArgSVal.getAsRegion())) in checkPreStmt()
788 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall() local789 if (!ArgSVal) in checkPreCall()796 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()825 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
874 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage() local875 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
2958 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall() local2959 if (isa<Loc>(ArgSVal)) { in checkPreCall()2960 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
1349 const auto ArgSVal = Call.getArgSVal(Constraint->getArgNo()); in checkPreCall() local1352 C.getNoteTag([Msg = std::move(Msg), ArgSVal]( in checkPreCall()1354 if (BR.isInteresting(ArgSVal)) in checkPreCall()