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

libavcodec/mpc7.c:251:36: Call
249.                 t = bitstream_read_vlc(&bc, hdr_vlc.table, MPC7_HDR_BITS, 1) - 5;
250.             if (t == 4)
251.                 bands[i].res[ch] = bitstream_read(&bc, 4);
                                        ^
252.             else bands[i].res[ch] = av_clip(bands[i-1].res[ch] + t, 0, 17);
253.         }

libavcodec/bitstream.h:183:1: Parameter `bc->bits_left`
  181. 
  182. /* Return n bits from the buffer. n has to be in the 0-32 range. */
  183. static inline uint32_t bitstream_read(BitstreamContext *bc, unsigned n)
       ^
  184. {
  185.     if (!n)

libavcodec/mpc7.c:298:13: Call
296.     for(i = 0; i < BANDS; i++, off += SAMPLES_PER_BAND)
297.         for(ch = 0; ch < 2; ch++)
298.             idx_to_quant(c, &bc, bands[i].res[ch], c->Q[ch] + off);
                 ^
299. 
300.     ff_mpc_dequantize_and_synth(c, mb, (int16_t **)frame->extended_data, 2);

libavcodec/mpc7.c:147:1: Parameter `bc->bits_left`
  145.  * Fill samples for given subband
  146.  */
  147. static inline void idx_to_quant(MPCContext *c, BitstreamContext *bc, int idx, int *dst)
       ^
  148. {
  149.     int i, i1, t;

libavcodec/mpc7.c:157:14: Call
  155.         break;
  156.     case 1:
  157.         i1 = bitstream_read_bit(bc);
                    ^
  158.         for(i = 0; i < SAMPLES_PER_BAND/3; i++){
  159.             t = bitstream_read_vlc(bc, quant_vlc[0][i1].table, 9, 2);

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: <LHS trace>
128. }
129. 
130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
     ^
131. {
132. #ifdef BITSTREAM_READER_LE

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

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

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: Binary operation: ([0, +oo] - 1):unsigned32 by call to `idx_to_quant` 
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;
