Home | History | Annotate | Download | only in Checkers

Lines Matching full:getsval

894   SVal sv = C.getSVal(SL);
914   SVal LiteralSVal = State->getSVal(LiteralExpr, Succ->getLocationContext());