[Bug tree-optimization/62058] Undefined behaviour in tree-data-ref.c with options -O1 -ftree-loop-vectorize

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62058

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-09-04
   Target Milestone|---                         |4.9.2
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
$ ./xgcc -B./ -c o.c -O -ftree-loop-vectorize
/home/polacek/src/gcc/gcc/tree-data-ref.c:2440:16: runtime error: signed
integer overflow: 65536 * -65536 cannot be represented in type 'int'
/home/polacek/src/gcc/gcc/tree-data-ref.c:2351:38: runtime error: signed
integer overflow: 1073741824 + 1073741824 cannot be represented in type 'int'
/home/polacek/src/gcc/gcc/tree-data-ref.c:2442:16: runtime error: negation of
-2147483648 cannot be represented in type 'int'; cast to an unsigned type to
negate this value to itself
/home/polacek/src/gcc/gcc/tree-data-ref.c:2441:16: runtime error: negation of
-2147483648 cannot be represented in type 'int'; cast to an unsigned type to
negate this value to itself

Confirmed.