Home | History | Annotate | Download | only in Checkers

Lines Matching refs:firstVal

428   SVal firstVal = state->getSVal(First, LCtx);
431 Optional<Loc> firstLoc = firstVal.getAs<Loc>();
469 // Switch the values so that firstVal is before secondVal.