view gcc/testsuite/gcc.dg/analyzer/pr94047.c @ 19:2b5abeee2509 default tip

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

/* { dg-additional-options "-Wno-analyzer-too-complex" } */
/* TODO: the above ought not to be necessary, but currently is due to a
   state explosion within the for loop.  */

typedef struct list
{
  struct list *next;
} tlist;

void
bar (struct list *l)
{
  l->next = l->next->next;
}

void
foo (void)
{
  struct list l;
  tlist t = l;
  for (;;)
    bar (&t);
}