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