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

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

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

libavformat/aviobuf.c:459:11: Call
  457. {
  458.     unsigned int val;
  459.     val = get_le16(s);
                 ^
  460.     val |= get_le16(s) << 16;
  461.     return val;

libavformat/aviobuf.c:443:11: Call
    441. {
    442.     unsigned int val;
    443.     val = get_byte(s);
                   ^
    444.     val |= get_byte(s) << 8;
    445.     return val;

libavformat/aviobuf.c:361:13: Assignment
      359.             return *s->buf_ptr++;
      360.         else
      361.             return 0;
                       ^
      362.     }
      363. }

libavformat/aviobuf.c:443:5: Assignment
    441. {
    442.     unsigned int val;
    443.     val = get_byte(s);
             ^
    444.     val |= get_byte(s) << 8;
    445.     return val;

libavformat/aviobuf.c:444:5: Assignment
    442.     unsigned int val;
    443.     val = get_byte(s);
    444.     val |= get_byte(s) << 8;
             ^
    445.     return val;
    446. }

libavformat/aviobuf.c:445:5: Assignment
    443.     val = get_byte(s);
    444.     val |= get_byte(s) << 8;
    445.     return val;
             ^
    446. }
    447. 

libavformat/aviobuf.c:459:5: Assignment
  457. {
  458.     unsigned int val;
  459.     val = get_le16(s);
           ^
  460.     val |= get_le16(s) << 16;
  461.     return val;

libavformat/aviobuf.c:460:5: Assignment
  458.     unsigned int val;
  459.     val = get_le16(s);
  460.     val |= get_le16(s) << 16;
           ^
  461.     return val;
  462. }

libavformat/aviobuf.c:461:5: Assignment
  459.     val = get_le16(s);
  460.     val |= get_le16(s) << 16;
  461.     return val;
           ^
  462. }
  463. 

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

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