libavcodec/vp9prob.c:132: error: Buffer Overrun L1
  Offset: [3, 4] (⇐ [0, 1] + 3) Size: 2.

libavcodec/vp9prob.c:46:1: <Length trace>
44. }
45. 
46. void ff_vp9_adapt_probs(VP9Context *s)
    ^
47. {
48.     int i, j, k, l, m;

libavcodec/vp9prob.c:46:1: Parameter `s->counts.tx32p[*]`
44. }
45. 
46. void ff_vp9_adapt_probs(VP9Context *s)
    ^
47. {
48.     int i, j, k, l, m;

libavcodec/vp9prob.c:126:13: Assignment
124.     if (s->txfmmode == TX_SWITCHABLE) {
125.         for (i = 0; i < 2; i++) {
126.             unsigned *c16 = s->counts.tx16p[i], *c32 = s->counts.tx32p[i];
                 ^
127. 
128.             adapt_prob(&p->tx8p[i], s->counts.tx8p[i][0],

libavcodec/vp9prob.c:132:67: Array access: Offset: [3, 4] (⇐ [0, 1] + 3) Size: 2
130.             adapt_prob(&p->tx16p[i][0], c16[0], c16[1] + c16[2], 20, 128);
131.             adapt_prob(&p->tx16p[i][1], c16[1], c16[2], 20, 128);
132.             adapt_prob(&p->tx32p[i][0], c32[0], c32[1] + c32[2] + c32[3], 20, 128);
                                                                       ^
133.             adapt_prob(&p->tx32p[i][1], c32[1], c32[2] + c32[3], 20, 128);
134.             adapt_prob(&p->tx32p[i][2], c32[2], c32[3], 20, 128);
