131
|
1 /* PR sanitizer/81281 */
|
|
2 /* { dg-do compile } */
|
|
3 /* { dg-options "-O2 -fdump-tree-optimized" } */
|
|
4 /* { dg-final { scan-tree-dump-not "p_\[0-9]*\\(D\\)" "optimized" } } */
|
|
5
|
|
6 long long
|
|
7 f1 (int p, int a, int b)
|
|
8 {
|
|
9 int c = p + 1;
|
|
10 int d = a + 2;
|
|
11 int e = b + 3;
|
|
12 long long f = p + a;
|
|
13 long long g = p + b;
|
|
14 return f - g;
|
|
15 }
|
|
16
|
|
17 long long
|
|
18 f2 (int p, int a, int b)
|
|
19 {
|
|
20 int c = a + 1;
|
|
21 int d = p + 2;
|
|
22 int e = b + 3;
|
|
23 long long f = p + a;
|
|
24 long long g = p + b;
|
|
25 return f - g;
|
|
26 }
|
|
27
|
|
28 long long
|
|
29 f3 (int p, int a, int b)
|
|
30 {
|
|
31 int c = b + 1;
|
|
32 int d = p + 2;
|
|
33 int e = a + 3;
|
|
34 long long f = p + a;
|
|
35 long long g = p + b;
|
|
36 return f - g;
|
|
37 }
|
|
38
|
|
39 signed char
|
|
40 f4 (int p, int a, int b)
|
|
41 {
|
|
42 int c = p + 1;
|
|
43 int d = a + 2;
|
|
44 int e = b + 3;
|
|
45 signed char f = p + a;
|
|
46 signed char g = p + b;
|
|
47 return f - g;
|
|
48 }
|
|
49
|
|
50 signed char
|
|
51 f5 (int p, int a, int b)
|
|
52 {
|
|
53 int c = a + 1;
|
|
54 int d = p + 2;
|
|
55 int e = b + 3;
|
|
56 signed char f = p + a;
|
|
57 signed char g = p + b;
|
|
58 return f - g;
|
|
59 }
|
|
60
|
|
61 signed char
|
|
62 f6 (int p, int a, int b)
|
|
63 {
|
|
64 int c = b + 1;
|
|
65 int d = p + 2;
|
|
66 int e = a + 3;
|
|
67 signed char f = p + a;
|
|
68 signed char g = p + b;
|
|
69 return f - g;
|
|
70 }
|
|
71
|
|
72 long long
|
|
73 f7 (int p, int a)
|
|
74 {
|
|
75 int c = p + 1;
|
|
76 int d = a + 2;
|
|
77 long long f = p + a;
|
|
78 long long g = p;
|
|
79 return f - g;
|
|
80 }
|
|
81
|
|
82 long long
|
|
83 f8 (int p, int a)
|
|
84 {
|
|
85 int c = a + 1;
|
|
86 int d = p + 2;
|
|
87 long long f = p + a;
|
|
88 long long g = p;
|
|
89 return f - g;
|
|
90 }
|
|
91
|
|
92 signed char
|
|
93 f9 (int p, int a)
|
|
94 {
|
|
95 int c = p + 1;
|
|
96 int d = a + 2;
|
|
97 signed char f = p + a;
|
|
98 signed char g = p;
|
|
99 return f - g;
|
|
100 }
|
|
101
|
|
102 signed char
|
|
103 f10 (int p, int a)
|
|
104 {
|
|
105 int c = a + 1;
|
|
106 int d = p + 2;
|
|
107 signed char f = p + a;
|
|
108 signed char g = p;
|
|
109 return f - g;
|
|
110 }
|
|
111
|
|
112 long long
|
|
113 f11 (int p, int a)
|
|
114 {
|
|
115 int c = p + 1;
|
|
116 int d = a + 2;
|
|
117 long long f = p;
|
|
118 long long g = p + a;
|
|
119 return f - g;
|
|
120 }
|
|
121
|
|
122 long long
|
|
123 f12 (int p, int a)
|
|
124 {
|
|
125 int c = a + 1;
|
|
126 int d = p + 2;
|
|
127 long long f = p;
|
|
128 long long g = p + a;
|
|
129 return f - g;
|
|
130 }
|
|
131
|
|
132 signed char
|
|
133 f13 (int p, int a)
|
|
134 {
|
|
135 int c = p + 1;
|
|
136 int d = a + 2;
|
|
137 signed char f = p;
|
|
138 signed char g = p + a;
|
|
139 return f - g;
|
|
140 }
|
|
141
|
|
142 signed char
|
|
143 f14 (int p, int a)
|
|
144 {
|
|
145 int c = a + 1;
|
|
146 int d = p + 2;
|
|
147 signed char f = p;
|
|
148 signed char g = p + a;
|
|
149 return f - g;
|
|
150 }
|