libavcodec/ffv1dec.c:145: error: Integer Overflow L2
  ([0, +oo] - 12):unsigned32 by call to `get_vlc_symbol`.

libavcodec/ffv1dec.c:96:1: Parameter `s->bc.bits_left`
94. }
95. 
96. static av_always_inline void decode_line(FFV1Context *s, int w,
    ^
97.                                          int16_t *sample[2],
98.                                          int plane_index, int bits)

libavcodec/ffv1dec.c:145:33: Call
143.                     run_mode  = 0;
144.                     run_count = 0;
145.                     diff      = get_vlc_symbol(&s->bc, &p->vlc_state[context],
                                     ^
146.                                                bits);
147.                     if (diff >= 0)

libavcodec/ffv1dec.c:69:1: Parameter `bc->bits_left`
  67. }
  68. 
  69. static inline int get_vlc_symbol(BitstreamContext *bc, VlcState *const state,
      ^
  70.                                  int bits)
  71. {

libavcodec/ffv1dec.c:83:9: Call
  81.     assert(k <= 8);
  82. 
  83.     v = get_sr_golomb(bc, k, 12, bits);
              ^
  84.     ff_dlog(NULL, "v:%d bias:%d error:%d drift:%d count:%d k:%d",
  85.             v, state->bias, state->error_sum, state->drift, state->count, k);

libavcodec/golomb.h:313:1: Parameter `limit`
    311.  * read signed golomb rice code (ffv1).
    312.  */
    313. static inline int get_sr_golomb(BitstreamContext *bc, int k, int limit,
         ^
    314.                                 int esc_len)
    315. {

libavcodec/golomb.h:316:13: Call
    314.                                 int esc_len)
    315. {
    316.     int v = get_ur_golomb(bc, k, limit, esc_len);
                     ^
    317. 
    318.     v++;

libavcodec/golomb.h:248:1: Parameter `limit`
      246.  * read unsigned golomb rice code (ffv1).
      247.  */
      248. static inline int get_ur_golomb(BitstreamContext *bc, int k, int limit,
           ^
      249.                                 int esc_len)
      250. {

libavcodec/golomb.h:265:9: Call
      263.         return buf;
      264.     } else {
      265.         bitstream_skip(bc, limit);
                   ^
      266.         buf = bitstream_read(bc, esc_len);
      267. 

libavcodec/bitstream.h:240:1: Parameter `n`
        238. 
        239. /* Skip n bits in the buffer. */
        240. static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
             ^
        241. {
        242.     if (n < bc->bits_left)

libavcodec/bitstream.h:243:9: Call
        241. {
        242.     if (n < bc->bits_left)
        243.         skip_remaining(bc, n);
                     ^
        244.     else {
        245.         n -= bc->bits_left;

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

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

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

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

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