copy-headers.c

linux下编程用 编译软件

/* { dg-do compile } */ 
/* { dg-options "-O2 -fdump-tree-ch-details" } */

extern int foo (int);

void bla (void)
{
  int i, n = foo (0);

  for (i = 0; i < n; i++)
    foo (i);
}

/* There should be a header duplicated.  */
/* { dg-final { scan-tree-dump-times "Duplicating header" 1 "ch"} } */
/* { dg-final { cleanup-tree-dump "ch" } } */