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