# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738284334 0
# Node ID 793f7e0dc66ba7202dc4acbc955ed533ab374018
# Parent  200a7b012253dc263713ef430649ada12ca7585b
(modify_event_symbol): If a name_table elt is null,
generate a name to use.  Don't crash.

diff -r 200a7b012253 -r 793f7e0dc66b src/keyboard.c
--- a/src/keyboard.c	Mon May 24 22:35:11 1993 +0000
+++ b/src/keyboard.c	Mon May 24 22:58:54 1993 +0000
@@ -2739,7 +2739,14 @@
   if (NILP (*slot))
     {
       /* No; let's create it.  */
-      *slot = intern (name_table[symbol_num]);
+      if (name_table[symbol_num])
+	*slot = intern (name_table[symbol_num]);
+      else
+	{
+	  char buf[20];
+	  sprintf (buf, "key-%d", symbol_num);
+	  *slot = intern (buf);
+	}
 
       /* Fill in the cache entries for this symbol; this also 	
 	 builds the Qevent_symbol_elements property, which the user