copy-headers.c   [plain text]

/* { 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"} } */