* lisp.h (eassume): New macro.

Also, include <verify.h>, for 'assume'.
* alloc.c (bool_vector_payload_bytes, Fmake_bool_vector)
(vroundup, vector_nbytes):
* data.c (bool_vector_spare_mask, bool_vector_binop_driver)
(Fbool_vector_not, Fbool_vector_count_matches)
(Fbool_vector_count_matches_at):
Use eassume, not eassert.
* casetab.c (set_identity, shuffle):
* composite.c (composition_gstring_put_cache):
* dispnew.c (update_frame_1):
* ftfont.c (ftfont_shape_by_flt):
* image.c (gif_load):
* intervals.c (offset_intervals):
* macfont.m (macfont_shape):
Remove calls to 'assume' that are no longer needed, because
--enable-gcc-warnings no longer generates bogus warnings
when these calls are removed.

1 files changed, 1 insertions, 4 deletions

diff --git a/src/image.c b/src/image.c
index 86780c62a0b..ca2ef67c0b9 100644
--- a/src/image.c
+++ b/src/image.c
@@ -7571,10 +7571,7 @@ gif_load (struct frame *f, struct image *img)
                y++, row += interlace_increment[pass])
             {
               while (subimg_height <= row)
-                {
-                  assume (pass < 3);
-                  row = interlace_start[++pass];
-                }
+                row = interlace_start[++pass];
 
               for (x = 0; x < subimg_width; x++)
                 {