[Bug optimization/12977] New: [tree-ssa] ICE while verify_flow_info

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

Try compile the following code will produce an ICE, I think this is a problem every where:
typedef int ptrdiff_t;
typedef long unsigned int size_t;
namespace std
{
  using ::ptrdiff_t;
  using ::size_t;
}
void* operator new(std::size_t) throw (int);
extern "C" {
void *malloc(size_t);
}
void *
operator new (std::size_t sz) throw (int)
{
  void *p;
  p = (void *) malloc (sz);
  while (p == 0)
      p = (void *) malloc (sz);
  return p;
}


./cc1plus -O test.cc
 void* operator new(size_t)
Block missordering after bb 2

test.cc: In function `void* operator new(size_t)':
test.cc:14: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: [tree-ssa] ICE while verify_flow_info
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, build
          Severity: critical
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: powerpc-apple-darwin7.0.0


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