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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp" } */
   3
   4 #define ADD_NW(A,B) (__extension__({ __typeof(A+B) R; if(__builtin_add_overflow(A,B,&R)) __builtin_unreachable(); R ;}))
   5 _Bool a_b2(unsigned A,  unsigned B) { return ADD_NW(A,B) >= B; }
   6
   7 /* { dg-final { scan-tree-dump "return 1;" "evrp" } } */