Home | History | Annotate | Download | only in Checkers

Lines Matching defs:secondVal

429   SVal secondVal = state->getSVal(Second, LCtx);
435 Optional<Loc> secondLoc = secondVal.getAs<Loc>();
469 // Switch the values so that firstVal is before secondVal.