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

libavcodec/webp.c:235:1: Parameter `bc->bits_left`
233.  *   - assumes max depth of 2 since the max code length for WebP is 15
234.  */
235. static av_always_inline int webp_get_vlc(BitstreamContext *bc, VLC_TYPE (*table)[2])
     ^
236. {
237.     int n, nb_bits;

libavcodec/webp.c:241:13: Call
239.     int code;
240. 
241.     index = bitstream_peek(bc, 8);
                 ^
242.     index = ff_reverse[index];
243.     code  = table[index][0];

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/webp.c:247:9: Call
245. 
246.     if (n < 0) {
247.         bitstream_skip(bc, 8);
             ^
248. 
249.         nb_bits = -n;

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;

static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
{
    if (n < bc->bits_left)
        skip_remaining(bc, n);
    else {
        n -= bc->bits_left;
        bc->bits      = 0;
        bc->bits_left = 0;
        if (n >= 64) {
            unsigned skip = n / 8;
            n -= skip * 8;
            bc->ptr += skip;
        }
        refill_64(bc);
        if (n)
            skip_remaining(bc, n);
    }
}
['static av_always_inline int webp_get_vlc(BitstreamContext *bc, VLC_TYPE (*table)[2])\n{\n    int n, nb_bits;\n    unsigned int index;\n    int code;\n    index = bitstream_peek(bc, 8);\n    index = ff_reverse[index];\n    code  = table[index][0];\n    n     = table[index][1];\n    if (n < 0) {\n        bitstream_skip(bc, 8);\n        nb_bits = -n;\n        index = bitstream_peek(bc, nb_bits);\n        index = (ff_reverse[index] >> (8 - nb_bits)) + code;\n        code  = table[index][0];\n        n     = table[index][1];\n    }\n    bitstream_skip(bc, n);\n    return code;\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}']