Home | History | Annotate | Download | only in Checkers

Lines Matching refs:secondVal

407   SVal secondVal = state->getSVal(Second);
413   Loc *secondLoc = dyn_cast<Loc>(&secondVal);
446       // Switch the values so that firstVal is before secondVal.