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

libavcodec/proresenc.c:389:5: Call
387. 
388.     encode_dcs(pb, blocks, blocks_per_slice, qmat[0]);
389.     encode_acs(pb, blocks, blocks_per_slice, plane_size_factor,
         ^
390.                ctx->scantable.permutated, qmat);
391.     flush_put_bits(pb);

libavcodec/proresenc.c:343:1: Global `ff_prores_ac_codebook`
  341. }
  342. 
  343. static void encode_acs(PutBitContext *pb, DCTELEM *blocks,
       ^
  344.                        int blocks_per_slice,
  345.                        int plane_size_factor,

libavcodec/proresenc.c:362:17: Call
  360.             if (level) {
  361.                 abs_level = FFABS(level);
  362.                 encode_vlc_codeword(pb, ff_prores_ac_codebook[run_cb], run);
                       ^
  363.                 encode_vlc_codeword(pb, ff_prores_ac_codebook[lev_cb],
  364.                                     abs_level - 1);

libavcodec/proresenc.c:299:20: <LHS trace>
297.     if (val >= switch_val) {
298.         val -= switch_val - (1 << exp_order);
299.         exponent = av_log2(val);
                        ^
300. 
301.         put_bits(pb, exponent - exp_order + switch_bits, 0);

libavcodec/proresenc.c:299:20: Call
    297.     if (val >= switch_val) {
    298.         val -= switch_val - (1 << exp_order);
    299.         exponent = av_log2(val);
                            ^
    300. 
    301.         put_bits(pb, exponent - exp_order + switch_bits, 0);

libavutil/intmath.h:53:1: Global `ff_log2_tab`
      51. #ifndef ff_log2
      52. #define ff_log2 ff_log2_c
      53. static av_always_inline av_const int ff_log2_c(unsigned int v)
          ^
      54. {
      55.     int n = 0;

libavutil/intmath.h:64:5: Assignment
      62.         n += 8;
      63.     }
      64.     n += ff_log2_tab[v];
              ^
      65. 
      66.     return n;

libavutil/intmath.h:66:5: Assignment
      64.     n += ff_log2_tab[v];
      65. 
      66.     return n;
              ^
      67. }
      68. #endif

libavcodec/proresenc.c:299:9: Assignment
    297.     if (val >= switch_val) {
    298.         val -= switch_val - (1 << exp_order);
    299.         exponent = av_log2(val);
                 ^
    300. 
    301.         put_bits(pb, exponent - exp_order + switch_bits, 0);

libavcodec/proresenc.c:285:1: <RHS trace>
283.  * Write an unsigned rice/exp golomb codeword.
284.  */
285. static inline void encode_vlc_codeword(PutBitContext *pb, unsigned codebook, int val)
     ^
286. {
287.     unsigned int rice_order, exp_order, switch_bits, switch_val;

libavcodec/proresenc.c:285:1: Parameter `codebook`
    283.  * Write an unsigned rice/exp golomb codeword.
    284.  */
    285. static inline void encode_vlc_codeword(PutBitContext *pb, unsigned codebook, int val)
         ^
    286. {
    287.     unsigned int rice_order, exp_order, switch_bits, switch_val;

libavcodec/proresenc.c:293:5: Assignment
    291.     switch_bits = (codebook & 3) + 1;
    292.     rice_order  =  codebook >> 5;       /* rice code order */
    293.     exp_order   = (codebook >> 2) & 7;  /* exp golomb code order */
             ^
    294. 
    295.     switch_val  = switch_bits << rice_order;

libavcodec/proresenc.c:301:9: Binary operation: ([0, +oo] - [0, 7]):unsigned32 by call to `encode_acs` 
    299.         exponent = av_log2(val);
    300. 
    301.         put_bits(pb, exponent - exp_order + switch_bits, 0);
                 ^
    302.         put_bits(pb, exponent + 1, val);
    303.     } else {
