Home | History | Annotate | Download | only in Checkers

Lines Matching full:getsval

347     auto ParamValue = State->getSVal(RegVal->getRegion())
483       State->getSVal(S, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();
831       State->getSVal(CE, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();