X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpostscript.c;h=8a4c9acb7d5bf44ad3097ac55051f5e8ef5854a4;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=b911f8ccdd6ec08588b6a6996aac77cd8dbea060;hpb=f2828f801736701c0294803b5dedd4c4ab63b45e;p=pspp

diff --git a/src/postscript.c b/src/postscript.c
index b911f8ccdd..8a4c9acb7d 100644
--- a/src/postscript.c
+++ b/src/postscript.c
@@ -23,7 +23,7 @@
 #if !NO_POSTSCRIPT
 
 #include <ctype.h>
-#include <assert.h>
+#include "error.h"
 #include <errno.h>
 #include <limits.h>
 #include <stdlib.h>
@@ -661,6 +661,7 @@ ps_option (struct outp_driver *this, const char *key, const struct string *val)
 	    break;
 	  default:
 	    assert (0);
+            abort ();
 	  }
 	if (setting)
 	  x->output_options |= mask;
@@ -762,6 +763,7 @@ ps_option (struct outp_driver *this, const char *key, const struct string *val)
 	    break;
 	  default:
 	    assert (0);
+            abort ();
 	  }
 	if (*dest)
 	  free (*dest);
@@ -2410,6 +2412,7 @@ write_text (struct outp_driver *this,
       break;
     default:
       assert (0);
+      abort ();
     }
 
   lp = line;
@@ -2575,7 +2578,7 @@ text (struct outp_driver *this, struct outp_text *t, int draw)
       char_name = local_char_name;
       if (ext->current->font->ligatures && *cp == 'f')
 	{
-	  int lig;
+	  int lig = 0;
           char_name = NULL;
 
 	  if (cp < end - 1)
@@ -2604,7 +2607,7 @@ text (struct outp_driver *this, struct outp_text *t, int draw)
 	      }
 	  if ((lig & ext->current->font->ligatures) == 0)
 	    {
-	      local_char_name[0] = *cp++;	/* 'f' */
+	      local_char_name[0] = *cp;	/* 'f' */
 	      char_name = local_char_name;
 	    }
 	}