libavcodec/clearvideo.c:236: error: Integer Overflow L2
  ([0, +oo] - 9):unsigned32 by call to `decode_block`.

libavcodec/clearvideo.c:227:1: Parameter `c->bc.bits_left`
225. }
226. 
227. static int decode_mb(CLVContext *c, int x, int y)
     ^
228. {
229.     int i, has_ac[6], off;

libavcodec/clearvideo.c:236:13: Call
234.     off = x * 16 + y * 16 * c->pic->linesize[0];
235.     for (i = 0; i < 4; i++) {
236.         if (decode_block(c, c->block, has_ac[i], c->ac_quant) < 0)
                 ^
237.             return AVERROR_INVALIDDATA;
238.         if (!x && !(i & 1)) {

libavcodec/clearvideo.c:135:1: Parameter `ctx->bc.bits_left`
  133. } CLVContext;
  134. 
  135. static inline int decode_block(CLVContext *ctx, int16_t *blk, int has_ac,
       ^
  136.                                int ac_quant)
  137. {

libavcodec/clearvideo.c:142:14: Call
  140. 
  141.     memset(blk, 0, sizeof(*blk) * 64);
  142.     blk[0] = bitstream_read_vlc(bc, ctx->dc_vlc.table, 9, 3);
                    ^
  143.     if (blk[0] < 0)
  144.         return AVERROR_INVALIDDATA;

libavcodec/bitstream.h:313:1: Parameter `bits`
    311.  * If the VLC code is invalid and max_depth > 1, then the number of bits removed
    312.  * is undefined. */
    313. static inline int bitstream_read_vlc(BitstreamContext *bc, VLC_TYPE (*table)[2],
         ^
    314.                                      int bits, int max_depth)
    315. {

libavcodec/bitstream.h:322:9: Call
    320. 
    321.     if (max_depth > 1 && n < 0) {
    322.         skip_remaining(bc, bits);
                 ^
    323.         code = set_idx(bc, code, &n, &nb_bits, table);
    324.         if (max_depth > 2 && n < 0) {

libavcodec/bitstream.h:230:1: <LHS trace>
228. }
229. 
230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
     ^
231. {
232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: Parameter `bc->bits_left`
      228. }
      229. 
      230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
           ^
      231. {
      232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: <RHS trace>
228. }
229. 
230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
     ^
231. {
232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:230:1: Parameter `n`
      228. }
      229. 
      230. static inline void skip_remaining(BitstreamContext *bc, unsigned n)
           ^
      231. {
      232. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:237:5: Binary operation: ([0, +oo] - 9):unsigned32 by call to `decode_block` 
      235.     bc->bits <<= n;
      236. #endif
      237.     bc->bits_left -= n;
               ^
      238. }
      239. 
