libavcodec/nellymoserdec.c:92: error: Integer Overflow L2
  ([0, +oo] - [116, 314]):unsigned32 by call to `bitstream_skip`.

libavcodec/nellymoserdec.c:88:10: Assignment
86.     ff_nelly_get_sample_bits(buf, bits);
87. 
88.     for (i = 0; i < 2; i++) {
             ^
89.         aptr = audio + i * NELLY_BUF_LEN;
90. 

libavcodec/nellymoserdec.c:92:9: Call
90. 
91.         bitstream_init8(&s->bc, block, NELLY_BLOCK_LEN);
92.         bitstream_skip(&s->bc, NELLY_HEADER_BITS + i * NELLY_DETAIL_BITS);
            ^
93. 
94.         for (j = 0; j < NELLY_FILL_LEN; j++) {

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

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, +oo] - [116, 314]):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 void nelly_decode_block(NellyMoserDecodeContext *s,\n                               const unsigned char block[NELLY_BLOCK_LEN],\n                               float audio[NELLY_SAMPLES])\n{\n    int i,j;\n    float buf[NELLY_FILL_LEN], pows[NELLY_FILL_LEN];\n    float *aptr, *bptr, *pptr, val, pval;\n    int bits[NELLY_BUF_LEN];\n    unsigned char v;\n    bitstream_init8(&s->bc, block, NELLY_BLOCK_LEN);\n    bptr = buf;\n    pptr = pows;\n    val = ff_nelly_init_table[bitstream_read(&s->bc, 6)];\n    for (i=0 ; i<NELLY_BANDS ; i++) {\n        if (i > 0)\n            val += ff_nelly_delta_table[bitstream_read(&s->bc, 5)];\n        pval = -pow(2, val/2048) * s->scale_bias;\n        for (j = 0; j < ff_nelly_band_sizes_table[i]; j++) {\n            *bptr++ = val;\n            *pptr++ = pval;\n        }\n    }\n    ff_nelly_get_sample_bits(buf, bits);\n    for (i = 0; i < 2; i++) {\n        aptr = audio + i * NELLY_BUF_LEN;\n        bitstream_init8(&s->bc, block, NELLY_BLOCK_LEN);\n        bitstream_skip(&s->bc, NELLY_HEADER_BITS + i * NELLY_DETAIL_BITS);\n        for (j = 0; j < NELLY_FILL_LEN; j++) {\n            if (bits[j] <= 0) {\n                aptr[j] = M_SQRT1_2*pows[j];\n                if (av_lfg_get(&s->random_state) & 1)\n                    aptr[j] *= -1.0;\n            } else {\n                v = bitstream_read(&s->bc, bits[j]);\n                aptr[j] = ff_nelly_dequantization_table[(1<<bits[j])-1+v]*pows[j];\n            }\n        }\n        memset(&aptr[NELLY_FILL_LEN], 0,\n               (NELLY_BUF_LEN - NELLY_FILL_LEN) * sizeof(float));\n        s->imdct_ctx.imdct_half(&s->imdct_ctx, s->imdct_out, aptr);\n        s->fdsp.vector_fmul_window(aptr, s->imdct_prev + NELLY_BUF_LEN / 2,\n                                   s->imdct_out, ff_sine_128,\n                                   NELLY_BUF_LEN / 2);\n        FFSWAP(float *, s->imdct_out, s->imdct_prev);\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}', '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}']