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

libavcodec/proresenc.c:481:13: Call
479. 
480.     bits  = estimate_dcs(error, ctx->blocks[plane], blocks_per_slice, qmat[0]);
481.     bits += estimate_acs(error, ctx->blocks[plane], blocks_per_slice,
                 ^
482.                          plane_size_factor, ctx->scantable.permutated, qmat);
483. 

libavcodec/proresenc.c:433:1: Global `ff_prores_ac_codebook`
  431. }
  432. 
  433. static int estimate_acs(int *error, DCTELEM *blocks, int blocks_per_slice,
       ^
  434.                         int plane_size_factor,
  435.                         const uint8_t *scan, const int16_t *qmat)

libavcodec/proresenc.c:453:25: Call
  451.             if (level) {
  452.                 abs_level = FFABS(level);
  453.                 bits += estimate_vlc(ff_prores_ac_codebook[run_cb], run);
                               ^
  454.                 bits += estimate_vlc(ff_prores_ac_codebook[lev_cb],
  455.                                      abs_level - 1) + 1;

libavcodec/proresenc.c:395:20: <LHS trace>
393.     if (val >= switch_val) {
394.         val -= switch_val - (1 << exp_order);
395.         exponent = av_log2(val);
                        ^
396. 
397.         return exponent * 2 - exp_order + switch_bits + 1;

libavcodec/proresenc.c:395:20: Call
    393.     if (val >= switch_val) {
    394.         val -= switch_val - (1 << exp_order);
    395.         exponent = av_log2(val);
                            ^
    396. 
    397.         return exponent * 2 - exp_order + switch_bits + 1;

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:395:9: Assignment
    393.     if (val >= switch_val) {
    394.         val -= switch_val - (1 << exp_order);
    395.         exponent = av_log2(val);
                 ^
    396. 
    397.         return exponent * 2 - exp_order + switch_bits + 1;

libavcodec/proresenc.c:381:1: <RHS trace>
379. }
380. 
381. static inline int estimate_vlc(uint8_t codebook, int val)
     ^
382. {
383.     unsigned int rice_order, exp_order, switch_bits, switch_val;

libavcodec/proresenc.c:381:1: Parameter `codebook`
    379. }
    380. 
    381. static inline int estimate_vlc(uint8_t codebook, int val)
         ^
    382. {
    383.     unsigned int rice_order, exp_order, switch_bits, switch_val;

libavcodec/proresenc.c:389:5: Assignment
    387.     switch_bits = (codebook & 3) + 1;
    388.     rice_order  =  codebook >> 5;       /* rice code order */
    389.     exp_order   = (codebook >> 2) & 7;  /* exp golomb code order */
             ^
    390. 
    391.     switch_val  = switch_bits << rice_order;

libavcodec/proresenc.c:397:9: Binary operation: ([0, +oo] - [0, 7]):unsigned32 by call to `estimate_acs` 
    395.         exponent = av_log2(val);
    396. 
    397.         return exponent * 2 - exp_order + switch_bits + 1;
                 ^
    398.     } else {
    399.         return (val >> rice_order) + rice_order + 1;
