libavcodec/nellymoserdec.c:74: error: Integer Overflow L2
  ([1, +oo] - 6):unsigned32 by call to `bitstream_read`.

libavcodec/nellymoserdec.c:74:31: Call
72.     bptr = buf;
73.     pptr = pows;
74.     val = ff_nelly_init_table[bitstream_read(&s->bc, 6)];
                                  ^
75.     for (i=0 ; i<NELLY_BANDS ; i++) {
76.         if (i > 0)

libavcodec/bitstream.h:183:1: Parameter `n`
  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/bitstream.h:194:12: Call
  192.     }
  193. 
  194.     return get_val(bc, n);
                  ^
  195. }
  196. 

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

static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
{
#ifdef BITSTREAM_READER_LE
    uint64_t ret = bc->bits & ((UINT64_C(1) << n) - 1);
    bc->bits >>= n;
#else
    uint64_t ret = bc->bits >> (64 - n);
    bc->bits <<= n;
#endif
    bc->bits_left -= n;
    return ret;
}
['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_init(&s->bc, block, NELLY_BLOCK_LEN * 8);\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_init(&s->bc, block, NELLY_BLOCK_LEN * 8);\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 uint32_t bitstream_read(BitstreamContext *bc, unsigned n)\n{\n    if (!n)\n        return 0;\n    if (n > bc->bits_left) {\n        refill_32(bc);\n        if (bc->bits_left < 32)\n            bc->bits_left = n;\n    }\n    return get_val(bc, n);\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}']