X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fascii.c;h=9c0103e0c5e2b044a97f200d5a2acbd1254da62a;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=72e536b16b0dbe53af90c9c151e2e258df774340;hpb=564f1eac7ce351b863dba65b75d71fdf3c92b73e;p=pspp-builds.git

diff --git a/src/ascii.c b/src/ascii.c
index 72e536b1..9c0103e0 100644
--- a/src/ascii.c
+++ b/src/ascii.c
@@ -595,6 +595,7 @@ ascii_option (struct outp_driver *this, const char *key,
 	    break;
 	  default:
 	    assert (0);
+            abort ();
 	  }
 	ls_create (ascii_pool, s, value);
       }
@@ -1216,6 +1217,7 @@ output_shorts (struct outp_driver *this,
 	      break;
 	    default:
 	      assert (0);
+              abort ();
 	    }
 	  if (!on)
 	    {
@@ -1244,6 +1246,7 @@ output_shorts (struct outp_driver *this,
 		    break;
 		  default:
 		    assert (0);
+                    abort ();
 		  }
 	      else
 		{
@@ -1330,6 +1333,7 @@ return_carriage (struct outp_driver *this, int n_chars)
       break;
     default:
       assert (0);
+      abort ();
     }
 }
 
@@ -1403,6 +1407,7 @@ output_lines (struct outp_driver *this, int first, int count)
 		  break;
 		default:
 		  assert (0);
+                  abort ();
 		}
 	      if (off)
 		output_string (this, ls_value (off), ls_end (off));
@@ -1427,6 +1432,7 @@ output_lines (struct outp_driver *this, int first, int count)
 		  break;
 		default:
 		  assert (0);
+                  abort ();
 		}
 	      if (on)
 		output_string (this, ls_value (on), ls_end (on));
@@ -1463,6 +1469,7 @@ output_lines (struct outp_driver *this, int first, int count)
 		  break;
                 default:
                   assert (0);
+                  abort ();
 		}
 	      output_char (this, 1, ch);
 	      n_chars += ep - bp + 1;