[Bug tree-optimization/59358] [4.8/4.9 Regression] Infinite loop generated with >=O2

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-12-01
          Component|c                           |tree-optimization
   Target Milestone|---                         |4.8.3
            Summary|Infinite loop generated     |[4.8/4.9 Regression]
                   |with >=O2                   |Infinite loop generated
                   |                            |with >=O2
     Ever confirmed|0                           |1
           Severity|major                       |normal

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
void smartlist_ensure_capacity(int *capacity, int size) {
  int higher = *capacity;
  if (size > higher) {
    if (size <= 16) {
      while (size > higher) {
    higher *= 2;
      }
    }
  }
}

compiled with -O2, VRP1 seems guilty.