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:317:1: Parameter `limit`
    315.  * read signed golomb rice code (ffv1).
    316.  */
    317. static inline int get_sr_golomb(BitstreamContext *bc, int k, int limit,
         ^
    318.                                 int esc_len)
    319. {

libavcodec/golomb.h:320:13: Call
    318.                                 int esc_len)
    319. {
    320.     int v = get_ur_golomb(bc, k, limit, esc_len);
                     ^
    321. 
    322.     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:241:1: Parameter `n`
        239. 
        240. /* Skip n bits in the buffer. */
        241. static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
             ^
        242. {
        243.     if (n <= bc->bits_left)

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

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] - 12):unsigned32 by call to `get_vlc_symbol` 
          235.     bc->bits <<= n;
          236. #endif
          237.     bc->bits_left -= n;
                   ^
          238. }
          239. 
