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

static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
{
    if (n <= bc->bits_left)
        skip_remaining(bc, n);
    else {
        n -= bc->bits_left;
        skip_remaining(bc, bc->bits_left);
        if (n >= 64) {
            unsigned skip = n / 8;
            n -= skip * 8;
            bc->ptr += skip;
        }
        refill_64(bc);
        if (n)
            skip_remaining(bc, 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        skip_remaining(bc, bc->bits_left);\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}']