[Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)

["micis at gmx dot de" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From micis at gmx dot de  2004-09-09 13:32 -------
now fully reduced:

class Test
{
public:
  Test(unsigned char P1, int P2[], char *P3, int P4);
  char E[10];
  char F[10];
  int  B;
};

Test::Test(unsigned char P1, int *P2, char *P3, int P4) :B(0)
{
  int C = 3*4, D = 0;
  for (unsigned char i=0; i<P1; i++)
    {
      C+=4;
      this->E[i] = P2[i];
    }
  this->B = C + P4;
  for (int i=0; i<P1; i++)
    {
      *((int*)&this->E[0]) = (this->F[i]);
      D+=4;
    }
}


-- 


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