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

libavcodec/shorten.c:155:1: Parameter `s->bc.bits_left`
153. }
154. 
155. static inline unsigned int get_uint(ShortenContext *s, int k)
     ^
156. {
157.     if (s->version != 0)

libavcodec/shorten.c:159:12: Call
157.     if (s->version != 0)
158.         k = get_ur_golomb_shorten(&s->bc, ULONGSIZE);
159.     return get_ur_golomb_shorten(&s->bc, k);
                ^
160. }
161. 

libavcodec/golomb.h:340:1: Parameter `bc->bits_left`
  338.  * read unsigned golomb rice code (shorten).
  339.  */
  340. static inline unsigned int get_ur_golomb_shorten(BitstreamContext *bc, int k)
       ^
  341. {
  342.     return get_ur_golomb_jpegls(bc, k, INT_MAX, 0);

libavcodec/golomb.h:342:12: Call
  340. static inline unsigned int get_ur_golomb_shorten(BitstreamContext *bc, int k)
  341. {
  342.     return get_ur_golomb_jpegls(bc, k, INT_MAX, 0);
                  ^
  343. }
  344. 

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