(read_key_sequence): Use XFASTINT to convert value

of Flength to an int.

(read_key_sequence): Use XFASTINT to convert value
of Flength to an int.
2e864a76 · Richard M. Stallman · be8b1c6b · 2e864a76
Commit 2e864a76 authored Aug 02, 1993 by Richard M. Stallman
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/keyboard.c src/keyboard.c +2 -2

No files found.
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -4212,7 +4212,7 @@ read_key_sequence (keybuf, bufsize, prompt)
 	      if ((VECTORP (fkey_next) || STRINGP (fkey_next))
 		  && fkey_end == t)
 		{
-		  int len = Flength (fkey_next);
+		  int len = XFASTINT (Flength (fkey_next));

 		  t = fkey_start + len;
 		  if (t >= bufsize)
@@ -4284,7 +4284,7 @@ read_key_sequence (keybuf, bufsize, prompt)
 	    if ((VECTORP (keytran_next) || STRINGP (keytran_next))
 		&& keytran_end == t)
 	      {
-		int len = Flength (keytran_next);
+		int len = XFASTINT (Flength (keytran_next));

 		t = keytran_start + len;
 		if (t >= bufsize)