Searched refs:ArgSVal (Results 1 – 5 of 5) sorted by relevance
46 SVal ArgSVal = C.getSVal(CE->getArg(0)); in evalCall() local47 if (ArgSVal.isUndef()) in evalCall()50 state = state->assume(ArgSVal.castAs<DefinedOrUnknownSVal>(), true); in evalCall()
304 SVal ArgSVal = C.getSVal(ArgExpr); in checkPreStmt() local307 if (ArgSVal.isUndef()) in checkPreStmt()310 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()316 if (!isBadDeallocationArgument(ArgSVal.getAsRegion())) in checkPreStmt()
663 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall() local664 if (!ArgSVal) in checkPreCall()671 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()699 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
793 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage() local794 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
2438 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall() local2439 if (ArgSVal.getAs<Loc>()) { in checkPreCall()2440 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()