1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
/* run.config
OPT: -rte -warn-signed-overflow -print -machdep x86_32
*/
int main() {
int x=0,y=0,z=0;
z = (int) 0x7fffffff + (int) 0x7fffffff; /* false */
z = - 0x7fffffff - 0x7fffffff; /* false */
z = (- (int) (-0x7fffffff -1)) - 1; /* false */
z = (int) 0x7fffffff + 0; /* true */
z = - (int) 0x7fffffff - 1; /* true */
z = x + y;
z = - (int) 0x7ffffffc - y;
z = - x - (int) 0x7ffffffc;
z = (int) 0x7ffffffc + y;
z = x + (int) 0x7ffffffc;
z = y + (-2);
z = y - (-2);
z = -1 - y;
z = -2 - y;
z = 0 - y;
return 0;
}
|
