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.     skip_bits1(&gb); /* 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.     skip_bits1(&gb); /* metadata_last */
        ^
42.     mdt = get_bits(&gb, 7);
43. 

libavcodec/bitstream.h:697:1: Parameter `*s->buffer`
  695. }
  696. 
  697. static inline void skip_bits1(GetBitContext *s){
       ^
  698.     skip_bits(s, 1);
  699. }

libavcodec/bitstream.h:698:5: Call
  696. 
  697. static inline void skip_bits1(GetBitContext *s){
  698.     skip_bits(s, 1);
           ^
  699. }
  700. 

libavcodec/bitstream.h:665:1: Parameter `*s->buffer`
    663. }
    664. 
    665. static inline void skip_bits(GetBitContext *s, int n){
         ^
    666.  //Note gcc seems to optimize this to s->index+=n for the ALT_READER :))
    667.     OPEN_READER(re, s)

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

libavcodec/bitstream.h:642:1: Parameter `*s->buffer`
  640.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  641.  */
  642. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  643.     register int tmp;
  644.     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. 
