reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
473 if (!firstLoc) 483 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); 498 *firstLoc, *secondLoc, cmpTy); 511 std::swap(firstLoc, secondLoc); 528 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy,