Avoid overflowing user_font_name by using dynamic allocation.

diff --git a/src/psgen.c b/src/psgen.c
index b827fe10aff66ac540e5aade687c2496ead9dbef..4bae4bd55b2c6356dd54681ae5fd966e1427736e 100644 (file)
--- a/src/psgen.c
+++ b/src/psgen.c
@@ -247,7 +247,7 @@ static int do_print = 1;
 static int user_fontp = 0;
 
 /* The user ^@font{}-defined font. */
-static char user_font_name[256];
+static char *user_font_name;
 static FontPoint user_font_pt;
 static InputEncoding user_font_encoding;
 
@@ -977,6 +977,7 @@ large for page\n"),
                        FATAL ((stderr,
                                _("user font encoding can be only the system's default or `ps'")));
 
+                     xrealloc(user_font_name, strlen(token.u.font.name) + 1);
                      strcpy (user_font_name, token.u.font.name);
                      user_font_pt.w = token.u.font.size.w;
                      user_font_pt.h = token.u.font.size.h;