(read_and): Abort if HEADER_SUCCESS_EXTENDED occurs, as it's not

possible.  Pass false to read_header, not 0.

diff --git a/src/list.c b/src/list.c
index 80ea0e19bc7dfb1d296968a9d329da6eaff27223..e5e187f2a78ea332328217f51f6c2a43d3834c41 100644 (file)
--- a/src/list.c
+++ b/src/list.c
@@ -76,10 +76,11 @@ read_and (void (*do_something) (void))
   while (1)
     {
       prev_status = status;
-      status = read_header (0);
+      status = read_header (false);
       switch (status)
        {
        case HEADER_STILL_UNREAD:
+       case HEADER_SUCCESS_EXTENDED:
          abort ();
 
        case HEADER_SUCCESS:
@@ -159,6 +160,9 @@ read_and (void (*do_something) (void))
            case HEADER_FAILURE:
              /* We are in the middle of a cascade of errors.  */
              break;
+
+           case HEADER_SUCCESS_EXTENDED:
+             abort ();
            }
          continue;
        }