libavcodec/wmavoice.c:1569: error: Integer Overflow L2
  ([1, +oo] - [1, 5]):unsigned32 by call to `synth_block`.

libavcodec/wmavoice.c:1483:18: Unknown value from: abs
1481.         cur_pitch_val    = FFMIN(cur_pitch_val, s->max_pitch_val - 1);
1482.         if (s->last_acb_type == ACB_TYPE_NONE ||
1483.             20 * abs(cur_pitch_val - s->last_pitch_val) >
                       ^
1484.                 (cur_pitch_val + s->last_pitch_val))
1485.             s->last_pitch_val = cur_pitch_val;

libavcodec/wmavoice.c:1569:9: Call
1567.         }
1568. 
1569.         synth_block(s, bc, n, block_nsamples, bl_pitch_sh2,
              ^
1570.                     lsps, prev_lsps, &frame_descs[bd_idx],
1571.                     &excitation[n * block_nsamples],

libavcodec/wmavoice.c:1409:1: Parameter `frame_desc->log_n_blocks`
  1407.  * @return 0 on success, <0 on error.
  1408.  */
  1409. static void synth_block(WMAVoiceContext *s, BitstreamContext *bc,
        ^
  1410.                         int block_idx, int size,
  1411.                         int block_pitch_sh2,

libavcodec/wmavoice.c:1424:9: Call
  1422.         synth_block_hardcoded(s, bc, block_idx, size, frame_desc, excitation);
  1423.     else
  1424.         synth_block_fcb_acb(s, bc, block_idx, size, block_pitch_sh2,
                ^
  1425.                             frame_desc, excitation);
  1426. 

libavcodec/wmavoice.c:1274:1: Parameter `frame_desc->log_n_blocks`
    1272.  * @note see #synth_block().
    1273.  */
    1274. static void synth_block_fcb_acb(WMAVoiceContext *s, BitstreamContext *bc,
          ^
    1275.                                 int block_idx, int size,
    1276.                                 int block_pitch_sh2,

libavcodec/wmavoice.c:1312:9: Assignment
    1310.         }
    1311.     } else /* FCB_TYPE_EXC_PULSES */ {
    1312.         int offset_nbits = 5 - frame_desc->log_n_blocks;
                  ^
    1313. 
    1314.         fcb.no_repeat_mask = -1;

libavcodec/wmavoice.c:1322:30: Call
    1320. 
    1321.             sign           = bitstream_read_bit(bc) ? 1.0 : -1.0;
    1322.             pos1           = bitstream_read(bc, offset_nbits);
                                       ^
    1323.             fcb.x[fcb.n]   = n + 5 * pos1;
    1324.             fcb.y[fcb.n++] = sign;

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