Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-05-23 20:15:05 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Check for 30-bit multiplication overflow

Browse source
This commit is contained in:
Justin Ethier 2017-02-17 03:48:36 -05:00
parent 284dc05128
commit b8f6db0290
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
runtime.c
View file

@ -2533,7 +2533,9 @@ static int Cyc_checked_sub(int x, int y, int *result)
static int Cyc_checked_mul(int x, int y, int *result)
{
*result = x * y;
return (*result != 0 && (*result)/x != y);
return (*result != 0 && (*result)/x != y) || // Overflow
(*result > CYC_FIXNUM_MAX) ||
(*result < CYC_FIXNUM_MIN);
}
#define declare_num_op(FUNC, FUNC_OP, FUNC_APPLY, OP, INT_OP, BN_OP, NO_ARG, ONE_ARG, DIV) \