/* Copyright (C) 2014-2020, Dirk Krause SPDX-License-Identifier: BSD-3-Clause */ /* WARNING: This file was generated by the dkct program (see http://dktools.sourceforge.net/ for details). Changes you make here will be lost if dkct is run again! You should modify the original source and run dkct on it. Original source: dk3mai.ctr */ /** @file dk3mai.c The dk3mai module. */ #line 108 "dk3mai.ctr" #include "dk3ma.h" #line 116 "dk3mai.ctr" int dk3ma_i_abs_ok(int a, int *ec) { if (NULL != ec) { if (DK3_I_MIN == a) { *ec = DK3_ERROR_MATH_OVERFLOW; } } return ((0 <= a) ? a : (0 - a)); } int dk3ma_i_add_ok(int a, int b, int *ec) { if (NULL != ec) { if ((0 < a) && (0 < b)) { if((DK3_I_MAX - a) < b) { *ec = DK3_ERROR_MATH_OVERFLOW; } } else { if ((0 > a) && (0 > b)) { if (DK3_I_MIN == a) { *ec = DK3_ERROR_MATH_OVERFLOW; } else { if ((DK3_I_MIN - a) > b) { *ec = DK3_ERROR_MATH_OVERFLOW; } } } } } return (a + b); } int dk3ma_i_sub_ok(int a, int b, int *ec) { if (NULL != ec) { if ((0 < a) && (0 > b)) { if((DK3_I_MAX + b) < a) { *ec = DK3_ERROR_MATH_OVERFLOW; } } else { if ((0 > a) && (0 < b)) { if((DK3_I_MIN + b) > a) { *ec = DK3_ERROR_MATH_OVERFLOW; } } } } return (a - b); } #if VERSION_BEFORE_20141018 int dk3ma_i_mul_ok(int a, int b, int *ec) { if (NULL != ec) { if ((0 != a) && (0 != b)) { if ((DK3_I_MIN == a) && (1 != b)) { *ec = DK3_ERROR_MATH_OVERFLOW; goto checksfinished; } if ((DK3_I_MIN == b) && (1 != a)) { *ec = DK3_ERROR_MATH_OVERFLOW; goto checksfinished; } if ((DK3_I_MAX / dk3ma_i_abs_ok(a, ec)) < dk3ma_i_abs_ok(b, ec)) { *ec = DK3_ERROR_MATH_OVERFLOW; /* goto checksfinished; -- when adding further tests -- */ } } } checksfinished: return (a * b); } #else int dk3ma_i_mul_ok(int a, int b, int *ec) { if ((NULL != ec) && (0 != a) && (0 != b)) { if (DK3_I_MIN == a) { if (1 != b) { *ec = DK3_ERROR_MATH_OVERFLOW; } goto finished; } if (DK3_I_MIN == b) { if (1 != a) { *ec = DK3_ERROR_MATH_OVERFLOW; } goto finished; } if (0 < a) { if (0 < b) { if ((DK3_I_MAX / a) < b) { *ec = DK3_ERROR_MATH_OVERFLOW; } } else { if ((DK3_I_MIN / a) > b) { *ec = DK3_ERROR_MATH_OVERFLOW; } } } else { if (0 < b) { if ((DK3_I_MIN / b) > a) { *ec = DK3_ERROR_MATH_OVERFLOW; } } else { if ((DK3_I_MAX / (0 - a)) < (0 - b)) { *ec = DK3_ERROR_MATH_OVERFLOW; } } } } finished: return (a * b); } #endif int dk3ma_i_div_ok(int a, int b, int *ec) { int back = 0; if (0 != b) { if ((DK3_I_MIN == a) && (-1 == b)) { back = DK3_I_MAX; *ec = DK3_ERROR_MATH_OVERFLOW; } else { back = a / b; } } else { if (NULL != ec) { *ec = DK3_ERROR_MATH_DIVZERO; } if (0 <= a) { back = DK3_I_MAX; } else { back = DK3_I_MIN; } } return back; } int dk3ma_i_gcd_ok(int a, int b, int *ec) { int h; if (0 > a) { if (DK3_I_MIN == a) { a = 0; if (NULL != ec) { *ec = DK3_ERROR_MATH_OVERFLOW; } goto finished; } else { a = 0 - a; } } if (0 > b) { if (DK3_I_MIN == b) { a = 0; if (NULL != ec) { *ec = DK3_ERROR_MATH_OVERFLOW; } goto finished; } else { b = 0 - b; } } while (0 < b) { h = a % b; a = b; b = h; } if (0 == a) { a = 1; } finished: return a; }