Home | History | Annotate | Download | only in Checkers

Lines Matching full:sval

411   SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
431   SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
535   SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
847   SVal CollectionVal = C.getSVal(FCS->getCollection());
893   SVal Val = State->getSVal(*ElementLoc);
914   SVal CountGreaterThanZeroVal =
922     // The SValBuilder cannot construct a valid SVal for this condition.
958   SVal CollectionSentinel = C.getSVal(FCS);
1083   SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());