libavcodec/wmadec.c:584: error: Integer Overflow L2
  ([1, +oo] - [9, 13]):unsigned32 by call to `ff_wma_run_level_decode`.

libavcodec/wmadec.c:509:20: Call
507.     }
508. 
509.     coef_nb_bits = ff_wma_total_gain_to_bits(total_gain);
                        ^
510. 
511.     /* compute number of coefficients */

libavcodec/wma.c:351:9: Assignment
  349. {
  350.     if (total_gain < 15)
  351.         return 13;
               ^
  352.     else if (total_gain < 32)
  353.         return 12;

libavcodec/wmadec.c:509:5: Assignment
507.     }
508. 
509.     coef_nb_bits = ff_wma_total_gain_to_bits(total_gain);
         ^
510. 
511.     /* compute number of coefficients */

libavcodec/wmadec.c:584:13: Call
582.             tindex = (ch == 1 && s->ms_stereo);
583.             memset(ptr, 0, s->block_len * sizeof(WMACoef));
584.             ff_wma_run_level_decode(s->avctx, &s->bc, &s->coef_vlc[tindex],
                 ^
585.                                     s->level_table[tindex], s->run_table[tindex],
586.                                     0, ptr, 0, nb_coefs[ch],

libavcodec/wma.c:421:1: Parameter `coef_nb_bits`
  419.  * @return 0 on success, -1 otherwise
  420.  */
  421. int ff_wma_run_level_decode(AVCodecContext *avctx, BitstreamContext *bc,
       ^
  422.                             VLC *vlc, const float *level_table,
  423.                             const uint16_t *run_table, int version,

libavcodec/wma.c:445:25: Call
  443.             /** escape */
  444.             if (!version) {
  445.                 level = bitstream_read(bc, coef_nb_bits);
                               ^
  446.                 /** NOTE: this is rather suboptimal. reading
  447.                  *  block_len_bits would be better */

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] - [9, 13]):unsigned32 by call to `ff_wma_run_level_decode` 
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;
