Lines Matching defs:Val
893 SVal Val = State->getSVal(*ElementLoc);894 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true);1083 SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());1084 if (Optional<DefinedOrUnknownSVal> DV = Val.getAs<DefinedOrUnknownSVal>())