|
131
|
1 /* PR sanitizer/81281 */
|
|
|
2 /* { dg-do compile } */
|
|
|
3 /* { dg-options "-O2 -fdump-tree-optimized" } */
|
|
|
4 /* { dg-final { scan-tree-dump-not "\[+=-] \?123\[ ;]" "optimized" } } */
|
|
|
5
|
|
|
6 #ifdef __SIZEOF_INT128__
|
|
|
7 __int128
|
|
|
8 f1 (int a, long long b)
|
|
|
9 {
|
|
|
10 __int128 f = 123 + a;
|
|
|
11 __int128 g = 123 + b;
|
|
|
12 return f - g;
|
|
|
13 }
|
|
|
14 #endif
|
|
|
15
|
|
|
16 signed char
|
|
|
17 f2 (int a, long long b)
|
|
|
18 {
|
|
|
19 signed char f = 123 + a;
|
|
|
20 signed char g = 123 + b;
|
|
|
21 return f - g;
|
|
|
22 }
|
|
|
23
|
|
|
24 signed char
|
|
|
25 f3 (unsigned int a, unsigned long long b)
|
|
|
26 {
|
|
|
27 signed char f = 123 + a;
|
|
|
28 signed char g = 123 + b;
|
|
|
29 return f - g;
|
|
|
30 }
|
|
|
31
|
|
|
32 unsigned char
|
|
|
33 f4 (unsigned int a, unsigned long long b)
|
|
|
34 {
|
|
|
35 unsigned char f = 123 + a;
|
|
|
36 unsigned char g = 123 + b;
|
|
|
37 return f - g;
|
|
|
38 }
|
|
|
39
|
|
|
40 /* This isn't optimized yet. */
|
|
|
41 #if 0
|
|
|
42 long long
|
|
|
43 f5 (int a)
|
|
|
44 {
|
|
|
45 long long f = 123 + a;
|
|
|
46 long long g = 123;
|
|
|
47 return f - g;
|
|
|
48 }
|
|
|
49 #endif
|
|
|
50
|
|
|
51 signed char
|
|
|
52 f6 (long long a)
|
|
|
53 {
|
|
|
54 signed char f = 123 + a;
|
|
|
55 signed char g = 123;
|
|
|
56 return f - g;
|
|
|
57 }
|
|
|
58
|
|
|
59 signed char
|
|
|
60 f7 (unsigned int a)
|
|
|
61 {
|
|
|
62 signed char f = 123 + a;
|
|
|
63 signed char g = 123;
|
|
|
64 return f - g;
|
|
|
65 }
|
|
|
66
|
|
|
67 unsigned char
|
|
|
68 f8 (unsigned long int a)
|
|
|
69 {
|
|
|
70 unsigned char f = 123 + a;
|
|
|
71 unsigned char g = 123;
|
|
|
72 return f - g;
|
|
|
73 }
|
|
|
74
|
|
|
75 long long
|
|
|
76 f9 (int a)
|
|
|
77 {
|
|
|
78 long long f = 123;
|
|
|
79 long long g = 123 + a;
|
|
|
80 return f - g;
|
|
|
81 }
|
|
|
82
|
|
|
83 signed char
|
|
|
84 f10 (long long a)
|
|
|
85 {
|
|
|
86 signed char f = 123;
|
|
|
87 signed char g = 123 + a;
|
|
|
88 return f - g;
|
|
|
89 }
|
|
|
90
|
|
|
91 signed char
|
|
|
92 f11 (unsigned int a)
|
|
|
93 {
|
|
|
94 signed char f = 123;
|
|
|
95 signed char g = 123 + a;
|
|
|
96 return f - g;
|
|
|
97 }
|
|
|
98
|
|
|
99 unsigned char
|
|
|
100 f12 (unsigned long int a)
|
|
|
101 {
|
|
|
102 unsigned char f = 123;
|
|
|
103 unsigned char g = 123 + a;
|
|
|
104 return f - g;
|
|
|
105 }
|
