1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-evrp-details" } */
       3  
       4  int foo (int *p);
       5  
       6  struct st
       7  {
       8    int a;
       9    int b;
      10  };
      11  
      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 "\\\[1, \\+INF\\\]" "evrp" } } */