libavcodec/vble.c:69: error: Integer Overflow L2
  ([0, +oo] - 8):unsigned32 by call to `vble_read_reverse_unary`.

libavcodec/vble.c:63:1: Parameter `bc->bits_left`
61. }
62. 
63. static int vble_unpack(VBLEContext *ctx, BitstreamContext *bc)
    ^
64. {
65.     int i;

libavcodec/vble.c:69:23: Call
67.     /* Read all the lengths in first */
68.     for (i = 0; i < ctx->size; i++) {
69.         ctx->val[i] = vble_read_reverse_unary(bc);
                          ^
70. 
71.         if (ctx->val[i] == UINT8_MAX)

libavcodec/vble.c:44:1: Parameter `bc->bits_left`
  42. } VBLEContext;
  43. 
  44. static uint8_t vble_read_reverse_unary(BitstreamContext *bc)
      ^
  45. {
  46.     /* At most we need to read 9 bits total to get indices up to 8 */

libavcodec/vble.c:47:19: Call
  45. {
  46.     /* At most we need to read 9 bits total to get indices up to 8 */
  47.     uint8_t val = bitstream_peek(bc, 8);
                        ^
  48. 
  49.     if (val) {

libavcodec/bitstream.h:215:1: Parameter `n`
    213. /* Return n bits from the buffer, but do not change the buffer state.
    214.  * n has to be in the 0-32 range. */
    215. static inline unsigned bitstream_peek(BitstreamContext *bc, unsigned n)
         ^
    216. {
    217.     if (n > bc->bits_left)

libavcodec/vble.c:54:9: Call
  52.         return val;
  53.     } else {
  54.         bitstream_skip(bc, 8);
              ^
  55.         if (bitstream_read_bit(bc))
  56.             return 8;

libavcodec/bitstream.h:241:1: Parameter `n`
    239. 
    240. /* Skip n bits in the buffer. */
    241. static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
         ^
    242. {
    243.     if (n <= bc->bits_left)

libavcodec/bitstream.h:244:9: Call
    242. {
    243.     if (n <= bc->bits_left)
    244.         skip_remaining(bc, n);
                 ^
    245.     else {
    246.         n -= bc->bits_left;

libavcodec/bitstream.h:230:1: <LHS trace>
228. }
229. 
230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
     ^
231. {
232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: Parameter `bc->bits_left`
      228. }
      229. 
      230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
           ^
      231. {
      232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: <RHS trace>
228. }
229. 
230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
     ^
231. {
232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: Parameter `n`
      228. }
      229. 
      230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
           ^
      231. {
      232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:237:5: Binary operation: ([0, +oo] - 8):unsigned32 by call to `vble_read_reverse_unary` 
      235.     bc->bits <<= n;
      236. #endif
      237.     bc->bits_left -= n;
               ^
      238. }
      239. 
