gcc/testsuite/gcc.dg/tree-ssa/pr45427.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-cunrolli-details" } */
   3
   4 extern void abort (void);
   5 int __attribute__((noinline,noclone))
   6 foo (char *p)
   7 {
   8   int h = 0;
   9   do
  10     {
  11       if (*p == '\0')
  12         break;
  13       ++h;
  14       if (p == 0)
  15         abort ();
  16       ++p;
  17     }
  18   while (1);
  19   return h;
  20 }
  21 int main()
  22 {
  23   if (foo("a") != 1)
  24     abort ();
  25   return 0;
  26 }
  27
  28 /* { dg-final { scan-tree-dump-times "bounded by 0" 0 "cunrolli"} } */
  29 /* { dg-final { cleanup-tree-dump "cunrolli" } } */