1  /* PR tree-optimization/91029 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fdump-tree-evrp" } */
       4  
       5  void kill (void);
       6  int xx;
       7  
       8  void f1 (int i)
       9  {
      10    if ((i % 7) == 3)
      11      {
      12        xx = (i < 0);
      13        if (xx)
      14          kill ();
      15      }
      16  }
      17  
      18  void f2 (int i)
      19  {
      20    if ((i % 7) > 0)
      21      {
      22        xx = (i < 0);
      23        if (xx)
      24          kill ();
      25      }
      26  }
      27  
      28  void f3 (int i)
      29  {
      30    if ((i % 7) == -3)
      31      {
      32        xx = (i > 0);
      33        if (xx)
      34          kill ();
      35      }
      36  }
      37  
      38  void f4 (int i)
      39  {
      40    if ((i % 7) < 0)
      41      {
      42        xx = (i > 0);
      43        if (xx)
      44          kill ();
      45      }
      46  }
      47  
      48  /* { dg-final { scan-tree-dump-not "kill" "evrp" } }  */