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

libavcodec/vble.c:50:19: Unknown value from: __builtin_clz
48. 
49.     if (val) {
50.         val = 7 - av_log2_16bit(ff_reverse[val]);
                      ^
51.         bitstream_skip(bc, val + 1);
52.         return val;

libavcodec/vble.c:50:9: Assignment
48. 
49.     if (val) {
50.         val = 7 - av_log2_16bit(ff_reverse[val]);
            ^
51.         bitstream_skip(bc, val + 1);
52.         return val;

libavcodec/vble.c:51:9: Call
49.     if (val) {
50.         val = 7 - av_log2_16bit(ff_reverse[val]);
51.         bitstream_skip(bc, val + 1);
            ^
52.         return val;
53.     } else {

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: ([0, +oo] - [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;
