[Bug tree-optimization/52115] [4.7 Regression] ICE: verify_ssa failed (missing definition for SSA_NAME)

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|avr                         |
          Component|other                       |tree-optimization
      Known to work|                            |4.6.2
   Target Milestone|---                         |4.7.0
            Summary|ICE: verify_ssa failed      |[4.7 Regression] ICE:
                   |(missing definition for     |verify_ssa failed (missing
                   |SSA_NAME)                   |definition for SSA_NAME)

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-02-06 
13:08:27 UTC ---
Testcase that fails on x86_64:

struct S
{
  float f;
  long l;
};

extern int gi;
extern float gf;

long foo (long p)
{
  struct S s;
  float *pf;

  s.l = p;

  pf = &s.f;

  pf++;
  pf--;

  gf = *pf + 3.3;
  gi = *((short *)pf) + 2;

  return s.l + 6;
}

I have a patch.