Home | History | Annotate | Download | only in Checkers

Lines Matching full:getsval

141   if (State->isNull(C.getSVal(E)).isConstrainedTrue()) {
444   SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
464   SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
573   SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
889   SVal CollectionVal = C.getSVal(FCS->getCollection());
928     ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
935   SVal Val = State->getSVal(*ElementLoc);
980     State->getSVal(FCS->getCollection(), C.getLocationContext()).getAsSymbol();
1010   SVal CollectionSentinel = C.getSVal(FCS);
1066   SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol();
1208   SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());