shithub: dav1d

Info  •  Files  •  Log  •  Branches

Assert sz is nonzero in dav1d_init_get_bits()

dav1d_init_get_bits() initializes c->eof to 0, which implies
c->ptr < c->ptr_end, or equivalently sz > 0.

--- a/src/getbits.c

+++ b/src/getbits.c

@@ -34,6 +34,8 @@

 void dav1d_init_get_bits(GetBits *const c, const uint8_t *const data,

                          const size_t sz)

 {

+    // If sz were 0, c->eof would need to be initialized to 1.

+    assert(sz);

     c->ptr = c->ptr_start = data;

     c->ptr_end = &c->ptr_start[sz];

     c->bits_left = 0;