xref: /OK3568_Linux_fs/external/recovery/safe_iop.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun /* safe_iop
2*4882a593Smuzhiyun  * License:: released in to the public domain
3*4882a593Smuzhiyun  * Author:: Will Drewry <redpig@dataspill.org>
4*4882a593Smuzhiyun  * Copyright 2007,2008 redpig@dataspill.org
5*4882a593Smuzhiyun  * Some portions copyright The Android Open Source Project
6*4882a593Smuzhiyun  *
7*4882a593Smuzhiyun  * Unless required by applicable law or agreed to in writing, software
8*4882a593Smuzhiyun  * distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS
9*4882a593Smuzhiyun  * OF ANY KIND, either express or implied.
10*4882a593Smuzhiyun  *
11*4882a593Smuzhiyun  * See safe_iop.h for more info.
12*4882a593Smuzhiyun  */
13*4882a593Smuzhiyun #include <stdint.h>
14*4882a593Smuzhiyun #include <stdarg.h>
15*4882a593Smuzhiyun #include <string.h>
16*4882a593Smuzhiyun #include <sys/types.h>
17*4882a593Smuzhiyun 
18*4882a593Smuzhiyun #include <safe_iop.h>
19*4882a593Smuzhiyun 
20*4882a593Smuzhiyun /* Read off the type if the first value matches a type prefix
21*4882a593Smuzhiyun  * and consume characters if successful.
22*4882a593Smuzhiyun  */
_safe_op_read_type(safe_type_t * type,const char ** c)23*4882a593Smuzhiyun static int _safe_op_read_type(safe_type_t *type, const char **c)
24*4882a593Smuzhiyun {
25*4882a593Smuzhiyun     if (type == NULL) {
26*4882a593Smuzhiyun         return 0;
27*4882a593Smuzhiyun     }
28*4882a593Smuzhiyun     if (c == NULL || *c == NULL || **c == '\0') {
29*4882a593Smuzhiyun         return 0;
30*4882a593Smuzhiyun     }
31*4882a593Smuzhiyun     /* Extract a type for the operation if there is one */
32*4882a593Smuzhiyun     if (strchr(SAFE_IOP_TYPE_PREFIXES, **c) != NULL) {
33*4882a593Smuzhiyun         switch (**c) {
34*4882a593Smuzhiyun         case 'u':
35*4882a593Smuzhiyun             if ((*(*c + 1) && *(*c + 1) == '3') &&
36*4882a593Smuzhiyun                 (*(*c + 2) && *(*c + 2) == '2')) {
37*4882a593Smuzhiyun                 *type = SAFE_IOP_TYPE_U32;
38*4882a593Smuzhiyun                 *c += 3; /* Advance past type */
39*4882a593Smuzhiyun             }
40*4882a593Smuzhiyun             break;
41*4882a593Smuzhiyun         case 's':
42*4882a593Smuzhiyun             if ((*(*c + 1) && *(*c + 1) == '3') &&
43*4882a593Smuzhiyun                 (*(*c + 2) && *(*c + 2) == '2')) {
44*4882a593Smuzhiyun                 *type = SAFE_IOP_TYPE_S32;
45*4882a593Smuzhiyun                 *c += 3; /* Advance past type */
46*4882a593Smuzhiyun             }
47*4882a593Smuzhiyun             break;
48*4882a593Smuzhiyun         default:
49*4882a593Smuzhiyun             /* Unknown type */
50*4882a593Smuzhiyun             return 0;
51*4882a593Smuzhiyun         }
52*4882a593Smuzhiyun     }
53*4882a593Smuzhiyun     return 1;
54*4882a593Smuzhiyun }
55*4882a593Smuzhiyun 
56*4882a593Smuzhiyun #define _SAFE_IOP_TYPE_CASE(_type, _func) { \
57*4882a593Smuzhiyun   _type a = va_arg(ap, _type), value = *((_type *) result); \
58*4882a593Smuzhiyun   if (!baseline) { \
59*4882a593Smuzhiyun     value = a; \
60*4882a593Smuzhiyun     a = va_arg(ap, _type); \
61*4882a593Smuzhiyun     baseline = 1; \
62*4882a593Smuzhiyun   } \
63*4882a593Smuzhiyun   if (! _func( (_type *) result, value, a)) \
64*4882a593Smuzhiyun     return 0; \
65*4882a593Smuzhiyun }
66*4882a593Smuzhiyun #define _SAFE_IOP_OP_CASE(u32func, s32func) \
67*4882a593Smuzhiyun   switch (type) { \
68*4882a593Smuzhiyun     case SAFE_IOP_TYPE_U32: \
69*4882a593Smuzhiyun       _SAFE_IOP_TYPE_CASE(u_int32_t, u32func); \
70*4882a593Smuzhiyun       break; \
71*4882a593Smuzhiyun     case SAFE_IOP_TYPE_S32: \
72*4882a593Smuzhiyun       _SAFE_IOP_TYPE_CASE(int32_t, s32func); \
73*4882a593Smuzhiyun       break; \
74*4882a593Smuzhiyun     default: \
75*4882a593Smuzhiyun       return 0; \
76*4882a593Smuzhiyun   }
77*4882a593Smuzhiyun 
safe_iopf(void * result,const char * const fmt,...)78*4882a593Smuzhiyun int safe_iopf(void *result, const char *const fmt, ...)
79*4882a593Smuzhiyun {
80*4882a593Smuzhiyun     va_list ap;
81*4882a593Smuzhiyun     int baseline = 0; /* indicates if the base value is present */
82*4882a593Smuzhiyun 
83*4882a593Smuzhiyun     const char *c = NULL;
84*4882a593Smuzhiyun     safe_type_t type = SAFE_IOP_TYPE_DEFAULT;
85*4882a593Smuzhiyun     /* Result should not be NULL */
86*4882a593Smuzhiyun     if (!result)
87*4882a593Smuzhiyun         return 0;
88*4882a593Smuzhiyun 
89*4882a593Smuzhiyun     va_start(ap, fmt);
90*4882a593Smuzhiyun     if (fmt == NULL || fmt[0] == '\0')
91*4882a593Smuzhiyun         return 0;
92*4882a593Smuzhiyun     for (c = fmt; (*c); c++) {
93*4882a593Smuzhiyun         /* Read the type if specified */
94*4882a593Smuzhiyun         if (!_safe_op_read_type(&type, &c)) {
95*4882a593Smuzhiyun             return 0;
96*4882a593Smuzhiyun         }
97*4882a593Smuzhiyun 
98*4882a593Smuzhiyun         /* Process the the operations */
99*4882a593Smuzhiyun         switch (*c) { /* operation */
100*4882a593Smuzhiyun         case '+': /* add */
101*4882a593Smuzhiyun             _SAFE_IOP_OP_CASE(safe_uadd, safe_sadd);
102*4882a593Smuzhiyun             break;
103*4882a593Smuzhiyun         case '-': /* sub */
104*4882a593Smuzhiyun             _SAFE_IOP_OP_CASE(safe_usub, safe_ssub);
105*4882a593Smuzhiyun             break;
106*4882a593Smuzhiyun         case '*': /* mul */
107*4882a593Smuzhiyun             _SAFE_IOP_OP_CASE(safe_umul, safe_smul);
108*4882a593Smuzhiyun             break;
109*4882a593Smuzhiyun         case '/': /* div */
110*4882a593Smuzhiyun             _SAFE_IOP_OP_CASE(safe_udiv, safe_sdiv);
111*4882a593Smuzhiyun             break;
112*4882a593Smuzhiyun         case '%': /* mod */
113*4882a593Smuzhiyun             _SAFE_IOP_OP_CASE(safe_umod, safe_smod);
114*4882a593Smuzhiyun             break;
115*4882a593Smuzhiyun         default:
116*4882a593Smuzhiyun             /* unknown op */
117*4882a593Smuzhiyun             return 0;
118*4882a593Smuzhiyun         }
119*4882a593Smuzhiyun         /* Reset the type */
120*4882a593Smuzhiyun         type = SAFE_IOP_TYPE_DEFAULT;
121*4882a593Smuzhiyun     }
122*4882a593Smuzhiyun     /* Success! */
123*4882a593Smuzhiyun     return 1;
124*4882a593Smuzhiyun }
125*4882a593Smuzhiyun 
126*4882a593Smuzhiyun #ifdef SAFE_IOP_TEST
127*4882a593Smuzhiyun #include <stdio.h>
128*4882a593Smuzhiyun #include <stdint.h>
129*4882a593Smuzhiyun #include <limits.h>
130*4882a593Smuzhiyun 
131*4882a593Smuzhiyun /* __LP64__ is given by GCC. Without more work, this is bound to GCC. */
132*4882a593Smuzhiyun #if __LP64__ == 1 || __SIZEOF_LONG__ > __SIZEOF_INT__
133*4882a593Smuzhiyun #  define SAFE_INT64_MAX 0x7fffffffffffffffL
134*4882a593Smuzhiyun #  define SAFE_UINT64_MAX 0xffffffffffffffffUL
135*4882a593Smuzhiyun #  define SAFE_INT64_MIN (-SAFE_INT64_MAX - 1L)
136*4882a593Smuzhiyun #elif __SIZEOF_LONG__ == __SIZEOF_INT__
137*4882a593Smuzhiyun #  define SAFE_INT64_MAX 0x7fffffffffffffffLL
138*4882a593Smuzhiyun #  define SAFE_UINT64_MAX 0xffffffffffffffffULL
139*4882a593Smuzhiyun #  define SAFE_INT64_MIN (-SAFE_INT64_MAX - 1LL)
140*4882a593Smuzhiyun #else
141*4882a593Smuzhiyun #  warning "64-bit support disabled"
142*4882a593Smuzhiyun #  define SAFE_IOP_NO_64 1
143*4882a593Smuzhiyun #endif
144*4882a593Smuzhiyun 
145*4882a593Smuzhiyun /* Pull these from GNU's limit.h */
146*4882a593Smuzhiyun #ifndef LLONG_MAX
147*4882a593Smuzhiyun #  define LLONG_MAX 9223372036854775807LL
148*4882a593Smuzhiyun #endif
149*4882a593Smuzhiyun #ifndef LLONG_MIN
150*4882a593Smuzhiyun #  define LLONG_MIN (-LLONG_MAX - 1LL)
151*4882a593Smuzhiyun #endif
152*4882a593Smuzhiyun #ifndef ULLONG_MAX
153*4882a593Smuzhiyun #  define ULLONG_MAX 18446744073709551615ULL
154*4882a593Smuzhiyun #endif
155*4882a593Smuzhiyun 
156*4882a593Smuzhiyun /* Assumes SSIZE_MAX */
157*4882a593Smuzhiyun #ifndef SSIZE_MIN
158*4882a593Smuzhiyun #  if SSIZE_MAX == LONG_MAX
159*4882a593Smuzhiyun #    define SSIZE_MIN LONG_MIN
160*4882a593Smuzhiyun #  elif SSIZE_MAX == LONG_LONG_MAX
161*4882a593Smuzhiyun #    define SSIZE_MIN LONG_LONG_MIN
162*4882a593Smuzhiyun #  else
163*4882a593Smuzhiyun #    error "SSIZE_MIN is not defined and could not be guessed"
164*4882a593Smuzhiyun #  endif
165*4882a593Smuzhiyun #endif
166*4882a593Smuzhiyun 
167*4882a593Smuzhiyun #define EXPECT_FALSE(cmd) ({ \
168*4882a593Smuzhiyun   printf("%s: EXPECT_FALSE(" #cmd ") => ", __func__); \
169*4882a593Smuzhiyun   if ((cmd) != 0) { printf(" FAILED\n"); expect_fail++; r = 0; } \
170*4882a593Smuzhiyun   else { printf(" PASSED\n"); expect_succ++; } \
171*4882a593Smuzhiyun   expect++; \
172*4882a593Smuzhiyun   })
173*4882a593Smuzhiyun #define EXPECT_TRUE(cmd) ({ \
174*4882a593Smuzhiyun   printf("%s: EXPECT_TRUE(" #cmd ") => ", __func__); \
175*4882a593Smuzhiyun   if ((cmd) != 1) { printf(" FAILED\n"); expect_fail++; r = 0; } \
176*4882a593Smuzhiyun   else { printf(" PASSED\n"); expect_succ++; } \
177*4882a593Smuzhiyun   expect++;  \
178*4882a593Smuzhiyun   })
179*4882a593Smuzhiyun 
180*4882a593Smuzhiyun static int expect = 0, expect_succ = 0, expect_fail = 0;
181*4882a593Smuzhiyun 
182*4882a593Smuzhiyun /***** ADD *****/
T_add_s8()183*4882a593Smuzhiyun int T_add_s8()
184*4882a593Smuzhiyun {
185*4882a593Smuzhiyun     int r = 1;
186*4882a593Smuzhiyun     int8_t a, b;
187*4882a593Smuzhiyun     a = SCHAR_MIN; b = -1; EXPECT_FALSE(safe_add(NULL, a, b));
188*4882a593Smuzhiyun     a = SCHAR_MAX; b = 1; EXPECT_FALSE(safe_add(NULL, a, b));
189*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
190*4882a593Smuzhiyun     a = -10; b = -11; EXPECT_TRUE(safe_add(NULL, a, b));
191*4882a593Smuzhiyun     a = SCHAR_MIN; b = SCHAR_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
192*4882a593Smuzhiyun     a = SCHAR_MIN + 1; b = -1; EXPECT_TRUE(safe_add(NULL, a, b));
193*4882a593Smuzhiyun     a = SCHAR_MAX / 2; b = SCHAR_MAX / 2; EXPECT_TRUE(safe_add(NULL, a, b));
194*4882a593Smuzhiyun     return r;
195*4882a593Smuzhiyun }
196*4882a593Smuzhiyun 
T_add_s16()197*4882a593Smuzhiyun int T_add_s16()
198*4882a593Smuzhiyun {
199*4882a593Smuzhiyun     int r = 1;
200*4882a593Smuzhiyun     int16_t a, b;
201*4882a593Smuzhiyun     a = SHRT_MIN; b = -1; EXPECT_FALSE(safe_add(NULL, a, b));
202*4882a593Smuzhiyun     a = SHRT_MAX; b = 1; EXPECT_FALSE(safe_add(NULL, a, b));
203*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
204*4882a593Smuzhiyun     a = SHRT_MIN; b = SHRT_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
205*4882a593Smuzhiyun     a = SHRT_MAX / 2; b = SHRT_MAX / 2; EXPECT_TRUE(safe_add(NULL, a, b));
206*4882a593Smuzhiyun     return r;
207*4882a593Smuzhiyun }
208*4882a593Smuzhiyun 
T_add_s32()209*4882a593Smuzhiyun int T_add_s32()
210*4882a593Smuzhiyun {
211*4882a593Smuzhiyun     int r = 1;
212*4882a593Smuzhiyun     int32_t a, b;
213*4882a593Smuzhiyun     a = INT_MIN; b = -1; EXPECT_FALSE(safe_add(NULL, a, b));
214*4882a593Smuzhiyun     a = INT_MAX; b = 1; EXPECT_FALSE(safe_add(NULL, a, b));
215*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
216*4882a593Smuzhiyun     a = INT_MIN; b = INT_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
217*4882a593Smuzhiyun     a = INT_MAX / 2; b = INT_MAX / 2; EXPECT_TRUE(safe_add(NULL, a, b));
218*4882a593Smuzhiyun     return r;
219*4882a593Smuzhiyun }
220*4882a593Smuzhiyun 
T_add_s64()221*4882a593Smuzhiyun int T_add_s64()
222*4882a593Smuzhiyun {
223*4882a593Smuzhiyun     int r = 1;
224*4882a593Smuzhiyun     int64_t a, b;
225*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = -1; EXPECT_FALSE(safe_add(NULL, a, b));
226*4882a593Smuzhiyun     a = SAFE_INT64_MAX; b = 1; EXPECT_FALSE(safe_add(NULL, a, b));
227*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
228*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = SAFE_INT64_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
229*4882a593Smuzhiyun     a = SAFE_INT64_MAX / 2; b = SAFE_INT64_MAX / 2; EXPECT_TRUE(safe_add(NULL, a, b));
230*4882a593Smuzhiyun     return r;
231*4882a593Smuzhiyun }
232*4882a593Smuzhiyun 
T_add_long()233*4882a593Smuzhiyun int T_add_long()
234*4882a593Smuzhiyun {
235*4882a593Smuzhiyun     int r = 1;
236*4882a593Smuzhiyun     long a, b;
237*4882a593Smuzhiyun     a = LONG_MIN; b = -1; EXPECT_FALSE(safe_add(NULL, a, b));
238*4882a593Smuzhiyun     a = LONG_MAX; b = 1; EXPECT_FALSE(safe_add(NULL, a, b));
239*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
240*4882a593Smuzhiyun     a = LONG_MIN; b = LONG_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
241*4882a593Smuzhiyun     a = LONG_MAX / 2; b = LONG_MAX / 2; EXPECT_TRUE(safe_add(NULL, a, b));
242*4882a593Smuzhiyun     return r;
243*4882a593Smuzhiyun }
T_add_longlong()244*4882a593Smuzhiyun int T_add_longlong()
245*4882a593Smuzhiyun {
246*4882a593Smuzhiyun     int r = 1;
247*4882a593Smuzhiyun     long long a, b;
248*4882a593Smuzhiyun     a = LLONG_MIN; b = -1; EXPECT_FALSE(safe_add(NULL, a, b));
249*4882a593Smuzhiyun     a = LLONG_MAX; b = 1; EXPECT_FALSE(safe_add(NULL, a, b));
250*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
251*4882a593Smuzhiyun     a = LLONG_MIN; b = LLONG_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
252*4882a593Smuzhiyun     a = LLONG_MAX / 2; b = LLONG_MAX / 2; EXPECT_TRUE(safe_add(NULL, a, b));
253*4882a593Smuzhiyun     return r;
254*4882a593Smuzhiyun }
T_add_ssizet()255*4882a593Smuzhiyun int T_add_ssizet()
256*4882a593Smuzhiyun {
257*4882a593Smuzhiyun     int r = 1;
258*4882a593Smuzhiyun     ssize_t a, b;
259*4882a593Smuzhiyun     a = SSIZE_MIN; b = -1; EXPECT_FALSE(safe_add(NULL, a, b));
260*4882a593Smuzhiyun     a = SSIZE_MAX; b = 1; EXPECT_FALSE(safe_add(NULL, a, b));
261*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
262*4882a593Smuzhiyun     a = SSIZE_MIN; b = SSIZE_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
263*4882a593Smuzhiyun     a = SSIZE_MAX / 2; b = SSIZE_MAX / 2; EXPECT_TRUE(safe_add(NULL, a, b));
264*4882a593Smuzhiyun     return r;
265*4882a593Smuzhiyun }
266*4882a593Smuzhiyun 
T_add_u8()267*4882a593Smuzhiyun int T_add_u8()
268*4882a593Smuzhiyun {
269*4882a593Smuzhiyun     int r = 1;
270*4882a593Smuzhiyun     uint8_t a, b;
271*4882a593Smuzhiyun     a = 1; b = UCHAR_MAX; EXPECT_FALSE(safe_add(NULL, a, b));
272*4882a593Smuzhiyun     a = UCHAR_MAX / 2; b = a + 2; EXPECT_FALSE(safe_add(NULL, a, b));
273*4882a593Smuzhiyun     a = UCHAR_MAX / 2; b = a; EXPECT_TRUE(safe_add(NULL, a, b));
274*4882a593Smuzhiyun     a = UCHAR_MAX / 2; b = a + 1; EXPECT_TRUE(safe_add(NULL, a, b));
275*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
276*4882a593Smuzhiyun     a = 0; b = UCHAR_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
277*4882a593Smuzhiyun     return r;
278*4882a593Smuzhiyun }
279*4882a593Smuzhiyun 
T_add_u16()280*4882a593Smuzhiyun int T_add_u16()
281*4882a593Smuzhiyun {
282*4882a593Smuzhiyun     int r = 1;
283*4882a593Smuzhiyun     uint16_t a, b;
284*4882a593Smuzhiyun     a = 1; b = USHRT_MAX; EXPECT_FALSE(safe_add(NULL, a, b));
285*4882a593Smuzhiyun     a = USHRT_MAX / 2; b = a + 2; EXPECT_FALSE(safe_add(NULL, a, b));
286*4882a593Smuzhiyun     a = USHRT_MAX / 2; b = a; EXPECT_TRUE(safe_add(NULL, a, b));
287*4882a593Smuzhiyun     a = USHRT_MAX / 2; b = a + 1; EXPECT_TRUE(safe_add(NULL, a, b));
288*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
289*4882a593Smuzhiyun     a = 0; b = USHRT_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
290*4882a593Smuzhiyun     return r;
291*4882a593Smuzhiyun }
292*4882a593Smuzhiyun 
T_add_u32()293*4882a593Smuzhiyun int T_add_u32()
294*4882a593Smuzhiyun {
295*4882a593Smuzhiyun     int r = 1;
296*4882a593Smuzhiyun     uint32_t a, b;
297*4882a593Smuzhiyun     a = 1; b = UINT_MAX; EXPECT_FALSE(safe_add(NULL, a, b));
298*4882a593Smuzhiyun     a = UINT_MAX / 2; b = a + 2; EXPECT_FALSE(safe_add(NULL, a, b));
299*4882a593Smuzhiyun     a = UINT_MAX / 2; b = a; EXPECT_TRUE(safe_add(NULL, a, b));
300*4882a593Smuzhiyun     a = UINT_MAX / 2; b = a + 1; EXPECT_TRUE(safe_add(NULL, a, b));
301*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
302*4882a593Smuzhiyun     a = 0; b = UINT_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
303*4882a593Smuzhiyun     return r;
304*4882a593Smuzhiyun }
305*4882a593Smuzhiyun 
T_add_u64()306*4882a593Smuzhiyun int T_add_u64()
307*4882a593Smuzhiyun {
308*4882a593Smuzhiyun     int r = 1;
309*4882a593Smuzhiyun     uint64_t a, b;
310*4882a593Smuzhiyun     a = 1; b = SAFE_UINT64_MAX; EXPECT_FALSE(safe_add(NULL, a, b));
311*4882a593Smuzhiyun     a = SAFE_UINT64_MAX / 2; b = a + 2; EXPECT_FALSE(safe_add(NULL, a, b));
312*4882a593Smuzhiyun     a = SAFE_UINT64_MAX / 2; b = a; EXPECT_TRUE(safe_add(NULL, a, b));
313*4882a593Smuzhiyun     a = SAFE_UINT64_MAX / 2; b = a + 1; EXPECT_TRUE(safe_add(NULL, a, b));
314*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
315*4882a593Smuzhiyun     a = 0; b = SAFE_UINT64_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
316*4882a593Smuzhiyun     return r;
317*4882a593Smuzhiyun }
318*4882a593Smuzhiyun 
T_add_ulong()319*4882a593Smuzhiyun int T_add_ulong()
320*4882a593Smuzhiyun {
321*4882a593Smuzhiyun     int r = 1;
322*4882a593Smuzhiyun     unsigned long a, b;
323*4882a593Smuzhiyun     a = 1; b = ULONG_MAX; EXPECT_FALSE(safe_add(NULL, a, b));
324*4882a593Smuzhiyun     a = ULONG_MAX / 2; b = a + 2; EXPECT_FALSE(safe_add(NULL, a, b));
325*4882a593Smuzhiyun     a = ULONG_MAX / 2; b = a; EXPECT_TRUE(safe_add(NULL, a, b));
326*4882a593Smuzhiyun     a = ULONG_MAX / 2; b = a + 1; EXPECT_TRUE(safe_add(NULL, a, b));
327*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
328*4882a593Smuzhiyun     a = 0; b = ULONG_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
329*4882a593Smuzhiyun     return r;
330*4882a593Smuzhiyun }
331*4882a593Smuzhiyun 
T_add_ulonglong()332*4882a593Smuzhiyun int T_add_ulonglong()
333*4882a593Smuzhiyun {
334*4882a593Smuzhiyun     int r = 1;
335*4882a593Smuzhiyun     unsigned long long a, b;
336*4882a593Smuzhiyun     a = 1; b = ULLONG_MAX; EXPECT_FALSE(safe_add(NULL, a, b));
337*4882a593Smuzhiyun     a = ULLONG_MAX / 2; b = a + 2; EXPECT_FALSE(safe_add(NULL, a, b));
338*4882a593Smuzhiyun     a = ULLONG_MAX / 2; b = a; EXPECT_TRUE(safe_add(NULL, a, b));
339*4882a593Smuzhiyun     a = ULLONG_MAX / 2; b = a + 1; EXPECT_TRUE(safe_add(NULL, a, b));
340*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
341*4882a593Smuzhiyun     a = 0; b = ULLONG_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
342*4882a593Smuzhiyun     return r;
343*4882a593Smuzhiyun }
344*4882a593Smuzhiyun 
T_add_sizet()345*4882a593Smuzhiyun int T_add_sizet()
346*4882a593Smuzhiyun {
347*4882a593Smuzhiyun     int r = 1;
348*4882a593Smuzhiyun     size_t a, b;
349*4882a593Smuzhiyun     a = 1; b = SIZE_MAX; EXPECT_FALSE(safe_add(NULL, a, b));
350*4882a593Smuzhiyun     a = SIZE_MAX / 2; b = a + 2; EXPECT_FALSE(safe_add(NULL, a, b));
351*4882a593Smuzhiyun     a = SIZE_MAX / 2; b = a; EXPECT_TRUE(safe_add(NULL, a, b));
352*4882a593Smuzhiyun     a = SIZE_MAX / 2; b = a + 1; EXPECT_TRUE(safe_add(NULL, a, b));
353*4882a593Smuzhiyun     a = 10; b = 11; EXPECT_TRUE(safe_add(NULL, a, b));
354*4882a593Smuzhiyun     a = 0; b = SIZE_MAX; EXPECT_TRUE(safe_add(NULL, a, b));
355*4882a593Smuzhiyun     return r;
356*4882a593Smuzhiyun }
357*4882a593Smuzhiyun 
T_add_mixed()358*4882a593Smuzhiyun int T_add_mixed()
359*4882a593Smuzhiyun {
360*4882a593Smuzhiyun     int r = 1;
361*4882a593Smuzhiyun     int8_t a = 1;
362*4882a593Smuzhiyun     uint8_t b = 2;
363*4882a593Smuzhiyun     uint16_t c = 3;
364*4882a593Smuzhiyun     EXPECT_FALSE(safe_add(NULL, a, b));
365*4882a593Smuzhiyun     EXPECT_FALSE(safe_add(NULL, b, c));
366*4882a593Smuzhiyun     EXPECT_FALSE(safe_add(NULL, a, c));
367*4882a593Smuzhiyun     EXPECT_FALSE(safe_add3(NULL, a, b, c));
368*4882a593Smuzhiyun     return r;
369*4882a593Smuzhiyun }
370*4882a593Smuzhiyun 
T_add_increment()371*4882a593Smuzhiyun int T_add_increment()
372*4882a593Smuzhiyun {
373*4882a593Smuzhiyun     int r = 1;
374*4882a593Smuzhiyun     uint16_t a = 1, b = 2, c = 0, d[2] = {0};
375*4882a593Smuzhiyun     uint16_t *cur = d;
376*4882a593Smuzhiyun     EXPECT_TRUE(safe_add(cur++, a++, b));
377*4882a593Smuzhiyun     EXPECT_TRUE(cur == &d[1]);
378*4882a593Smuzhiyun     EXPECT_TRUE(d[0] == 3);
379*4882a593Smuzhiyun     EXPECT_TRUE(a == 2);
380*4882a593Smuzhiyun     a = 1; b = 2; c = 1; cur = d; d[0] = 0;
381*4882a593Smuzhiyun     EXPECT_TRUE(safe_add3(cur++, a++, b++, c));
382*4882a593Smuzhiyun     EXPECT_TRUE(d[0] == 4);
383*4882a593Smuzhiyun     EXPECT_TRUE(cur == &d[1]);
384*4882a593Smuzhiyun     EXPECT_TRUE(a == 2);
385*4882a593Smuzhiyun     EXPECT_TRUE(b == 3);
386*4882a593Smuzhiyun     EXPECT_TRUE(c == 1);
387*4882a593Smuzhiyun     return r;
388*4882a593Smuzhiyun }
389*4882a593Smuzhiyun 
390*4882a593Smuzhiyun 
391*4882a593Smuzhiyun 
392*4882a593Smuzhiyun /***** SUB *****/
T_sub_s8()393*4882a593Smuzhiyun int T_sub_s8()
394*4882a593Smuzhiyun {
395*4882a593Smuzhiyun     int r = 1;
396*4882a593Smuzhiyun     int8_t a, b;
397*4882a593Smuzhiyun     a = SCHAR_MIN; b = 1; EXPECT_FALSE(safe_sub(NULL, a, b));
398*4882a593Smuzhiyun     a = SCHAR_MIN; b = SCHAR_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
399*4882a593Smuzhiyun     a = SCHAR_MIN / 2; b = SCHAR_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
400*4882a593Smuzhiyun     a = -2; b = SCHAR_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
401*4882a593Smuzhiyun     a = SCHAR_MAX; b = SCHAR_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
402*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
403*4882a593Smuzhiyun     a = 2; b = 10; EXPECT_TRUE(safe_sub(NULL, a, b));
404*4882a593Smuzhiyun     return r;
405*4882a593Smuzhiyun }
406*4882a593Smuzhiyun 
T_sub_s16()407*4882a593Smuzhiyun int T_sub_s16()
408*4882a593Smuzhiyun {
409*4882a593Smuzhiyun     int r = 1;
410*4882a593Smuzhiyun     int16_t a, b;
411*4882a593Smuzhiyun     a = SHRT_MIN; b = 1; EXPECT_FALSE(safe_sub(NULL, a, b));
412*4882a593Smuzhiyun     a = SHRT_MIN; b = SHRT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
413*4882a593Smuzhiyun     a = SHRT_MIN / 2; b = SHRT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
414*4882a593Smuzhiyun     a = -2; b = SHRT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
415*4882a593Smuzhiyun     a = SHRT_MAX; b = SHRT_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
416*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
417*4882a593Smuzhiyun     a = 2; b = 10; EXPECT_TRUE(safe_sub(NULL, a, b));
418*4882a593Smuzhiyun     return r;
419*4882a593Smuzhiyun }
420*4882a593Smuzhiyun 
T_sub_s32()421*4882a593Smuzhiyun int T_sub_s32()
422*4882a593Smuzhiyun {
423*4882a593Smuzhiyun     int r = 1;
424*4882a593Smuzhiyun     int32_t a, b;
425*4882a593Smuzhiyun     a = INT_MIN; b = 1; EXPECT_FALSE(safe_sub(NULL, a, b));
426*4882a593Smuzhiyun     a = INT_MIN; b = INT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
427*4882a593Smuzhiyun     a = INT_MIN / 2; b = INT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
428*4882a593Smuzhiyun     a = -2; b = INT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
429*4882a593Smuzhiyun     a = INT_MAX; b = INT_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
430*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
431*4882a593Smuzhiyun     a = 2; b = 10; EXPECT_TRUE(safe_sub(NULL, a, b));
432*4882a593Smuzhiyun     return r;
433*4882a593Smuzhiyun }
434*4882a593Smuzhiyun 
T_sub_s64()435*4882a593Smuzhiyun int T_sub_s64()
436*4882a593Smuzhiyun {
437*4882a593Smuzhiyun     int r = 1;
438*4882a593Smuzhiyun     int64_t a, b;
439*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = 1; EXPECT_FALSE(safe_sub(NULL, a, b));
440*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = SAFE_INT64_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
441*4882a593Smuzhiyun     a = SAFE_INT64_MIN / 2; b = SAFE_INT64_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
442*4882a593Smuzhiyun     a = -2; b = SAFE_INT64_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
443*4882a593Smuzhiyun     a = SAFE_INT64_MAX; b = SAFE_INT64_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
444*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
445*4882a593Smuzhiyun     a = 2; b = 10; EXPECT_TRUE(safe_sub(NULL, a, b));
446*4882a593Smuzhiyun     return r;
447*4882a593Smuzhiyun }
448*4882a593Smuzhiyun 
T_sub_long()449*4882a593Smuzhiyun int T_sub_long()
450*4882a593Smuzhiyun {
451*4882a593Smuzhiyun     int r = 1;
452*4882a593Smuzhiyun     long a, b;
453*4882a593Smuzhiyun     a = LONG_MIN; b = 1; EXPECT_FALSE(safe_sub(NULL, a, b));
454*4882a593Smuzhiyun     a = LONG_MIN; b = LONG_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
455*4882a593Smuzhiyun     a = LONG_MIN / 2; b = LONG_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
456*4882a593Smuzhiyun     a = -2; b = LONG_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
457*4882a593Smuzhiyun     a = LONG_MAX; b = LONG_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
458*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
459*4882a593Smuzhiyun     a = 2; b = 10; EXPECT_TRUE(safe_sub(NULL, a, b));
460*4882a593Smuzhiyun     return r;
461*4882a593Smuzhiyun }
462*4882a593Smuzhiyun 
T_sub_longlong()463*4882a593Smuzhiyun int T_sub_longlong()
464*4882a593Smuzhiyun {
465*4882a593Smuzhiyun     int r = 1;
466*4882a593Smuzhiyun     long long a, b;
467*4882a593Smuzhiyun     a = LLONG_MIN; b = 1; EXPECT_FALSE(safe_sub(NULL, a, b));
468*4882a593Smuzhiyun     a = LLONG_MIN; b = LLONG_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
469*4882a593Smuzhiyun     a = LLONG_MIN / 2; b = LLONG_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
470*4882a593Smuzhiyun     a = -2; b = LLONG_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
471*4882a593Smuzhiyun     a = LLONG_MAX; b = LLONG_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
472*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
473*4882a593Smuzhiyun     a = 2; b = 10; EXPECT_TRUE(safe_sub(NULL, a, b));
474*4882a593Smuzhiyun     return r;
475*4882a593Smuzhiyun }
476*4882a593Smuzhiyun 
T_sub_ssizet()477*4882a593Smuzhiyun int T_sub_ssizet()
478*4882a593Smuzhiyun {
479*4882a593Smuzhiyun     int r = 1;
480*4882a593Smuzhiyun     ssize_t a, b;
481*4882a593Smuzhiyun     a = SSIZE_MIN; b = 1; EXPECT_FALSE(safe_sub(NULL, a, b));
482*4882a593Smuzhiyun     a = SSIZE_MIN; b = SSIZE_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
483*4882a593Smuzhiyun     a = SSIZE_MIN / 2; b = SSIZE_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
484*4882a593Smuzhiyun     a = -2; b = SSIZE_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
485*4882a593Smuzhiyun     a = SSIZE_MAX; b = SSIZE_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
486*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
487*4882a593Smuzhiyun     a = 2; b = 10; EXPECT_TRUE(safe_sub(NULL, a, b));
488*4882a593Smuzhiyun     return r;
489*4882a593Smuzhiyun }
490*4882a593Smuzhiyun 
T_sub_u8()491*4882a593Smuzhiyun int T_sub_u8()
492*4882a593Smuzhiyun {
493*4882a593Smuzhiyun     int r = 1;
494*4882a593Smuzhiyun     uint8_t a, b;
495*4882a593Smuzhiyun     a = 0; b = UCHAR_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
496*4882a593Smuzhiyun     a = UCHAR_MAX - 1; b = UCHAR_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
497*4882a593Smuzhiyun     a = UCHAR_MAX; b = UCHAR_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
498*4882a593Smuzhiyun     a = 1; b = 100; EXPECT_FALSE(safe_sub(NULL, a, b));
499*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
500*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
501*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
502*4882a593Smuzhiyun     return r;
503*4882a593Smuzhiyun }
504*4882a593Smuzhiyun 
T_sub_u16()505*4882a593Smuzhiyun int T_sub_u16()
506*4882a593Smuzhiyun {
507*4882a593Smuzhiyun     int r = 1;
508*4882a593Smuzhiyun     uint16_t a, b;
509*4882a593Smuzhiyun     a = 0; b = USHRT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
510*4882a593Smuzhiyun     a = USHRT_MAX - 1; b = USHRT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
511*4882a593Smuzhiyun     a = USHRT_MAX; b = USHRT_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
512*4882a593Smuzhiyun     a = 1; b = 100; EXPECT_FALSE(safe_sub(NULL, a, b));
513*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
514*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
515*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
516*4882a593Smuzhiyun     return r;
517*4882a593Smuzhiyun }
518*4882a593Smuzhiyun 
T_sub_u32()519*4882a593Smuzhiyun int T_sub_u32()
520*4882a593Smuzhiyun {
521*4882a593Smuzhiyun     int r = 1;
522*4882a593Smuzhiyun     uint32_t a, b;
523*4882a593Smuzhiyun     a = UINT_MAX - 1; b = UINT_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
524*4882a593Smuzhiyun     a = UINT_MAX; b = UINT_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
525*4882a593Smuzhiyun     a = 1; b = 100; EXPECT_FALSE(safe_sub(NULL, a, b));
526*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
527*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
528*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
529*4882a593Smuzhiyun     return r;
530*4882a593Smuzhiyun }
531*4882a593Smuzhiyun 
T_sub_u64()532*4882a593Smuzhiyun int T_sub_u64()
533*4882a593Smuzhiyun {
534*4882a593Smuzhiyun     int r = 1;
535*4882a593Smuzhiyun     uint64_t a, b;
536*4882a593Smuzhiyun     a = SAFE_UINT64_MAX - 1; b = SAFE_UINT64_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
537*4882a593Smuzhiyun     a = SAFE_UINT64_MAX; b = SAFE_UINT64_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
538*4882a593Smuzhiyun     a = 1; b = 100; EXPECT_FALSE(safe_sub(NULL, a, b));
539*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
540*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
541*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
542*4882a593Smuzhiyun     return r;
543*4882a593Smuzhiyun }
544*4882a593Smuzhiyun 
T_sub_ulong()545*4882a593Smuzhiyun int T_sub_ulong()
546*4882a593Smuzhiyun {
547*4882a593Smuzhiyun     int r = 1;
548*4882a593Smuzhiyun     unsigned long a, b;
549*4882a593Smuzhiyun     a = ULONG_MAX - 1; b = ULONG_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
550*4882a593Smuzhiyun     a = ULONG_MAX; b = ULONG_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
551*4882a593Smuzhiyun     a = 1; b = 100; EXPECT_FALSE(safe_sub(NULL, a, b));
552*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
553*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
554*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
555*4882a593Smuzhiyun     return r;
556*4882a593Smuzhiyun }
557*4882a593Smuzhiyun 
T_sub_ulonglong()558*4882a593Smuzhiyun int T_sub_ulonglong()
559*4882a593Smuzhiyun {
560*4882a593Smuzhiyun     int r = 1;
561*4882a593Smuzhiyun     unsigned long long a, b;
562*4882a593Smuzhiyun     a = ULLONG_MAX - 1; b = ULLONG_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
563*4882a593Smuzhiyun     a = ULLONG_MAX; b = ULLONG_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
564*4882a593Smuzhiyun     a = 1; b = 100; EXPECT_FALSE(safe_sub(NULL, a, b));
565*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
566*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
567*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
568*4882a593Smuzhiyun     return r;
569*4882a593Smuzhiyun }
570*4882a593Smuzhiyun 
T_sub_sizet()571*4882a593Smuzhiyun int T_sub_sizet()
572*4882a593Smuzhiyun {
573*4882a593Smuzhiyun     int r = 1;
574*4882a593Smuzhiyun     size_t a, b;
575*4882a593Smuzhiyun     a = SIZE_MAX - 1; b = SIZE_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));
576*4882a593Smuzhiyun     a = SIZE_MAX; b = SIZE_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));
577*4882a593Smuzhiyun     a = 1; b = 100; EXPECT_FALSE(safe_sub(NULL, a, b));
578*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
579*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_sub(NULL, a, b));
580*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_sub(NULL, a, b));
581*4882a593Smuzhiyun     return r;
582*4882a593Smuzhiyun }
583*4882a593Smuzhiyun 
584*4882a593Smuzhiyun /***** MUL *****/
T_mul_s8()585*4882a593Smuzhiyun int T_mul_s8()
586*4882a593Smuzhiyun {
587*4882a593Smuzhiyun     int r = 1;
588*4882a593Smuzhiyun     int8_t a, b;
589*4882a593Smuzhiyun     a = SCHAR_MIN; b = -1; EXPECT_FALSE(safe_mul(NULL, a, b));
590*4882a593Smuzhiyun     a = SCHAR_MIN; b = -2; EXPECT_FALSE(safe_mul(NULL, a, b));
591*4882a593Smuzhiyun     a = SCHAR_MAX; b = SCHAR_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
592*4882a593Smuzhiyun     a = SCHAR_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
593*4882a593Smuzhiyun     a = SCHAR_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
594*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
595*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
596*4882a593Smuzhiyun     a = SCHAR_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
597*4882a593Smuzhiyun     a = SCHAR_MIN; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
598*4882a593Smuzhiyun     a = 0; b = SCHAR_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
599*4882a593Smuzhiyun     a = 0; b = SCHAR_MIN; EXPECT_TRUE(safe_mul(NULL, a, b));
600*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
601*4882a593Smuzhiyun     return r;
602*4882a593Smuzhiyun }
603*4882a593Smuzhiyun 
T_mul_s16()604*4882a593Smuzhiyun int T_mul_s16()
605*4882a593Smuzhiyun {
606*4882a593Smuzhiyun     int r = 1;
607*4882a593Smuzhiyun     int16_t a, b;
608*4882a593Smuzhiyun     a = SHRT_MIN; b = -1; EXPECT_FALSE(safe_mul(NULL, a, b));
609*4882a593Smuzhiyun     a = SHRT_MIN; b = -2; EXPECT_FALSE(safe_mul(NULL, a, b));
610*4882a593Smuzhiyun     a = SHRT_MAX; b = SHRT_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
611*4882a593Smuzhiyun     a = SHRT_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
612*4882a593Smuzhiyun     a = SHRT_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
613*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
614*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
615*4882a593Smuzhiyun     a = SHRT_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
616*4882a593Smuzhiyun     a = SHRT_MIN; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
617*4882a593Smuzhiyun     a = 0; b = SHRT_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
618*4882a593Smuzhiyun     a = 0; b = SHRT_MIN; EXPECT_TRUE(safe_mul(NULL, a, b));
619*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
620*4882a593Smuzhiyun     return r;
621*4882a593Smuzhiyun }
622*4882a593Smuzhiyun 
T_mul_s32()623*4882a593Smuzhiyun int T_mul_s32()
624*4882a593Smuzhiyun {
625*4882a593Smuzhiyun     int r = 1;
626*4882a593Smuzhiyun     int32_t a, b;
627*4882a593Smuzhiyun     a = INT_MIN; b = -1; EXPECT_FALSE(safe_mul(NULL, a, b));
628*4882a593Smuzhiyun     a = INT_MIN; b = -2; EXPECT_FALSE(safe_mul(NULL, a, b));
629*4882a593Smuzhiyun     a = INT_MAX; b = INT_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
630*4882a593Smuzhiyun     a = INT_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
631*4882a593Smuzhiyun     a = INT_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
632*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
633*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
634*4882a593Smuzhiyun     a = INT_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
635*4882a593Smuzhiyun     a = INT_MIN; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
636*4882a593Smuzhiyun     a = 0; b = INT_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
637*4882a593Smuzhiyun     a = 0; b = INT_MIN; EXPECT_TRUE(safe_mul(NULL, a, b));
638*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
639*4882a593Smuzhiyun     return r;
640*4882a593Smuzhiyun }
641*4882a593Smuzhiyun 
T_mul_s64()642*4882a593Smuzhiyun int T_mul_s64()
643*4882a593Smuzhiyun {
644*4882a593Smuzhiyun     int r = 1;
645*4882a593Smuzhiyun     int64_t a, b;
646*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = -1; EXPECT_FALSE(safe_mul(NULL, a, b));
647*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = -2; EXPECT_FALSE(safe_mul(NULL, a, b));
648*4882a593Smuzhiyun     a = SAFE_INT64_MAX; b = SAFE_INT64_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
649*4882a593Smuzhiyun     a = SAFE_INT64_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
650*4882a593Smuzhiyun     a = SAFE_INT64_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
651*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
652*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
653*4882a593Smuzhiyun     a = SAFE_INT64_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
654*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
655*4882a593Smuzhiyun     a = 0; b = SAFE_INT64_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
656*4882a593Smuzhiyun     a = 0; b = SAFE_INT64_MIN; EXPECT_TRUE(safe_mul(NULL, a, b));
657*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
658*4882a593Smuzhiyun     return r;
659*4882a593Smuzhiyun }
660*4882a593Smuzhiyun 
T_mul_long()661*4882a593Smuzhiyun int T_mul_long()
662*4882a593Smuzhiyun {
663*4882a593Smuzhiyun     int r = 1;
664*4882a593Smuzhiyun     long a, b;
665*4882a593Smuzhiyun     a = LONG_MIN; b = -1; EXPECT_FALSE(safe_mul(NULL, a, b));
666*4882a593Smuzhiyun     a = LONG_MIN; b = -2; EXPECT_FALSE(safe_mul(NULL, a, b));
667*4882a593Smuzhiyun     a = LONG_MAX; b = LONG_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
668*4882a593Smuzhiyun     a = LONG_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
669*4882a593Smuzhiyun     a = LONG_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
670*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
671*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
672*4882a593Smuzhiyun     a = LONG_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
673*4882a593Smuzhiyun     a = LONG_MIN; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
674*4882a593Smuzhiyun     a = 0; b = LONG_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
675*4882a593Smuzhiyun     a = 0; b = LONG_MIN; EXPECT_TRUE(safe_mul(NULL, a, b));
676*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
677*4882a593Smuzhiyun     return r;
678*4882a593Smuzhiyun }
T_mul_longlong()679*4882a593Smuzhiyun int T_mul_longlong()
680*4882a593Smuzhiyun {
681*4882a593Smuzhiyun     int r = 1;
682*4882a593Smuzhiyun     long long a, b;
683*4882a593Smuzhiyun     a = LLONG_MIN; b = -1; EXPECT_FALSE(safe_mul(NULL, a, b));
684*4882a593Smuzhiyun     a = LLONG_MIN; b = -2; EXPECT_FALSE(safe_mul(NULL, a, b));
685*4882a593Smuzhiyun     a = LLONG_MAX; b = LLONG_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
686*4882a593Smuzhiyun     a = LLONG_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
687*4882a593Smuzhiyun     a = LLONG_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
688*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
689*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
690*4882a593Smuzhiyun     a = LLONG_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
691*4882a593Smuzhiyun     a = LLONG_MIN; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
692*4882a593Smuzhiyun     a = 0; b = LLONG_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
693*4882a593Smuzhiyun     a = 0; b = LLONG_MIN; EXPECT_TRUE(safe_mul(NULL, a, b));
694*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
695*4882a593Smuzhiyun     return r;
696*4882a593Smuzhiyun }
T_mul_ssizet()697*4882a593Smuzhiyun int T_mul_ssizet()
698*4882a593Smuzhiyun {
699*4882a593Smuzhiyun     int r = 1;
700*4882a593Smuzhiyun     ssize_t a, b;
701*4882a593Smuzhiyun     a = SSIZE_MIN; b = -1; EXPECT_FALSE(safe_mul(NULL, a, b));
702*4882a593Smuzhiyun     a = SSIZE_MIN; b = -2; EXPECT_FALSE(safe_mul(NULL, a, b));
703*4882a593Smuzhiyun     a = SSIZE_MAX; b = SSIZE_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
704*4882a593Smuzhiyun     a = SSIZE_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
705*4882a593Smuzhiyun     a = SSIZE_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
706*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
707*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
708*4882a593Smuzhiyun     a = SSIZE_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
709*4882a593Smuzhiyun     a = SSIZE_MIN; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
710*4882a593Smuzhiyun     a = 0; b = SSIZE_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
711*4882a593Smuzhiyun     a = 0; b = SSIZE_MIN; EXPECT_TRUE(safe_mul(NULL, a, b));
712*4882a593Smuzhiyun     a = 0; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
713*4882a593Smuzhiyun     return r;
714*4882a593Smuzhiyun }
715*4882a593Smuzhiyun 
T_mul_u8()716*4882a593Smuzhiyun int T_mul_u8()
717*4882a593Smuzhiyun {
718*4882a593Smuzhiyun     int r = 1;
719*4882a593Smuzhiyun     uint8_t a, b;
720*4882a593Smuzhiyun     a = UCHAR_MAX - 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
721*4882a593Smuzhiyun     a = 2; b = UCHAR_MAX - 1; EXPECT_FALSE(safe_mul(NULL, a, b));
722*4882a593Smuzhiyun     a = UCHAR_MAX; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
723*4882a593Smuzhiyun     a = 2; b = UCHAR_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
724*4882a593Smuzhiyun     a = UCHAR_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
725*4882a593Smuzhiyun     a = 2; b = UCHAR_MAX / 2 + 1; EXPECT_FALSE(safe_mul(NULL, a, b));
726*4882a593Smuzhiyun     a = UCHAR_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
727*4882a593Smuzhiyun     a = 0; b = UCHAR_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
728*4882a593Smuzhiyun     a = 1; b = UCHAR_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
729*4882a593Smuzhiyun     a = UCHAR_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
730*4882a593Smuzhiyun     a = UCHAR_MAX; b = 1; EXPECT_TRUE(safe_mul(NULL, a, b));
731*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
732*4882a593Smuzhiyun     return r;
733*4882a593Smuzhiyun }
734*4882a593Smuzhiyun 
T_mul_u16()735*4882a593Smuzhiyun int T_mul_u16()
736*4882a593Smuzhiyun {
737*4882a593Smuzhiyun     int r = 1;
738*4882a593Smuzhiyun     uint16_t a, b;
739*4882a593Smuzhiyun     a = USHRT_MAX - 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
740*4882a593Smuzhiyun     a = 2; b = USHRT_MAX - 1; EXPECT_FALSE(safe_mul(NULL, a, b));
741*4882a593Smuzhiyun     a = USHRT_MAX; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
742*4882a593Smuzhiyun     a = 2; b = USHRT_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
743*4882a593Smuzhiyun     a = USHRT_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
744*4882a593Smuzhiyun     a = 2; b = USHRT_MAX / 2 + 1; EXPECT_FALSE(safe_mul(NULL, a, b));
745*4882a593Smuzhiyun     a = USHRT_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
746*4882a593Smuzhiyun     a = 0; b = USHRT_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
747*4882a593Smuzhiyun     a = 1; b = USHRT_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
748*4882a593Smuzhiyun     a = USHRT_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
749*4882a593Smuzhiyun     a = USHRT_MAX; b = 1; EXPECT_TRUE(safe_mul(NULL, a, b));
750*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
751*4882a593Smuzhiyun     return r;
752*4882a593Smuzhiyun }
753*4882a593Smuzhiyun 
T_mul_u32()754*4882a593Smuzhiyun int T_mul_u32()
755*4882a593Smuzhiyun {
756*4882a593Smuzhiyun     int r = 1;
757*4882a593Smuzhiyun     uint32_t a, b;
758*4882a593Smuzhiyun     a = UINT_MAX - 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
759*4882a593Smuzhiyun     a = 2; b = UINT_MAX - 1; EXPECT_FALSE(safe_mul(NULL, a, b));
760*4882a593Smuzhiyun     a = UINT_MAX; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
761*4882a593Smuzhiyun     a = 2; b = UINT_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
762*4882a593Smuzhiyun     a = UINT_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
763*4882a593Smuzhiyun     a = 2; b = UINT_MAX / 2 + 1; EXPECT_FALSE(safe_mul(NULL, a, b));
764*4882a593Smuzhiyun     a = UINT_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
765*4882a593Smuzhiyun     a = 0; b = UINT_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
766*4882a593Smuzhiyun     a = 1; b = UINT_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
767*4882a593Smuzhiyun     a = UINT_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
768*4882a593Smuzhiyun     a = UINT_MAX; b = 1; EXPECT_TRUE(safe_mul(NULL, a, b));
769*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
770*4882a593Smuzhiyun     return r;
771*4882a593Smuzhiyun }
772*4882a593Smuzhiyun 
T_mul_u64()773*4882a593Smuzhiyun int T_mul_u64()
774*4882a593Smuzhiyun {
775*4882a593Smuzhiyun     int r = 1;
776*4882a593Smuzhiyun     uint64_t a, b;
777*4882a593Smuzhiyun     a = SAFE_UINT64_MAX - 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
778*4882a593Smuzhiyun     a = 2; b = SAFE_UINT64_MAX - 1; EXPECT_FALSE(safe_mul(NULL, a, b));
779*4882a593Smuzhiyun     a = SAFE_UINT64_MAX; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
780*4882a593Smuzhiyun     a = 2; b = SAFE_UINT64_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
781*4882a593Smuzhiyun     a = SAFE_UINT64_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
782*4882a593Smuzhiyun     a = 2; b = SAFE_UINT64_MAX / 2 + 1; EXPECT_FALSE(safe_mul(NULL, a, b));
783*4882a593Smuzhiyun     a = SAFE_UINT64_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
784*4882a593Smuzhiyun     a = 0; b = SAFE_UINT64_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
785*4882a593Smuzhiyun     a = 1; b = SAFE_UINT64_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
786*4882a593Smuzhiyun     a = SAFE_UINT64_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
787*4882a593Smuzhiyun     a = SAFE_UINT64_MAX; b = 1; EXPECT_TRUE(safe_mul(NULL, a, b));
788*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
789*4882a593Smuzhiyun     return r;
790*4882a593Smuzhiyun }
791*4882a593Smuzhiyun 
T_mul_ulong()792*4882a593Smuzhiyun int T_mul_ulong()
793*4882a593Smuzhiyun {
794*4882a593Smuzhiyun     int r = 1;
795*4882a593Smuzhiyun     unsigned long a, b;
796*4882a593Smuzhiyun     a = ULONG_MAX - 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
797*4882a593Smuzhiyun     a = 2; b = ULONG_MAX - 1; EXPECT_FALSE(safe_mul(NULL, a, b));
798*4882a593Smuzhiyun     a = ULONG_MAX; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
799*4882a593Smuzhiyun     a = 2; b = ULONG_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
800*4882a593Smuzhiyun     a = ULONG_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
801*4882a593Smuzhiyun     a = 2; b = ULONG_MAX / 2 + 1; EXPECT_FALSE(safe_mul(NULL, a, b));
802*4882a593Smuzhiyun     a = ULONG_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
803*4882a593Smuzhiyun     a = 0; b = ULONG_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
804*4882a593Smuzhiyun     a = 1; b = ULONG_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
805*4882a593Smuzhiyun     a = ULONG_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
806*4882a593Smuzhiyun     a = ULONG_MAX; b = 1; EXPECT_TRUE(safe_mul(NULL, a, b));
807*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
808*4882a593Smuzhiyun     return r;
809*4882a593Smuzhiyun }
810*4882a593Smuzhiyun 
T_mul_ulonglong()811*4882a593Smuzhiyun int T_mul_ulonglong()
812*4882a593Smuzhiyun {
813*4882a593Smuzhiyun     int r = 1;
814*4882a593Smuzhiyun     unsigned long long a, b;
815*4882a593Smuzhiyun     a = ULLONG_MAX - 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
816*4882a593Smuzhiyun     a = 2; b = ULLONG_MAX - 1; EXPECT_FALSE(safe_mul(NULL, a, b));
817*4882a593Smuzhiyun     a = ULLONG_MAX; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
818*4882a593Smuzhiyun     a = 2; b = ULLONG_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
819*4882a593Smuzhiyun     a = ULLONG_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
820*4882a593Smuzhiyun     a = 2; b = ULLONG_MAX / 2 + 1; EXPECT_FALSE(safe_mul(NULL, a, b));
821*4882a593Smuzhiyun     a = ULLONG_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
822*4882a593Smuzhiyun     a = 0; b = ULLONG_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
823*4882a593Smuzhiyun     a = 1; b = ULLONG_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
824*4882a593Smuzhiyun     a = ULLONG_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
825*4882a593Smuzhiyun     a = ULLONG_MAX; b = 1; EXPECT_TRUE(safe_mul(NULL, a, b));
826*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
827*4882a593Smuzhiyun     return r;
828*4882a593Smuzhiyun }
829*4882a593Smuzhiyun 
T_mul_sizet()830*4882a593Smuzhiyun int T_mul_sizet()
831*4882a593Smuzhiyun {
832*4882a593Smuzhiyun     int r = 1;
833*4882a593Smuzhiyun     size_t a, b;
834*4882a593Smuzhiyun     a = SIZE_MAX - 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
835*4882a593Smuzhiyun     a = 2; b = SIZE_MAX - 1; EXPECT_FALSE(safe_mul(NULL, a, b));
836*4882a593Smuzhiyun     a = SIZE_MAX; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
837*4882a593Smuzhiyun     a = 2; b = SIZE_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));
838*4882a593Smuzhiyun     a = SIZE_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));
839*4882a593Smuzhiyun     a = 2; b = SIZE_MAX / 2 + 1; EXPECT_FALSE(safe_mul(NULL, a, b));
840*4882a593Smuzhiyun     a = SIZE_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
841*4882a593Smuzhiyun     a = 0; b = SIZE_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
842*4882a593Smuzhiyun     a = 1; b = SIZE_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));
843*4882a593Smuzhiyun     a = SIZE_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));
844*4882a593Smuzhiyun     a = SIZE_MAX; b = 1; EXPECT_TRUE(safe_mul(NULL, a, b));
845*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));
846*4882a593Smuzhiyun     return r;
847*4882a593Smuzhiyun }
848*4882a593Smuzhiyun 
849*4882a593Smuzhiyun /***** MOD *****/
T_mod_s8()850*4882a593Smuzhiyun int T_mod_s8()
851*4882a593Smuzhiyun {
852*4882a593Smuzhiyun     int r = 1;
853*4882a593Smuzhiyun     int8_t a, b;
854*4882a593Smuzhiyun     a = SCHAR_MIN; b = -1; EXPECT_FALSE(safe_mod(NULL, a, b));
855*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
856*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
857*4882a593Smuzhiyun     return r;
858*4882a593Smuzhiyun }
859*4882a593Smuzhiyun 
T_mod_s16()860*4882a593Smuzhiyun int T_mod_s16()
861*4882a593Smuzhiyun {
862*4882a593Smuzhiyun     int r = 1;
863*4882a593Smuzhiyun     int16_t a, b;
864*4882a593Smuzhiyun     a = SHRT_MIN; b = -1; EXPECT_FALSE(safe_mod(NULL, a, b));
865*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
866*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
867*4882a593Smuzhiyun     return r;
868*4882a593Smuzhiyun }
869*4882a593Smuzhiyun 
T_mod_s32()870*4882a593Smuzhiyun int T_mod_s32()
871*4882a593Smuzhiyun {
872*4882a593Smuzhiyun     int r = 1;
873*4882a593Smuzhiyun     int32_t a, b;
874*4882a593Smuzhiyun     a = INT_MIN; b = -1; EXPECT_FALSE(safe_mod(NULL, a, b));
875*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
876*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
877*4882a593Smuzhiyun     return r;
878*4882a593Smuzhiyun }
879*4882a593Smuzhiyun 
T_mod_s64()880*4882a593Smuzhiyun int T_mod_s64()
881*4882a593Smuzhiyun {
882*4882a593Smuzhiyun     int r = 1;
883*4882a593Smuzhiyun     int64_t a, b;
884*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = -1; EXPECT_FALSE(safe_mod(NULL, a, b));
885*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
886*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
887*4882a593Smuzhiyun     return r;
888*4882a593Smuzhiyun }
889*4882a593Smuzhiyun 
T_mod_long()890*4882a593Smuzhiyun int T_mod_long()
891*4882a593Smuzhiyun {
892*4882a593Smuzhiyun     int r = 1;
893*4882a593Smuzhiyun     long a, b;
894*4882a593Smuzhiyun     a = LONG_MIN; b = -1; EXPECT_FALSE(safe_mod(NULL, a, b));
895*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
896*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
897*4882a593Smuzhiyun     return r;
898*4882a593Smuzhiyun }
T_mod_longlong()899*4882a593Smuzhiyun int T_mod_longlong()
900*4882a593Smuzhiyun {
901*4882a593Smuzhiyun     int r = 1;
902*4882a593Smuzhiyun     long long a, b;
903*4882a593Smuzhiyun     a = LLONG_MIN; b = -1LL; EXPECT_FALSE(safe_mod(NULL, a, b));
904*4882a593Smuzhiyun     a = 100LL; b = 0LL; EXPECT_FALSE(safe_mod(NULL, a, b));
905*4882a593Smuzhiyun     a = 10LL; b = 2LL; EXPECT_TRUE(safe_mod(NULL, a, b));
906*4882a593Smuzhiyun     return r;
907*4882a593Smuzhiyun }
T_mod_ssizet()908*4882a593Smuzhiyun int T_mod_ssizet()
909*4882a593Smuzhiyun {
910*4882a593Smuzhiyun     int r = 1;
911*4882a593Smuzhiyun     ssize_t a, b;
912*4882a593Smuzhiyun     a = SSIZE_MIN; b = -1; EXPECT_FALSE(safe_mod(NULL, a, b));
913*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
914*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
915*4882a593Smuzhiyun     return r;
916*4882a593Smuzhiyun }
917*4882a593Smuzhiyun 
T_mod_u8()918*4882a593Smuzhiyun int T_mod_u8()
919*4882a593Smuzhiyun {
920*4882a593Smuzhiyun     int r = 1;
921*4882a593Smuzhiyun     uint8_t a, b;
922*4882a593Smuzhiyun     a = 0; b = UCHAR_MAX; EXPECT_TRUE(safe_mod(NULL, a, b));
923*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
924*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
925*4882a593Smuzhiyun     return r;
926*4882a593Smuzhiyun }
927*4882a593Smuzhiyun 
T_mod_u16()928*4882a593Smuzhiyun int T_mod_u16()
929*4882a593Smuzhiyun {
930*4882a593Smuzhiyun     int r = 1;
931*4882a593Smuzhiyun     uint16_t a, b;
932*4882a593Smuzhiyun     a = 0; b = USHRT_MAX; EXPECT_TRUE(safe_mod(NULL, a, b));
933*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
934*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
935*4882a593Smuzhiyun     return r;
936*4882a593Smuzhiyun }
937*4882a593Smuzhiyun 
T_mod_u32()938*4882a593Smuzhiyun int T_mod_u32()
939*4882a593Smuzhiyun {
940*4882a593Smuzhiyun     int r = 1;
941*4882a593Smuzhiyun     uint32_t a, b;
942*4882a593Smuzhiyun     a = 0; b = UINT_MAX; EXPECT_TRUE(safe_mod(NULL, a, b));
943*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
944*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
945*4882a593Smuzhiyun     return r;
946*4882a593Smuzhiyun }
947*4882a593Smuzhiyun 
T_mod_u64()948*4882a593Smuzhiyun int T_mod_u64()
949*4882a593Smuzhiyun {
950*4882a593Smuzhiyun     int r = 1;
951*4882a593Smuzhiyun     uint64_t a, b;
952*4882a593Smuzhiyun     a = 0; b = SAFE_INT64_MAX; EXPECT_TRUE(safe_mod(NULL, a, b));
953*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
954*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
955*4882a593Smuzhiyun     return r;
956*4882a593Smuzhiyun }
957*4882a593Smuzhiyun 
T_mod_ulong()958*4882a593Smuzhiyun int T_mod_ulong()
959*4882a593Smuzhiyun {
960*4882a593Smuzhiyun     int r = 1;
961*4882a593Smuzhiyun     unsigned long a, b;
962*4882a593Smuzhiyun     a = 0; b = LONG_MAX; EXPECT_TRUE(safe_mod(NULL, a, b));
963*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
964*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
965*4882a593Smuzhiyun     return r;
966*4882a593Smuzhiyun }
967*4882a593Smuzhiyun 
T_mod_ulonglong()968*4882a593Smuzhiyun int T_mod_ulonglong()
969*4882a593Smuzhiyun {
970*4882a593Smuzhiyun     int r = 1;
971*4882a593Smuzhiyun     unsigned long long a, b;
972*4882a593Smuzhiyun     a = 0ULL; b = ~0ULL; EXPECT_TRUE(safe_mod(NULL, a, b));
973*4882a593Smuzhiyun     a = 100ULL; b = 0ULL; EXPECT_FALSE(safe_mod(NULL, a, b));
974*4882a593Smuzhiyun     a = 10ULL; b = 2ULL; EXPECT_TRUE(safe_mod(NULL, a, b));
975*4882a593Smuzhiyun     return r;
976*4882a593Smuzhiyun }
977*4882a593Smuzhiyun 
T_mod_sizet()978*4882a593Smuzhiyun int T_mod_sizet()
979*4882a593Smuzhiyun {
980*4882a593Smuzhiyun     int r = 1;
981*4882a593Smuzhiyun     size_t a, b;
982*4882a593Smuzhiyun     a = 0; b = SIZE_MAX; EXPECT_TRUE(safe_mod(NULL, a, b));
983*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_mod(NULL, a, b));
984*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_mod(NULL, a, b));
985*4882a593Smuzhiyun     return r;
986*4882a593Smuzhiyun }
987*4882a593Smuzhiyun 
988*4882a593Smuzhiyun /***** DIV *****/
T_div_s8()989*4882a593Smuzhiyun int T_div_s8()
990*4882a593Smuzhiyun {
991*4882a593Smuzhiyun     int r = 1;
992*4882a593Smuzhiyun     int8_t a, b;
993*4882a593Smuzhiyun     a = SCHAR_MIN; b = -1; EXPECT_FALSE(safe_div(NULL, a, b));
994*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
995*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
996*4882a593Smuzhiyun     return r;
997*4882a593Smuzhiyun }
998*4882a593Smuzhiyun 
T_div_s16()999*4882a593Smuzhiyun int T_div_s16()
1000*4882a593Smuzhiyun {
1001*4882a593Smuzhiyun     int r = 1;
1002*4882a593Smuzhiyun     int16_t a, b;
1003*4882a593Smuzhiyun     a = SHRT_MIN; b = -1; EXPECT_FALSE(safe_div(NULL, a, b));
1004*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1005*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1006*4882a593Smuzhiyun     return r;
1007*4882a593Smuzhiyun }
1008*4882a593Smuzhiyun 
T_div_s32()1009*4882a593Smuzhiyun int T_div_s32()
1010*4882a593Smuzhiyun {
1011*4882a593Smuzhiyun     int r = 1;
1012*4882a593Smuzhiyun     int32_t a, b;
1013*4882a593Smuzhiyun     a = INT_MIN; b = -1; EXPECT_FALSE(safe_div(NULL, a, b));
1014*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1015*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1016*4882a593Smuzhiyun     return r;
1017*4882a593Smuzhiyun }
1018*4882a593Smuzhiyun 
T_div_s64()1019*4882a593Smuzhiyun int T_div_s64()
1020*4882a593Smuzhiyun {
1021*4882a593Smuzhiyun     int r = 1;
1022*4882a593Smuzhiyun     int64_t a, b;
1023*4882a593Smuzhiyun     a = SAFE_INT64_MIN; b = -1; EXPECT_FALSE(safe_div(NULL, a, b));
1024*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1025*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1026*4882a593Smuzhiyun     return r;
1027*4882a593Smuzhiyun }
1028*4882a593Smuzhiyun 
T_div_long()1029*4882a593Smuzhiyun int T_div_long()
1030*4882a593Smuzhiyun {
1031*4882a593Smuzhiyun     int r = 1;
1032*4882a593Smuzhiyun     long a, b;
1033*4882a593Smuzhiyun     a = LONG_MIN; b = -1; EXPECT_FALSE(safe_div(NULL, a, b));
1034*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1035*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1036*4882a593Smuzhiyun     return r;
1037*4882a593Smuzhiyun }
T_div_longlong()1038*4882a593Smuzhiyun int T_div_longlong()
1039*4882a593Smuzhiyun {
1040*4882a593Smuzhiyun     int r = 1;
1041*4882a593Smuzhiyun     long long a, b;
1042*4882a593Smuzhiyun     a = LLONG_MIN; b = -1LL; EXPECT_FALSE(safe_div(NULL, a, b));
1043*4882a593Smuzhiyun     a = 100LL; b = 0LL; EXPECT_FALSE(safe_div(NULL, a, b));
1044*4882a593Smuzhiyun     a = 10LL; b = 2LL; EXPECT_TRUE(safe_div(NULL, a, b));
1045*4882a593Smuzhiyun     return r;
1046*4882a593Smuzhiyun }
T_div_ssizet()1047*4882a593Smuzhiyun int T_div_ssizet()
1048*4882a593Smuzhiyun {
1049*4882a593Smuzhiyun     int r = 1;
1050*4882a593Smuzhiyun     ssize_t a, b;
1051*4882a593Smuzhiyun     a = SSIZE_MIN; b = -1; EXPECT_FALSE(safe_div(NULL, a, b));
1052*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1053*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1054*4882a593Smuzhiyun     return r;
1055*4882a593Smuzhiyun }
1056*4882a593Smuzhiyun 
T_div_u8()1057*4882a593Smuzhiyun int T_div_u8()
1058*4882a593Smuzhiyun {
1059*4882a593Smuzhiyun     int r = 1;
1060*4882a593Smuzhiyun     uint8_t a, b;
1061*4882a593Smuzhiyun     a = 0; b = UCHAR_MAX; EXPECT_TRUE(safe_div(NULL, a, b));
1062*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1063*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1064*4882a593Smuzhiyun     return r;
1065*4882a593Smuzhiyun }
1066*4882a593Smuzhiyun 
T_div_u16()1067*4882a593Smuzhiyun int T_div_u16()
1068*4882a593Smuzhiyun {
1069*4882a593Smuzhiyun     int r = 1;
1070*4882a593Smuzhiyun     uint16_t a, b;
1071*4882a593Smuzhiyun     a = 0; b = USHRT_MAX; EXPECT_TRUE(safe_div(NULL, a, b));
1072*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1073*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1074*4882a593Smuzhiyun     return r;
1075*4882a593Smuzhiyun }
1076*4882a593Smuzhiyun 
T_div_u32()1077*4882a593Smuzhiyun int T_div_u32()
1078*4882a593Smuzhiyun {
1079*4882a593Smuzhiyun     int r = 1;
1080*4882a593Smuzhiyun     uint32_t a, b;
1081*4882a593Smuzhiyun     a = 0; b = UINT_MAX; EXPECT_TRUE(safe_div(NULL, a, b));
1082*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1083*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1084*4882a593Smuzhiyun     return r;
1085*4882a593Smuzhiyun }
1086*4882a593Smuzhiyun 
T_div_u64()1087*4882a593Smuzhiyun int T_div_u64()
1088*4882a593Smuzhiyun {
1089*4882a593Smuzhiyun     int r = 1;
1090*4882a593Smuzhiyun     uint64_t a, b;
1091*4882a593Smuzhiyun     a = 0; b = SAFE_INT64_MAX; EXPECT_TRUE(safe_div(NULL, a, b));
1092*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1093*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1094*4882a593Smuzhiyun     return r;
1095*4882a593Smuzhiyun }
1096*4882a593Smuzhiyun 
T_div_ulong()1097*4882a593Smuzhiyun int T_div_ulong()
1098*4882a593Smuzhiyun {
1099*4882a593Smuzhiyun     int r = 1;
1100*4882a593Smuzhiyun     unsigned long a, b;
1101*4882a593Smuzhiyun     a = 0; b = LONG_MAX; EXPECT_TRUE(safe_div(NULL, a, b));
1102*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1103*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1104*4882a593Smuzhiyun     return r;
1105*4882a593Smuzhiyun }
1106*4882a593Smuzhiyun 
T_div_ulonglong()1107*4882a593Smuzhiyun int T_div_ulonglong()
1108*4882a593Smuzhiyun {
1109*4882a593Smuzhiyun     int r = 1;
1110*4882a593Smuzhiyun     unsigned long long a, b;
1111*4882a593Smuzhiyun     a = 0ULL; b = ~0ULL; EXPECT_TRUE(safe_div(NULL, a, b));
1112*4882a593Smuzhiyun     a = 100ULL; b = 0ULL; EXPECT_FALSE(safe_div(NULL, a, b));
1113*4882a593Smuzhiyun     a = 10ULL; b = 2ULL; EXPECT_TRUE(safe_div(NULL, a, b));
1114*4882a593Smuzhiyun     return r;
1115*4882a593Smuzhiyun }
1116*4882a593Smuzhiyun 
T_div_sizet()1117*4882a593Smuzhiyun int T_div_sizet()
1118*4882a593Smuzhiyun {
1119*4882a593Smuzhiyun     int r = 1;
1120*4882a593Smuzhiyun     size_t a, b;
1121*4882a593Smuzhiyun     a = 0; b = SIZE_MAX; EXPECT_TRUE(safe_div(NULL, a, b));
1122*4882a593Smuzhiyun     a = 100; b = 0; EXPECT_FALSE(safe_div(NULL, a, b));
1123*4882a593Smuzhiyun     a = 10; b = 2; EXPECT_TRUE(safe_div(NULL, a, b));
1124*4882a593Smuzhiyun     return r;
1125*4882a593Smuzhiyun }
1126*4882a593Smuzhiyun 
T_magic_constants()1127*4882a593Smuzhiyun int T_magic_constants()
1128*4882a593Smuzhiyun {
1129*4882a593Smuzhiyun     int r = 1;
1130*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smin)(((int8_t)0)) == SCHAR_MIN);
1131*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smax)(((int8_t)0)) == SCHAR_MAX);
1132*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(umax)(((uint8_t)0)) == UCHAR_MAX);
1133*4882a593Smuzhiyun 
1134*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smin)(((int16_t)0)) == SHRT_MIN);
1135*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smax)(((int16_t)0)) == SHRT_MAX);
1136*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(umax)(((uint16_t)0)) == USHRT_MAX);
1137*4882a593Smuzhiyun 
1138*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smin)(((int32_t)0)) == INT_MIN);
1139*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smax)(((int32_t)0)) == INT_MAX);
1140*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(umax)(((uint32_t)0)) == UINT_MAX);
1141*4882a593Smuzhiyun 
1142*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smin)(((int64_t)0)) == SAFE_INT64_MIN);
1143*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smax)(((int64_t)0)) == SAFE_INT64_MAX);
1144*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(umax)(((uint64_t)0)) == SAFE_UINT64_MAX);
1145*4882a593Smuzhiyun 
1146*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smin)(((ssize_t)0)) == SSIZE_MIN);
1147*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smax)(((ssize_t)0)) == SSIZE_MAX);
1148*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(umax)(((size_t)0)) == SIZE_MAX);
1149*4882a593Smuzhiyun 
1150*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smin)(((long)0)) == LONG_MIN);
1151*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smax)(((long)0)) == LONG_MAX);
1152*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(umax)(((unsigned long)0)) == ULONG_MAX);
1153*4882a593Smuzhiyun 
1154*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smin)(((long long)0)) == LLONG_MIN);
1155*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(smax)(((long long)0)) == LLONG_MAX);
1156*4882a593Smuzhiyun     EXPECT_TRUE(__sio(m)(umax)(((unsigned long long)0)) == ULLONG_MAX);
1157*4882a593Smuzhiyun 
1158*4882a593Smuzhiyun     return r;
1159*4882a593Smuzhiyun }
1160*4882a593Smuzhiyun 
1161*4882a593Smuzhiyun 
1162*4882a593Smuzhiyun 
1163*4882a593Smuzhiyun 
main(int argc,char ** argv)1164*4882a593Smuzhiyun int main(int argc, char **argv)
1165*4882a593Smuzhiyun {
1166*4882a593Smuzhiyun     /* test inlines */
1167*4882a593Smuzhiyun     int tests = 0, succ = 0, fail = 0;
1168*4882a593Smuzhiyun     tests++; if (T_div_s8())  succ++; else fail++;
1169*4882a593Smuzhiyun     tests++; if (T_div_s16()) succ++; else fail++;
1170*4882a593Smuzhiyun     tests++; if (T_div_s32()) succ++; else fail++;
1171*4882a593Smuzhiyun     tests++; if (T_div_s64()) succ++; else fail++;
1172*4882a593Smuzhiyun     tests++; if (T_div_long()) succ++; else fail++;
1173*4882a593Smuzhiyun     tests++; if (T_div_longlong()) succ++; else fail++;
1174*4882a593Smuzhiyun     tests++; if (T_div_ssizet()) succ++; else fail++;
1175*4882a593Smuzhiyun     tests++; if (T_div_u8())  succ++; else fail++;
1176*4882a593Smuzhiyun     tests++; if (T_div_u16()) succ++; else fail++;
1177*4882a593Smuzhiyun     tests++; if (T_div_u32()) succ++; else fail++;
1178*4882a593Smuzhiyun     tests++; if (T_div_u64()) succ++; else fail++;
1179*4882a593Smuzhiyun     tests++; if (T_div_ulong()) succ++; else fail++;
1180*4882a593Smuzhiyun     tests++; if (T_div_ulonglong()) succ++; else fail++;
1181*4882a593Smuzhiyun     tests++; if (T_div_sizet()) succ++; else fail++;
1182*4882a593Smuzhiyun 
1183*4882a593Smuzhiyun     tests++; if (T_mod_s8())  succ++; else fail++;
1184*4882a593Smuzhiyun     tests++; if (T_mod_s16()) succ++; else fail++;
1185*4882a593Smuzhiyun     tests++; if (T_mod_s32()) succ++; else fail++;
1186*4882a593Smuzhiyun     tests++; if (T_mod_s64()) succ++; else fail++;
1187*4882a593Smuzhiyun     tests++; if (T_mod_long()) succ++; else fail++;
1188*4882a593Smuzhiyun     tests++; if (T_mod_longlong()) succ++; else fail++;
1189*4882a593Smuzhiyun     tests++; if (T_mod_ssizet()) succ++; else fail++;
1190*4882a593Smuzhiyun     tests++; if (T_mod_u8())  succ++; else fail++;
1191*4882a593Smuzhiyun     tests++; if (T_mod_u16()) succ++; else fail++;
1192*4882a593Smuzhiyun     tests++; if (T_mod_u32()) succ++; else fail++;
1193*4882a593Smuzhiyun     tests++; if (T_mod_u64()) succ++; else fail++;
1194*4882a593Smuzhiyun     tests++; if (T_mod_ulong()) succ++; else fail++;
1195*4882a593Smuzhiyun     tests++; if (T_mod_ulonglong()) succ++; else fail++;
1196*4882a593Smuzhiyun     tests++; if (T_mod_sizet()) succ++; else fail++;
1197*4882a593Smuzhiyun 
1198*4882a593Smuzhiyun     tests++; if (T_mul_s8())  succ++; else fail++;
1199*4882a593Smuzhiyun     tests++; if (T_mul_s16()) succ++; else fail++;
1200*4882a593Smuzhiyun     tests++; if (T_mul_s32()) succ++; else fail++;
1201*4882a593Smuzhiyun     tests++; if (T_mul_s64()) succ++; else fail++;
1202*4882a593Smuzhiyun     tests++; if (T_mul_long()) succ++; else fail++;
1203*4882a593Smuzhiyun     tests++; if (T_mul_longlong()) succ++; else fail++;
1204*4882a593Smuzhiyun     tests++; if (T_mul_ssizet()) succ++; else fail++;
1205*4882a593Smuzhiyun     tests++; if (T_mul_u8())  succ++; else fail++;
1206*4882a593Smuzhiyun     tests++; if (T_mul_u16()) succ++; else fail++;
1207*4882a593Smuzhiyun     tests++; if (T_mul_u32()) succ++; else fail++;
1208*4882a593Smuzhiyun     tests++; if (T_mul_u64()) succ++; else fail++;
1209*4882a593Smuzhiyun     tests++; if (T_mul_ulong()) succ++; else fail++;
1210*4882a593Smuzhiyun     tests++; if (T_mul_ulonglong()) succ++; else fail++;
1211*4882a593Smuzhiyun     tests++; if (T_mul_sizet()) succ++; else fail++;
1212*4882a593Smuzhiyun 
1213*4882a593Smuzhiyun     tests++; if (T_sub_s8())  succ++; else fail++;
1214*4882a593Smuzhiyun     tests++; if (T_sub_s16()) succ++; else fail++;
1215*4882a593Smuzhiyun     tests++; if (T_sub_s32()) succ++; else fail++;
1216*4882a593Smuzhiyun     tests++; if (T_sub_s64()) succ++; else fail++;
1217*4882a593Smuzhiyun     tests++; if (T_sub_long()) succ++; else fail++;
1218*4882a593Smuzhiyun     tests++; if (T_sub_longlong()) succ++; else fail++;
1219*4882a593Smuzhiyun     tests++; if (T_sub_ssizet()) succ++; else fail++;
1220*4882a593Smuzhiyun     tests++; if (T_sub_u8())  succ++; else fail++;
1221*4882a593Smuzhiyun     tests++; if (T_sub_u16()) succ++; else fail++;
1222*4882a593Smuzhiyun     tests++; if (T_sub_u32()) succ++; else fail++;
1223*4882a593Smuzhiyun     tests++; if (T_sub_u64()) succ++; else fail++;
1224*4882a593Smuzhiyun     tests++; if (T_sub_ulong()) succ++; else fail++;
1225*4882a593Smuzhiyun     tests++; if (T_sub_ulonglong()) succ++; else fail++;
1226*4882a593Smuzhiyun     tests++; if (T_sub_sizet()) succ++; else fail++;
1227*4882a593Smuzhiyun 
1228*4882a593Smuzhiyun     tests++; if (T_add_s8())  succ++; else fail++;
1229*4882a593Smuzhiyun     tests++; if (T_add_s16()) succ++; else fail++;
1230*4882a593Smuzhiyun     tests++; if (T_add_s32()) succ++; else fail++;
1231*4882a593Smuzhiyun     tests++; if (T_add_s64()) succ++; else fail++;
1232*4882a593Smuzhiyun     tests++; if (T_add_long()) succ++; else fail++;
1233*4882a593Smuzhiyun     tests++; if (T_add_longlong()) succ++; else fail++;
1234*4882a593Smuzhiyun     tests++; if (T_add_ssizet()) succ++; else fail++;
1235*4882a593Smuzhiyun     tests++; if (T_add_u8())  succ++; else fail++;
1236*4882a593Smuzhiyun     tests++; if (T_add_u16()) succ++; else fail++;
1237*4882a593Smuzhiyun     tests++; if (T_add_u32()) succ++; else fail++;
1238*4882a593Smuzhiyun     tests++; if (T_add_u64()) succ++; else fail++;
1239*4882a593Smuzhiyun     tests++; if (T_add_ulong()) succ++; else fail++;
1240*4882a593Smuzhiyun     tests++; if (T_add_ulonglong()) succ++; else fail++;
1241*4882a593Smuzhiyun     tests++; if (T_add_sizet()) succ++; else fail++;
1242*4882a593Smuzhiyun     tests++; if (T_add_mixed()) succ++; else fail++;
1243*4882a593Smuzhiyun     tests++; if (T_add_increment()) succ++; else fail++;
1244*4882a593Smuzhiyun 
1245*4882a593Smuzhiyun     tests++; if (T_magic_constants()) succ++; else fail++;
1246*4882a593Smuzhiyun 
1247*4882a593Smuzhiyun     printf("%d/%d expects succeeded (%d failures)\n",
1248*4882a593Smuzhiyun            expect_succ, expect, expect_fail);
1249*4882a593Smuzhiyun     printf("%d/%d tests succeeded (%d failures)\n", succ, tests, fail);
1250*4882a593Smuzhiyun     /* TODO: Add tests for safe_iopf when upgraded */
1251*4882a593Smuzhiyun     return fail;
1252*4882a593Smuzhiyun }
1253*4882a593Smuzhiyun #endif
1254