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

--- Comment #9 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-14 
12:36:23 UTC ---
C testcase that fails at -O2:

extern void abort (void);

struct X {
    int *p;
    int *q;
};

void __attribute__((noinline, noclone))
foo (struct X x) { *x.q = 0; }

volatile int what;
struct X y;

int main()
{
  int i, j;
  struct X x, *p;
  x.p = &i;
  x.q = &j;
  if (what)
    p = &y;
  else
    p = &x;
  j = 1;
  foo (*p);
  if (j != 0)
    abort ();
  return 0;
}

workaround: --param max-fields-for-field-sensitive=1

Reply via email to