Lines Matching defs:firstVal
406 SVal firstVal = state->getSVal(First);409 Loc *firstLoc = dyn_cast<Loc>(&firstVal);446 // Switch the values so that firstVal is before secondVal.
