libavcodec/vp8.c:704: error: Buffer Overrun L1
  Offset: [9, 10] Size: 3 by call to `decode_block_coeffs_internal`.

libavcodec/vp8.c:696:1: Parameter `(*probs)[*]`
694. #endif
695. 
696. static av_always_inline
     ^
697. int decode_block_coeffs(VP56RangeCoder *c, DCTELEM block[16],
698.                         uint8_t probs[8][3][NUM_DCT_TOKENS-1],

libavcodec/vp8.c:701:5: Assignment
699.                         int i, int zero_nhood, int16_t qmul[2])
700. {
701.     uint8_t *token_prob = probs[i][zero_nhood];
         ^
702.     if (!vp56_rac_get_prob_branchy(c, token_prob[0]))   // DCT_EOB
703.         return 0;

libavcodec/vp8.c:704:12: Call
702.     if (!vp56_rac_get_prob_branchy(c, token_prob[0]))   // DCT_EOB
703.         return 0;
704.     return decode_block_coeffs_internal(c, block, probs, i, token_prob, qmul);
                ^
705. }
706. 

libavcodec/vp8.c:680:29: <Offset trace>
678.                     }
679.                 } else {    // DCT_CAT3 and up
680.                     int a = vp56_rac_get_prob(c, token_prob[8]);
                                 ^
681.                     int b = vp56_rac_get_prob(c, token_prob[9+a]);
682.                     int cat = (a<<1) + b;

libavcodec/vp8.c:680:29: Call
  678.                     }
  679.                 } else {    // DCT_CAT3 and up
  680.                     int a = vp56_rac_get_prob(c, token_prob[8]);
                                   ^
  681.                     int b = vp56_rac_get_prob(c, token_prob[9+a]);
  682.                     int cat = (a<<1) + b;

libavcodec/vp56.h:217:15: Assignment
    215.     unsigned int low = 1 + (((c->high - 1) * prob) >> 8);
    216.     unsigned int low_shift = low << 16;
    217.     int bit = code_word >= low_shift;
                       ^
    218. 
    219.     c->high = bit ? c->high - low : low;

libavcodec/vp56.h:217:5: Assignment
    215.     unsigned int low = 1 + (((c->high - 1) * prob) >> 8);
    216.     unsigned int low_shift = low << 16;
    217.     int bit = code_word >= low_shift;
             ^
    218. 
    219.     c->high = bit ? c->high - low : low;

libavcodec/vp56.h:222:5: Assignment
    220.     c->code_word = bit ? code_word - low_shift : code_word;
    221. 
    222.     return bit;
             ^
    223. }
    224. #endif

libavcodec/vp8.c:680:21: Assignment
  678.                     }
  679.                 } else {    // DCT_CAT3 and up
  680.                     int a = vp56_rac_get_prob(c, token_prob[8]);
                           ^
  681.                     int b = vp56_rac_get_prob(c, token_prob[9+a]);
  682.                     int cat = (a<<1) + b;

libavcodec/vp8.c:642:1: <Length trace>
640.  *         otherwise, the index of the last coeff decoded plus one
641.  */
642. static int decode_block_coeffs_internal(VP56RangeCoder *c, DCTELEM block[16],
     ^
643.                                         uint8_t probs[16][3][NUM_DCT_TOKENS-1],
644.                                         int i, uint8_t *token_prob, int16_t qmul[2])

libavcodec/vp8.c:642:1: Parameter `*token_prob`
  640.  *         otherwise, the index of the last coeff decoded plus one
  641.  */
  642. static int decode_block_coeffs_internal(VP56RangeCoder *c, DCTELEM block[16],
       ^
  643.                                         uint8_t probs[16][3][NUM_DCT_TOKENS-1],
  644.                                         int i, uint8_t *token_prob, int16_t qmul[2])

libavcodec/vp8.c:681:50: Array access: Offset: [9, 10] Size: 3 by call to `decode_block_coeffs_internal` 
  679.                 } else {    // DCT_CAT3 and up
  680.                     int a = vp56_rac_get_prob(c, token_prob[8]);
  681.                     int b = vp56_rac_get_prob(c, token_prob[9+a]);
                                                        ^
  682.                     int cat = (a<<1) + b;
  683.                     coeff  = 3 + (8<<cat);

static int decode_block_coeffs_internal(VP56RangeCoder *c, DCTELEM block[16],
                                        uint8_t probs[16][3][NUM_DCT_TOKENS-1],
                                        int i, uint8_t *token_prob, int16_t qmul[2])
{
    goto skip_eob;
    do {
        int coeff;
        if (!vp56_rac_get_prob_branchy(c, token_prob[0]))
            return i;
skip_eob:
        if (!vp56_rac_get_prob_branchy(c, token_prob[1])) {
            if (++i == 16)
                return i;
            token_prob = probs[i][0];
            goto skip_eob;
        }
        if (!vp56_rac_get_prob_branchy(c, token_prob[2])) {
            coeff = 1;
            token_prob = probs[i+1][1];
        } else {
            if (!vp56_rac_get_prob_branchy(c, token_prob[3])) {
                coeff = vp56_rac_get_prob_branchy(c, token_prob[4]);
                if (coeff)
                    coeff += vp56_rac_get_prob(c, token_prob[5]);
                coeff += 2;
            } else {
                if (!vp56_rac_get_prob_branchy(c, token_prob[6])) {
                    if (!vp56_rac_get_prob_branchy(c, token_prob[7])) {
                        coeff  = 5 + vp56_rac_get_prob(c, vp8_dct_cat1_prob[0]);
                    } else {
                        coeff  = 7;
                        coeff += vp56_rac_get_prob(c, vp8_dct_cat2_prob[0]) << 1;
                        coeff += vp56_rac_get_prob(c, vp8_dct_cat2_prob[1]);
                    }
                } else {
                    int a = vp56_rac_get_prob(c, token_prob[8]);
                    int b = vp56_rac_get_prob(c, token_prob[9+a]);
                    int cat = (a<<1) + b;
                    coeff  = 3 + (8<<cat);
                    coeff += vp8_rac_get_coeff(c, ff_vp8_dct_cat_prob[cat]);
                }
            }
            token_prob = probs[i+1][2];
        }
        block[zigzag_scan[i]] = (vp8_rac_get(c) ? -coeff : coeff) * qmul[!!i];
    } while (++i < 16);
    return i;
}
['static av_always_inline\nint decode_block_coeffs(VP56RangeCoder *c, DCTELEM block[16],\n                        uint8_t probs[8][3][NUM_DCT_TOKENS-1],\n                        int i, int zero_nhood, int16_t qmul[2])\n{\n    uint8_t *token_prob = probs[i][zero_nhood];\n    if (!vp56_rac_get_prob_branchy(c, token_prob[0]))\n        return 0;\n    return decode_block_coeffs_internal(c, block, probs, i, token_prob, qmul);\n}', 'static int decode_block_coeffs_internal(VP56RangeCoder *c, DCTELEM block[16],\n                                        uint8_t probs[16][3][NUM_DCT_TOKENS-1],\n                                        int i, uint8_t *token_prob, int16_t qmul[2])\n{\n    goto skip_eob;\n    do {\n        int coeff;\n        if (!vp56_rac_get_prob_branchy(c, token_prob[0]))\n            return i;\nskip_eob:\n        if (!vp56_rac_get_prob_branchy(c, token_prob[1])) {\n            if (++i == 16)\n                return i;\n            token_prob = probs[i][0];\n            goto skip_eob;\n        }\n        if (!vp56_rac_get_prob_branchy(c, token_prob[2])) {\n            coeff = 1;\n            token_prob = probs[i+1][1];\n        } else {\n            if (!vp56_rac_get_prob_branchy(c, token_prob[3])) {\n                coeff = vp56_rac_get_prob_branchy(c, token_prob[4]);\n                if (coeff)\n                    coeff += vp56_rac_get_prob(c, token_prob[5]);\n                coeff += 2;\n            } else {\n                if (!vp56_rac_get_prob_branchy(c, token_prob[6])) {\n                    if (!vp56_rac_get_prob_branchy(c, token_prob[7])) {\n                        coeff  = 5 + vp56_rac_get_prob(c, vp8_dct_cat1_prob[0]);\n                    } else {\n                        coeff  = 7;\n                        coeff += vp56_rac_get_prob(c, vp8_dct_cat2_prob[0]) << 1;\n                        coeff += vp56_rac_get_prob(c, vp8_dct_cat2_prob[1]);\n                    }\n                } else {\n                    int a = vp56_rac_get_prob(c, token_prob[8]);\n                    int b = vp56_rac_get_prob(c, token_prob[9+a]);\n                    int cat = (a<<1) + b;\n                    coeff  = 3 + (8<<cat);\n                    coeff += vp8_rac_get_coeff(c, ff_vp8_dct_cat_prob[cat]);\n                }\n            }\n            token_prob = probs[i+1][2];\n        }\n        block[zigzag_scan[i]] = (vp8_rac_get(c) ? -coeff : coeff) * qmul[!!i];\n    } while (++i < 16);\n    return i;\n}', 'static av_always_inline int vp56_rac_get_prob(VP56RangeCoder *c, uint8_t prob)\n{\n    unsigned int code_word = vp56_rac_renorm(c);\n    unsigned int low = 1 + (((c->high - 1) * prob) >> 8);\n    unsigned int low_shift = low << 16;\n    int bit = code_word >= low_shift;\n    c->high = bit ? c->high - low : low;\n    c->code_word = bit ? code_word - low_shift : code_word;\n    return bit;\n}']