| /* { dg-options "-O2 --param modref-max-adjustments=8 -fdump-tree-modref1 -fno-optimize-sibling-calls" } */ |
| /* { dg-do compile } */ |
| void |
| set (char *p) |
| { |
| p[1]=1; |
| p[0]=0; |
| p[2]=2; |
| p[4]=4; |
| p[3]=3; |
| } |
| |
| void |
| recurse (char *p, int n) |
| { |
| *p = 0; |
| if (n) |
| recurse (p+1,n-1); |
| } |
| /* { dg-final { scan-tree-dump-not "--param modref-max-accesses" "modref1" } } */ |
| /* { dg-final { scan-tree-dump "--param modref-max-adjustments" "modref1" } } */ |
| /* In set all accesses should merge together. */ |
| /* { dg-final { scan-tree-dump "access: Parm 0 param offset:0 offset:0 size:8 max_size:40" "modref1" } } */ |
| /* In recurse we should cap the recrusion after 8 attempts and set max_size to -1. */ |
| /* { dg-final { scan-tree-dump "access: Parm 0 param offset:0 offset:0 size:8 max_size:-1 adjusted 8 times" "modref1" } } */ |
