libavcodec/mpc.c:53: error: Buffer Overrun L2
  Offset: [min(0, `c->synth_buf_offset[*]`), 1+max(511, `c->synth_buf_offset[*]`)] Size: 2 by call to `ff_mpa_synth_filter`.

libavcodec/mpc.c:44:1: Parameter `c->synth_buf[*]`
42.  * Process decoded Musepack data and produce PCM
43.  */
44. static void mpc_synth(MPCContext *c, int16_t *out)
    ^
45. {
46.     int dither_state = 0;

libavcodec/mpc.c:53:13: Call
51.         samples_ptr = samples + ch;
52.         for(i = 0; i < SAMPLES_PER_BAND; i++) {
53.             ff_mpa_synth_filter(c->synth_buf[ch], &(c->synth_buf_offset[ch]),
                ^
54.                                 ff_mpa_synth_window, &dither_state,
55.                                 samples_ptr, 2,

libavcodec/mpegaudiodec.c:846:1: Parameter `*synth_buf_ptr`
  844.    32 samples. */
  845. /* XXX: optimize by avoiding ring buffer usage */
  846. void ff_mpa_synth_filter(MPA_INT *synth_buf_ptr, int *synth_buf_offset,
       ^
  847.                          MPA_INT *window, int *dither_state,
  848.                          OUT_INT *samples, int incr,

libavcodec/mpegaudiodec.c:863:5: Assignment
  861. 
  862.     offset = *synth_buf_offset;
  863.     synth_buf = synth_buf_ptr + offset;
           ^
  864. 
  865. #if FRAC_BITS <= 15

libavcodec/mpegaudiodec.c:873:5: Call
  871.     }
  872. #else
  873.     dct32(synth_buf, sb_samples);
           ^
  874. #endif
  875. 

libavcodec/mpegaudiodec.c:592:1: <Length trace>
590. 
591. /* DCT32 without 1/sqrt(2) coef zero scaling. */
592. static void dct32(int32_t *out, int32_t *tab)
     ^
593. {
594.     int tmp0, tmp1;

libavcodec/mpegaudiodec.c:592:1: Parameter `*out`
    590. 
    591. /* DCT32 without 1/sqrt(2) coef zero scaling. */
    592. static void dct32(int32_t *out, int32_t *tab)
         ^
    593. {
    594.     int tmp0, tmp1;

libavcodec/mpegaudiodec.c:707:5: Array access: Offset: [min(0, c->synth_buf_offset[*]), 1+max(511, c->synth_buf_offset[*])] Size: 2 by call to `ff_mpa_synth_filter` 
    705.     ADD(11, 15);
    706. 
    707.     out[ 0] = tab[0];
             ^
    708.     out[16] = tab[1];
    709.     out[ 8] = tab[2];
