[Bug tree-optimization/49079] [4.6/4.7 Regression] Bogus constant folding

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-05-20 
13:45:32 UTC ---
Slightly deobfuscated testcase:
extern void abort (void);

struct U { unsigned char u[1]; };

static unsigned int
foo (const unsigned char *x)
{
  return (unsigned int) x[0];
}

__attribute__ ((noinline)) int
bar (void)
{
  return 0;
}

static unsigned int
baz (const struct U *x)
{
  return foo (x->u + 1 + bar ());
}

int
main ()
{
  if (baz (((struct U *) "abcd")) != 'b')
    abort ();
  return 0;
}

bisecting when it started...