libavcodec/mlpdec.c:1015: error: Integer Overflow L2
  ([0, min(8190, `buf_size`)] - 4):unsigned32.

libavcodec/mlpdec.c:994:1: <LHS trace>
992.  *  otherwise returns the number of bytes consumed. */
993. 
994. static int read_access_unit(AVCodecContext *avctx, void* data, int *data_size,
     ^
995.                             const uint8_t *buf, int buf_size)
996. {

libavcodec/mlpdec.c:994:1: Parameter `buf_size`
992.  *  otherwise returns the number of bytes consumed. */
993. 
994. static int read_access_unit(AVCodecContext *avctx, void* data, int *data_size,
     ^
995.                             const uint8_t *buf, int buf_size)
996. {

libavcodec/mlpdec.c:1015:5: Binary operation: ([0, min(8190, buf_size)] - 4):unsigned32
1013.         return -1;
1014. 
1015.     init_get_bits(&gb, (buf + 4), (length - 4) * 8);
          ^
1016. 
1017.     if (show_bits_long(&gb, 31) == (0xf8726fba >> 1)) {
