ffprobe.c:141: error: Integer Overflow L2
  ([1, 128] - [0, 127]):unsigned64 by call to `av_get_codec_tag_string`.

ffprobe.c:141:9: Call
139. 
140.         /* print AVI/FourCC tag */
141.         av_get_codec_tag_string(val_str, sizeof(val_str), dec_ctx->codec_tag);
             ^
142.         printf("codec_tag_string=%s\n", val_str);
143.         printf("codec_tag=0x%04x\n", dec_ctx->codec_tag);

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, 128] - [0, 127]):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;
