1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-evrp" } */
3 
4 int foo (int *p);
5 
6 struct st
7 {
8   int a;
9   int b;
10 };
11 
bar(struct st * s)12 int bar (struct st *s)
13 {
14 
15   if (!s)
16     return 0;
17   foo (&s->a);
18 }
19 
20 /* { dg-final { scan-tree-dump "\~\\\[0B, 0B\\\]" "evrp" } } */
21