insert more abort() calls where division by zero may occur

This commit is contained in:
Jorge Aparicio
2016-10-05 20:45:40 -05:00
parent fbf1cc0b75
commit c9e3feb5e3
2 changed files with 22 additions and 0 deletions

View File

@@ -1,3 +1,5 @@
use core::intrinsics;
use int::Int;
macro_rules! div {
@@ -10,6 +12,12 @@ macro_rules! div {
let a = (a ^ s_a) - s_a;
let b = (b ^ s_b) - s_b;
let s = s_a ^ s_b;
if b == 0 {
unsafe {
intrinsics::abort()
}
}
let r = (a as $uty) / (b as $uty);
(r as $ty ^ s) - s
}
@@ -25,6 +33,12 @@ macro_rules! mod_ {
let b = (b ^ s) - s;
let s = a >> (<$ty>::bits() - 1);
let a = (a ^ s) - s;
if b == 0 {
unsafe {
intrinsics::abort()
}
}
let r = (a as $uty) % (b as $uty);
(r as $ty ^ s) - s
}