| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fdump-tree-cunrolli-details" } */ | |
| extern void abort (void); | |
| int __attribute__((noinline,noclone)) | |
| foo (char *p) | |
| { | |
| int h = 0; | |
| do | |
| { | |
| if (*p == '\0') | |
| break; | |
| ++h; | |
| if (p == 0) | |
| abort (); | |
| ++p; | |
| } | |
| while (1); | |
| return h; | |
| } | |
| int main() | |
| { | |
| if (foo("a") != 1) | |
| abort (); | |
| return 0; | |
| } | |
| /* { dg-final { scan-tree-dump-times "bounded by 0x0\[^0-9a-f\]" 0 "cunrolli"} } */ |