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

libavcodec/dvdec.c:83:1: Parameter `bc->bits_left`
81. 
82. /* decode AC coefficients */
83. static void dv_decode_ac(BitstreamContext *bc, BlockInfo *mb, int16_t *block)
    ^
84. {
85.     const uint8_t  *scan_table   = mb->scan_table;

libavcodec/dvdec.c:104:9: Call
102.                 pos, bitstream_peek(bc, 16), bitstream_tell(bc));
103. 
104.         BITSTREAM_RL_VLC(level, run, bc, ff_dv_rl_vlc, TEX_VLC_BITS, 2);
             ^
105. 
106.         if (bitstream_bits_left(bc) < 0) {

libavcodec/bitstream.h:215:1: Parameter `n`
  213. /* Return n bits from the buffer, but do not change the buffer state.
  214.  * n has to be in the 0-32 range. */
  215. static inline unsigned bitstream_peek(BitstreamContext *bc, unsigned n)
       ^
  216. {
  217.     if (n > bc->bits_left)

libavcodec/dvdec.c:104:9: Call
102.                 pos, bitstream_peek(bc, 16), bitstream_tell(bc));
103. 
104.         BITSTREAM_RL_VLC(level, run, bc, ff_dv_rl_vlc, TEX_VLC_BITS, 2);
             ^
105. 
106.         if (bitstream_bits_left(bc) < 0) {

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

static inline void skip_remaining(BitstreamContext *bc, unsigned n)
{
#ifdef BITSTREAM_READER_LE
    bc->bits >>= n;
#else
    bc->bits <<= n;
#endif
    bc->bits_left -= n;
}
['static void dv_decode_ac(BitstreamContext *bc, BlockInfo *mb, int16_t *block)\n{\n    const uint8_t  *scan_table   = mb->scan_table;\n    const uint32_t *factor_table = mb->factor_table;\n    int pos                      = mb->pos;\n    int partial_bit_count        = mb->partial_bit_count;\n    int level, run;\n    if (partial_bit_count > 0) {\n        bitstream_unget(bc, mb->partial_bit_buffer, partial_bit_count);\n        mb->partial_bit_count = 0;\n    }\n    for (;;) {\n        BitstreamContext tmp = *bc;\n        ff_dlog(NULL, "%2d: bits=%04x index=%d\\n",\n                pos, bitstream_peek(bc, 16), bitstream_tell(bc));\n        BITSTREAM_RL_VLC(level, run, bc, ff_dv_rl_vlc, TEX_VLC_BITS, 2);\n        if (bitstream_bits_left(bc) < 0) {\n            mb->partial_bit_count  = bitstream_bits_left(&tmp);\n            mb->partial_bit_buffer = bitstream_peek(&tmp, mb->partial_bit_count);\n            break;\n        }\n        ff_dlog(NULL, "run=%d level=%d\\n", run, level);\n        pos += run;\n        if (pos >= 64)\n            break;\n        level = (level * factor_table[pos] + (1 << (dv_iweight_bits - 1))) >>\n                dv_iweight_bits;\n        block[scan_table[pos]] = level;\n    }\n    mb->pos = pos;\n}', 'static inline unsigned bitstream_peek(BitstreamContext *bc, unsigned n)\n{\n    if (n > bc->bits_left)\n        refill_32(bc);\n    return show_val(bc, n);\n}', 'static inline void bitstream_skip(BitstreamContext *bc, unsigned n)\n{\n    if (n <= bc->bits_left)\n        skip_remaining(bc, n);\n    else {\n        n -= bc->bits_left;\n        skip_remaining(bc, bc->bits_left);\n        if (n >= 64) {\n            unsigned skip = n / 8;\n            n -= skip * 8;\n            bc->ptr += skip;\n        }\n        refill_64(bc);\n        if (n)\n            skip_remaining(bc, n);\n    }\n}', 'static inline void skip_remaining(BitstreamContext *bc, unsigned n)\n{\n#ifdef BITSTREAM_READER_LE\n    bc->bits >>= n;\n#else\n    bc->bits <<= n;\n#endif\n    bc->bits_left -= n;\n}']