libavformat/wc3movie.c:182: error: Integer Overflow L2
  ([-oo, 5592404] × 768):signed32.

libavformat/wc3movie.c:177:34: <LHS trace>
175.             /* need the number of palettes */
176.             url_fseek(pb, 8, SEEK_CUR);
177.             wc3->palette_count = get_le32(pb);
                                      ^
178.             if((unsigned)wc3->palette_count >= UINT_MAX / PALETTE_SIZE){
179.                 wc3->palette_count= 0;

libavformat/wc3movie.c:177:34: Call
175.             /* need the number of palettes */
176.             url_fseek(pb, 8, SEEK_CUR);
177.             wc3->palette_count = get_le32(pb);
                                      ^
178.             if((unsigned)wc3->palette_count >= UINT_MAX / PALETTE_SIZE){
179.                 wc3->palette_count= 0;

libavformat/aviobuf.c:498:11: Call
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
                 ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:482:11: Call
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
                   ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:397:5: Assignment
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
      397.     return 0;
               ^
      398. }
      399. 

libavformat/aviobuf.c:482:5: Assignment
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:483:5: Assignment
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:484:5: Assignment
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:498:5: Assignment
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
           ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:499:5: Assignment
  497.     unsigned int val;
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
           ^
  500.     return val;
  501. }

libavformat/aviobuf.c:500:5: Assignment
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
  500.     return val;
           ^
  501. }
  502. 

libavformat/wc3movie.c:177:13: Assignment
175.             /* need the number of palettes */
176.             url_fseek(pb, 8, SEEK_CUR);
177.             wc3->palette_count = get_le32(pb);
                 ^
178.             if((unsigned)wc3->palette_count >= UINT_MAX / PALETTE_SIZE){
179.                 wc3->palette_count= 0;

libavformat/wc3movie.c:182:29: Binary operation: ([-oo, 5592404] × 768):signed32
180.                 return -1;
181.             }
182.             wc3->palettes = av_malloc(wc3->palette_count * PALETTE_SIZE);
                                 ^
183.             break;
184. 
