libavcodec/flicvideo.c:483: error: Integer Overflow L2
  ([min(0, `buf->l`), max(0, `buf->l`)] - 16):unsigned32.

libavcodec/flicvideo.c:437:1: <LHS trace>
435. }
436. 
437. static int flic_decode_frame_15_16BPP(AVCodecContext *avctx,
     ^
438.                                       void *data, int *got_frame,
439.                                       const uint8_t *buf, int buf_size)

libavcodec/flicvideo.c:437:1: Parameter `buf->l`
435. }
436. 
437. static int flic_decode_frame_15_16BPP(AVCodecContext *avctx,
     ^
438.                                       void *data, int *got_frame,
439.                                       const uint8_t *buf, int buf_size)

libavcodec/flicvideo.c:478:18: Call
476.     pixel_limit = s->avctx->height * s->frame->linesize[0];
477. 
478.     frame_size = bytestream2_get_le32(&g2);
                      ^
479.     bytestream2_skip(&g2, 2);  /* skip the magic number */
480.     num_chunks = bytestream2_get_le16(&g2);

libavcodec/bytestream.h:85:1: Assignment
  83. 
  84. DEF(uint64_t,     le64, 8, AV_RL64, AV_WL64)
  85. DEF(unsigned int, le32, 4, AV_RL32, AV_WL32)
      ^
  86. DEF(unsigned int, le24, 3, AV_RL24, AV_WL24)
  87. DEF(unsigned int, le16, 2, AV_RL16, AV_WL16)

libavcodec/flicvideo.c:478:5: Assignment
476.     pixel_limit = s->avctx->height * s->frame->linesize[0];
477. 
478.     frame_size = bytestream2_get_le32(&g2);
         ^
479.     bytestream2_skip(&g2, 2);  /* skip the magic number */
480.     num_chunks = bytestream2_get_le16(&g2);

libavcodec/flicvideo.c:483:5: Binary operation: ([min(0, buf->l), max(0, buf->l)] - 16):unsigned32
481.     bytestream2_skip(&g2, 8);  /* skip padding */
482. 
483.     frame_size -= 16;
         ^
484. 
485.     /* iterate through the chunks */
