Lines Matching refs:firstLoc
431 Optional<Loc> firstLoc = firstVal.getAs<Loc>();
432 if (!firstLoc)
442 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
457 *firstLoc, *secondLoc, cmpTy);
470 std::swap(firstLoc, secondLoc);
487 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy,
