libavcodec/h261dec.c:113: error: Integer Overflow L2
  (16 - [`h->s.bc.bits_left`, `h->s.bc.bits_left` + 32]):unsigned32 by call to `bitstream_skip`.

libavcodec/h261dec.c:101:1: Parameter `h->s.bc.bits_left`
 99.  * @return <0 if an error occurred
100.  */
101. static int h261_decode_gob_header(H261Context *h)
     ^
102. {
103.     unsigned int val;

libavcodec/h261dec.c:108:15: Call
106.     if (!h->gob_start_code_skipped) {
107.         /* Check for GOB Start Code */
108.         val = bitstream_peek(&s->bc, 15);
                   ^
109.         if (val)
110.             return -1;

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/h261dec.c:113:9: Call
111. 
112.         /* We have a GBSC */
113.         bitstream_skip(&s->bc, 16);
             ^
114.     }
115. 

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: (16 - [h->s.bc.bits_left, h->s.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 int h261_decode_gob_header(H261Context *h)\n{\n    unsigned int val;\n    MpegEncContext *const s = &h->s;\n    if (!h->gob_start_code_skipped) {\n        val = bitstream_peek(&s->bc, 15);\n        if (val)\n            return -1;\n        bitstream_skip(&s->bc, 16);\n    }\n    h->gob_start_code_skipped = 0;\n    h->gob_number = bitstream_read(&s->bc, 4);\n    s->qscale     = bitstream_read(&s->bc, 5);\n    if (s->mb_height == 18) {\n        if ((h->gob_number <= 0) || (h->gob_number > 12))\n            return -1;\n    } else {\n        if ((h->gob_number != 1) && (h->gob_number != 3) &&\n            (h->gob_number != 5))\n            return -1;\n    }\n    while (bitstream_read_bit(&s->bc) != 0)\n        bitstream_skip(&s->bc, 8);\n    if (s->qscale == 0) {\n        av_log(s->avctx, AV_LOG_ERROR, "qscale has forbidden 0 value\\n");\n        if (s->avctx->err_recognition & AV_EF_BITSTREAM)\n            return -1;\n    }\n    h->current_mba = 0;\n    h->mba_diff    = 0;\n    return 0;\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}']