[Bug tree-optimization/51247] [4.7 Regression] ICE in set_value_range, at tree-vrp.c:417

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org
   Target Milestone|---                         |4.7.0
            Summary|ICE in set_value_range, at  |[4.7 Regression] ICE in
                   |tree-vrp.c:417              |set_value_range, at
                   |                            |tree-vrp.c:417

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-24 
09:22:23 UTC ---
Caused by http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=172871
Shorter testcase at -O2:
struct S { int s : 1; };
int a;

void
foo (int x, int y)
{
  struct S s;
  s.s = !!y;
  while (1)
    {
      unsigned l = 94967295;
      a = x || (s.s &= l);
    }
}