Commit 432e1edb authored by John Esmet's avatar John Esmet Committed by Yoni Fogel

fix a small invariant bug while reading brtheader off disk


git-svn-id: file:///svn/toku/tokudb@35947 c7de825b-a66e-492c-adef-691d508d4ae1
parent dd5b315e
...@@ -1962,10 +1962,10 @@ deserialize_brtheader_versioned (int fd, struct rbuf *rb, struct brt_header **br ...@@ -1962,10 +1962,10 @@ deserialize_brtheader_versioned (int fd, struct rbuf *rb, struct brt_header **br
struct brt_header *h = NULL; struct brt_header *h = NULL;
rval = deserialize_brtheader (fd, rb, &h); //deserialize from rbuf and fd into header rval = deserialize_brtheader (fd, rb, &h); //deserialize from rbuf and fd into header
invariant ((uint32_t) h->layout_version == version);
deserialize_descriptor_from(fd, h->blocktable, &(h->descriptor), version);
if (rval == 0) { if (rval == 0) {
invariant(h); invariant(h);
invariant((uint32_t) h->layout_version == version);
deserialize_descriptor_from(fd, h->blocktable, &(h->descriptor), version);
switch (version) { switch (version) {
case BRT_LAYOUT_VERSION_13: case BRT_LAYOUT_VERSION_13:
invariant(h->layout_version == BRT_LAYOUT_VERSION_13); invariant(h->layout_version == BRT_LAYOUT_VERSION_13);
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment