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

avprobe.c:608:9: Call
606. 
607.         /* print AVI/FourCC tag */
608.         av_get_codec_tag_string(val_str, sizeof(val_str), dec_ctx->codec_tag);
             ^
609.         probe_str("codec_tag_string", val_str);
610.         probe_str("codec_tag", tag_string(val_str, sizeof(val_str),

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

size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
{
    int i, len, ret = 0;
#define TAG_PRINT(x)                                              \
    (((x) >= '0' && (x) <= '9') ||                                \
     ((x) >= 'a' && (x) <= 'z') || ((x) >= 'A' && (x) <= 'Z') ||  \
     ((x) == '.' || (x) == ' '))
    for (i = 0; i < 4; i++) {
        len = snprintf(buf, buf_size,
                       TAG_PRINT(codec_tag & 0xFF) ? "%c" : "[%d]", codec_tag & 0xFF);
        buf        += len;
        buf_size    = buf_size > len ? buf_size - len : 0;
        ret        += len;
        codec_tag >>= 8;
    }
    return ret;
}
['static void show_stream(AVFormatContext *fmt_ctx, int stream_idx)\n{\n    AVStream *stream = fmt_ctx->streams[stream_idx];\n    AVCodecContext *dec_ctx;\n    const AVCodec *dec;\n    const char *profile;\n    char val_str[128];\n    AVRational display_aspect_ratio, *sar = NULL;\n    const AVPixFmtDescriptor *desc;\n    probe_object_header("stream");\n    probe_int("index", stream->index);\n    if ((dec_ctx = stream->codec)) {\n        if ((dec = dec_ctx->codec)) {\n            probe_str("codec_name", dec->name);\n            probe_str("codec_long_name", dec->long_name);\n        } else {\n            probe_str("codec_name", "unknown");\n        }\n        probe_str("codec_type", media_type_string(dec_ctx->codec_type));\n        probe_str("codec_time_base",\n                  rational_string(val_str, sizeof(val_str),\n                                  "/", &dec_ctx->time_base));\n        av_get_codec_tag_string(val_str, sizeof(val_str), dec_ctx->codec_tag);\n        probe_str("codec_tag_string", val_str);\n        probe_str("codec_tag", tag_string(val_str, sizeof(val_str),\n                                          dec_ctx->codec_tag));\n        if (dec && (profile = av_get_profile_name(dec, dec_ctx->profile)))\n            probe_str("profile", profile);\n        switch (dec_ctx->codec_type) {\n        case AVMEDIA_TYPE_VIDEO:\n            probe_int("width", dec_ctx->width);\n            probe_int("height", dec_ctx->height);\n            probe_int("has_b_frames", dec_ctx->has_b_frames);\n            if (dec_ctx->sample_aspect_ratio.num)\n                sar = &dec_ctx->sample_aspect_ratio;\n            else if (stream->sample_aspect_ratio.num)\n                sar = &stream->sample_aspect_ratio;\n            if (sar) {\n                probe_str("sample_aspect_ratio",\n                          rational_string(val_str, sizeof(val_str), ":", sar));\n                av_reduce(&display_aspect_ratio.num, &display_aspect_ratio.den,\n                          dec_ctx->width  * sar->num, dec_ctx->height * sar->den,\n                          1024*1024);\n                probe_str("display_aspect_ratio",\n                          rational_string(val_str, sizeof(val_str), ":",\n                          &display_aspect_ratio));\n            }\n            desc = av_pix_fmt_desc_get(dec_ctx->pix_fmt);\n            probe_str("pix_fmt", desc ? desc->name : "unknown");\n            probe_int("level", dec_ctx->level);\n            break;\n        case AVMEDIA_TYPE_AUDIO:\n            probe_str("sample_rate",\n                      value_string(val_str, sizeof(val_str),\n                                   dec_ctx->sample_rate,\n                                   unit_hertz_str));\n            probe_int("channels", dec_ctx->channels);\n            probe_int("bits_per_sample",\n                      av_get_bits_per_sample(dec_ctx->codec_id));\n            break;\n        }\n    } else {\n        probe_str("codec_type", "unknown");\n    }\n    if (fmt_ctx->iformat->flags & AVFMT_SHOW_IDS)\n        probe_int("id", stream->id);\n    probe_str("avg_frame_rate",\n              rational_string(val_str, sizeof(val_str), "/",\n              &stream->avg_frame_rate));\n    if (dec_ctx->bit_rate)\n        probe_str("bit_rate",\n                  value_string(val_str, sizeof(val_str),\n                               dec_ctx->bit_rate, unit_bit_per_second_str));\n    probe_str("time_base",\n              rational_string(val_str, sizeof(val_str), "/",\n              &stream->time_base));\n    probe_str("start_time",\n              time_value_string(val_str, sizeof(val_str),\n                                stream->start_time, &stream->time_base));\n    probe_str("duration",\n              time_value_string(val_str, sizeof(val_str),\n                                stream->duration, &stream->time_base));\n    if (stream->nb_frames)\n        probe_int("nb_frames", stream->nb_frames);\n    probe_dict(stream->metadata, "tags");\n    probe_object_footer("stream");\n}', 'size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)\n{\n    int i, len, ret = 0;\n#define TAG_PRINT(x)                                              \\\n    (((x) >= \'0\' && (x) <= \'9\') ||                                \\\n     ((x) >= \'a\' && (x) <= \'z\') || ((x) >= \'A\' && (x) <= \'Z\') ||  \\\n     ((x) == \'.\' || (x) == \' \'))\n    for (i = 0; i < 4; i++) {\n        len = snprintf(buf, buf_size,\n                       TAG_PRINT(codec_tag & 0xFF) ? "%c" : "[%d]", codec_tag & 0xFF);\n        buf        += len;\n        buf_size    = buf_size > len ? buf_size - len : 0;\n        ret        += len;\n        codec_tag >>= 8;\n    }\n    return ret;\n}']