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:214:1: Parameter `n`
    212. /* Return n bits from the buffer, but do not change the buffer state.
    213.  * n has to be in the 0-32 range. */
    214. static inline unsigned bitstream_peek(BitstreamContext *bc, unsigned n)
         ^
    215. {
    216.     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:240:1: Parameter `n`
    238. 
    239. /* Skip n bits in the buffer. */
    240. static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
         ^
    241. {
    242.     if (n < bc->bits_left)

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

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

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

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

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

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

static inline void skip_remaining(BitstreamContext *bc, unsigned n)
{
#ifdef BITSTREAM_READER_LE
    bc->bits >>= n;
#else
    bc->bits <<= n;
#endif
    bc->bits_left -= n;
}
['static int vble_unpack(VBLEContext *ctx, BitstreamContext *bc)\n{\n    int i;\n    for (i = 0; i < ctx->size; i++) {\n        ctx->val[i] = vble_read_reverse_unary(bc);\n        if (ctx->val[i] == UINT8_MAX)\n            return -1;\n    }\n    for (i = 0; i < ctx->size; i++) {\n        if (bitstream_bits_left(bc) < ctx->val[i])\n            return -1;\n        if (ctx->val[i])\n            ctx->val[i] = (1 << ctx->val[i]) + bitstream_read(bc, ctx->val[i]) - 1;\n    }\n    return 0;\n}', 'static uint8_t vble_read_reverse_unary(BitstreamContext *bc)\n{\n    uint8_t val = bitstream_peek(bc, 8);\n    if (val) {\n        val = 7 - av_log2_16bit(ff_reverse[val]);\n        bitstream_skip(bc, val + 1);\n        return val;\n    } else {\n        bitstream_skip(bc, 8);\n        if (bitstream_read_bit(bc))\n            return 8;\n    }\n    return UINT8_MAX;\n}', 'static inline unsigned bitstream_peek(BitstreamContext *bc, unsigned n)\n{\n    if (n > bc->bits_left)\n        refill_32(bc);\n    return show_val(bc, n);\n}', 'static inline void bitstream_skip(BitstreamContext *bc, unsigned n)\n{\n    if (n < bc->bits_left)\n        skip_remaining(bc, n);\n    else {\n        n -= bc->bits_left;\n        bc->bits      = 0;\n        bc->bits_left = 0;\n        if (n >= 64) {\n            unsigned skip = n / 8;\n            n -= skip * 8;\n            bc->ptr += skip;\n        }\n        refill_64(bc);\n        if (n)\n            skip_remaining(bc, n);\n    }\n}', 'static inline void skip_remaining(BitstreamContext *bc, unsigned n)\n{\n#ifdef BITSTREAM_READER_LE\n    bc->bits >>= n;\n#else\n    bc->bits <<= n;\n#endif\n    bc->bits_left -= n;\n}']