libavcodec/cabac.c:140: error: Buffer Overrun L2
  Offset: [1, 511] Size: 4.

libavcodec/cabac.c:137:9: <Offset trace>
135.     int i, j;
136. 
137.     for(i=0; i<64; i++){
             ^
138.         for(j=0; j<4; j++){ //FIXME check if this is worth the 1 shift we save
139.             ff_h264_lps_range[j*2*64+2*i+0]=

libavcodec/cabac.c:137:9: Assignment
135.     int i, j;
136. 
137.     for(i=0; i<64; i++){
             ^
138.         for(j=0; j<4; j++){ //FIXME check if this is worth the 1 shift we save
139.             ff_h264_lps_range[j*2*64+2*i+0]=

libavcodec/cabac.c:34:1: <Length trace>
32. #include "cabac_functions.h"
33. 
34. static const uint8_t lps_range[64][4]= {
    ^
35. {128,176,208,240}, {128,167,197,227}, {128,158,187,216}, {123,150,178,205},
36. {116,142,169,195}, {111,135,160,185}, {105,128,152,175}, {100,122,144,166},

libavcodec/cabac.c:34:1: Array declaration
32. #include "cabac_functions.h"
33. 
34. static const uint8_t lps_range[64][4]= {
    ^
35. {128,176,208,240}, {128,167,197,227}, {128,158,187,216}, {123,150,178,205},
36. {116,142,169,195}, {111,135,160,185}, {105,128,152,175}, {100,122,144,166},

libavcodec/cabac.c:140:13: Assignment
138.         for(j=0; j<4; j++){ //FIXME check if this is worth the 1 shift we save
139.             ff_h264_lps_range[j*2*64+2*i+0]=
140.             ff_h264_lps_range[j*2*64+2*i+1]= lps_range[i][j];
                 ^
141.         }
142. 

libavcodec/cabac.c:140:13: Array access: Offset: [1, 511] Size: 4
138.         for(j=0; j<4; j++){ //FIXME check if this is worth the 1 shift we save
139.             ff_h264_lps_range[j*2*64+2*i+0]=
140.             ff_h264_lps_range[j*2*64+2*i+1]= lps_range[i][j];
                 ^
141.         }
142. 

void ff_init_cabac_states(CABACContext *c){
    int i, j;
    for(i=0; i<64; i++){
        for(j=0; j<4; j++){
            ff_h264_lps_range[j*2*64+2*i+0]=
            ff_h264_lps_range[j*2*64+2*i+1]= lps_range[i][j];
        }
        ff_h264_mlps_state[128+2*i+0]=
        h264_mps_state[2 * i + 0] = 2 * mps_state[i] + 0;
        ff_h264_mlps_state[128+2*i+1]=
        h264_mps_state[2 * i + 1] = 2 * mps_state[i] + 1;
        if( i ){
            ff_h264_mlps_state[128-2*i-1]= 2*lps_state[i]+0;
            ff_h264_mlps_state[128-2*i-2]= 2*lps_state[i]+1;
        }else{
            ff_h264_mlps_state[128-2*i-1]= 1;
            ff_h264_mlps_state[128-2*i-2]= 0;
        }
    }
}
['void ff_init_cabac_states(CABACContext *c){\n    int i, j;\n    for(i=0; i<64; i++){\n        for(j=0; j<4; j++){\n            ff_h264_lps_range[j*2*64+2*i+0]=\n            ff_h264_lps_range[j*2*64+2*i+1]= lps_range[i][j];\n        }\n        ff_h264_mlps_state[128+2*i+0]=\n        h264_mps_state[2 * i + 0] = 2 * mps_state[i] + 0;\n        ff_h264_mlps_state[128+2*i+1]=\n        h264_mps_state[2 * i + 1] = 2 * mps_state[i] + 1;\n        if( i ){\n            ff_h264_mlps_state[128-2*i-1]= 2*lps_state[i]+0;\n            ff_h264_mlps_state[128-2*i-2]= 2*lps_state[i]+1;\n        }else{\n            ff_h264_mlps_state[128-2*i-1]= 1;\n            ff_h264_mlps_state[128-2*i-2]= 0;\n        }\n    }\n}']