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>())
