libavcodec/alsdec.c:563: error: Integer Overflow L2
  ([0, `block_length`] - 1):unsigned32.

libavcodec/alsdec.c:500:1: <LHS trace>
498. /** Reads the block data for a non-constant block
499.  */
500. static int read_var_block(ALSDecContext *ctx, unsigned int ra_block,
     ^
501.                           int32_t *raw_samples, unsigned int block_length,
502.                           unsigned int *js_blocks, int32_t *raw_other,

libavcodec/alsdec.c:500:1: Parameter `block_length`
498. /** Reads the block data for a non-constant block
499.  */
500. static int read_var_block(ALSDecContext *ctx, unsigned int ra_block,
     ^
501.                           int32_t *raw_samples, unsigned int block_length,
502.                           unsigned int *js_blocks, int32_t *raw_other,

libavcodec/alsdec.c:563:49: Binary operation: ([0, block_length] - 1):unsigned32
561.     if (!sconf->rlslms) {
562.         if (sconf->adapt_order) {
563.             int opt_order_length = av_ceil_log2(av_clip((block_length >> 3) - 1,
                                                     ^
564.                                                 2, sconf->max_order + 1));
565.             opt_order            = get_bits(gb, opt_order_length);
