| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fsplit-paths -fdump-tree-split-paths-details " } */ | |
| int | |
| foo(signed char *p, int n) | |
| { | |
| int s = 0; | |
| int i; | |
| for (i = 0; i < n; i++) { | |
| if (p[i] >= 0) | |
| s++; | |
| else | |
| s--; | |
| } | |
| return s; | |
| } | |
| /* { dg-final { scan-tree-dump "appears to be a join point for if-convertable diamond" "split-paths" } } */ | |