Home | History | Annotate | Download | only in Checkers

Lines Matching defs:firstVal

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