libavcodec/wmalosslessdec.c:1076: error: Integer Overflow L2
  ([-4, +oo] - 1):unsigned32 by call to `decode_subframe`.

libavcodec/wmalosslessdec.c:1061:39: Unknown value from: __builtin_clz
1059.         /* sometimes true for the last frame */
1060.         if (bitstream_read_bit(bc)) {
1061.             skip = bitstream_read(bc, av_log2(s->samples_per_frame * 2));
                                            ^
1062.             ff_dlog(s->avctx, "end skip: %i\n", skip);
1063.         }

libavcodec/wmalosslessdec.c:1061:20: Call
1059.         /* sometimes true for the last frame */
1060.         if (bitstream_read_bit(bc)) {
1061.             skip = bitstream_read(bc, av_log2(s->samples_per_frame * 2));
                         ^
1062.             ff_dlog(s->avctx, "end skip: %i\n", skip);
1063.         }

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/wmalosslessdec.c:1076:13: Call
1074.     /* decode all subframes */
1075.     while (!s->parsed_all_subframes) {
1076.         if (decode_subframe(s) < 0) {
                  ^
1077.             s->packet_loss = 1;
1078.             return 0;

libavcodec/wmalosslessdec.c:842:1: Parameter `s->bc.bits_left`
  840. }
  841. 
  842. static int decode_subframe(WmallDecodeCtx *s)
       ^
  843. {
  844.     int offset        = s->samples_per_frame;

libavcodec/wmalosslessdec.c:886:24: Call
  884. 
  885. 
  886.     s->seekable_tile = bitstream_read_bit(&s->bc);
                              ^
  887.     if (s->seekable_tile) {
  888.         clear_codec_buffers(s);

libavcodec/bitstream.h:145:1: Parameter `bc->bits_left`
    143. 
    144. /* Return one bit from the buffer. */
    145. static inline unsigned bitstream_read_bit(BitstreamContext *bc)
         ^
    146. {
    147.     if (!bc->bits_left)

libavcodec/bitstream.h:150:12: Call
    148.         refill_64(bc);
    149. 
    150.     return get_val(bc, 1);
                    ^
    151. }
    152. 

libavcodec/bitstream.h:130:1: Parameter `n`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:139:5: Assignment
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;

libavcodec/wmalosslessdec.c:890:33: Call
  888.         clear_codec_buffers(s);
  889. 
  890.         s->do_arith_coding    = bitstream_read_bit(&s->bc);
                                       ^
  891.         if (s->do_arith_coding) {
  892.             avpriv_request_sample(s->avctx, "Arithmetic coding");

libavcodec/bitstream.h:145:1: Parameter `bc->bits_left`
    143. 
    144. /* Return one bit from the buffer. */
    145. static inline unsigned bitstream_read_bit(BitstreamContext *bc)
         ^
    146. {
    147.     if (!bc->bits_left)

libavcodec/bitstream.h:150:12: Call
    148.         refill_64(bc);
    149. 
    150.     return get_val(bc, 1);
                    ^
    151. }
    152. 

libavcodec/bitstream.h:130:1: Parameter `n`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:139:5: Assignment
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;

libavcodec/wmalosslessdec.c:895:33: Call
  893.             return AVERROR_PATCHWELCOME;
  894.         }
  895.         s->do_ac_filter       = bitstream_read_bit(&s->bc);
                                       ^
  896.         s->do_inter_ch_decorr = bitstream_read_bit(&s->bc);
  897.         s->do_mclms           = bitstream_read_bit(&s->bc);

libavcodec/bitstream.h:145:1: Parameter `bc->bits_left`
    143. 
    144. /* Return one bit from the buffer. */
    145. static inline unsigned bitstream_read_bit(BitstreamContext *bc)
         ^
    146. {
    147.     if (!bc->bits_left)

libavcodec/bitstream.h:150:12: Call
    148.         refill_64(bc);
    149. 
    150.     return get_val(bc, 1);
                    ^
    151. }
    152. 

libavcodec/bitstream.h:130:1: Parameter `n`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:139:5: Assignment
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;

libavcodec/wmalosslessdec.c:896:33: Call
  894.         }
  895.         s->do_ac_filter       = bitstream_read_bit(&s->bc);
  896.         s->do_inter_ch_decorr = bitstream_read_bit(&s->bc);
                                       ^
  897.         s->do_mclms           = bitstream_read_bit(&s->bc);
  898. 

libavcodec/bitstream.h:145:1: Parameter `bc->bits_left`
    143. 
    144. /* Return one bit from the buffer. */
    145. static inline unsigned bitstream_read_bit(BitstreamContext *bc)
         ^
    146. {
    147.     if (!bc->bits_left)

libavcodec/bitstream.h:150:12: Call
    148.         refill_64(bc);
    149. 
    150.     return get_val(bc, 1);
                    ^
    151. }
    152. 

libavcodec/bitstream.h:130:1: Parameter `n`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:139:5: Assignment
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;

libavcodec/wmalosslessdec.c:897:33: Call
  895.         s->do_ac_filter       = bitstream_read_bit(&s->bc);
  896.         s->do_inter_ch_decorr = bitstream_read_bit(&s->bc);
  897.         s->do_mclms           = bitstream_read_bit(&s->bc);
                                       ^
  898. 
  899.         if (s->do_ac_filter)

libavcodec/bitstream.h:145:1: Parameter `bc->bits_left`
    143. 
    144. /* Return one bit from the buffer. */
    145. static inline unsigned bitstream_read_bit(BitstreamContext *bc)
         ^
    146. {
    147.     if (!bc->bits_left)

libavcodec/bitstream.h:150:12: Call
    148.         refill_64(bc);
    149. 
    150.     return get_val(bc, 1);
                    ^
    151. }
    152. 

libavcodec/bitstream.h:130:1: <LHS trace>
128. }
129. 
130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
     ^
131. {
132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:130:1: Parameter `bc->bits_left`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:130:1: <RHS trace>
128. }
129. 
130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
     ^
131. {
132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:130:1: Parameter `n`
      128. }
      129. 
      130. static inline uint64_t get_val(BitstreamContext *bc, unsigned n)
           ^
      131. {
      132. #ifdef BITSTREAM_READER_LE

libavcodec/bitstream.h:139:5: Binary operation: ([-4, +oo] - 1):unsigned32 by call to `decode_subframe` 
      137.     bc->bits <<= n;
      138. #endif
      139.     bc->bits_left -= n;
               ^
      140. 
      141.     return ret;
