git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123218
91177308-0d34-0410-b5e6-
96231b3b80d8
HasNUW = true;
if (OBO->hasNoSignedWrap())
HasNSW = true;
- } else if (isa<GEPOperator>(BEValueV)) {
+ } else if (const GEPOperator *GEP =
+ dyn_cast<GEPOperator>(BEValueV)) {
// If the increment is a GEP, then we know it won't perform an
// unsigned overflow, because the address space cannot be
// wrapped around.
- HasNUW = true;
+ HasNUW |= GEP->isInBounds();
}
const SCEV *StartVal = getSCEV(StartValueV);