libavformat/utils.c:1866: error: Integer Overflow L2
  ([-9223372036854775807, +oo] - [-oo, 9223372036854775806]):signed64.

libavformat/utils.c:1844:5: <LHS trace>
1842.     AVStream *st;
1843. 
1844.     start_time = INT64_MAX;
          ^
1845.     end_time = INT64_MIN;
1846.     duration = INT64_MIN;

libavformat/utils.c:1844:5: Assignment
1842.     AVStream *st;
1843. 
1844.     start_time = INT64_MAX;
          ^
1845.     end_time = INT64_MIN;
1846.     duration = INT64_MIN;

libavformat/utils.c:1844:5: <RHS trace>
1842.     AVStream *st;
1843. 
1844.     start_time = INT64_MAX;
          ^
1845.     end_time = INT64_MIN;
1846.     duration = INT64_MIN;

libavformat/utils.c:1844:5: Assignment
1842.     AVStream *st;
1843. 
1844.     start_time = INT64_MAX;
          ^
1845.     end_time = INT64_MIN;
1846.     duration = INT64_MIN;

libavformat/utils.c:1866:24: Binary operation: ([-9223372036854775807, +oo] - [-oo, 9223372036854775806]):signed64
1864.         ic->start_time = start_time;
1865.         if (end_time != INT64_MIN)
1866.             duration = FFMAX(duration, end_time - start_time);
                             ^
1867.     }
1868.     if (duration != INT64_MIN) {

static void update_stream_timings(AVFormatContext *ic)
{
    int64_t start_time, start_time1, end_time, end_time1;
    int64_t duration, duration1, filesize;
    int i;
    AVStream *st;
    start_time = INT64_MAX;
    end_time = INT64_MIN;
    duration = INT64_MIN;
    for(i = 0;i < ic->nb_streams; i++) {
        st = ic->streams[i];
        if (st->start_time != AV_NOPTS_VALUE && st->time_base.den) {
            start_time1= av_rescale_q(st->start_time, st->time_base, AV_TIME_BASE_Q);
            start_time = FFMIN(start_time, start_time1);
            if (st->duration != AV_NOPTS_VALUE) {
                end_time1 = start_time1
                          + av_rescale_q(st->duration, st->time_base, AV_TIME_BASE_Q);
                end_time = FFMAX(end_time, end_time1);
            }
        }
        if (st->duration != AV_NOPTS_VALUE) {
            duration1 = av_rescale_q(st->duration, st->time_base, AV_TIME_BASE_Q);
            duration = FFMAX(duration, duration1);
        }
    }
    if (start_time != INT64_MAX) {
        ic->start_time = start_time;
        if (end_time != INT64_MIN)
            duration = FFMAX(duration, end_time - start_time);
    }
    if (duration != INT64_MIN) {
        ic->duration = duration;
        if (ic->pb && (filesize = avio_size(ic->pb)) > 0) {
            ic->bit_rate = (double)filesize * 8.0 * AV_TIME_BASE /
                (double)ic->duration;
        }
    }
}
['static void update_stream_timings(AVFormatContext *ic)\n{\n    int64_t start_time, start_time1, end_time, end_time1;\n    int64_t duration, duration1, filesize;\n    int i;\n    AVStream *st;\n    start_time = INT64_MAX;\n    end_time = INT64_MIN;\n    duration = INT64_MIN;\n    for(i = 0;i < ic->nb_streams; i++) {\n        st = ic->streams[i];\n        if (st->start_time != AV_NOPTS_VALUE && st->time_base.den) {\n            start_time1= av_rescale_q(st->start_time, st->time_base, AV_TIME_BASE_Q);\n            start_time = FFMIN(start_time, start_time1);\n            if (st->duration != AV_NOPTS_VALUE) {\n                end_time1 = start_time1\n                          + av_rescale_q(st->duration, st->time_base, AV_TIME_BASE_Q);\n                end_time = FFMAX(end_time, end_time1);\n            }\n        }\n        if (st->duration != AV_NOPTS_VALUE) {\n            duration1 = av_rescale_q(st->duration, st->time_base, AV_TIME_BASE_Q);\n            duration = FFMAX(duration, duration1);\n        }\n    }\n    if (start_time != INT64_MAX) {\n        ic->start_time = start_time;\n        if (end_time != INT64_MIN)\n            duration = FFMAX(duration, end_time - start_time);\n    }\n    if (duration != INT64_MIN) {\n        ic->duration = duration;\n        if (ic->pb && (filesize = avio_size(ic->pb)) > 0) {\n            ic->bit_rate = (double)filesize * 8.0 * AV_TIME_BASE /\n                (double)ic->duration;\n        }\n    }\n}']