Fix minor problems found by static checking.

* dispnew.c (save_current_matrix): Omit unnecessary casts.
* dispnew.c (update_frame_with_menu): Mark debug local as used.
* keyboard.c, keyboard.h (Qmouse_movement): Now static.
* keyboard.c (read_menu_command): Remove unused local.
* lisp.h (read_menu_command): New decl.
* menu.c, menu.h (menu_item_width): Arg is now unsigned char *, for
benefit of STRING_CHAR_AND_LENGTH.  All uses changed.
Return ptrdiff_t, not int.
* term.c (tty_menu_struct): 'allocated' member is now ptrdiff_t,
not int, for benefit of xpalloc.
(tty_menu_create, tty_menu_make_room): Simplify by using xzalloc
and xpalloc.
(have_menus_p): Remove; unused.
(tty_menu_add_pane, tty_menu_add_selection): Change signedness of
local char * pointer to pacify STRING_CHAR_AND_LENGTH.
(tty_menu_add_selection, tty_menu_locate, tty_meny_destroy):
Now static.
(save_and_enable_current_matrix): Omit unnecessary casts.
(read_menu_input): Omit local extern decl (now in lisp.h).
Don't access uninitialized storage if mouse_get_xy fails.
(tty_menu_activate): Mark local as initialized, for lint.
(tty_menu_activate, tty_meny_show): Remove unused locals.

8 files changed, 67 insertions, 63 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index e30194d1dfb..5196eb230d8 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,29 @@
+2013-10-08  Paul Eggert  <eggert@cs.ucla.edu>
+
+        Fix minor problems found by static checking.
+        * dispnew.c (save_current_matrix): Omit unnecessary casts.
+        * dispnew.c (update_frame_with_menu): Mark debug local as used.
+        * keyboard.c, keyboard.h (Qmouse_movement): Now static.
+        * keyboard.c (read_menu_command): Remove unused local.
+        * lisp.h (read_menu_command): New decl.
+        * menu.c, menu.h (menu_item_width): Arg is now unsigned char *, for
+        benefit of STRING_CHAR_AND_LENGTH.  All uses changed.
+        Return ptrdiff_t, not int.
+        * term.c (tty_menu_struct): 'allocated' member is now ptrdiff_t,
+        not int, for benefit of xpalloc.
+        (tty_menu_create, tty_menu_make_room): Simplify by using xzalloc
+        and xpalloc.
+        (have_menus_p): Remove; unused.
+        (tty_menu_add_pane, tty_menu_add_selection): Change signedness of
+        local char * pointer to pacify STRING_CHAR_AND_LENGTH.
+        (tty_menu_add_selection, tty_menu_locate, tty_meny_destroy):
+        Now static.
+        (save_and_enable_current_matrix): Omit unnecessary casts.
+        (read_menu_input): Omit local extern decl (now in lisp.h).
+        Don't access uninitialized storage if mouse_get_xy fails.
+        (tty_menu_activate): Mark local as initialized, for lint.
+        (tty_menu_activate, tty_meny_show): Remove unused locals.
+
 2013-10-08  Eli Zaretskii  <eliz@gnu.org>
 
         Support menus on text-mode terminals.
diff --git a/src/dispnew.c b/src/dispnew.c
index f5d213e03f4..f5adb359f22 100644
--- a/src/dispnew.c
+++ b/src/dispnew.c
@@ -1853,7 +1853,7 @@ save_current_matrix (struct frame *f)
       if (from->used[LEFT_MARGIN_AREA])
         {
           nbytes = from->used[LEFT_MARGIN_AREA] * sizeof (struct glyph);
-          to->glyphs[LEFT_MARGIN_AREA] = (struct glyph *) xmalloc (nbytes);
+          to->glyphs[LEFT_MARGIN_AREA] = xmalloc (nbytes);
           memcpy (to->glyphs[LEFT_MARGIN_AREA],
                   from->glyphs[LEFT_MARGIN_AREA], nbytes);
           to->used[LEFT_MARGIN_AREA] = from->used[LEFT_MARGIN_AREA];
@@ -1861,7 +1861,7 @@ save_current_matrix (struct frame *f)
       if (from->used[RIGHT_MARGIN_AREA])
         {
           nbytes = from->used[RIGHT_MARGIN_AREA] * sizeof (struct glyph);
-          to->glyphs[RIGHT_MARGIN_AREA] = (struct glyph *) xmalloc (nbytes);
+          to->glyphs[RIGHT_MARGIN_AREA] = xmalloc (nbytes);
           memcpy (to->glyphs[RIGHT_MARGIN_AREA],
                   from->glyphs[RIGHT_MARGIN_AREA], nbytes);
           to->used[RIGHT_MARGIN_AREA] = from->used[RIGHT_MARGIN_AREA];
@@ -3123,6 +3123,8 @@ update_frame_with_menu (struct frame *f)
   check_window_matrix_pointers (root_window);
 #endif
   add_frame_display_history (f, paused_p);
+#else
+  IF_LINT ((void) paused_p);
 #endif
 
   /* Reset flags indicating that a window should be updated.  */
diff --git a/src/keyboard.c b/src/keyboard.c
index 352402349c0..669e85518f1 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -289,7 +289,7 @@ static struct input_event * volatile kbd_store_ptr;
    at inopportune times.  */
 
 /* Symbols to head events.  */
-Lisp_Object Qmouse_movement;
+static Lisp_Object Qmouse_movement;
 static Lisp_Object Qscroll_bar_movement;
 Lisp_Object Qswitch_frame;
 static Lisp_Object Qfocus_in, Qfocus_out;
@@ -1696,7 +1696,6 @@ command_loop_1 (void)
 Lisp_Object
 read_menu_command (void)
 {
-  Lisp_Object cmd;
   Lisp_Object keybuf[30];
   ptrdiff_t count = SPECPDL_INDEX ();
   int i;
diff --git a/src/keyboard.h b/src/keyboard.h
index 8a8505e406b..49f87b20a43 100644
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -450,7 +450,7 @@ extern Lisp_Object Qswitch_frame;
 extern Lisp_Object Qevent_kind;
 
 /* The values of Qevent_kind properties.  */
-extern Lisp_Object Qmouse_click, Qmouse_movement;
+extern Lisp_Object Qmouse_click;
 
 extern Lisp_Object Qhelp_echo;
 
diff --git a/src/lisp.h b/src/lisp.h
index 3e63aa0255f..3773398d773 100644
--- a/src/lisp.h
+++ b/src/lisp.h
@@ -3905,6 +3905,7 @@ extern bool detect_input_pending_run_timers (bool);
 extern void safe_run_hooks (Lisp_Object);
 extern void cmd_error_internal (Lisp_Object, const char *);
 extern Lisp_Object command_loop_1 (void);
+extern Lisp_Object read_menu_command (void);
 extern Lisp_Object recursive_edit_1 (void);
 extern void record_auto_save (void);
 extern void force_auto_save_soon (void);
diff --git a/src/menu.c b/src/menu.c
index f741d686cd1..9e135b56ce5 100644
--- a/src/menu.c
+++ b/src/menu.c
@@ -1036,11 +1036,11 @@ find_and_return_menu_selection (struct frame *f, bool keymaps, void *client_data
 }
 #endif  /* HAVE_NS */
 
-int
-menu_item_width (const char *str)
+ptrdiff_t
+menu_item_width (const unsigned char *str)
 {
-  int len;
-  const char *p;
+  ptrdiff_t len;
+  const unsigned char *p;
 
   for (len = 0, p = str; *p; )
     {
@@ -1104,7 +1104,7 @@ into menu items.  */)
           if (XINT (pos) <= col
               /* We use <= so the blank between 2 items on a TTY is
                  considered part of the previous item.  */
-              && col <= XINT (pos) + menu_item_width (SSDATA (str)))
+              && col <= XINT (pos) + menu_item_width (SDATA (str)))
             {
               item = AREF (items, i);
               return item;
diff --git a/src/menu.h b/src/menu.h
index 9b3b71d757e..c83f7431c45 100644
--- a/src/menu.h
+++ b/src/menu.h
@@ -53,5 +53,5 @@ extern Lisp_Object xmenu_show (struct frame *, int, int, bool, bool,
                                Lisp_Object, const char **, Time);
 extern Lisp_Object tty_menu_show (struct frame *, int, int, int, int,
                                   Lisp_Object, int, const char **);
-extern int menu_item_width (const char *);
+extern ptrdiff_t menu_item_width (const unsigned char *);
 #endif /* MENU_H */
diff --git a/src/term.c b/src/term.c
index 6d53664949e..c357f04cdc6 100644
--- a/src/term.c
+++ b/src/term.c
@@ -2814,7 +2814,7 @@ typedef struct tty_menu_struct
   char **text;
   struct tty_menu_struct **submenu;
   int *panenumber; /* Also used as enabled flag.  */
-  int allocated;
+  ptrdiff_t allocated;
   int panecount;
   int width;
   const char **help_text;
@@ -2825,38 +2825,27 @@ typedef struct tty_menu_struct
 static tty_menu *
 tty_menu_create (void)
 {
-  tty_menu *menu;
-
-  menu = (tty_menu *) xmalloc (sizeof (tty_menu));
-  menu->allocated = menu->count = menu->panecount = menu->width = 0;
-  return menu;
+  return xzalloc (sizeof *tty_menu_create ());
 }
 
 /* Allocate some (more) memory for MENU ensuring that there is room for one
-   for item.  */
+   more item.  */
 
 static void
 tty_menu_make_room (tty_menu *menu)
 {
-  if (menu->allocated == 0)
-    {
-      int count = menu->allocated = 10;
-      menu->text = (char **) xmalloc (count * sizeof (char *));
-      menu->submenu = (tty_menu **) xmalloc (count * sizeof (tty_menu *));
-      menu->panenumber = (int *) xmalloc (count * sizeof (int));
-      menu->help_text = (const char **) xmalloc (count * sizeof (char *));
-    }
-  else if (menu->allocated == menu->count)
+  if (menu->allocated == menu->count)
     {
-      int count = menu->allocated = menu->allocated + 10;
-      menu->text
-        = (char **) xrealloc (menu->text, count * sizeof (char *));
-      menu->submenu
-        = (tty_menu **) xrealloc (menu->submenu, count * sizeof (tty_menu *));
-      menu->panenumber
-        = (int *) xrealloc (menu->panenumber, count * sizeof (int));
-      menu->help_text
-        = (const char **) xrealloc (menu->help_text, count * sizeof (char *));
+      ptrdiff_t allocated = menu->allocated;
+      menu->text = xpalloc (menu->text, &allocated, 1, -1, sizeof *menu->text);
+      menu->text = xrealloc (menu->text, allocated * sizeof *menu->text);
+      menu->submenu = xrealloc (menu->submenu,
+                                allocated * sizeof *menu->submenu);
+      menu->panenumber = xrealloc (menu->panenumber,
+                                   allocated * sizeof *menu->panenumber);
+      menu->help_text = xrealloc (menu->help_text,
+                                  allocated * sizeof *menu->help_text);
+      menu->allocated = allocated;
     }
 }
 
@@ -2965,18 +2954,13 @@ tty_menu_display (tty_menu *menu, int x, int y, int pn, int *faces,
 
 /* --------------------------- X Menu emulation ---------------------- */
 
-/* Report availability of menus.  */
-
-int
-have_menus_p (void) {  return 1; }
-
 /* Create a new pane and place it on the outer-most level.  */
 
 static int
 tty_menu_add_pane (tty_menu *menu, const char *txt)
 {
   int len;
-  const char *p;
+  const unsigned char *p;
 
   tty_menu_make_room (menu);
   menu->submenu[menu->count] = tty_menu_create ();
@@ -2986,7 +2970,7 @@ tty_menu_add_pane (tty_menu *menu, const char *txt)
   menu->count++;
 
   /* Update the menu width, if necessary.  */
-  for (len = 0, p = txt; *p; )
+  for (len = 0, p = (unsigned char *) txt; *p; )
     {
       int ch_len;
       int ch = STRING_CHAR_AND_LENGTH (p, ch_len);
@@ -3003,12 +2987,12 @@ tty_menu_add_pane (tty_menu *menu, const char *txt)
 
 /* Create a new item in a menu pane.  */
 
-int
+static int
 tty_menu_add_selection (tty_menu *menu, int pane,
                         char *txt, int enable, char const *help_text)
 {
   int len;
-  char *p;
+  unsigned char *p;
 
   if (pane)
     if (!(menu = tty_menu_search_pane (menu, pane)))
@@ -3021,7 +3005,7 @@ tty_menu_add_selection (tty_menu *menu, int pane,
   menu->count++;
 
   /* Update the menu width, if necessary.  */
-  for (len = 0, p = txt; *p; )
+  for (len = 0, p = (unsigned char *) txt; *p; )
     {
       int ch_len;
       int ch = STRING_CHAR_AND_LENGTH (p, ch_len);
@@ -3038,7 +3022,7 @@ tty_menu_add_selection (tty_menu *menu, int pane,
 
 /* Decide where the menu would be placed if requested at (X,Y).  */
 
-void
+static void
 tty_menu_locate (tty_menu *menu, int x, int y,
                  int *ulx, int *uly, int *width, int *height)
 {
@@ -3085,7 +3069,7 @@ save_and_enable_current_matrix (struct frame *f)
       if (from->used[LEFT_MARGIN_AREA])
         {
           nbytes = from->used[LEFT_MARGIN_AREA] * sizeof (struct glyph);
-          to->glyphs[LEFT_MARGIN_AREA] = (struct glyph *) xmalloc (nbytes);
+          to->glyphs[LEFT_MARGIN_AREA] = xmalloc (nbytes);
           memcpy (to->glyphs[LEFT_MARGIN_AREA],
                   from->glyphs[LEFT_MARGIN_AREA], nbytes);
           to->used[LEFT_MARGIN_AREA] = from->used[LEFT_MARGIN_AREA];
@@ -3093,7 +3077,7 @@ save_and_enable_current_matrix (struct frame *f)
       if (from->used[RIGHT_MARGIN_AREA])
         {
           nbytes = from->used[RIGHT_MARGIN_AREA] * sizeof (struct glyph);
-          to->glyphs[RIGHT_MARGIN_AREA] = (struct glyph *) xmalloc (nbytes);
+          to->glyphs[RIGHT_MARGIN_AREA] = xmalloc (nbytes);
           memcpy (to->glyphs[RIGHT_MARGIN_AREA],
                   from->glyphs[RIGHT_MARGIN_AREA], nbytes);
           to->used[RIGHT_MARGIN_AREA] = from->used[RIGHT_MARGIN_AREA];
@@ -3194,7 +3178,6 @@ read_menu_input (struct frame *sf, int *x, int *y, int min_y, int max_y,
     }
   else
     {
-      extern Lisp_Object read_menu_command (void);
       Lisp_Object cmd;
       int usable_input = 1;
       int st = 0;
@@ -3215,13 +3198,7 @@ read_menu_input (struct frame *sf, int *x, int *y, int min_y, int max_y,
       if (EQ (cmd, Qt) || EQ (cmd, Qtty_menu_exit))
         return -1;
       if (EQ (cmd, Qtty_menu_mouse_movement))
-        {
-          int mx, my;
-
-          mouse_get_xy (&mx, &my);
-          *x = mx;
-          *y = my;
-        }
+        mouse_get_xy (x, y);
       else if (EQ (cmd, Qtty_menu_next_menu))
         {
           usable_input = 0;
@@ -3261,13 +3238,14 @@ tty_menu_activate (tty_menu *menu, int *pane, int *selidx,
                    int kbd_navigation)
 {
   struct tty_menu_state *state;
-  int statecount, x, y, i, b, leave, result, onepane;
+  int statecount, x, y, i, leave, onepane;
+  int result IF_LINT (= 0);
   int title_faces[4];           /* face to display the menu title */
   int faces[4], buffers_num_deleted = 0;
   struct frame *sf = SELECTED_FRAME ();
   struct tty_display_info *tty = FRAME_TTY (sf);
   bool first_time;
-  Lisp_Object saved_echo_area_message, selectface;
+  Lisp_Object selectface;
 
   /* Don't allow non-positive x0 and y0, lest the menu will wrap
      around the display.  */
@@ -3465,7 +3443,7 @@ tty_menu_activate (tty_menu *menu, int *pane, int *selidx,
 
 /* Dispose of a menu.  */
 
-void
+static void
 tty_menu_destroy (tty_menu *menu)
 {
   int i;
@@ -3576,7 +3554,7 @@ tty_menu_new_item_coords (struct frame *f, int which, int *x, int *y)
           if (ix <= *x
               /* We use <= so the blank between 2 items on a TTY is
                  considered part of the previous item.  */
-              && *x <= ix + menu_item_width (SSDATA (str)))
+              && *x <= ix + menu_item_width (SDATA (str)))
             {
               /* Found current item.  Now compute the X coordinate of
                  the previous or next item.  */
@@ -3614,8 +3592,6 @@ tty_menu_show (struct frame *f, int x, int y, int for_click, int keymaps,
   int dispwidth, dispheight;
   int i, j, lines, maxlines;
   int maxwidth;
-  int dummy_int;
-  unsigned int dummy_uint;
   ptrdiff_t specpdl_count = SPECPDL_INDEX ();
 
   if (! FRAME_TERMCAP_P (f))