xref: /aosp_15_r20/external/AFLplusplus/test/test-int_cases.c (revision 08b48e0b10e97b33e7b60c5b6e2243bd915777f2) 
1*08b48e0bSAndroid Build Coastguard Worker /* test cases for integer comparison transformations
2*08b48e0bSAndroid Build Coastguard Worker  * compile with -DINT_TYPE="signed char"
3*08b48e0bSAndroid Build Coastguard Worker  *          or  -DINT_TYPE="short"
4*08b48e0bSAndroid Build Coastguard Worker  *          or  -DINT_TYPE="int"
5*08b48e0bSAndroid Build Coastguard Worker  *          or  -DINT_TYPE="long"
6*08b48e0bSAndroid Build Coastguard Worker  *          or  -DINT_TYPE="long long"
7*08b48e0bSAndroid Build Coastguard Worker  */
8*08b48e0bSAndroid Build Coastguard Worker 
9*08b48e0bSAndroid Build Coastguard Worker #include <assert.h>
10*08b48e0bSAndroid Build Coastguard Worker 
main()11*08b48e0bSAndroid Build Coastguard Worker int main() {
12*08b48e0bSAndroid Build Coastguard Worker 
13*08b48e0bSAndroid Build Coastguard Worker   volatile INT_TYPE a, b;
14*08b48e0bSAndroid Build Coastguard Worker   /* different values */
15*08b48e0bSAndroid Build Coastguard Worker   a = -21;
16*08b48e0bSAndroid Build Coastguard Worker   b = -2;                                                    /* signs equal */
17*08b48e0bSAndroid Build Coastguard Worker   assert((a < b));
18*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
19*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
20*08b48e0bSAndroid Build Coastguard Worker   assert(!(a >= b));
21*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
22*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
23*08b48e0bSAndroid Build Coastguard Worker 
24*08b48e0bSAndroid Build Coastguard Worker   a = 1;
25*08b48e0bSAndroid Build Coastguard Worker   b = 8;                                                     /* signs equal */
26*08b48e0bSAndroid Build Coastguard Worker   assert((a < b));
27*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
28*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
29*08b48e0bSAndroid Build Coastguard Worker   assert(!(a >= b));
30*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
31*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
32*08b48e0bSAndroid Build Coastguard Worker 
33*08b48e0bSAndroid Build Coastguard Worker   if ((unsigned)(INT_TYPE)(~0) > 255) {                  /* short or bigger */
34*08b48e0bSAndroid Build Coastguard Worker     volatile short a, b;
35*08b48e0bSAndroid Build Coastguard Worker     a = 2;
36*08b48e0bSAndroid Build Coastguard Worker     b = 256 + 1;                                             /* signs equal */
37*08b48e0bSAndroid Build Coastguard Worker     assert((a < b));
38*08b48e0bSAndroid Build Coastguard Worker     assert((a <= b));
39*08b48e0bSAndroid Build Coastguard Worker     assert(!(a > b));
40*08b48e0bSAndroid Build Coastguard Worker     assert(!(a >= b));
41*08b48e0bSAndroid Build Coastguard Worker     assert((a != b));
42*08b48e0bSAndroid Build Coastguard Worker     assert(!(a == b));
43*08b48e0bSAndroid Build Coastguard Worker 
44*08b48e0bSAndroid Build Coastguard Worker     a = -1 - 256;
45*08b48e0bSAndroid Build Coastguard Worker     b = -8;                                                  /* signs equal */
46*08b48e0bSAndroid Build Coastguard Worker     assert((a < b));
47*08b48e0bSAndroid Build Coastguard Worker     assert((a <= b));
48*08b48e0bSAndroid Build Coastguard Worker     assert(!(a > b));
49*08b48e0bSAndroid Build Coastguard Worker     assert(!(a >= b));
50*08b48e0bSAndroid Build Coastguard Worker     assert((a != b));
51*08b48e0bSAndroid Build Coastguard Worker     assert(!(a == b));
52*08b48e0bSAndroid Build Coastguard Worker 
53*08b48e0bSAndroid Build Coastguard Worker     if ((unsigned)(INT_TYPE)(~0) > 65535) {                /* int or bigger */
54*08b48e0bSAndroid Build Coastguard Worker       volatile int a, b;
55*08b48e0bSAndroid Build Coastguard Worker       a = 2;
56*08b48e0bSAndroid Build Coastguard Worker       b = 65536 + 1;                                         /* signs equal */
57*08b48e0bSAndroid Build Coastguard Worker       assert((a < b));
58*08b48e0bSAndroid Build Coastguard Worker       assert((a <= b));
59*08b48e0bSAndroid Build Coastguard Worker       assert(!(a > b));
60*08b48e0bSAndroid Build Coastguard Worker       assert(!(a >= b));
61*08b48e0bSAndroid Build Coastguard Worker       assert((a != b));
62*08b48e0bSAndroid Build Coastguard Worker       assert(!(a == b));
63*08b48e0bSAndroid Build Coastguard Worker 
64*08b48e0bSAndroid Build Coastguard Worker       a = -1 - 65536;
65*08b48e0bSAndroid Build Coastguard Worker       b = -8;                                                /* signs equal */
66*08b48e0bSAndroid Build Coastguard Worker       assert((a < b));
67*08b48e0bSAndroid Build Coastguard Worker       assert((a <= b));
68*08b48e0bSAndroid Build Coastguard Worker       assert(!(a > b));
69*08b48e0bSAndroid Build Coastguard Worker       assert(!(a >= b));
70*08b48e0bSAndroid Build Coastguard Worker       assert((a != b));
71*08b48e0bSAndroid Build Coastguard Worker       assert(!(a == b));
72*08b48e0bSAndroid Build Coastguard Worker 
73*08b48e0bSAndroid Build Coastguard Worker       if ((unsigned)(INT_TYPE)(~0) > 4294967295) {        /* long or bigger */
74*08b48e0bSAndroid Build Coastguard Worker         volatile long a, b;
75*08b48e0bSAndroid Build Coastguard Worker         a = 2;
76*08b48e0bSAndroid Build Coastguard Worker         b = 4294967296 + 1;                                  /* signs equal */
77*08b48e0bSAndroid Build Coastguard Worker         assert((a < b));
78*08b48e0bSAndroid Build Coastguard Worker         assert((a <= b));
79*08b48e0bSAndroid Build Coastguard Worker         assert(!(a > b));
80*08b48e0bSAndroid Build Coastguard Worker         assert(!(a >= b));
81*08b48e0bSAndroid Build Coastguard Worker         assert((a != b));
82*08b48e0bSAndroid Build Coastguard Worker         assert(!(a == b));
83*08b48e0bSAndroid Build Coastguard Worker 
84*08b48e0bSAndroid Build Coastguard Worker         a = -1 - 4294967296;
85*08b48e0bSAndroid Build Coastguard Worker         b = -8;                                              /* signs equal */
86*08b48e0bSAndroid Build Coastguard Worker         assert((a < b));
87*08b48e0bSAndroid Build Coastguard Worker         assert((a <= b));
88*08b48e0bSAndroid Build Coastguard Worker         assert(!(a > b));
89*08b48e0bSAndroid Build Coastguard Worker         assert(!(a >= b));
90*08b48e0bSAndroid Build Coastguard Worker         assert((a != b));
91*08b48e0bSAndroid Build Coastguard Worker         assert(!(a == b));
92*08b48e0bSAndroid Build Coastguard Worker 
93*08b48e0bSAndroid Build Coastguard Worker       }
94*08b48e0bSAndroid Build Coastguard Worker 
95*08b48e0bSAndroid Build Coastguard Worker     }
96*08b48e0bSAndroid Build Coastguard Worker 
97*08b48e0bSAndroid Build Coastguard Worker   }
98*08b48e0bSAndroid Build Coastguard Worker 
99*08b48e0bSAndroid Build Coastguard Worker   a = -1;
100*08b48e0bSAndroid Build Coastguard Worker   b = 1;                                                    /* signs differ */
101*08b48e0bSAndroid Build Coastguard Worker   assert((a < b));
102*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
103*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
104*08b48e0bSAndroid Build Coastguard Worker   assert(!(a >= b));
105*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
106*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
107*08b48e0bSAndroid Build Coastguard Worker 
108*08b48e0bSAndroid Build Coastguard Worker   a = -1;
109*08b48e0bSAndroid Build Coastguard Worker   b = 0;                                                    /* signs differ */
110*08b48e0bSAndroid Build Coastguard Worker   assert((a < b));
111*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
112*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
113*08b48e0bSAndroid Build Coastguard Worker   assert(!(a >= b));
114*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
115*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
116*08b48e0bSAndroid Build Coastguard Worker 
117*08b48e0bSAndroid Build Coastguard Worker   a = -2;
118*08b48e0bSAndroid Build Coastguard Worker   b = 8;                                                    /* signs differ */
119*08b48e0bSAndroid Build Coastguard Worker   assert((a < b));
120*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
121*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
122*08b48e0bSAndroid Build Coastguard Worker   assert(!(a >= b));
123*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
124*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
125*08b48e0bSAndroid Build Coastguard Worker 
126*08b48e0bSAndroid Build Coastguard Worker   a = -1;
127*08b48e0bSAndroid Build Coastguard Worker   b = -2;                                                    /* signs equal */
128*08b48e0bSAndroid Build Coastguard Worker   assert((a > b));
129*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
130*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
131*08b48e0bSAndroid Build Coastguard Worker   assert(!(a <= b));
132*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
133*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
134*08b48e0bSAndroid Build Coastguard Worker 
135*08b48e0bSAndroid Build Coastguard Worker   a = 8;
136*08b48e0bSAndroid Build Coastguard Worker   b = 1;                                                     /* signs equal */
137*08b48e0bSAndroid Build Coastguard Worker   assert((a > b));
138*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
139*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
140*08b48e0bSAndroid Build Coastguard Worker   assert(!(a <= b));
141*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
142*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
143*08b48e0bSAndroid Build Coastguard Worker 
144*08b48e0bSAndroid Build Coastguard Worker   if ((unsigned)(INT_TYPE)(~0) > 255) {
145*08b48e0bSAndroid Build Coastguard Worker 
146*08b48e0bSAndroid Build Coastguard Worker     volatile short a, b;
147*08b48e0bSAndroid Build Coastguard Worker     a = 1 + 256;
148*08b48e0bSAndroid Build Coastguard Worker     b = 3;                                                   /* signs equal */
149*08b48e0bSAndroid Build Coastguard Worker     assert((a > b));
150*08b48e0bSAndroid Build Coastguard Worker     assert((a >= b));
151*08b48e0bSAndroid Build Coastguard Worker     assert(!(a < b));
152*08b48e0bSAndroid Build Coastguard Worker     assert(!(a <= b));
153*08b48e0bSAndroid Build Coastguard Worker     assert((a != b));
154*08b48e0bSAndroid Build Coastguard Worker     assert(!(a == b));
155*08b48e0bSAndroid Build Coastguard Worker 
156*08b48e0bSAndroid Build Coastguard Worker     a = -1;
157*08b48e0bSAndroid Build Coastguard Worker     b = -256;                                                /* signs equal */
158*08b48e0bSAndroid Build Coastguard Worker     assert((a > b));
159*08b48e0bSAndroid Build Coastguard Worker     assert((a >= b));
160*08b48e0bSAndroid Build Coastguard Worker     assert(!(a < b));
161*08b48e0bSAndroid Build Coastguard Worker     assert(!(a <= b));
162*08b48e0bSAndroid Build Coastguard Worker     assert((a != b));
163*08b48e0bSAndroid Build Coastguard Worker     assert(!(a == b));
164*08b48e0bSAndroid Build Coastguard Worker 
165*08b48e0bSAndroid Build Coastguard Worker     if ((unsigned)(INT_TYPE)(~0) > 65535) {
166*08b48e0bSAndroid Build Coastguard Worker 
167*08b48e0bSAndroid Build Coastguard Worker       volatile int a, b;
168*08b48e0bSAndroid Build Coastguard Worker       a = 1 + 65536;
169*08b48e0bSAndroid Build Coastguard Worker       b = 3;                                                 /* signs equal */
170*08b48e0bSAndroid Build Coastguard Worker       assert((a > b));
171*08b48e0bSAndroid Build Coastguard Worker       assert((a >= b));
172*08b48e0bSAndroid Build Coastguard Worker       assert(!(a < b));
173*08b48e0bSAndroid Build Coastguard Worker       assert(!(a <= b));
174*08b48e0bSAndroid Build Coastguard Worker       assert((a != b));
175*08b48e0bSAndroid Build Coastguard Worker       assert(!(a == b));
176*08b48e0bSAndroid Build Coastguard Worker 
177*08b48e0bSAndroid Build Coastguard Worker       a = -1;
178*08b48e0bSAndroid Build Coastguard Worker       b = -65536;                                            /* signs equal */
179*08b48e0bSAndroid Build Coastguard Worker       assert((a > b));
180*08b48e0bSAndroid Build Coastguard Worker       assert((a >= b));
181*08b48e0bSAndroid Build Coastguard Worker       assert(!(a < b));
182*08b48e0bSAndroid Build Coastguard Worker       assert(!(a <= b));
183*08b48e0bSAndroid Build Coastguard Worker       assert((a != b));
184*08b48e0bSAndroid Build Coastguard Worker       assert(!(a == b));
185*08b48e0bSAndroid Build Coastguard Worker 
186*08b48e0bSAndroid Build Coastguard Worker       if ((unsigned)(INT_TYPE)(~0) > 4294967295) {
187*08b48e0bSAndroid Build Coastguard Worker 
188*08b48e0bSAndroid Build Coastguard Worker         volatile long a, b;
189*08b48e0bSAndroid Build Coastguard Worker         a = 1 + 4294967296;
190*08b48e0bSAndroid Build Coastguard Worker         b = 3;                                               /* signs equal */
191*08b48e0bSAndroid Build Coastguard Worker         assert((a > b));
192*08b48e0bSAndroid Build Coastguard Worker         assert((a >= b));
193*08b48e0bSAndroid Build Coastguard Worker         assert(!(a < b));
194*08b48e0bSAndroid Build Coastguard Worker         assert(!(a <= b));
195*08b48e0bSAndroid Build Coastguard Worker         assert((a != b));
196*08b48e0bSAndroid Build Coastguard Worker         assert(!(a == b));
197*08b48e0bSAndroid Build Coastguard Worker 
198*08b48e0bSAndroid Build Coastguard Worker         a = -1;
199*08b48e0bSAndroid Build Coastguard Worker         b = -4294967296;                                     /* signs equal */
200*08b48e0bSAndroid Build Coastguard Worker         assert((a > b));
201*08b48e0bSAndroid Build Coastguard Worker         assert((a >= b));
202*08b48e0bSAndroid Build Coastguard Worker         assert(!(a < b));
203*08b48e0bSAndroid Build Coastguard Worker         assert(!(a <= b));
204*08b48e0bSAndroid Build Coastguard Worker         assert((a != b));
205*08b48e0bSAndroid Build Coastguard Worker         assert(!(a == b));
206*08b48e0bSAndroid Build Coastguard Worker 
207*08b48e0bSAndroid Build Coastguard Worker       }
208*08b48e0bSAndroid Build Coastguard Worker 
209*08b48e0bSAndroid Build Coastguard Worker     }
210*08b48e0bSAndroid Build Coastguard Worker 
211*08b48e0bSAndroid Build Coastguard Worker   }
212*08b48e0bSAndroid Build Coastguard Worker 
213*08b48e0bSAndroid Build Coastguard Worker   a = 1;
214*08b48e0bSAndroid Build Coastguard Worker   b = -1;                                                   /* signs differ */
215*08b48e0bSAndroid Build Coastguard Worker   assert((a > b));
216*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
217*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
218*08b48e0bSAndroid Build Coastguard Worker   assert(!(a <= b));
219*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
220*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
221*08b48e0bSAndroid Build Coastguard Worker 
222*08b48e0bSAndroid Build Coastguard Worker   a = 0;
223*08b48e0bSAndroid Build Coastguard Worker   b = -1;                                                   /* signs differ */
224*08b48e0bSAndroid Build Coastguard Worker   assert((a > b));
225*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
226*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
227*08b48e0bSAndroid Build Coastguard Worker   assert(!(a <= b));
228*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
229*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
230*08b48e0bSAndroid Build Coastguard Worker 
231*08b48e0bSAndroid Build Coastguard Worker   a = 8;
232*08b48e0bSAndroid Build Coastguard Worker   b = -2;                                                   /* signs differ */
233*08b48e0bSAndroid Build Coastguard Worker   assert((a > b));
234*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
235*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
236*08b48e0bSAndroid Build Coastguard Worker   assert(!(a <= b));
237*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
238*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
239*08b48e0bSAndroid Build Coastguard Worker 
240*08b48e0bSAndroid Build Coastguard Worker   a = 1;
241*08b48e0bSAndroid Build Coastguard Worker   b = -2;                                                   /* signs differ */
242*08b48e0bSAndroid Build Coastguard Worker   assert((a > b));
243*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
244*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
245*08b48e0bSAndroid Build Coastguard Worker   assert(!(a <= b));
246*08b48e0bSAndroid Build Coastguard Worker   assert((a != b));
247*08b48e0bSAndroid Build Coastguard Worker   assert(!(a == b));
248*08b48e0bSAndroid Build Coastguard Worker 
249*08b48e0bSAndroid Build Coastguard Worker   if ((unsigned)(INT_TYPE)(~0) > 255) {
250*08b48e0bSAndroid Build Coastguard Worker 
251*08b48e0bSAndroid Build Coastguard Worker     volatile short a, b;
252*08b48e0bSAndroid Build Coastguard Worker     a = 1 + 256;
253*08b48e0bSAndroid Build Coastguard Worker     b = -2;                                                 /* signs differ */
254*08b48e0bSAndroid Build Coastguard Worker     assert((a > b));
255*08b48e0bSAndroid Build Coastguard Worker     assert((a >= b));
256*08b48e0bSAndroid Build Coastguard Worker     assert(!(a < b));
257*08b48e0bSAndroid Build Coastguard Worker     assert(!(a <= b));
258*08b48e0bSAndroid Build Coastguard Worker     assert((a != b));
259*08b48e0bSAndroid Build Coastguard Worker     assert(!(a == b));
260*08b48e0bSAndroid Build Coastguard Worker 
261*08b48e0bSAndroid Build Coastguard Worker     a = -1;
262*08b48e0bSAndroid Build Coastguard Worker     b = -2 - 256;                                           /* signs differ */
263*08b48e0bSAndroid Build Coastguard Worker     assert((a > b));
264*08b48e0bSAndroid Build Coastguard Worker     assert((a >= b));
265*08b48e0bSAndroid Build Coastguard Worker     assert(!(a < b));
266*08b48e0bSAndroid Build Coastguard Worker     assert(!(a <= b));
267*08b48e0bSAndroid Build Coastguard Worker     assert((a != b));
268*08b48e0bSAndroid Build Coastguard Worker     assert(!(a == b));
269*08b48e0bSAndroid Build Coastguard Worker 
270*08b48e0bSAndroid Build Coastguard Worker     if ((unsigned)(INT_TYPE)(~0) > 65535) {
271*08b48e0bSAndroid Build Coastguard Worker 
272*08b48e0bSAndroid Build Coastguard Worker       volatile int a, b;
273*08b48e0bSAndroid Build Coastguard Worker       a = 1 + 65536;
274*08b48e0bSAndroid Build Coastguard Worker       b = -2;                                               /* signs differ */
275*08b48e0bSAndroid Build Coastguard Worker       assert((a > b));
276*08b48e0bSAndroid Build Coastguard Worker       assert((a >= b));
277*08b48e0bSAndroid Build Coastguard Worker       assert(!(a < b));
278*08b48e0bSAndroid Build Coastguard Worker       assert(!(a <= b));
279*08b48e0bSAndroid Build Coastguard Worker       assert((a != b));
280*08b48e0bSAndroid Build Coastguard Worker       assert(!(a == b));
281*08b48e0bSAndroid Build Coastguard Worker 
282*08b48e0bSAndroid Build Coastguard Worker       a = -1;
283*08b48e0bSAndroid Build Coastguard Worker       b = -2 - 65536;                                       /* signs differ */
284*08b48e0bSAndroid Build Coastguard Worker       assert((a > b));
285*08b48e0bSAndroid Build Coastguard Worker       assert((a >= b));
286*08b48e0bSAndroid Build Coastguard Worker       assert(!(a < b));
287*08b48e0bSAndroid Build Coastguard Worker       assert(!(a <= b));
288*08b48e0bSAndroid Build Coastguard Worker       assert((a != b));
289*08b48e0bSAndroid Build Coastguard Worker       assert(!(a == b));
290*08b48e0bSAndroid Build Coastguard Worker 
291*08b48e0bSAndroid Build Coastguard Worker       if ((unsigned)(INT_TYPE)(~0) > 4294967295) {
292*08b48e0bSAndroid Build Coastguard Worker 
293*08b48e0bSAndroid Build Coastguard Worker         volatile long a, b;
294*08b48e0bSAndroid Build Coastguard Worker         a = 1 + 4294967296;
295*08b48e0bSAndroid Build Coastguard Worker         b = -2;                                             /* signs differ */
296*08b48e0bSAndroid Build Coastguard Worker         assert((a > b));
297*08b48e0bSAndroid Build Coastguard Worker         assert((a >= b));
298*08b48e0bSAndroid Build Coastguard Worker         assert(!(a < b));
299*08b48e0bSAndroid Build Coastguard Worker         assert(!(a <= b));
300*08b48e0bSAndroid Build Coastguard Worker         assert((a != b));
301*08b48e0bSAndroid Build Coastguard Worker         assert(!(a == b));
302*08b48e0bSAndroid Build Coastguard Worker 
303*08b48e0bSAndroid Build Coastguard Worker         a = -1;
304*08b48e0bSAndroid Build Coastguard Worker         b = -2 - 4294967296;                                /* signs differ */
305*08b48e0bSAndroid Build Coastguard Worker         assert((a > b));
306*08b48e0bSAndroid Build Coastguard Worker         assert((a >= b));
307*08b48e0bSAndroid Build Coastguard Worker         assert(!(a < b));
308*08b48e0bSAndroid Build Coastguard Worker         assert(!(a <= b));
309*08b48e0bSAndroid Build Coastguard Worker         assert((a != b));
310*08b48e0bSAndroid Build Coastguard Worker         assert(!(a == b));
311*08b48e0bSAndroid Build Coastguard Worker 
312*08b48e0bSAndroid Build Coastguard Worker       }
313*08b48e0bSAndroid Build Coastguard Worker 
314*08b48e0bSAndroid Build Coastguard Worker     }
315*08b48e0bSAndroid Build Coastguard Worker 
316*08b48e0bSAndroid Build Coastguard Worker   }
317*08b48e0bSAndroid Build Coastguard Worker 
318*08b48e0bSAndroid Build Coastguard Worker   /* equal values */
319*08b48e0bSAndroid Build Coastguard Worker   a = 0;
320*08b48e0bSAndroid Build Coastguard Worker   b = 0;
321*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
322*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
323*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
324*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
325*08b48e0bSAndroid Build Coastguard Worker   assert(!(a != b));
326*08b48e0bSAndroid Build Coastguard Worker   assert((a == b));
327*08b48e0bSAndroid Build Coastguard Worker 
328*08b48e0bSAndroid Build Coastguard Worker   a = -0;
329*08b48e0bSAndroid Build Coastguard Worker   b = 0;
330*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
331*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
332*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
333*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
334*08b48e0bSAndroid Build Coastguard Worker   assert(!(a != b));
335*08b48e0bSAndroid Build Coastguard Worker   assert((a == b));
336*08b48e0bSAndroid Build Coastguard Worker 
337*08b48e0bSAndroid Build Coastguard Worker   a = 1;
338*08b48e0bSAndroid Build Coastguard Worker   b = 1;
339*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
340*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
341*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
342*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
343*08b48e0bSAndroid Build Coastguard Worker   assert(!(a != b));
344*08b48e0bSAndroid Build Coastguard Worker   assert((a == b));
345*08b48e0bSAndroid Build Coastguard Worker 
346*08b48e0bSAndroid Build Coastguard Worker   a = 5;
347*08b48e0bSAndroid Build Coastguard Worker   b = 5;
348*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
349*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
350*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
351*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
352*08b48e0bSAndroid Build Coastguard Worker   assert(!(a != b));
353*08b48e0bSAndroid Build Coastguard Worker   assert((a == b));
354*08b48e0bSAndroid Build Coastguard Worker 
355*08b48e0bSAndroid Build Coastguard Worker   a = -1;
356*08b48e0bSAndroid Build Coastguard Worker   b = -1;
357*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
358*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
359*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
360*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
361*08b48e0bSAndroid Build Coastguard Worker   assert(!(a != b));
362*08b48e0bSAndroid Build Coastguard Worker   assert((a == b));
363*08b48e0bSAndroid Build Coastguard Worker 
364*08b48e0bSAndroid Build Coastguard Worker   a = -5;
365*08b48e0bSAndroid Build Coastguard Worker   b = -5;
366*08b48e0bSAndroid Build Coastguard Worker   assert(!(a < b));
367*08b48e0bSAndroid Build Coastguard Worker   assert((a <= b));
368*08b48e0bSAndroid Build Coastguard Worker   assert(!(a > b));
369*08b48e0bSAndroid Build Coastguard Worker   assert((a >= b));
370*08b48e0bSAndroid Build Coastguard Worker   assert(!(a != b));
371*08b48e0bSAndroid Build Coastguard Worker   assert((a == b));
372*08b48e0bSAndroid Build Coastguard Worker 
373*08b48e0bSAndroid Build Coastguard Worker   if ((unsigned)(INT_TYPE)(~0) > 255) {
374*08b48e0bSAndroid Build Coastguard Worker 
375*08b48e0bSAndroid Build Coastguard Worker     volatile short a, b;
376*08b48e0bSAndroid Build Coastguard Worker     a = 1 + 256;
377*08b48e0bSAndroid Build Coastguard Worker     b = 1 + 256;
378*08b48e0bSAndroid Build Coastguard Worker     assert(!(a < b));
379*08b48e0bSAndroid Build Coastguard Worker     assert((a <= b));
380*08b48e0bSAndroid Build Coastguard Worker     assert(!(a > b));
381*08b48e0bSAndroid Build Coastguard Worker     assert((a >= b));
382*08b48e0bSAndroid Build Coastguard Worker     assert(!(a != b));
383*08b48e0bSAndroid Build Coastguard Worker     assert((a == b));
384*08b48e0bSAndroid Build Coastguard Worker 
385*08b48e0bSAndroid Build Coastguard Worker     a = -2 - 256;
386*08b48e0bSAndroid Build Coastguard Worker     b = -2 - 256;
387*08b48e0bSAndroid Build Coastguard Worker     assert(!(a < b));
388*08b48e0bSAndroid Build Coastguard Worker     assert((a <= b));
389*08b48e0bSAndroid Build Coastguard Worker     assert(!(a > b));
390*08b48e0bSAndroid Build Coastguard Worker     assert((a >= b));
391*08b48e0bSAndroid Build Coastguard Worker     assert(!(a != b));
392*08b48e0bSAndroid Build Coastguard Worker     assert((a == b));
393*08b48e0bSAndroid Build Coastguard Worker 
394*08b48e0bSAndroid Build Coastguard Worker     if ((unsigned)(INT_TYPE)(~0) > 65535) {
395*08b48e0bSAndroid Build Coastguard Worker 
396*08b48e0bSAndroid Build Coastguard Worker       volatile int a, b;
397*08b48e0bSAndroid Build Coastguard Worker       a = 1 + 65536;
398*08b48e0bSAndroid Build Coastguard Worker       b = 1 + 65536;
399*08b48e0bSAndroid Build Coastguard Worker       assert(!(a < b));
400*08b48e0bSAndroid Build Coastguard Worker       assert((a <= b));
401*08b48e0bSAndroid Build Coastguard Worker       assert(!(a > b));
402*08b48e0bSAndroid Build Coastguard Worker       assert((a >= b));
403*08b48e0bSAndroid Build Coastguard Worker       assert(!(a != b));
404*08b48e0bSAndroid Build Coastguard Worker       assert((a == b));
405*08b48e0bSAndroid Build Coastguard Worker 
406*08b48e0bSAndroid Build Coastguard Worker       a = -2 - 65536;
407*08b48e0bSAndroid Build Coastguard Worker       b = -2 - 65536;
408*08b48e0bSAndroid Build Coastguard Worker       assert(!(a < b));
409*08b48e0bSAndroid Build Coastguard Worker       assert((a <= b));
410*08b48e0bSAndroid Build Coastguard Worker       assert(!(a > b));
411*08b48e0bSAndroid Build Coastguard Worker       assert((a >= b));
412*08b48e0bSAndroid Build Coastguard Worker       assert(!(a != b));
413*08b48e0bSAndroid Build Coastguard Worker       assert((a == b));
414*08b48e0bSAndroid Build Coastguard Worker 
415*08b48e0bSAndroid Build Coastguard Worker       if ((unsigned)(INT_TYPE)(~0) > 4294967295) {
416*08b48e0bSAndroid Build Coastguard Worker 
417*08b48e0bSAndroid Build Coastguard Worker         volatile long a, b;
418*08b48e0bSAndroid Build Coastguard Worker         a = 1 + 4294967296;
419*08b48e0bSAndroid Build Coastguard Worker         b = 1 + 4294967296;
420*08b48e0bSAndroid Build Coastguard Worker         assert(!(a < b));
421*08b48e0bSAndroid Build Coastguard Worker         assert((a <= b));
422*08b48e0bSAndroid Build Coastguard Worker         assert(!(a > b));
423*08b48e0bSAndroid Build Coastguard Worker         assert((a >= b));
424*08b48e0bSAndroid Build Coastguard Worker         assert(!(a != b));
425*08b48e0bSAndroid Build Coastguard Worker         assert((a == b));
426*08b48e0bSAndroid Build Coastguard Worker 
427*08b48e0bSAndroid Build Coastguard Worker         a = -2 - 4294967296;
428*08b48e0bSAndroid Build Coastguard Worker         b = -2 - 4294967296;
429*08b48e0bSAndroid Build Coastguard Worker         assert(!(a < b));
430*08b48e0bSAndroid Build Coastguard Worker         assert((a <= b));
431*08b48e0bSAndroid Build Coastguard Worker         assert(!(a > b));
432*08b48e0bSAndroid Build Coastguard Worker         assert((a >= b));
433*08b48e0bSAndroid Build Coastguard Worker         assert(!(a != b));
434*08b48e0bSAndroid Build Coastguard Worker         assert((a == b));
435*08b48e0bSAndroid Build Coastguard Worker 
436*08b48e0bSAndroid Build Coastguard Worker       }
437*08b48e0bSAndroid Build Coastguard Worker 
438*08b48e0bSAndroid Build Coastguard Worker     }
439*08b48e0bSAndroid Build Coastguard Worker 
440*08b48e0bSAndroid Build Coastguard Worker   }
441*08b48e0bSAndroid Build Coastguard Worker 
442*08b48e0bSAndroid Build Coastguard Worker }
443*08b48e0bSAndroid Build Coastguard Worker 
444