libavformat/mp3dec.c:77: error: Integer Overflow L1
  ([1099511627520, +oo] + `*p->buf`):unsigned32.

libavformat/mp3dec.c:70:9: <LHS trace>
68.     if (max_frames) {
69.         int pes = 0, i;
70.         unsigned int code = -1;
            ^
71. 
72. #define VIDEO_ID 0x000001e0

libavformat/mp3dec.c:70:9: Assignment
68.     if (max_frames) {
69.         int pes = 0, i;
70.         unsigned int code = -1;
            ^
71. 
72. #define VIDEO_ID 0x000001e0

libavformat/mp3dec.c:34:1: <RHS trace>
32. /* mp3 read */
33. 
34. static int mp3_read_probe(AVProbeData *p)
    ^
35. {
36.     int max_frames, first_frames = 0;

libavformat/mp3dec.c:34:1: Parameter `*p->buf`
32. /* mp3 read */
33. 
34. static int mp3_read_probe(AVProbeData *p)
    ^
35. {
36.     int max_frames, first_frames = 0;

libavformat/mp3dec.c:77:13: Binary operation: ([1099511627520, +oo] + *p->buf):unsigned32
75.          * towards mpegps if we detect this stream as both. */
76.         for (i = 0; i<p->buf_size; i++) {
77.             code = (code << 8) + p->buf[i];
                ^
78.             if ((code & 0xffffff00) == 0x100) {
79.                 if     ((code & 0x1f0) == VIDEO_ID) pes++;
