libavcodec/proresdec.c:426: error: Integer Overflow L2
  ([2, 62] - [1, 4]):unsigned32 by call to `decode_dc_coeffs`.

libavcodec/proresdec.c:426:5: Call
424.     init_get_bits(&gb, buf, data_size << 3);
425. 
426.     decode_dc_coeffs(&gb, td->blocks, blocks_per_slice);
         ^
427. 
428.     decode_ac_coeffs(&gb, td->blocks, blocks_per_slice,

libavcodec/proresdec.c:336:1: Global `ff_prores_dc_codebook`
  334.  * Decode DC coefficients for all blocks in a slice.
  335.  */
  336. static inline void decode_dc_coeffs(GetBitContext *gb, DCTELEM *out,
       ^
  337.                                     int nblocks)
  338. {

libavcodec/proresdec.c:351:16: Call
  349. 
  350.     for (i = 1; i < nblocks; i++, out += 64) {
  351.         code = decode_vlc_codeword(gb, ff_prores_dc_codebook[FFMIN(FFABS(delta), 3)]);
                      ^
  352. 
  353.         sign     = -(((delta >> 15) & 1) ^ (code & 1));

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

libavcodec/proresdec.c:292:1: Parameter `codebook`
    290.  * Read an unsigned rice/exp golomb codeword.
    291.  */
    292. static inline int decode_vlc_codeword(GetBitContext *gb, uint8_t codebook)
         ^
    293. {
    294.     unsigned int rice_order, exp_order, switch_bits;

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

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

libavcodec/proresdec.c:292:1: Parameter `codebook`
    290.  * Read an unsigned rice/exp golomb codeword.
    291.  */
    292. static inline int decode_vlc_codeword(GetBitContext *gb, uint8_t codebook)
         ^
    293. {
    294.     unsigned int rice_order, exp_order, switch_bits;

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

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