1 files changed, 2 insertions, 3 deletions

diff --git a/src/image.c b/src/image.c
index 3eec8b6c13d..21f486176df 100644
--- a/src/image.c
+++ b/src/image.c
@@ -7373,11 +7373,10 @@ gif_load (struct frame *f, struct image *img)
                y < subimg_height;
                y++, row += interlace_increment[pass])
             {
-              if (row >= subimg_height)
+              while (subimg_height <= row)
                 {
+                  lint_assume (pass < 3);
                   row = interlace_start[++pass];
-                  while (row >= subimg_height)
-                    row = interlace_start[++pass];
                 }
 
               for (x = 0; x < subimg_width; x++)