From cf8df563c0ea9b98714e701ad235acbefc091558 Mon Sep 17 00:00:00 2001 From: cremno Date: Mon, 5 May 2014 15:28:26 +0200 Subject: add function for checked mrb_int subtraction --- src/numeric.c | 4 +--- src/vm.c | 12 +++--------- 2 files changed, 4 insertions(+), 12 deletions(-) (limited to 'src') diff --git a/src/numeric.c b/src/numeric.c index 8ea71ada6..7b025c34d 100644 --- a/src/numeric.c +++ b/src/numeric.c @@ -1145,9 +1145,7 @@ mrb_fixnum_minus(mrb_state *mrb, mrb_value x, mrb_value y) mrb_int b, c; b = mrb_fixnum(y); - c = a - b; - if (((a < 0) ^ (b < 0)) != 0 && (a < 0) != (c < 0)) { - /* integer overflow */ + if (mrb_int_sub_overflow(a, b, &c)) { return mrb_float_value(mrb, (mrb_float)a - (mrb_float)b); } return mrb_fixnum_value(c); diff --git a/src/vm.c b/src/vm.c index 85a121f2c..ae19db0b6 100644 --- a/src/vm.c +++ b/src/vm.c @@ -1669,12 +1669,7 @@ RETRY_TRY_BLOCK: x = mrb_fixnum(regs[a]); y = mrb_fixnum(regs[a+1]); - z = x - y; -#ifdef MRB_WORD_BOXING - z = (z << MRB_FIXNUM_SHIFT) / (1 << MRB_FIXNUM_SHIFT); -#endif - if (((x < 0) ^ (y < 0)) != 0 && (x < 0) != (z < 0)) { - /* integer overflow */ + if (mrb_int_sub_overflow(x, y, &z)) { SET_FLT_VALUE(mrb, regs[a], (mrb_float)x - (mrb_float)y); break; } @@ -1876,10 +1871,9 @@ RETRY_TRY_BLOCK: { mrb_int x = regs_a[0].attr_i; mrb_int y = GETARG_C(i); - mrb_int z = x - y; + mrb_int z; - if ((x < 0) != (z < 0) && ((x < 0) ^ (y < 0)) != 0) { - /* integer overflow */ + if (mrb_int_sub_overflow(x, y, &z)) { SET_FLT_VALUE(mrb, regs_a[0], (mrb_float)x - (mrb_float)y); } else { -- cgit v1.2.3