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

libavcodec/utils.c:844:9: Call
842.         /* output avi tags */
843.         char tag_buf[32];
844.         av_get_codec_tag_string(tag_buf, sizeof(tag_buf), enc->codec_tag);
             ^
845.         snprintf(buf1, sizeof(buf1), "%s / 0x%04X", tag_buf, enc->codec_tag);
846.         codec_name = buf1;

libavcodec/utils.c:805:1: <LHS trace>
803. }
804. 
805. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
     ^
806. {
807.     int i, len, ret = 0;

libavcodec/utils.c:805:1: Parameter `buf_size`
  803. }
  804. 
  805. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
       ^
  806. {
  807.     int i, len, ret = 0;

libavcodec/utils.c:805:1: <RHS trace>
803. }
804. 
805. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
     ^
806. {
807.     int i, len, ret = 0;

libavcodec/utils.c:805:1: Parameter `buf_size`
  803. }
  804. 
  805. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
       ^
  806. {
  807.     int i, len, ret = 0;

libavcodec/utils.c:813:21: Binary operation: ([1, 32] - [0, 31]):unsigned64 by call to `av_get_codec_tag_string` 
  811.                        isprint(codec_tag&0xFF) ? "%c" : "[%d]", codec_tag&0xFF);
  812.         buf      += len;
  813.         buf_size  = buf_size > len ? buf_size - len : 0;
                           ^
  814.         ret      += len;
  815.         codec_tag>>=8;
