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

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:215:1: Parameter `n`
  213. /* Return n bits from the buffer, but do not change the buffer state.
  214.  * n has to be in the 0-32 range. */
  215. static inline unsigned bitstream_peek(BitstreamContext *bc, unsigned n)
       ^
  216. {
  217.     if (n > bc->bits_left)

libavcodec/bitstream.h:218:9: Call
  216. {
  217.     if (n > bc->bits_left)
  218.         refill_32(bc);
               ^
  219. 
  220.     return show_val(bc, n);

libavcodec/bitstream.h:60:1: <RHS trace>
58. }
59. 
60. static inline void refill_32(BitstreamContext *bc)
    ^
61. {
62.     if (bc->ptr >= bc->buffer_end)

libavcodec/bitstream.h:60:1: Parameter `bc->bits_left`
    58. }
    59. 
    60. static inline void refill_32(BitstreamContext *bc)
        ^
    61. {
    62.     if (bc->ptr >= bc->buffer_end)

libavcodec/bitstream.h:68:5: Binary operation: (32 - [0, max(63, bc->bits_left)]):unsigned32 by call to `bitstream_peek` 
    66.     bc->bits       = (uint64_t)AV_RL32(bc->ptr) << bc->bits_left | bc->bits;
    67. #else
    68.     bc->bits       = bc->bits | (uint64_t)AV_RB32(bc->ptr) << (32 - bc->bits_left);
            ^
    69. #endif
    70.     bc->ptr       += 4;
