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

libavcodec/utils.c:1609:9: Call
1607.         /* output avi tags */
1608.         char tag_buf[32];
1609.         av_get_codec_tag_string(tag_buf, sizeof(tag_buf), enc->codec_tag);
              ^
1610.         snprintf(buf1, sizeof(buf1), "%s / 0x%04X", tag_buf, enc->codec_tag);
1611.         codec_name = buf1;

libavcodec/utils.c:1561:1: <LHS trace>
1559. }
1560. 
1561. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
      ^
1562. {
1563.     int i, len, ret = 0;

libavcodec/utils.c:1561:1: Parameter `buf_size`
  1559. }
  1560. 
  1561. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
        ^
  1562. {
  1563.     int i, len, ret = 0;

libavcodec/utils.c:1561:1: <RHS trace>
1559. }
1560. 
1561. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
      ^
1562. {
1563.     int i, len, ret = 0;

libavcodec/utils.c:1561:1: Parameter `buf_size`
  1559. }
  1560. 
  1561. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
        ^
  1562. {
  1563.     int i, len, ret = 0;

libavcodec/utils.c:1574:23: Binary operation: ([1, 32] - [0, 31]):unsigned64 by call to `av_get_codec_tag_string` 
  1572.                        TAG_PRINT(codec_tag & 0xFF) ? "%c" : "[%d]", codec_tag & 0xFF);
  1573.         buf        += len;
  1574.         buf_size    = buf_size > len ? buf_size - len : 0;
                              ^
  1575.         ret        += len;
  1576.         codec_tag >>= 8;
