Home | History | Annotate | Download | only in Checkers

Lines Matching full:getsval

371   State->getSVal(RegionVal->getRegion()).getAs<DefinedOrUnknownSVal>();
409   SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt));
564       State->getSVal(S, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();
978       State->getSVal(CE, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();