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 0x0\[^0-9a-f\]" 0 "cunrolli"} } */