From: malc <malc@c046a42c-6fe2-441c-8c8c-71466251a162>
Date: Sat, 5 Jul 2008 13:41:02 +0000 (+0000)
Subject: Remove >= asserts on unsigned inputs
X-Git-Tag: stefano.display-merge-start~941
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=295abf3616506e6e121d86e2d1a4b4ef8c9dd632;p=qemu-xen-4.0-testing.git

Remove >= asserts on unsigned inputs

git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@4848 c046a42c-6fe2-441c-8c8c-71466251a162
---

diff --git a/block-vvfat.c b/block-vvfat.c
index 08d426bb..9394fbd6 100644
--- a/block-vvfat.c
+++ b/block-vvfat.c
@@ -93,7 +93,6 @@ static inline void array_free(array_t* array)
 
 /* does not automatically grow */
 static inline void* array_get(array_t* array,unsigned int index) {
-    assert(index >= 0);
     assert(index < array->next);
     return array->pointer + index * array->item_size;
 }
@@ -195,7 +194,6 @@ static int array_remove(array_t* array,int index)
 static int array_index(array_t* array, void* pointer)
 {
     size_t offset = (char*)pointer - array->pointer;
-    assert(offset >= 0);
     assert((offset % array->item_size) == 0);
     assert(offset/array->item_size < array->next);
     return offset/array->item_size;
@@ -2238,7 +2236,6 @@ static int commit_one_file(BDRVVVFATState* s,
 
 	assert((size - offset == 0 && fat_eof(s, c)) ||
 		(size > offset && c >=2 && !fat_eof(s, c)));
-	assert(size >= 0);
 
 	ret = vvfat_read(s->bs, cluster2sector(s, c),
 	    (uint8_t*)cluster, (rest_size + 0x1ff) / 0x200);