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