http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55022
Mircea Namolaru <mircea.namolaru at inria dot fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mircea.namolaru at inria dot fr
--- Comment #17 from Mircea Namolaru <mircea.namolaru at inria dot fr> ---
Vladimir Kargov, Tobias Grosser and me found that the problem is caused by
incorrect folding of the floord operator. As a result Cloog translates the
expression
-4294967296*floord(_19-i_17,4294967296)
to the tree-SSA expression
4294967296*floord(_19-i_17,-4294967296)
This is wrong, in the first case floord is 0 and in the second is -1.
