Clean up most spint errors. All regression tests pass.

1 files changed, 3 insertions, 3 deletions

diff --git a/bits.c b/bits.c
index bba72e46..cae3db17 100644
--- a/bits.c
+++ b/bits.c
@@ -25,16 +25,16 @@ uint64_t ubits(unsigned char buf[], unsigned int start, unsigned int width, bool
     unsigned int i;
     unsigned end;
 
-    assert(width <= sizeof(uint64_t) * CHAR_BIT);
+    /*@i1@*/ assert(width <= sizeof(uint64_t) * CHAR_BIT);
     for (i = start / CHAR_BIT;
 	 i < (start + width + CHAR_BIT - 1) / CHAR_BIT; i++) {
-	fld <<= CHAR_BIT;
+	/*@i1@*/ fld <<= CHAR_BIT;
 	fld |= (unsigned char)buf[i];
     }
 
     end = (start + width) % CHAR_BIT;
     if (end != 0) {
-	fld >>= (CHAR_BIT - end);
+	/*@i1@*/ fld >>= (CHAR_BIT - end);
     }
 
     /*@ -shiftimplementation @*/