libavcodec/utils.c:1565: error: Integer Overflow L2
  ([1, 32] - [0, 31]):unsigned64 by call to `av_get_codec_tag_string`.

libavcodec/utils.c:1565:9: Call
1563.         /* output avi tags */
1564.         char tag_buf[32];
1565.         av_get_codec_tag_string(tag_buf, sizeof(tag_buf), enc->codec_tag);
              ^
1566.         snprintf(buf1, sizeof(buf1), "%s / 0x%04X", tag_buf, enc->codec_tag);
1567.         codec_name = buf1;

libavcodec/utils.c:1522:1: <LHS trace>
1520. }
1521. 
1522. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
      ^
1523. {
1524.     int i, len, ret = 0;

libavcodec/utils.c:1522:1: Parameter `buf_size`
  1520. }
  1521. 
  1522. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
        ^
  1523. {
  1524.     int i, len, ret = 0;

libavcodec/utils.c:1522:1: <RHS trace>
1520. }
1521. 
1522. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
      ^
1523. {
1524.     int i, len, ret = 0;

libavcodec/utils.c:1522:1: Parameter `buf_size`
  1520. }
  1521. 
  1522. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
        ^
  1523. {
  1524.     int i, len, ret = 0;

libavcodec/utils.c:1530:23: Binary operation: ([1, 32] - [0, 31]):unsigned64 by call to `av_get_codec_tag_string` 
  1528.                        isprint(codec_tag & 0xFF) ? "%c" : "[%d]", codec_tag & 0xFF);
  1529.         buf        += len;
  1530.         buf_size    = buf_size > len ? buf_size - len : 0;
                              ^
  1531.         ret        += len;
  1532.         codec_tag >>= 8;
