1 /* { dg-do run } */
2 /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable" } */
3
4 #define INT_MAX __INT_MAX__
5 #define INT_MIN (-__INT_MAX__ - 1)
6 #define LONG_MAX __LONG_MAX__
7 #define LONG_MIN (-__LONG_MAX__ - 1L)
8 #define LLONG_MAX __LONG_LONG_MAX__
9 #define LLONG_MIN (-__LONG_LONG_MAX__ - 1L)
10
11 int
main(void)12 main (void)
13 {
14 volatile int j = INT_MAX;
15 volatile int i = 1;
16 volatile int k = j + i;
17 k = i + j;
18 j++;
19 j = INT_MAX - 100;
20 j += (1 << 10);
21
22 j = INT_MIN;
23 i = -1;
24 k = i + j;
25 k = j + i;
26 j = INT_MIN + 100;
27 j += -(1 << 10);
28
29 volatile long int m = LONG_MAX;
30 volatile long int n = 1;
31 volatile long int o = m + n;
32 o = n + m;
33 m++;
34 m = LONG_MAX - 100;
35 m += (1 << 10);
36
37 m = LONG_MIN;
38 n = -1;
39 o = m + n;
40 o = n + m;
41 m = LONG_MIN + 100;
42 m += -(1 << 10);
43
44 return 0;
45 }
46
47 /* { dg-output "signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
48 /* { dg-output "\[^\n\r]*signed integer overflow: 1 \\+ 2147483647 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
49 /* { dg-output "\[^\n\r]*signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
50 /* { dg-output "\[^\n\r]*signed integer overflow: 2147483547 \\+ 1024 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
51 /* { dg-output "\[^\n\r]*signed integer overflow: -1 \\+ -2147483648 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
52 /* { dg-output "\[^\n\r]*signed integer overflow: -2147483648 \\+ -1 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
53 /* { dg-output "\[^\n\r]*signed integer overflow: -2147483548 \\+ -1024 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
54 /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
55 /* { dg-output "\[^\n\r]*signed integer overflow: 1 \\+ \[^\n\r]* cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
56 /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
57 /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1024 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
58 /* { dg-output "\[^\n\r]*signed integer overflow: -\[^\n\r]* \\+ -1 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
59 /* { dg-output "\[^\n\r]*signed integer overflow: -1 \\+ -\[^\n\r]* cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
60 /* { dg-output "\[^\n\r]*signed integer overflow: -\[^\n\r]* \\+ -1024 cannot be represented in type 'long int'" } */
61