Home | History | Annotate | Download | only in Checkers

Lines Matching full:getsval

2581     cast<BlockDataRegion>(state->getSVal(BE,
2632   SymbolRef Sym = state->getSVal(CE, C.getLocationContext()).getAsLocSymbol();
2658     SVal V = state->getSVal(child, pred->getLocationContext());
2673         state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) {
2700   if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) {
3147   SVal RetVal = state->getSVal(CE->getArg(0), LCtx);
3373       SVal StoredVal = state->getSVal(regionLoc->getRegion());