gcc/testsuite/gcc.dg/tree-ssa/minus-ovf.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fdump-tree-optimized" } */
   3
   4 int f(unsigned a, unsigned b) {
   5   unsigned remove = a - b;
   6   return remove > a;
   7 }
   8
   9 int g(unsigned a, unsigned b) {
  10   unsigned remove = a - b;
  11   return remove <= a;
  12 }
  13
  14 int h(unsigned a, unsigned b) {
  15   unsigned remove = a - b;
  16   return a < remove;
  17 }
  18
  19 int i(unsigned a, unsigned b) {
  20   unsigned remove = a - b;
  21   return a >= remove;
  22 }
  23
  24 /* { dg-final { scan-tree-dump-not "remove" "optimized" } } */