ffmpeg.c:657: error: Integer Overflow L2
  ([0, +oo] - 1):unsigned32 by call to `av_close_input_file`.

ffmpeg.c:645:17: Unknown value from: choose_pixel_fmt
643.                 st->stream_copy = 1;
644.             } else
645.                 choose_pixel_fmt(st, codec);
                     ^
646.         }
647. 

ffmpeg.c:657:5: Call
655.         s->timestamp = av_gettime();
656. 
657.     av_close_input_file(ic);
         ^
658.     return 0;
659. }

libavformat/utils.c:2570:1: Parameter `s->nb_programs`
  2568. }
  2569. 
  2570. void av_close_input_file(AVFormatContext *s)
        ^
  2571. {
  2572.     AVIOContext *pb = s->iformat->flags & AVFMT_NOFILE ? NULL : s->pb;

libavformat/utils.c:2573:5: Call
  2571. {
  2572.     AVIOContext *pb = s->iformat->flags & AVFMT_NOFILE ? NULL : s->pb;
  2573.     av_close_input_stream(s);
            ^
  2574.     if (pb)
  2575.         avio_close(pb);

libavformat/utils.c:2524:1: Parameter `s->nb_programs`
    2522. }
    2523. 
    2524. void av_close_input_stream(AVFormatContext *s)
          ^
    2525. {
    2526.     flush_packet_queue(s);

libavformat/utils.c:2529:5: Call
    2527.     if (s->iformat->read_close)
    2528.         s->iformat->read_close(s);
    2529.     avformat_free_context(s);
              ^
    2530. }
    2531. 

libavformat/utils.c:2532:1: <LHS trace>
2530. }
2531. 
2532. void avformat_free_context(AVFormatContext *s)
      ^
2533. {
2534.     int i;

libavformat/utils.c:2532:1: Parameter `s->nb_programs`
      2530. }
      2531. 
      2532. void avformat_free_context(AVFormatContext *s)
            ^
      2533. {
      2534.     int i;

libavformat/utils.c:2553:9: Binary operation: ([0, +oo] - 1):unsigned32 by call to `av_close_input_file` 
      2551.         av_free(st);
      2552.     }
      2553.     for(i=s->nb_programs-1; i>=0; i--) {
                    ^
      2554.         av_metadata_free(&s->programs[i]->metadata);
      2555.         av_freep(&s->programs[i]->stream_index);

void avformat_free_context(AVFormatContext *s)
{
    int i;
    AVStream *st;
    for(i=0;i<s->nb_streams;i++) {
        st = s->streams[i];
        if (st->parser) {
            av_parser_close(st->parser);
            av_free_packet(&st->cur_pkt);
        }
        av_metadata_free(&st->metadata);
        av_free(st->index_entries);
        av_free(st->codec->extradata);
        av_free(st->codec->subtitle_header);
        av_free(st->codec);
        av_free(st->priv_data);
        av_free(st->info);
        av_free(st);
    }
    for(i=s->nb_programs-1; i>=0; i--) {
        av_metadata_free(&s->programs[i]->metadata);
        av_freep(&s->programs[i]->stream_index);
        av_freep(&s->programs[i]);
    }
    av_freep(&s->programs);
    av_freep(&s->priv_data);
    while(s->nb_chapters--) {
        av_metadata_free(&s->chapters[s->nb_chapters]->metadata);
        av_free(s->chapters[s->nb_chapters]);
    }
    av_freep(&s->chapters);
    av_metadata_free(&s->metadata);
    av_freep(&s->key);
    av_free(s);
}
['static int read_ffserver_streams(AVFormatContext *s, const char *filename)\n{\n    int i, err;\n    AVFormatContext *ic;\n    int nopts = 0;\n    err = av_open_input_file(&ic, filename, NULL, FFM_PACKET_SIZE, NULL);\n    if (err < 0)\n        return err;\n    s->nb_streams = 0;\n    for(i=0;i<ic->nb_streams;i++) {\n        AVStream *st;\n        AVCodec *codec;\n        s->nb_streams++;\n        st = av_mallocz(sizeof(AVStream));\n        memcpy(st, ic->streams[i], sizeof(AVStream));\n        st->codec = avcodec_alloc_context();\n        if (!st->codec) {\n            print_error(filename, AVERROR(ENOMEM));\n            ffmpeg_exit(1);\n        }\n        avcodec_copy_context(st->codec, ic->streams[i]->codec);\n        s->streams[i] = st;\n        codec = avcodec_find_encoder(st->codec->codec_id);\n        if (st->codec->codec_type == AVMEDIA_TYPE_AUDIO) {\n            if (audio_stream_copy) {\n                st->stream_copy = 1;\n            } else\n                choose_sample_fmt(st, codec);\n        } else if (st->codec->codec_type == AVMEDIA_TYPE_VIDEO) {\n            if (video_stream_copy) {\n                st->stream_copy = 1;\n            } else\n                choose_pixel_fmt(st, codec);\n        }\n        if(st->codec->flags & CODEC_FLAG_BITEXACT)\n            nopts = 1;\n        new_output_stream(s, nb_output_files);\n    }\n    if (!nopts)\n        s->timestamp = av_gettime();\n    av_close_input_file(ic);\n    return 0;\n}', 'void av_close_input_file(AVFormatContext *s)\n{\n    AVIOContext *pb = s->iformat->flags & AVFMT_NOFILE ? NULL : s->pb;\n    av_close_input_stream(s);\n    if (pb)\n        avio_close(pb);\n}', 'void av_close_input_stream(AVFormatContext *s)\n{\n    flush_packet_queue(s);\n    if (s->iformat->read_close)\n        s->iformat->read_close(s);\n    avformat_free_context(s);\n}', 'void avformat_free_context(AVFormatContext *s)\n{\n    int i;\n    AVStream *st;\n    for(i=0;i<s->nb_streams;i++) {\n        st = s->streams[i];\n        if (st->parser) {\n            av_parser_close(st->parser);\n            av_free_packet(&st->cur_pkt);\n        }\n        av_metadata_free(&st->metadata);\n        av_free(st->index_entries);\n        av_free(st->codec->extradata);\n        av_free(st->codec->subtitle_header);\n        av_free(st->codec);\n        av_free(st->priv_data);\n        av_free(st->info);\n        av_free(st);\n    }\n    for(i=s->nb_programs-1; i>=0; i--) {\n        av_metadata_free(&s->programs[i]->metadata);\n        av_freep(&s->programs[i]->stream_index);\n        av_freep(&s->programs[i]);\n    }\n    av_freep(&s->programs);\n    av_freep(&s->priv_data);\n    while(s->nb_chapters--) {\n        av_metadata_free(&s->chapters[s->nb_chapters]->metadata);\n        av_free(s->chapters[s->nb_chapters]);\n    }\n    av_freep(&s->chapters);\n    av_metadata_free(&s->metadata);\n    av_freep(&s->key);\n    av_free(s);\n}']