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:346:12: Call
  344. static inline unsigned int get_ur_golomb_shorten(BitstreamContext *bc, int k)
  345. {
  346.     return get_ur_golomb_jpegls(bc, k, INT_MAX, 0);
                  ^
  347. }
  348. 

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:299:23: Call
    297.         if (i < limit - 1) {
    298.             if (k) {
    299.                 buf = bitstream_read(bc, k);
                               ^
    300.             } else {
    301.                 buf = 0;

libavcodec/bitstream.h:183:1: Parameter `bc->bits_left`
      181. 
      182. /* Return n bits from the buffer. n has to be in the 0-32 range. */
      183. static inline uint32_t bitstream_read(BitstreamContext *bc, unsigned n)
           ^
      184. {
      185.     if (!n)

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:344:1: Parameter `bc->bits_left`
    342.  * read unsigned golomb rice code (shorten).
    343.  */
    344. static inline unsigned int get_ur_golomb_shorten(BitstreamContext *bc, int k)
         ^
    345. {
    346.     return get_ur_golomb_jpegls(bc, k, INT_MAX, 0);

libavcodec/golomb.h:346:12: Call
    344. static inline unsigned int get_ur_golomb_shorten(BitstreamContext *bc, int k)
    345. {
    346.     return get_ur_golomb_jpegls(bc, k, INT_MAX, 0);
                    ^
    347. }
    348. 

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