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

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:155:15: Call
153.     for (j = 1; j < height; j++) {
154.         /* restore left column */
155.         val = loco_get_rice(&rc);
                   ^
156.         data[0] = data[-stride] + val;
157.         /* restore all other pixels */

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