[Bug tree-optimization/53265] Warn when undefined behavior implies smaller iteration count

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53265

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #29639|0                           |1
        is obsolete|                            |

--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-03-12 11:25:01 UTC ---
Created attachment 29650
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29650
gcc48-pr53265.patch

The last patch was missing == INTEGER_CST.  Still, this patch doesn't even
bootstrap, I'll attach here various snippets that need investigations.