libavcodec/flac.c:236: error: Integer Overflow L2
  ([0, +oo] - 64):unsigned32 by call to `bitstream_skip`.

libavcodec/flac.c:234:19: Call
232. 
233.     s->samples  = bitstream_read(&bc, 32) << 4;
234.     s->samples |= bitstream_read(&bc, 4);
                       ^
235. 
236.     bitstream_skip(&bc, 64); /* md5 sum */

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

libavcodec/flac.c:236:5: Call
234.     s->samples |= bitstream_read(&bc, 4);
235. 
236.     bitstream_skip(&bc, 64); /* md5 sum */
         ^
237.     bitstream_skip(&bc, 64); /* md5 sum */
238. }

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] - 64):unsigned32 by call to `bitstream_skip` 
    234.     bc->bits <<= n;
    235. #endif
    236.     bc->bits_left -= n;
             ^
    237. }
    238. 

static inline void skip_remaining(BitstreamContext *bc, unsigned n)
{
#ifdef BITSTREAM_READER_LE
    bc->bits >>= n;
#else
    bc->bits <<= n;
#endif
    bc->bits_left -= n;
}
['void ff_flac_parse_streaminfo(AVCodecContext *avctx, struct FLACStreaminfo *s,\n                              const uint8_t *buffer)\n{\n    BitstreamContext bc;\n    bitstream_init8(&bc, buffer, FLAC_STREAMINFO_SIZE);\n    bitstream_skip(&bc, 16);\n    s->max_blocksize = bitstream_read(&bc, 16);\n    if (s->max_blocksize < FLAC_MIN_BLOCKSIZE) {\n        av_log(avctx, AV_LOG_WARNING, "invalid max blocksize: %d\\n",\n               s->max_blocksize);\n        s->max_blocksize = 16;\n    }\n    bitstream_skip(&bc, 24);\n    s->max_framesize = bitstream_read(&bc, 24);\n    s->samplerate    = bitstream_read(&bc, 20);\n    s->channels      = bitstream_read(&bc, 3) + 1;\n    s->bps           = bitstream_read(&bc, 5) + 1;\n    avctx->channels = s->channels;\n    avctx->sample_rate = s->samplerate;\n    avctx->bits_per_raw_sample = s->bps;\n    if (!avctx->channel_layout ||\n        av_get_channel_layout_nb_channels(avctx->channel_layout) != avctx->channels)\n        ff_flac_set_channel_layout(avctx);\n    s->samples  = bitstream_read(&bc, 32) << 4;\n    s->samples |= bitstream_read(&bc, 4);\n    bitstream_skip(&bc, 64);\n    bitstream_skip(&bc, 64);\n}', 'static inline uint32_t bitstream_read(BitstreamContext *bc, unsigned n)\n{\n    if (!n)\n        return 0;\n    if (n > bc->bits_left) {\n        refill_32(bc);\n        if (bc->bits_left < 32)\n            bc->bits_left = n;\n    }\n    return get_val(bc, n);\n}', 'static inline void bitstream_skip(BitstreamContext *bc, unsigned n)\n{\n    if (n < bc->bits_left)\n        skip_remaining(bc, n);\n    else {\n        n -= bc->bits_left;\n        bc->bits      = 0;\n        bc->bits_left = 0;\n        if (n >= 64) {\n            unsigned skip = n / 8;\n            n -= skip * 8;\n            bc->ptr += skip;\n        }\n        refill_64(bc);\n        if (n)\n            skip_remaining(bc, n);\n    }\n}', 'static inline void skip_remaining(BitstreamContext *bc, unsigned n)\n{\n#ifdef BITSTREAM_READER_LE\n    bc->bits >>= n;\n#else\n    bc->bits <<= n;\n#endif\n    bc->bits_left -= n;\n}']