Home | History | Annotate | Download | only in Checkers

Lines Matching full:getsval

2265             SVal RecV = St->getSVal(RecExpr, NContext);
2711     cast<BlockDataRegion>(state->getSVal(BE,
2762   SymbolRef Sym = state->getSVal(CE, C.getLocationContext()).getAsLocSymbol();
2785     SVal V = state->getSVal(Child, pred->getLocationContext());
2800         state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) {
2827   if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) {
2838   Optional<Loc> IVarLoc = C.getSVal(IRE).getAs<Loc>();
2843   SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol();
2979   SVal PointeeVal = State->getSVal(ArgRegion);
3391   SVal RetVal = state->getSVal(CE->getArg(0), LCtx);
3629       SVal StoredVal = state->getSVal(regionLoc->getRegion());