libavcodec/alac.c:98: error: Integer Overflow L2
  ([0, 32+max(63, `bc->bits_left`)] - [0, 32+max(63, `bc->bits_left`)]):unsigned32 by call to `bitstream_skip`.

libavcodec/alac.c:81:1: Parameter `bc->bits_left`
79. } ALACContext;
80. 
81. static inline unsigned int decode_scalar(BitstreamContext *bc, int k, int bps)
    ^
82. {
83.     unsigned int x = get_unary_0_9(bc);

libavcodec/alac.c:83:22: Call
81. static inline unsigned int decode_scalar(BitstreamContext *bc, int k, int bps)
82. {
83.     unsigned int x = get_unary_0_9(bc);
                         ^
84. 
85.     if (x > 8) { /* RICE THRESHOLD */

libavcodec/unary.h:52:1: Parameter `bc->bits_left`
  50. }
  51. 
  52. static inline int get_unary_0_9(BitstreamContext *bc)
      ^
  53. {
  54.     return get_unary(bc, 0, 9);

libavcodec/unary.h:54:12: Call
  52. static inline int get_unary_0_9(BitstreamContext *bc)
  53. {
  54.     return get_unary(bc, 0, 9);
                 ^
  55. }
  56. 

libavcodec/unary.h:33:1: Parameter `bc->bits_left`
    31.  * @return Unary length/index
    32.  */
    33. static inline int get_unary(BitstreamContext *bc, int stop, int len)
        ^
    34. {
    35.     int i;

libavcodec/alac.c:89:25: Call
87.         x = bitstream_read(bc, bps);
88.     } else if (k != 1) {
89.         int extrabits = bitstream_peek(bc, k);
                            ^
90. 
91.         /* multiply x by 2^k - 1, as part of their strange algorithm */

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/alac.c:98:13: Call
 96.             bitstream_skip(bc, k);
 97.         } else
 98.             bitstream_skip(bc, k - 1);
                 ^
 99.     }
100.     return x;

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:246:9: Call
  244.     else {
  245.         n -= bc->bits_left;
  246.         skip_remaining(bc, bc->bits_left);
               ^
  247.         if (n >= 64) {
  248.             unsigned skip = n / 8;

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