From f06059ab97023821429f2853114b9edaeffe3169 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Thu, 1 Feb 2007 02:18:22 +0000
Subject: [PATCH] More assertions

---
 src/arch/i386/core/udivmod64.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/arch/i386/core/udivmod64.c b/src/arch/i386/core/udivmod64.c
index b4f14b11..faf6fd8c 100644
--- a/src/arch/i386/core/udivmod64.c
+++ b/src/arch/i386/core/udivmod64.c
@@ -305,6 +305,7 @@ UDItype __udivmoddi4 ( UDItype x, UDItype d, UDItype *r ) {
 		    ( struct uint64 * ) _q, ( struct uint64 * ) _r );
 
 	assert ( ( x == ( ( d * q ) + (*r) ) ) );
+	assert ( (*r) < d );
 
 	return q;
 }