libavcodec/vp9dsp.c:862: error: Buffer Overrun L2
  Offset added: [4, 10] (⇐ [0, 3] + [4, 7]) Size: 7.

libavcodec/vp9dsp.c:862:1: <Offset trace>
860. }
861. 
862. def_vert_left(8)
     ^
863. def_vert_left(16)
864. def_vert_left(32)

libavcodec/vp9dsp.c:862:1: Assignment
860. }
861. 
862. def_vert_left(8)
     ^
863. def_vert_left(16)
864. def_vert_left(32)

libavcodec/vp9dsp.c:862:1: <Length trace>
860. }
861. 
862. def_vert_left(8)
     ^
863. def_vert_left(16)
864. def_vert_left(32)

libavcodec/vp9dsp.c:862:1: Array declaration
860. }
861. 
862. def_vert_left(8)
     ^
863. def_vert_left(16)
864. def_vert_left(32)

libavcodec/vp9dsp.c:862:1: Array access: Offset added: [4, 10] (⇐ [0, 3] + [4, 7]) Size: 7
860. }
861. 
862. def_vert_left(8)
     ^
863. def_vert_left(16)
864. def_vert_left(32)
