view gcc/testsuite/gcc.dg/torture/20200311-1.c @ 19:2b5abeee2509 default tip

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
line wrap: on
line source

/* { dg-do run } */

struct list { struct list *n; };

struct obj {
    int n;
    struct list l;
} _o;

struct list _l = { .n = &_o.l };

int main(int argc, char *argv[])
  struct obj *o = &_o;
  _o.l.n = &_l;
  while (&o->l != &_l)
    /* Note the following is invoking undefined behavior but in
       this kind of "obvious" cases we don't want to break things
       unnecessarily and thus we avoid analyzing o as pointing
       to nothing via the undefined pointer subtraction.  Instead
       we canonicalize the pointer subtraction followed by the
       pointer conversion to pointer offsetting.  */
    o = ((struct obj *)((const char *)(o->l.n)
			- (const char *)&((struct obj *)0)->l));
  return 0;