libavformat/oggparseflac.c:72: error: Integer Overflow L2
  ([0, +oo] - 4):unsigned32.

libavformat/oggparseflac.c:41:5: <LHS trace>
39. 
40.     init_get_bits(&gb, os->buf + os->pstart, os->psize*8);
41.     get_bits(&gb, 1); /* metadata_last */
        ^
42.     mdt = get_bits(&gb, 7);
43. 

libavformat/oggparseflac.c:41:5: Call
39. 
40.     init_get_bits(&gb, os->buf + os->pstart, os->psize*8);
41.     get_bits(&gb, 1); /* metadata_last */
        ^
42.     mdt = get_bits(&gb, 7);
43. 

libavcodec/bitstream.h:655:1: Parameter `*s->buffer`
  653.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  654.  */
  655. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  656.     register int tmp;
  657.     OPEN_READER(re, s)

libavformat/oggparseflac.c:42:11: Call
40.     init_get_bits(&gb, os->buf + os->pstart, os->psize*8);
41.     get_bits(&gb, 1); /* metadata_last */
42.     mdt = get_bits(&gb, 7);
              ^
43. 
44.     if (mdt == 0x7f) {

libavcodec/bitstream.h:655:1: Parameter `*s->buffer`
  653.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  654.  */
  655. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  656.     register int tmp;
  657.     OPEN_READER(re, s)

libavformat/oggparseflac.c:72:9: Binary operation: ([0, +oo] - 4):unsigned32
70.         st->time_base.den = st->codec->sample_rate;
71.     } else if (mdt == 4) {
72.         vorbis_comment (s, os->buf + os->pstart + 4, os->psize - 4);
            ^
73.     }
74. 
