libavcodec/vble.c:54: error: Integer Overflow L2
  (8 - [`bc->bits_left`, `bc->bits_left` + 32]):unsigned32 by call to `bitstream_skip`.

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: <LHS trace>
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: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:240:1: <RHS trace>
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: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:245:9: Binary operation: (8 - [bc->bits_left, bc->bits_left + 32]):unsigned32 by call to `bitstream_skip` 
  243.         skip_remaining(bc, n);
  244.     else {
  245.         n -= bc->bits_left;
               ^
  246.         bc->bits      = 0;
  247.         bc->bits_left = 0;
