summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJari Vetoniemi <mailroxas@gmail.com>2017-12-07 22:05:30 +0200
committerJari Vetoniemi <mailroxas@gmail.com>2017-12-07 22:05:30 +0200
commit0ec51164dbbf1d999bf31ca18990df5980fcaa9b (patch)
treecaad6f57525e21ec10e265186850e59eca7da797
parentce6a6f86e9202b6542605255deb42567d84f4816 (diff)
dump.c: Postcond that we actually read something
-rw-r--r--src/dump.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dump.c b/src/dump.c
index ef83b34..8af7119 100644
--- a/src/dump.c
+++ b/src/dump.c
@@ -582,6 +582,8 @@ noop:
decl->buf.written += decl->size * read;
decl->nmemb = read;
}
+
+ assert(decl->nmemb != 0);
}
break;