79 #define OPAQUE_SAFE_IOP_PREFIX_MACRO_smax(_a) \  argument
80   ((typeof(_a))(~((typeof(_a)) 1 << ((sizeof(typeof(_a)) * CHAR_BIT) - 1))))
81 #define OPAQUE_SAFE_IOP_PREFIX_MACRO_smin(_a) \  argument
82   ((typeof(_a))(-__sio(m)(smax)(_a) - 1))
83 #define OPAQUE_SAFE_IOP_PREFIX_MACRO_umax(_a) ((typeof(_a))(~((typeof(_a)) 0)))  argument
108     typeof(__a) __sio(var)(_a) = (__a); \
111     if (__sio(m)(assert)(__sio(m)(type_enforce)(__sio(var)(_a), \
113       if (__sio(m)(smin)(__sio(var)(_a)) <= ((typeof(__sio(var)(_a)))0)) { \
115                                    __sio(var)(_a), \
119                                    __sio(var)(_a), \
157     typeof(__a) __sio(var)(_a) = (__a); \
160     if (__sio(m)(assert)(__sio(m)(type_enforce)(__sio(var)(_a), \
162       if (__sio(m)(umax)(__sio(var)(_a)) <= ((typeof(__sio(var)(_a)))0)) { \
164                                    __sio(var)(_a), \
168                                    __sio(var)(_a), \
209     typeof(__a) __sio(var)(_a) = (__a); \
212     if (__sio(m)(assert)(__sio(m)(type_enforce)(__sio(var)(_a), \
214       if (__sio(m)(umax)(__sio(var)(_a)) <= ((typeof(__sio(var)(_a)))0)) { \
216                                    __sio(var)(_a), \
220                                    __sio(var)(_a), \
258     typeof(__a) __sio(var)(_a) = (__a); \
261     if (__sio(m)(assert)(__sio(m)(type_enforce)(__sio(var)(_a), \
263       if (__sio(m)(umax)(__sio(var)(_a)) <= ((typeof(__sio(var)(_a)))0)) { \
265                                    __sio(var)(_a), \
269                                    __sio(var)(_a), \
307     typeof(__a) __sio(var)(_a) = (__a); \
310     if (__sio(m)(assert)(__sio(m)(type_enforce)(__sio(var)(_a), \
312       if (__sio(m)(umax)(__sio(var)(_a)) <= ((typeof(__sio(var)(_a)))0)) { \
314                                    __sio(var)(_a), \
318                                    __sio(var)(_a), \
356 #define safe_uadd(_ptr, _a, _b) \  argument
358     if ((typeof(_a))(_b) <= (typeof(_a))(__sio(m)(umax)(_a) - (_a))) { \
359       if ((_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) + (_b); } \
363 #define safe_sadd(_ptr, _a, _b) \  argument
365      if (((_b) > (typeof(_a))0) && ((_a) > (typeof(_a))0)) { /*>0*/ \
366        if ((_a) > (typeof(_a))(__sio(m)(smax)(_a) - (_b))) __sio(var)(ok) = 0; \
367      } else if (!((_b) > (typeof(_a))0) && !((_a) > (typeof(_a))0)) { /*<0*/ \
368        if ((_a) < (typeof(_a))(__sio(m)(smin)(_a) - (_b))) __sio(var)(ok) = 0; \
370      if (__sio(var)(ok) && (_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) + (_b); } \
373 #define safe_usub(_ptr, _a, _b) \  argument
375      if ((_a) >= (_b)) { \
376        if ((_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) - (_b); } \
381 #define safe_ssub(_ptr, _a, _b) \  argument
383      if (!((_b) <= 0 && (_a) > (__sio(m)(smax)(_a) + (_b))) && \
384          !((_b) > 0 && (_a) < (__sio(m)(smin)(_a) + (_b)))) { \
386          if ((_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) - (_b); } \
390 #define safe_umul(_ptr, _a, _b) \  argument
392      if (!(_b) || (_a) <= (__sio(m)(umax)(_a) / (_b))) { \
394        if ((_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) * (_b); } \
398 #define safe_smul(_ptr, _a, _b) \  argument
400     if ((_a) > 0) {  /* a is positive */ \
402         if ((_a) > (__sio(m)(smax)(_a) / (_b))) { \
407         if ((_b) < (__sio(m)(smin)(_a) / (_a))) { \
414         if ((_a) < (__sio(m)(smin)(_a) / (_b))) { \
419         if( ((_a) != 0) && ((_b) < (__sio(m)(smax)(_a) / (_a)))) { \
424     if (__sio(var)(ok) && (_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) * (_b); } \
428 #define safe_udiv(_ptr, _a, _b) \  argument
431       if ((_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) / (_b); } \
437 #define safe_sdiv(_ptr, _a, _b) \  argument
440         (((_a) != __sio(m)(smin)(_a)) || ((_b) != (typeof(_b))-1))) { \
441       if ((_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) / (_b); } \
446 #define safe_umod(_ptr, _a, _b) \  argument
449       if ((_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) % (_b); } \
454 #define safe_smod(_ptr, _a, _b) \  argument
457         (((_a) != __sio(m)(smin)(_a)) || ((_b) != (typeof(_b))-1))) { \
458       if ((_ptr)) { *((typeof(_a)*)(_ptr)) = (_a) % (_b); } \