libavcodec/vorbis_enc.c:952: error: Integer Overflow L2
  ([0, +oo] - 1):unsigned32 by call to `put_main_header`.

libavcodec/vorbis_enc.c:944:5: Call
942.     }
943. 
944.     create_vorbis_context(venc, avccontext);
         ^
945. 
946.     if (avccontext->flags & CODEC_FLAG_QSCALE)

libavcodec/vorbis_enc.c:403:5: Call
  401.     venc->win[1] = ff_vorbis_vwin[venc->log2_blocksize[1] - 6];
  402. 
  403.     ff_mdct_init(&venc->mdct[0], venc->log2_blocksize[0], 0);
           ^
  404.     ff_mdct_init(&venc->mdct[1], venc->log2_blocksize[1], 0);
  405. }

libavcodec/mdct.c:54:1: Parameter `*s->fft.revtab`
    52.  * init MDCT or IMDCT computation.
    53.  */
    54. int ff_mdct_init(MDCTContext *s, int nbits, int inverse)
        ^
    55. {
    56.     int n, n4, i;

libavcodec/vorbis_enc.c:952:34: Call
950.     venc->quality *= venc->quality;
951. 
952.     avccontext->extradata_size = put_main_header(venc, (uint8_t**)&avccontext->extradata);
                                      ^
953. 
954.     avccontext->frame_size = 1 << (venc->log2_blocksize[0] - 1);

libavcodec/vorbis_enc.c:539:1: Parameter `venc->codebooks->ndimentions`
  537. }
  538. 
  539. static int put_main_header(venc_context_t * venc, uint8_t ** out) {
       ^
  540.     int i;
  541.     PutBitContext pb;

libavcodec/vorbis_enc.c:589:9: Call
  587.     put_bits(&pb, 8, venc->ncodebooks - 1);
  588.     for (i = 0; i < venc->ncodebooks; i++)
  589.         put_codebook_header(&pb, &venc->codebooks[i]);
               ^
  590. 
  591.     // time domain, reserved, zero

libavcodec/vorbis_enc.c:417:1: Parameter `cb->ndimentions`
    415. }
    416. 
    417. static void put_codebook_header(PutBitContext * pb, codebook_t * cb) {
         ^
    418.     int i;
    419.     int ordered = 0;

libavcodec/vorbis_enc.c:459:19: Call
    457.     put_bits(pb, 4, cb->lookup);
    458.     if (cb->lookup) {
    459.         int tmp = cb_lookup_vals(cb->lookup, cb->ndimentions, cb->nentries);
                           ^
    460.         int bits = ilog(cb->quantlist[0]);
    461. 

libavcodec/vorbis_enc.c:176:1: Parameter `dimentions`
      174. }
      175. 
      176. static int cb_lookup_vals(int lookup, int dimentions, int entries) {
           ^
      177.     if      (lookup == 1) return ff_vorbis_nth_root(entries, dimentions);
      178.     else if (lookup == 2) return dimentions * entries;

libavcodec/vorbis_enc.c:177:34: Call
      175. 
      176. static int cb_lookup_vals(int lookup, int dimentions, int entries) {
      177.     if      (lookup == 1) return ff_vorbis_nth_root(entries, dimentions);
                                            ^
      178.     else if (lookup == 2) return dimentions * entries;
      179.     return 0;

libavcodec/vorbis.c:35:1: <LHS trace>
33. /* Helper functions */
34. 
35. unsigned int ff_vorbis_nth_root(unsigned int x, unsigned int n) {   // x^(1/n)
    ^
36.     unsigned int ret=0, i, j;
37. 

libavcodec/vorbis.c:35:1: Parameter `n`
        33. /* Helper functions */
        34. 
        35. unsigned int ff_vorbis_nth_root(unsigned int x, unsigned int n) {   // x^(1/n)
            ^
        36.     unsigned int ret=0, i, j;
        37. 

libavcodec/vorbis.c:40:23: Binary operation: ([0, +oo] - 1):unsigned32 by call to `put_main_header` 
        38.     do {
        39.         ++ret;
        40.         for(i=0,j=ret;i<n-1;i++) j*=ret;
                                  ^
        41.     } while (j<=x);
        42. 
