libavcodec/ralf.c:250: error: Integer Overflow L2
  ([0, `bc->bits_left` + 222] - [0, `bc->bits_left` + 222]):unsigned32 by call to `extend_code`.

libavcodec/ralf.c:238:26: Call
236.     int *dst = ctx->channel_data[ch];
237. 
238.     ctx->filter_params = bitstream_read_vlc(bc, set->filter_params.table, 9, 2);
                              ^
239.     ctx->filter_bits   = (ctx->filter_params - 2) >> 6;
240.     ctx->filter_length = ctx->filter_params - (ctx->filter_bits << 6) - 1;

libavcodec/vlc.h:90:1: Parameter `(*table)[*]`
  88.  * If the VLC code is invalid and max_depth > 1, then the number of bits removed
  89.  * is undefined. */
  90. static inline int bitstream_read_vlc(BitstreamContext *bc, VLC_TYPE (*table)[2],
      ^
  91.                                      int bits, int max_depth)
  92. {

libavcodec/ralf.c:249:21: Call
247.     }
248. 
249.     ctx->bias[ch] = bitstream_read_vlc(bc, set->bias.table, 9, 2);
                         ^
250.     ctx->bias[ch] = extend_code(bc, ctx->bias[ch], 127, 4);
251. 

libavcodec/vlc.h:90:1: Parameter `(*table)[*]`
  88.  * If the VLC code is invalid and max_depth > 1, then the number of bits removed
  89.  * is undefined. */
  90. static inline int bitstream_read_vlc(BitstreamContext *bc, VLC_TYPE (*table)[2],
      ^
  91.                                      int bits, int max_depth)
  92. {

libavcodec/vlc.h:96:5: Assignment
  94.     unsigned idx = bitstream_peek(bc, bits);
  95.     int code = table[idx][0];
  96.     int n    = table[idx][1];
          ^
  97. 
  98.     if (max_depth > 1 && n < 0) {

libavcodec/vlc.h:106:5: Call
  104.         }
  105.     }
  106.     skip_remaining(bc, n);
           ^
  107. 
  108.     return code;

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: Assignment
    234.     bc->bits <<= n;
    235. #endif
    236.     bc->bits_left -= n;
             ^
    237. }
    238. 

libavcodec/ralf.c:250:21: Call
248. 
249.     ctx->bias[ch] = bitstream_read_vlc(bc, set->bias.table, 9, 2);
250.     ctx->bias[ch] = extend_code(bc, ctx->bias[ch], 127, 4);
                         ^
251. 
252.     if (ctx->filter_params == FILTER_NONE) {

libavcodec/ralf.c:215:1: Parameter `bc->bits_left`
  213. }
  214. 
  215. static inline int extend_code(BitstreamContext *bc, int val, int range, int bits)
       ^
  216. {
  217.     if (val == 0) {

libavcodec/ralf.c:218:24: Call
  216. {
  217.     if (val == 0) {
  218.         val = -range - get_ue_golomb(bc);
                              ^
  219.     } else if (val == range * 2) {
  220.         val =  range + get_ue_golomb(bc);

libavcodec/golomb.h:53:1: Parameter `bc->bits_left`
    51.  * read unsigned exp golomb code.
    52.  */
    53. static inline int get_ue_golomb(BitstreamContext *bc)
        ^
    54. {
    55.     unsigned int buf;

libavcodec/golomb.h:57:11: Call
    55.     unsigned int buf;
    56. 
    57.     buf = bitstream_peek(bc, 32);
                  ^
    58. 
    59.     if (buf >= (1 << 27)) {

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

libavcodec/golomb.h:61:9: Call
    59.     if (buf >= (1 << 27)) {
    60.         buf >>= 32 - 9;
    61.         bitstream_skip(bc, ff_golomb_vlc_len[buf]);
                ^
    62. 
    63.         return ff_ue_golomb_vlc_code[buf];

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:246:9: Call
      244.     else {
      245.         n -= bc->bits_left;
      246.         skip_remaining(bc, bc->bits_left);
                   ^
      247.         if (n >= 64) {
      248.             unsigned skip = n / 8;

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, bc->bits_left + 222] - [0, bc->bits_left + 222]):unsigned32 by call to `extend_code` 
        234.     bc->bits <<= n;
        235. #endif
        236.     bc->bits_left -= n;
                 ^
        237. }
        238. 
