libavformat/mpegts.c:1416: error: Integer Overflow L2
  ([-1, min(4093, `*section`)] - 2):unsigned8.

libavformat/mpegts.c:1399:27: <LHS trace>
1397.     av_dlog(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
1398. 
1399.     program_info_length = get16(&p, p_end) & 0xfff;
                                ^
1400.     if (program_info_length < 0)
1401.         return;

libavformat/mpegts.c:1399:27: Call
1397.     av_dlog(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
1398. 
1399.     program_info_length = get16(&p, p_end) & 0xfff;
                                ^
1400.     if (program_info_length < 0)
1401.         return;

libavformat/mpegts.c:452:9: Assignment
  450.     p = *pp;
  451.     if ((p + 1) >= p_end)
  452.         return -1;
               ^
  453.     c = AV_RB16(p);
  454.     p += 2;

libavformat/mpegts.c:1399:5: Assignment
1397.     av_dlog(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
1398. 
1399.     program_info_length = get16(&p, p_end) & 0xfff;
          ^
1400.     if (program_info_length < 0)
1401.         return;

libavformat/mpegts.c:1416:13: Binary operation: ([-1, min(4093, *section)] - 2):unsigned8
1414.             get8(&p, p_end); // scope
1415.             get8(&p, p_end); // label
1416.             len -= 2;
                  ^
1417.             mp4_read_iods(ts->stream, p, len, mp4_descr + mp4_descr_count,
1418.                           &mp4_descr_count, MAX_MP4_DESCR_COUNT);
