gcc/testsuite/gcc.dg/tree-ssa/pr79408.c

   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"} } */