X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmatrix-data.c;h=6f3d58ade7a6d1c06988c848cb9263b890ccb1bd;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=7d8b55f36ef3ec5d218c958600c975dfd1c81052;hpb=205ac3afa4c2b19c85819d8695abf3975bb11807;p=pspp

diff --git a/src/matrix-data.c b/src/matrix-data.c
index 7d8b55f36e..6f3d58ade7 100644
--- a/src/matrix-data.c
+++ b/src/matrix-data.c
@@ -1152,6 +1152,7 @@ nr_read_data_lines (struct nr_aux_data *nr,
 	      break;
 	    default:
 	      assert (0);
+              abort ();
 	    }
 	  break;
 	case 2:
@@ -1159,6 +1160,7 @@ nr_read_data_lines (struct nr_aux_data *nr,
 	  break;
 	default:
 	  assert (0);
+          abort ();
 	}
 
       {
@@ -2006,10 +2008,12 @@ wr_read_indeps (struct wr_aux_data *wr)
 	  break;
 	default:
 	  assert (0);
+          abort ();
 	}
       break;
     default:
       assert (0);
+      abort ();
     }
   c->n_rows[wr->content]++;