libavcodec/mpc8.c:129: error: Integer Overflow L2
  ([0, 64] - [0, 64]):unsigned32 by call to `bitstream_skip`.

libavcodec/mpc8.c:127:5: Call
125.     ff_mpc_init();
126. 
127.     bitstream_init(&bc, avctx->extradata, 16);
         ^
128. 
129.     bitstream_skip(&bc, 3); // sample rate

libavcodec/bitstream.h:84:9: Assignment
  82.         bc->buffer    =
  83.         bc->ptr       = NULL;
  84.         bc->bits_left = 0;
              ^
  85.         return AVERROR_INVALIDDATA;
  86.     }

libavcodec/mpc8.c:129:5: Call
127.     bitstream_init(&bc, avctx->extradata, 16);
128. 
129.     bitstream_skip(&bc, 3); // sample rate
         ^
130.     c->maxbands = bitstream_read(&bc, 5) + 1;
131.     channels    = bitstream_read(&bc, 4) + 1;

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:246:9: Call
  244.     else {
  245.         n -= bc->bits_left;
  246.         skip_remaining(bc, bc->bits_left);
               ^
  247.         if (n >= 64) {
  248.             unsigned skip = n / 8;

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

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

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

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

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

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 av_cold int mpc8_decode_init(AVCodecContext * avctx)\n{\n    int i;\n    MPCContext *c = avctx->priv_data;\n    BitstreamContext bc;\n    static int vlc_initialized = 0;\n    int channels;\n    static VLC_TYPE band_table[542][2];\n    static VLC_TYPE q1_table[520][2];\n    static VLC_TYPE q9up_table[524][2];\n    static VLC_TYPE scfi0_table[1 << MPC8_SCFI0_BITS][2];\n    static VLC_TYPE scfi1_table[1 << MPC8_SCFI1_BITS][2];\n    static VLC_TYPE dscf0_table[560][2];\n    static VLC_TYPE dscf1_table[598][2];\n    static VLC_TYPE q3_0_table[512][2];\n    static VLC_TYPE q3_1_table[516][2];\n    static VLC_TYPE codes_table[5708][2];\n    if(avctx->extradata_size < 2){\n        av_log(avctx, AV_LOG_ERROR, "Too small extradata size (%i)!\\n", avctx->extradata_size);\n        return -1;\n    }\n    memset(c->oldDSCF, 0, sizeof(c->oldDSCF));\n    av_lfg_init(&c->rnd, 0xDEADBEEF);\n    ff_mpadsp_init(&c->mpadsp);\n    ff_mpc_init();\n    bitstream_init(&bc, avctx->extradata, 16);\n    bitstream_skip(&bc, 3);\n    c->maxbands = bitstream_read(&bc, 5) + 1;\n    channels    = bitstream_read(&bc, 4) + 1;\n    if (channels > 2) {\n        avpriv_request_sample(avctx, "Multichannel MPC SV8");\n        return AVERROR_PATCHWELCOME;\n    }\n    c->MSS    = bitstream_read_bit(&bc);\n    c->frames = 1 << (bitstream_read(&bc, 3) * 2);\n    avctx->sample_fmt = AV_SAMPLE_FMT_S16P;\n    avctx->channel_layout = (avctx->channels==2) ? AV_CH_LAYOUT_STEREO : AV_CH_LAYOUT_MONO;\n    if(vlc_initialized) return 0;\n    av_log(avctx, AV_LOG_DEBUG, "Initing VLC\\n");\n    band_vlc.table = band_table;\n    band_vlc.table_allocated = 542;\n    init_vlc(&band_vlc, MPC8_BANDS_BITS, MPC8_BANDS_SIZE,\n             mpc8_bands_bits,  1, 1,\n             mpc8_bands_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);\n    q1_vlc.table = q1_table;\n    q1_vlc.table_allocated = 520;\n    init_vlc(&q1_vlc, MPC8_Q1_BITS, MPC8_Q1_SIZE,\n             mpc8_q1_bits,  1, 1,\n             mpc8_q1_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);\n    q9up_vlc.table = q9up_table;\n    q9up_vlc.table_allocated = 524;\n    init_vlc(&q9up_vlc, MPC8_Q9UP_BITS, MPC8_Q9UP_SIZE,\n             mpc8_q9up_bits,  1, 1,\n             mpc8_q9up_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);\n    scfi_vlc[0].table = scfi0_table;\n    scfi_vlc[0].table_allocated = 1 << MPC8_SCFI0_BITS;\n    init_vlc(&scfi_vlc[0], MPC8_SCFI0_BITS, MPC8_SCFI0_SIZE,\n             mpc8_scfi0_bits,  1, 1,\n             mpc8_scfi0_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);\n    scfi_vlc[1].table = scfi1_table;\n    scfi_vlc[1].table_allocated = 1 << MPC8_SCFI1_BITS;\n    init_vlc(&scfi_vlc[1], MPC8_SCFI1_BITS, MPC8_SCFI1_SIZE,\n             mpc8_scfi1_bits,  1, 1,\n             mpc8_scfi1_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);\n    dscf_vlc[0].table = dscf0_table;\n    dscf_vlc[0].table_allocated = 560;\n    init_vlc(&dscf_vlc[0], MPC8_DSCF0_BITS, MPC8_DSCF0_SIZE,\n             mpc8_dscf0_bits,  1, 1,\n             mpc8_dscf0_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);\n    dscf_vlc[1].table = dscf1_table;\n    dscf_vlc[1].table_allocated = 598;\n    init_vlc(&dscf_vlc[1], MPC8_DSCF1_BITS, MPC8_DSCF1_SIZE,\n             mpc8_dscf1_bits,  1, 1,\n             mpc8_dscf1_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);\n    q3_vlc[0].table = q3_0_table;\n    q3_vlc[0].table_allocated = 512;\n    ff_init_vlc_sparse(&q3_vlc[0], MPC8_Q3_BITS, MPC8_Q3_SIZE,\n             mpc8_q3_bits,  1, 1,\n             mpc8_q3_codes, 1, 1,\n             mpc8_q3_syms,  1, 1, INIT_VLC_USE_NEW_STATIC);\n    q3_vlc[1].table = q3_1_table;\n    q3_vlc[1].table_allocated = 516;\n    ff_init_vlc_sparse(&q3_vlc[1], MPC8_Q4_BITS, MPC8_Q4_SIZE,\n             mpc8_q4_bits,  1, 1,\n             mpc8_q4_codes, 1, 1,\n             mpc8_q4_syms,  1, 1, INIT_VLC_USE_NEW_STATIC);\n    for(i = 0; i < 2; i++){\n        res_vlc[i].table = &codes_table[vlc_offsets[0+i]];\n        res_vlc[i].table_allocated = vlc_offsets[1+i] - vlc_offsets[0+i];\n        init_vlc(&res_vlc[i], MPC8_RES_BITS, MPC8_RES_SIZE,\n                 &mpc8_res_bits[i],  1, 1,\n                 &mpc8_res_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);\n        q2_vlc[i].table = &codes_table[vlc_offsets[2+i]];\n        q2_vlc[i].table_allocated = vlc_offsets[3+i] - vlc_offsets[2+i];\n        init_vlc(&q2_vlc[i], MPC8_Q2_BITS, MPC8_Q2_SIZE,\n                 &mpc8_q2_bits[i],  1, 1,\n                 &mpc8_q2_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);\n        quant_vlc[0][i].table = &codes_table[vlc_offsets[4+i]];\n        quant_vlc[0][i].table_allocated = vlc_offsets[5+i] - vlc_offsets[4+i];\n        init_vlc(&quant_vlc[0][i], MPC8_Q5_BITS, MPC8_Q5_SIZE,\n                 &mpc8_q5_bits[i],  1, 1,\n                 &mpc8_q5_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);\n        quant_vlc[1][i].table = &codes_table[vlc_offsets[6+i]];\n        quant_vlc[1][i].table_allocated = vlc_offsets[7+i] - vlc_offsets[6+i];\n        init_vlc(&quant_vlc[1][i], MPC8_Q6_BITS, MPC8_Q6_SIZE,\n                 &mpc8_q6_bits[i],  1, 1,\n                 &mpc8_q6_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);\n        quant_vlc[2][i].table = &codes_table[vlc_offsets[8+i]];\n        quant_vlc[2][i].table_allocated = vlc_offsets[9+i] - vlc_offsets[8+i];\n        init_vlc(&quant_vlc[2][i], MPC8_Q7_BITS, MPC8_Q7_SIZE,\n                 &mpc8_q7_bits[i],  1, 1,\n                 &mpc8_q7_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);\n        quant_vlc[3][i].table = &codes_table[vlc_offsets[10+i]];\n        quant_vlc[3][i].table_allocated = vlc_offsets[11+i] - vlc_offsets[10+i];\n        init_vlc(&quant_vlc[3][i], MPC8_Q8_BITS, MPC8_Q8_SIZE,\n                 &mpc8_q8_bits[i],  1, 1,\n                 &mpc8_q8_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);\n    }\n    vlc_initialized = 1;\n    return 0;\n}', 'static inline int bitstream_init(BitstreamContext *bc, const uint8_t *buffer,\n                                 unsigned bit_size)\n{\n    unsigned buffer_size;\n    if (bit_size > INT_MAX - 7 || !buffer) {\n        buffer        =\n        bc->buffer    =\n        bc->ptr       = NULL;\n        bc->bits_left = 0;\n        return AVERROR_INVALIDDATA;\n    }\n    buffer_size = (bit_size + 7) >> 3;\n    bc->buffer       = buffer;\n    bc->buffer_end   = buffer + buffer_size;\n    bc->ptr          = bc->buffer;\n    bc->size_in_bits = bit_size;\n    bc->bits_left    = 0;\n    bc->bits         = 0;\n    refill_64(bc);\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}']