libavcodec/h261dec.c:512: error: Integer Overflow L2
  ([0, +oo] - 8):unsigned32 by call to `bitstream_skip`.

libavcodec/h261dec.c:508:5: Call
506. 
507.     bitstream_skip(&s->bc, 1); /* still image mode off */
508.     bitstream_skip(&s->bc, 1); /* Reserved */
         ^
509. 
510.     /* PEI */

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:244:9: Call
  242. {
  243.     if (n <= bc->bits_left)
  244.         skip_remaining(bc, n);
               ^
  245.     else {
  246.         n -= bc->bits_left;

libavcodec/bitstream.h:230:1: Parameter `n`
    228. }
    229. 
    230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
         ^
    231. {
    232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:237:5: Assignment
    235.     bc->bits <<= n;
    236. #endif
    237.     bc->bits_left -= n;
             ^
    238. }
    239. 

libavcodec/h261dec.c:511:12: Call
509. 
510.     /* PEI */
511.     while (bitstream_read_bit(&s->bc) != 0)
                ^
512.         bitstream_skip(&s->bc, 8);
513. 

libavcodec/bitstream.h:145:1: Parameter `bc->bits_left`
  143. 
  144. /* Return one bit from the buffer. */
  145. static inline unsigned bitstream_read_bit(BitstreamContext *bc)
       ^
  146. {
  147.     if (!bc->bits_left)

libavcodec/bitstream.h:150:12: Call
  148.         refill_64(bc);
  149. 
  150.     return get_val(bc, 1);
                  ^
  151. }
  152. 

libavcodec/bitstream.h:130:1: Parameter `n`
    128. }
    129. 
    130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
         ^
    131. {
    132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:139:5: Assignment
    137.     bc->bits <<= n;
    138. #endif
    139.     bc->bits_left -= n;
             ^
    140. 
    141.     return ret;

libavcodec/h261dec.c:512:9: Call
510.     /* PEI */
511.     while (bitstream_read_bit(&s->bc) != 0)
512.         bitstream_skip(&s->bc, 8);
             ^
513. 
514.     /* H.261 has no I-frames, but if we pass AV_PICTURE_TYPE_I for the first

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:244:9: Call
  242. {
  243.     if (n <= bc->bits_left)
  244.         skip_remaining(bc, n);
               ^
  245.     else {
  246.         n -= bc->bits_left;

libavcodec/bitstream.h:230:1: <LHS trace>
228. }
229. 
230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
     ^
231. {
232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: Parameter `bc->bits_left`
    228. }
    229. 
    230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
         ^
    231. {
    232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: <RHS trace>
228. }
229. 
230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
     ^
231. {
232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: Parameter `n`
    228. }
    229. 
    230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
         ^
    231. {
    232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:237:5: Binary operation: ([0, +oo] - 8):unsigned32 by call to `bitstream_skip` 
    235.     bc->bits <<= n;
    236. #endif
    237.     bc->bits_left -= n;
             ^
    238. }
    239. 

static inline void skip_remaining(BitstreamContext *bc, unsigned n)
{
#ifdef BITSTREAM_READER_LE
    bc->bits >>= n;
#else
    bc->bits <<= n;
#endif
    bc->bits_left -= n;
}
['static int h261_decode_picture_header(H261Context *h)\n{\n    MpegEncContext *const s = &h->s;\n    int format, i;\n    uint32_t startcode = 0;\n    for (i = bitstream_bits_left(&s->bc); i > 24; i -= 1) {\n        startcode = ((startcode << 1) | bitstream_read(&s->bc, 1)) & 0x000FFFFF;\n        if (startcode == 0x10)\n            break;\n    }\n    if (startcode != 0x10) {\n        av_log(s->avctx, AV_LOG_ERROR, "Bad picture start code\\n");\n        return -1;\n    }\n    i = bitstream_read(&s->bc, 5);\n    if (i < (s->picture_number & 31))\n        i += 32;\n    s->picture_number = (s->picture_number & ~31) + i;\n    s->avctx->framerate = (AVRational) { 30000, 1001 };\n    bitstream_skip(&s->bc, 1);\n    bitstream_skip(&s->bc, 1);\n    bitstream_skip(&s->bc, 1);\n    format = bitstream_read_bit(&s->bc);\n    if (format == 0) {\n        s->width     = 176;\n        s->height    = 144;\n        s->mb_width  = 11;\n        s->mb_height = 9;\n    } else {\n        s->width     = 352;\n        s->height    = 288;\n        s->mb_width  = 22;\n        s->mb_height = 18;\n    }\n    s->mb_num = s->mb_width * s->mb_height;\n    bitstream_skip(&s->bc, 1);\n    bitstream_skip(&s->bc, 1);\n    while (bitstream_read_bit(&s->bc) != 0)\n        bitstream_skip(&s->bc, 8);\n    s->pict_type = AV_PICTURE_TYPE_P;\n    h->gob_number = 0;\n    return 0;\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}', 'static inline void skip_remaining(BitstreamContext *bc, unsigned n)\n{\n#ifdef BITSTREAM_READER_LE\n    bc->bits >>= n;\n#else\n    bc->bits <<= n;\n#endif\n    bc->bits_left -= n;\n}', 'static inline unsigned bitstream_read_bit(BitstreamContext *bc)\n{\n    if (!bc->bits_left)\n        refill_64(bc);\n    return get_val(bc, 1);\n}', 'static inline uint64_t get_val(BitstreamContext *bc, unsigned n)\n{\n#ifdef BITSTREAM_READER_LE\n    uint64_t ret = bc->bits & ((UINT64_C(1) << n) - 1);\n    bc->bits >>= n;\n#else\n    uint64_t ret = bc->bits >> (64 - n);\n    bc->bits <<= n;\n#endif\n    bc->bits_left -= n;\n    return ret;\n}']