[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-03-04 23:13 -------
Here is a reduced testcase for that last one:
struct GenBuffer
{
  virtual int getLength () const = 0;
};
struct SimBuffer
{
  struct B : virtual public GenBuffer
  {
      char *beg;
      virtual int getLength () const ;
      virtual ~ B () {
        delete[]beg;
    }
    B & term0 ();
  };
};
void cexit (int exitCode);
void f(const char*);
void run_sam2p_engine (char const *const *argv1, bool helpp)
{
  if (!helpp && argv1[0] != 0 && argv1[1] == 0 ) { }
  else if (helpp)
    {
    help:
      f( " test.gif EPS: test.eps\n" ) ;
      if (helpp)
        cexit (0);
    }
  else {
      SimBuffer::B jobss;
        goto help;
    }
  SimBuffer::B ().term0 ();
}


------------
I think this is the same issue except this time the constant decl is a the
vtable reference.


-- 


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