1  /* PR tree-optimization/79408 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fdump-tree-optimized" } */
       4  
       5  void link_error (void);
       6  
       7  void
       8  foo (unsigned int x, unsigned int y)
       9  {
      10    if (x > 7312)
      11      return;
      12    if (y <= 7312)
      13      return;
      14    if (x % y != x)
      15      link_error ();
      16  }
      17  
      18  void
      19  bar (int x, int y)
      20  {
      21    if (x > 7312 || x < 0)
      22      return;
      23    if (y <= 7312)
      24      return;
      25    if (x % y != x)
      26      link_error ();
      27  }
      28  
      29  void
      30  baz (int x, int y)
      31  {
      32    if (x > 7312 || x < -7312)
      33      return;
      34    if (y <= 7312)
      35      return;
      36    if (x % y != x)
      37      link_error ();
      38  }
      39  
      40  /* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } */