libavcodec/vp3.c:1980: error: Integer Overflow L2
  ([0, 4294967280] + 15):signed32.

libavcodec/vp3.c:1936:1: <LHS trace>
1934.  * This is the ffmpeg/libavcodec API init function.
1935.  */
1936. static av_cold int vp3_decode_init(AVCodecContext *avctx)
      ^
1937. {
1938.     Vp3DecodeContext *s = avctx->priv_data;

libavcodec/vp3.c:1936:1: Parameter `avctx->width`
1934.  * This is the ffmpeg/libavcodec API init function.
1935.  */
1936. static av_cold int vp3_decode_init(AVCodecContext *avctx)
      ^
1937. {
1938.     Vp3DecodeContext *s = avctx->priv_data;

libavcodec/vp3.c:1951:5: Assignment
1949. 
1950.     s->avctx = avctx;
1951.     s->width = (avctx->width + 15) & 0xFFFFFFF0;
          ^
1952.     s->height = (avctx->height + 15) & 0xFFFFFFF0;
1953.     avctx->pix_fmt = PIX_FMT_YUV420P;

libavcodec/vp3.c:1980:5: Binary operation: ([0, 4294967280] + 15):signed32
1978.     s->superblock_coding = av_malloc(s->superblock_count);
1979. 
1980.     s->macroblock_width = (s->width + 15) / 16;
          ^
1981.     s->macroblock_height = (s->height + 15) / 16;
1982.     s->macroblock_count = s->macroblock_width * s->macroblock_height;
