libavcodec/mpc8.c:267: error: Integer Overflow L2
  ([0, +oo] - 1):unsigned32 by call to `mpc8_get_mod_golomb`.

libavcodec/mpc8.c:264:5: Call
262.     }
263.     bitstream_init8(bc, buf, buf_size);
264.     bitstream_skip(bc, c->last_bits_used & 7);
         ^
265. 
266.     if(keyframe)

libavcodec/bitstream.h:247:9: Assignment
  245.         n -= bc->bits_left;
  246.         bc->bits      = 0;
  247.         bc->bits_left = 0;
               ^
  248. 
  249.         if (n >= 64) {

libavcodec/bitstream.h:255:9: Call
  253.             bc->ptr += skip;
  254.         }
  255.         refill_64(bc);
               ^
  256.         if (n)
  257.             skip_remaining(bc, n);

libavcodec/bitstream.h:45:1: Parameter `bc->bits_left`
    43. } BitstreamContext;
    44. 
    45. static inline void refill_64(BitstreamContext *bc)
        ^
    46. {
    47.     if (bc->ptr >= bc->buffer_end)

libavcodec/mpc8.c:267:19: Call
265. 
266.     if(keyframe)
267.         maxband = mpc8_get_mod_golomb(bc, c->maxbands + 1);
                       ^
268.     else{
269.         maxband = c->last_max_band + bitstream_read_vlc(bc, band_vlc.table, MPC8_BANDS_BITS, 2);

libavcodec/mpc8.c:77:1: Parameter `bc->bits_left`
  75. }
  76. 
  77. static inline int mpc8_get_mod_golomb(BitstreamContext *bc, int m)
      ^
  78. {
  79.     if(mpc8_cnk_len[0][m] < 1) return 0;

libavcodec/mpc8.c:80:12: Call
  78. {
  79.     if(mpc8_cnk_len[0][m] < 1) return 0;
  80.     return mpc8_dec_base(bc, 1, m + 1);
                 ^
  81. }
  82. 

libavcodec/mpc8.c:47:1: Parameter `bc->bits_left`
    45. static const int quant_offsets[6] = { MPC8_Q5_OFFSET, MPC8_Q6_OFFSET, MPC8_Q7_OFFSET, MPC8_Q8_OFFSET };
    46. 
    47. static inline int mpc8_dec_base(BitstreamContext *bc, int k, int n)
        ^
    48. {
    49.     int len = mpc8_cnk_len[k-1][n-1] - 1;

libavcodec/mpc8.c:53:31: Call
    51. 
    52.     if (code >= mpc8_cnk_lost[k-1][n-1])
    53.         code = ((code << 1) | bitstream_read_bit(bc)) - mpc8_cnk_lost[k - 1][n - 1];
                                      ^
    54. 
    55.     return code;

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

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

libavcodec/bitstream.h:129:1: <LHS trace>
127. }
128. 
129. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
     ^
130. {
131. #ifdef BITSTREAM_READER_LE

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

libavcodec/bitstream.h:129:1: <RHS trace>
127. }
128. 
129. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
     ^
130. {
131. #ifdef BITSTREAM_READER_LE

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

libavcodec/bitstream.h:138:5: Binary operation: ([0, +oo] - 1):unsigned32 by call to `mpc8_get_mod_golomb` 
        136.     bc->bits <<= n;
        137. #endif
        138.     bc->bits_left -= n;
                 ^
        139. 
        140.     return ret;
