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

libavcodec/proresdec.c:432:5: Call
430.     decode_dc_coeffs(&gb, td->blocks, blocks_per_slice);
431. 
432.     decode_ac_coeffs(&gb, td->blocks, blocks_per_slice,
         ^
433.                      plane_size_factor, ctx->scantable.permutated);
434. 

libavcodec/proresdec.c:368:1: Global `ff_prores_ac_codebook`
  366.  * Decode AC coefficients for all blocks in a slice.
  367.  */
  368. static inline void decode_ac_coeffs(GetBitContext *gb, DCTELEM *out,
       ^
  369.                                     int blocks_per_slice,
  370.                                     int plane_size_factor,

libavcodec/proresdec.c:391:15: Call
  389.             return;
  390. 
  391.         run = decode_vlc_codeword(gb, ff_prores_ac_codebook[run_cb_index]);
                     ^
  392. 
  393.         bits_left = get_bits_left(gb);

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_ac_coeffs` 
    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);
