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

libavcodec/proresenc.c:324:5: Call
322. 
323.     prev_dc = (blocks[0] - 0x4000) / scale;
324.     encode_vlc_codeword(pb, FIRST_DC_CB, MAKE_CODE(prev_dc));
         ^
325.     sign     = 0;
326.     codebook = 3;

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/common.h:71:1: Global `ff_log2_tab`
    69. #endif
    70. 
    71. static av_always_inline av_const int av_log2_c(unsigned int v)
        ^
    72. {
    73.     int n = 0;

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

libavutil/common.h:84:5: Assignment
    82.     n += ff_log2_tab[v];
    83. 
    84.     return n;
            ^
    85. }
    86. 

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_vlc_codeword` 
  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 {
