[llvm-commits] [llvm] r123218 - /llvm/trunk/lib/Analysis/ScalarEvolution.cpp

[Frits van Bommel]

On Tue, Jan 11, 2011 at 7:44 AM, Chris Lattner <sabre at nondot.org> wrote:
> the GEP faq says that only inbounds geps are guaranteed to not overflow.

> -              } 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

s/a GEP/an inbounds GEP/

>                 // unsigned overflow, because the address space cannot be
>                 // wrapped around.
> -                HasNUW = true;
> +                HasNUW |= GEP->isInBounds();
>               }