[Bug tree-optimization/22484] [4.1 Regression] ICE: verify_stmts failed with -O3

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-14 16:05 -------
Confirmed. Reduced testcase (compile with -O3):

======================================
struct A { ~A(); };
typedef bool B;

bool foo();

bool bar(A&)
{
  B b = true;

  for (int i = 0; i < 2 && b; ++i)
    b = foo();

  return b;
}

void baz()
{
  A a;
  if (bar(a)) foo();
}
======================================

The strange thing is that the typedef is really necessary.

The problem only affects mainline.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
 GCC target triplet|any 64bit target            |
           Keywords|                            |monitored
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-14 16:05:20
               date|                            |


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