libavcodec/aic.c:326: error: Integer Overflow L2
  ([-1, +oo] - 1):unsigned32 by call to `aic_decode_coeffs`.

libavcodec/aic.c:321:5: Call
319.         C[i] = ctx->frame->data[i + 1] + mb_x * 8
320.                + mb_y * 8 * ctx->frame->linesize[i + 1];
321.     bitstream_init8(&bc, src, src_size);
         ^
322. 
323.     memset(ctx->slice_data, 0,

libavcodec/bitstream.h:104:1: Parameter `bc->bits_left`
  102. 
  103. /* Initialize BitstreamContext with buffer size in bytes instead of bits. */
  104. static inline int bitstream_init8(BitstreamContext *bc, const uint8_t *buffer,
       ^
  105.                                   unsigned byte_size)
  106. {

libavcodec/aic.c:326:20: Call
324.            sizeof(*ctx->slice_data) * slice_width * AIC_BAND_COEFFS);
325.     for (i = 0; i < NUM_BANDS; i++)
326.         if ((ret = aic_decode_coeffs(&bc, ctx->data_ptr[i],
                        ^
327.                                      i, slice_width,
328.                                      !ctx->interlaced)) < 0)

libavcodec/aic.c:201:1: Parameter `bc->bits_left`
  199.     } while (0)
  200. 
  201. static int aic_decode_coeffs(BitstreamContext *bc, int16_t *dst,
       ^
  202.                              int band, int slice_width, int force_chroma)
  203. {

libavcodec/aic.c:209:18: Call
  207.     int mb, idx, val;
  208. 
  209.     has_skips  = bitstream_read_bit(bc);
                        ^
  210.     coeff_type = bitstream_read_bit(bc);
  211.     coeff_bits = bitstream_read(bc, 3);

libavcodec/bitstream.h:145:1: Parameter `bc->bits_left`
    143. 
    144. /* Return one bit from the buffer. */
    145. static inline unsigned bitstream_read_bit(BitstreamContext *bc)
         ^
    146. {
    147.     if (!bc->bits_left)

libavcodec/bitstream.h:150:12: Call
    148.         refill_64(bc);
    149. 
    150.     return get_val(bc, 1);
                    ^
    151. }
    152. 

libavcodec/bitstream.h:130:1: Parameter `n`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:139:5: Assignment
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;

libavcodec/aic.c:210:18: Call
  208. 
  209.     has_skips  = bitstream_read_bit(bc);
  210.     coeff_type = bitstream_read_bit(bc);
                        ^
  211.     coeff_bits = bitstream_read(bc, 3);
  212. 

libavcodec/bitstream.h:145:1: Parameter `bc->bits_left`
    143. 
    144. /* Return one bit from the buffer. */
    145. static inline unsigned bitstream_read_bit(BitstreamContext *bc)
         ^
    146. {
    147.     if (!bc->bits_left)

libavcodec/bitstream.h:150:12: Call
    148.         refill_64(bc);
    149. 
    150.     return get_val(bc, 1);
                    ^
    151. }
    152. 

libavcodec/bitstream.h:130:1: <LHS trace>
128. }
129. 
130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
     ^
131. {
132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:130:1: Parameter `bc->bits_left`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:130:1: <RHS trace>
128. }
129. 
130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
     ^
131. {
132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:130:1: Parameter `n`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:139:5: Binary operation: ([-1, +oo] - 1):unsigned32 by call to `aic_decode_coeffs` 
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;
