| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fdump-ipa-cp-details -fdump-tree-vrp1" } */ | |
| static __attribute__((noinline, noclone)) | |
| int foo (int *p) | |
| { | |
| if (!p) | |
| return 0; | |
| *p = 1; | |
| } | |
| struct st | |
| { | |
| int a; | |
| int b; | |
| }; | |
| int arr1[10]; | |
| int a; | |
| int bar (struct st *s) | |
| { | |
| int arr2[10]; | |
| int b; | |
| if (!s) | |
| return 0; | |
| foo (&s->a); | |
| foo (&a); | |
| foo (&b); | |
| foo (&arr1[1]); | |
| foo (&arr2[1]); | |
| } | |
| /* { dg-final { scan-ipa-dump "Setting nonnull for 0" "cp" } } */ | |
| /* { dg-final { scan-tree-dump-times "if" 1 "vrp1" } } */ |