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

libavcodec/shorten.c:495:15: Call
493.         }
494. 
495.         cmd = get_ur_golomb_shorten(&s->bc, FNSIZE);
                   ^
496. 
497.         if (cmd > FN_VERBATIM) {

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 `bc->bits_left`
    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:281:11: Call
    279.     int log;
    280. 
    281.     buf = bitstream_peek(bc, 32);
                   ^
    282. 
    283.     log = av_log2(buf);

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/shorten.c:517:38: Call
515.                 break;
516.             case FN_BLOCKSIZE: {
517.                 unsigned blocksize = get_uint(s, av_log2(s->blocksize));
                                          ^
518.                 if (blocksize > s->blocksize) {
519.                     avpriv_report_missing_feature(avctx,

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:158:13: Call
  156. {
  157.     if (s->version != 0)
  158.         k = get_ur_golomb_shorten(&s->bc, ULONGSIZE);
                   ^
  159.     return get_ur_golomb_shorten(&s->bc, k);
  160. }

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