libavcodec/proresdec.c:348: error: Integer Overflow L2
  ([2, +oo] - [1, 4]):unsigned32 by call to `decode_vlc_codeword`.

libavcodec/proresdec.c:348:14: Call
346.     unsigned int code;
347. 
348.     code   = decode_vlc_codeword(gb, FIRST_DC_CB);
                  ^
349.     out[0] = prev_dc = TOSIGNED(code);
350. 

libavcodec/proresdec.c:296:1: <LHS trace>
294.  * Read an unsigned rice/exp golomb codeword.
295.  */
296. static inline int decode_vlc_codeword(GetBitContext *gb, unsigned codebook)
     ^
297. {
298.     unsigned int rice_order, exp_order, switch_bits;

libavcodec/proresdec.c:296:1: Parameter `codebook`
  294.  * Read an unsigned rice/exp golomb codeword.
  295.  */
  296. static inline int decode_vlc_codeword(GetBitContext *gb, unsigned codebook)
       ^
  297. {
  298.     unsigned int rice_order, exp_order, switch_bits;

libavcodec/proresdec.c:307:5: Assignment
  305. 
  306.     /* number of prefix bits to switch between Rice and expGolomb */
  307.     switch_bits = (codebook & 3) + 1;
           ^
  308.     rice_order  = codebook >> 5;        /* rice code order */
  309.     exp_order   = (codebook >> 2) & 7;  /* exp golomb code order */

libavcodec/proresdec.c:296:1: <RHS trace>
294.  * Read an unsigned rice/exp golomb codeword.
295.  */
296. static inline int decode_vlc_codeword(GetBitContext *gb, unsigned codebook)
     ^
297. {
298.     unsigned int rice_order, exp_order, switch_bits;

libavcodec/proresdec.c:296:1: Parameter `codebook`
  294.  * Read an unsigned rice/exp golomb codeword.
  295.  */
  296. static inline int decode_vlc_codeword(GetBitContext *gb, unsigned codebook)
       ^
  297. {
  298.     unsigned int rice_order, exp_order, switch_bits;

libavcodec/proresdec.c:307:5: Assignment
  305. 
  306.     /* number of prefix bits to switch between Rice and expGolomb */
  307.     switch_bits = (codebook & 3) + 1;
           ^
  308.     rice_order  = codebook >> 5;        /* rice code order */
  309.     exp_order   = (codebook >> 2) & 7;  /* exp golomb code order */

libavcodec/proresdec.c:324:9: Binary operation: ([2, +oo] - [1, 4]):unsigned32 by call to `decode_vlc_codeword` 
  322.         }
  323.     } else { /* otherwise we got a exp golomb code */
  324.         len  = (log << 1) - switch_bits + exp_order + 1;
               ^
  325.         code = NEG_USR32(buf, len) - (1 << exp_order) + (switch_bits << rice_order);
  326.         LAST_SKIP_BITS(re, gb, len);
