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

libavcodec/loco.c:135:5: Call
133.     int i, j;
134. 
135.     bitstream_init8(&rc.bc, buf, buf_size);
         ^
136.     rc.save  = 0;
137.     rc.run   = 0;

libavcodec/bitstream.h:104:1: Parameter `bc->bits_left`
  102. 
  103. /* Initialize BitstreamContext with buffer size in bytes instead of bits. */
  104. static inline int bitstream_init8(BitstreamContext *bc, const uint8_t *buffer,
       ^
  105.                                   unsigned byte_size)
  106. {

libavcodec/loco.c:145:15: Call
143. 
144.     /* restore top left pixel */
145.     val     = loco_get_rice(&rc);
                   ^
146.     data[0] = 128 + val;
147.     /* restore top line */

libavcodec/loco.c:83:1: Parameter `r->bc.bits_left`
  81. }
  82. 
  83. static inline int loco_get_rice(RICEContext *r)
      ^
  84. {
  85.     int v;

libavcodec/loco.c:91:9: Call
  89.         return 0;
  90.     }
  91.     v = get_ur_golomb_jpegls(&r->bc, loco_get_rice_param(r), INT_MAX, 0);
              ^
  92.     loco_update_rice_param(r, (v + 1) >> 1);
  93.     if (!v) {

libavcodec/golomb.h:275:1: Parameter `k`
    273.  * read unsigned golomb rice code (jpegls).
    274.  */
    275. static inline int get_ur_golomb_jpegls(BitstreamContext *bc, int k, int limit,
         ^
    276.                                        int esc_len)
    277. {

libavcodec/golomb.h:288:9: Call
    286.         buf >>= log - k;
    287.         buf  += (30 - log) << k;
    288.         bitstream_skip(bc, 32 + k - log);
                 ^
    289. 
    290.         return buf;

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