libavcodec/8bps.c:116: error: Integer Overflow L2
  ([1, +oo] - [`*avpkt->data` + 2, 2+min(127, `*avpkt->data`)]):unsigned32.

libavcodec/8bps.c:66:1: <LHS trace>
64.  *
65.  */
66. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
67.                         int *got_frame, AVPacket *avpkt)
68. {

libavcodec/8bps.c:66:1: Parameter `*avpkt->data`
64.  *
65.  */
66. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
67.                         int *got_frame, AVPacket *avpkt)
68. {

libavcodec/8bps.c:114:22: Assignment
112.                 if (dp + 1 >= buf + buf_size)
113.                     return -1;
114.                 if ((count = *dp++) <= 127) {
                          ^
115.                     count++;
116.                     dlen -= count + 1;

libavcodec/8bps.c:115:21: Assignment
113.                     return -1;
114.                 if ((count = *dp++) <= 127) {
115.                     count++;
                         ^
116.                     dlen -= count + 1;
117.                     if (pixptr + count * px_inc > pixptr_end)

libavcodec/8bps.c:116:21: Assignment
114.                 if ((count = *dp++) <= 127) {
115.                     count++;
116.                     dlen -= count + 1;
                         ^
117.                     if (pixptr + count * px_inc > pixptr_end)
118.                         break;

libavcodec/8bps.c:66:1: <RHS trace>
64.  *
65.  */
66. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
67.                         int *got_frame, AVPacket *avpkt)
68. {

libavcodec/8bps.c:66:1: Parameter `*avpkt->data`
64.  *
65.  */
66. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
67.                         int *got_frame, AVPacket *avpkt)
68. {

libavcodec/8bps.c:114:22: Assignment
112.                 if (dp + 1 >= buf + buf_size)
113.                     return -1;
114.                 if ((count = *dp++) <= 127) {
                          ^
115.                     count++;
116.                     dlen -= count + 1;

libavcodec/8bps.c:115:21: Assignment
113.                     return -1;
114.                 if ((count = *dp++) <= 127) {
115.                     count++;
                         ^
116.                     dlen -= count + 1;
117.                     if (pixptr + count * px_inc > pixptr_end)

libavcodec/8bps.c:116:21: Binary operation: ([1, +oo] - [*avpkt->data + 2, 2+min(127, *avpkt->data)]):unsigned32
114.                 if ((count = *dp++) <= 127) {
115.                     count++;
116.                     dlen -= count + 1;
                         ^
117.                     if (pixptr + count * px_inc > pixptr_end)
118.                         break;
