1  /* { dg-do compile} */
       2  /* { dg-options "-O2 -fdump-tree-evrp -fdisable-tree-ethread" } */
       3  
       4  char a[2];
       5  
       6  extern int x;
       7  
       8  void foo(void);
       9  
      10  signed char g (signed char min, signed char max)
      11  {
      12     signed char i = x;
      13     return i < min || max < i ? min : i;
      14  }
      15  
      16  void gg (void)
      17  {
      18     signed char t = g (0, 9);
      19     /* Ranger should be able to remove the call to foo ().  */
      20     if (t > 9 || t < 0)
      21       foo ();
      22  }
      23  
      24  /* { dg-final { scan-tree-dump-not "foo" "evrp" } }  */