[FFmpeg-cvslog] avcodec/vp9: Add asserts to help source code analyzers

[Michael Niedermayer]

ffmpeg | branch: master | Michael Niedermayer <michaelni at gmx.at> | Sun Oct 20 14:09:55 2013 +0200| [f198efb179cb33d96b262925f89ba8fa389ac5cd] | committer: Michael Niedermayer

avcodec/vp9: Add asserts to help source code analyzers

See CID1108596 and CID1108595
Signed-off-by: Michael Niedermayer <michaelni at gmx.at>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=f198efb179cb33d96b262925f89ba8fa389ac5cd
---

 libavcodec/vp9.c |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/libavcodec/vp9.c b/libavcodec/vp9.c
index 012d7aa..1d06460 100644
--- a/libavcodec/vp9.c
+++ b/libavcodec/vp9.c
@@ -1169,6 +1169,7 @@ static void decode_mode(AVCodecContext *ctx)
         for (y = 0; y < h4; y++)
             for (x = 0; x < w4; x++)
                 pred = FFMIN(pred, s->segmentation_map[(y + row) * 8 * s->sb_cols + x + col]);
+        av_assert1(pred < 8);
         b->seg_id = pred;
 
         memset(&s->above_segpred_ctx[col], 1, w4);
@@ -3312,6 +3313,7 @@ static int vp9_decode_frame(AVCodecContext *ctx, void *out_pic,
     for (i = 0; i < 10; i++)
         if (!s->fb[i]->data[0])
             break;
+    av_assert0(i < 10);
     s->f = s->fb[i];
     if ((res = ff_get_buffer(ctx, s->f,
                              s->refreshrefmask ? AV_GET_BUFFER_FLAG_REF : 0)) < 0)