check for invalid integer conversions

1 files changed, 6 insertions, 0 deletions

diff --git a/src/stdlib/div.c b/src/stdlib/div.c
index 3cb2df78..ab267a53 100644
--- a/src/stdlib/div.c
+++ b/src/stdlib/div.c
@@ -1,3 +1,4 @@
+#include <limits.h>
 #include <stdlib.h>
 #include "_stdlib.h"
 
@@ -8,12 +9,17 @@ div_t div(int numer, int denom)
 	div_t d;
 
 	SIGNAL_SAFE(0);
+        if ((denom == 0) || (numer == INT_MIN && denom == -1)) {
+                UNDEFINED("In call to div(): The result of %d / %d is not representable as an int", numer, denom);
+        }
 
 	d.quot = numer / denom;
 	d.rem = numer % denom;
 	return d;
 }
 
+CHECK_2(div_t, {0}, div, int, int)
+
 /***
 computes both the quotient and remainder of ARGUMENT(numer)
 divided by ARGUMENT(denom).