More assertions
authorMichael Brown <mcb30@etherboot.org>
Thu, 1 Feb 2007 02:18:22 +0000 (02:18 +0000)
committerMichael Brown <mcb30@etherboot.org>
Thu, 1 Feb 2007 02:18:22 +0000 (02:18 +0000)
src/arch/i386/core/udivmod64.c

index b4f14b1..faf6fd8 100644 (file)
@@ -305,6 +305,7 @@ UDItype __udivmoddi4 ( UDItype x, UDItype d, UDItype *r ) {
                    ( struct uint64 * ) _q, ( struct uint64 * ) _r );
 
        assert ( ( x == ( ( d * q ) + (*r) ) ) );
                    ( struct uint64 * ) _q, ( struct uint64 * ) _r );
 
        assert ( ( x == ( ( d * q ) + (*r) ) ) );
+       assert ( (*r) < d );
 
        return q;
 }
 
        return q;
 }