1 /* { dg-do run } */
2 /* { dg-options "-fsanitize=undefined" } */
3 
4 extern void abort (void);
5 
6 int
main(void)7 main (void)
8 {
9   int halfmaxval = __INT_MAX__ / 2 + 1;
10   int maxval = halfmaxval - 1 + halfmaxval;
11   if (maxval != __INT_MAX__)
12     abort ();
13   return 0;
14 }
15