libavcodec/proresenc.c:331: error: Integer Overflow L2
  ([0, +oo] - [0, 7]):unsigned32 by call to `encode_acs`.

libavcodec/proresenc.c:331:5: Call
329. 
330.     encode_dcs(pb, blocks, blocks_per_slice, qmat[0]);
331.     encode_acs(pb, blocks, blocks_per_slice, plane_size_factor,
         ^
332.                ctx->scantable.permutated, qmat);
333.     flush_put_bits(pb);

libavcodec/proresenc.c:285:1: Global `ff_prores_ac_codebook`
  283. }
  284. 
  285. static void encode_acs(PutBitContext *pb, DCTELEM *blocks,
       ^
  286.                        int blocks_per_slice,
  287.                        int plane_size_factor,

libavcodec/proresenc.c:304:17: Call
  302.             if (level) {
  303.                 abs_level = FFABS(level);
  304.                 encode_vlc_codeword(pb, ff_prores_ac_codebook[run_cb], run);
                       ^
  305.                 encode_vlc_codeword(pb, ff_prores_ac_codebook[lev_cb],
  306.                                     abs_level - 1);

libavcodec/proresenc.c:241:20: <LHS trace>
239.     if (val >= switch_val) {
240.         val -= switch_val - (1 << exp_order);
241.         exponent = av_log2(val);
                        ^
242. 
243.         put_bits(pb, exponent - exp_order + switch_bits, 0);

libavcodec/proresenc.c:241:20: Call
    239.     if (val >= switch_val) {
    240.         val -= switch_val - (1 << exp_order);
    241.         exponent = av_log2(val);
                            ^
    242. 
    243.         put_bits(pb, exponent - exp_order + switch_bits, 0);

libavutil/common.h:67:1: Global `ff_log2_tab`
      65. extern const uint8_t av_reverse[256];
      66. 
      67. static av_always_inline av_const int av_log2_c(unsigned int v)
          ^
      68. {
      69.     int n = 0;

libavutil/common.h:78:5: Assignment
      76.         n += 8;
      77.     }
      78.     n += ff_log2_tab[v];
              ^
      79. 
      80.     return n;

libavutil/common.h:80:5: Assignment
      78.     n += ff_log2_tab[v];
      79. 
      80.     return n;
              ^
      81. }
      82. 

libavcodec/proresenc.c:241:9: Assignment
    239.     if (val >= switch_val) {
    240.         val -= switch_val - (1 << exp_order);
    241.         exponent = av_log2(val);
                 ^
    242. 
    243.         put_bits(pb, exponent - exp_order + switch_bits, 0);

libavcodec/proresenc.c:227:1: <RHS trace>
225.  * Write an unsigned rice/exp golomb codeword.
226.  */
227. static inline void encode_vlc_codeword(PutBitContext *pb, uint8_t codebook, int val)
     ^
228. {
229.     unsigned int rice_order, exp_order, switch_bits, switch_val;

libavcodec/proresenc.c:227:1: Parameter `codebook`
    225.  * Write an unsigned rice/exp golomb codeword.
    226.  */
    227. static inline void encode_vlc_codeword(PutBitContext *pb, uint8_t codebook, int val)
         ^
    228. {
    229.     unsigned int rice_order, exp_order, switch_bits, switch_val;

libavcodec/proresenc.c:235:5: Assignment
    233.     switch_bits = (codebook & 3) + 1;
    234.     rice_order  =  codebook >> 5;       /* rice code order */
    235.     exp_order   = (codebook >> 2) & 7;  /* exp golomb code order */
             ^
    236. 
    237.     switch_val  = switch_bits << rice_order;

libavcodec/proresenc.c:243:9: Binary operation: ([0, +oo] - [0, 7]):unsigned32 by call to `encode_acs` 
    241.         exponent = av_log2(val);
    242. 
    243.         put_bits(pb, exponent - exp_order + switch_bits, 0);
                 ^
    244.         put_bits(pb, 1, 1);
    245.         put_bits(pb, exponent, val);
