Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ArgVal

573   SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
574   Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>();