* dispnew.c (update_frame_1): Pacify gcc -Wstrict-overflow

for GCC 4.7.1 x86-64.

diff --git a/src/ChangeLog b/src/ChangeLog
index fef02d8..c8f7564 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2012-08-30  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * dispnew.c (update_frame_1): Pacify gcc -Wstrict-overflow
+       for GCC 4.7.1 x86-64.
+
 2012-08-30  Glenn Morris  <rgm@gnu.org>
 
        * lread.c (init_lread): For out-of-tree builds, only add the

diff --git a/src/dispnew.c b/src/dispnew.c
index 4e30788..2d232d4 100644 (file)
--- a/src/dispnew.c
+++ b/src/dispnew.c
@@ -4690,6 +4690,7 @@ update_frame_1 (struct frame *f, bool force_p, bool inhibit_id_p)
        }
     }
 
+  lint_assume (0 <= FRAME_LINES (f));
   pause_p = 0 < i && i < FRAME_LINES (f) - 1;
 
   /* Now just clean up termcap drivers and set cursor, etc.  */