ffmpeg.c:3408: error: Null Dereference
  pointer `oc` last assigned on line 3386 could be null and is dereferenced at line 3408, column 5.

ffmpeg.c:3375:1: start of procedure opt_output_file()
3373. }
3374. 
3375. static void opt_output_file(const char *filename)
      ^
3376. {
3377.     AVFormatContext *oc;

ffmpeg.c:3380:5: 
3378.     int use_video, use_audio, use_subtitle;
3379.     int input_has_video, input_has_audio, input_has_subtitle;
3380.     AVFormatParameters params, *ap = &params;
          ^
3381.     AVOutputFormat *file_oformat;
3382. 

ffmpeg.c:3383:10: Taking false branch
3381.     AVOutputFormat *file_oformat;
3382. 
3383.     if (!strcmp(filename, "-"))
               ^
3384.         filename = "pipe:";
3385. 

ffmpeg.c:3386:5: 
3384.         filename = "pipe:";
3385. 
3386.     oc = avformat_alloc_context();
          ^
3387.     if (!oc) {
3388.         print_error(filename, AVERROR(ENOMEM));

libavformat/options.c:78:1: start of procedure avformat_alloc_context()
  76. }
  77. 
  78. AVFormatContext *avformat_alloc_context(void)
      ^
  79. {
  80.     AVFormatContext *ic;

libavformat/options.c:81:5: 
  79. {
  80.     AVFormatContext *ic;
  81.     ic = av_malloc(sizeof(AVFormatContext));
          ^
  82.     if (!ic) return ic;
  83.     avformat_get_context_defaults(ic);

libavutil/mem.c:64:1: start of procedure av_malloc()
    62.    linker will do it automatically. */
    63. 
    64. void *av_malloc(unsigned int size)
        ^
    65. {
    66.     void *ptr = NULL;

libavutil/mem.c:66:5: 
    64. void *av_malloc(unsigned int size)
    65. {
    66.     void *ptr = NULL;
            ^
    67. #if CONFIG_MEMALIGN_HACK
    68.     long diff;

libavutil/mem.c:72:8: Taking false branch
    70. 
    71.     /* let's disallow possible ambiguous cases */
    72.     if(size > (INT_MAX-16) )
               ^
    73.         return NULL;
    74. 

libavutil/mem.c:83:9: Taking false branch
    81.     ((char*)ptr)[-1]= diff;
    82. #elif HAVE_POSIX_MEMALIGN
    83.     if (posix_memalign(&ptr,16,size))
                ^
    84.         ptr = NULL;
    85. #elif HAVE_MEMALIGN

libavutil/mem.c:116:5: 
    114.     ptr = malloc(size);
    115. #endif
    116.     return ptr;
             ^
    117. }
    118. 

libavutil/mem.c:117:1: return from a call to av_malloc
    115. #endif
    116.     return ptr;
    117. }
         ^
    118. 
    119. void *av_realloc(void *ptr, unsigned int size)

libavformat/options.c:82:10: Taking true branch
  80.     AVFormatContext *ic;
  81.     ic = av_malloc(sizeof(AVFormatContext));
  82.     if (!ic) return ic;
               ^
  83.     avformat_get_context_defaults(ic);
  84.     ic->av_class = &av_format_context_class;

libavformat/options.c:82:14: 
  80.     AVFormatContext *ic;
  81.     ic = av_malloc(sizeof(AVFormatContext));
  82.     if (!ic) return ic;
                   ^
  83.     avformat_get_context_defaults(ic);
  84.     ic->av_class = &av_format_context_class;

libavformat/options.c:86:1: return from a call to avformat_alloc_context
  84.     ic->av_class = &av_format_context_class;
  85.     return ic;
  86. }
      ^
  87. 
  88. #if LIBAVFORMAT_VERSION_MAJOR < 53

ffmpeg.c:3387:10: Taking true branch
3385. 
3386.     oc = avformat_alloc_context();
3387.     if (!oc) {
               ^
3388.         print_error(filename, AVERROR(ENOMEM));
3389.         av_exit(1);

ffmpeg.c:3388:9: 
3386.     oc = avformat_alloc_context();
3387.     if (!oc) {
3388.         print_error(filename, AVERROR(ENOMEM));
              ^
3389.         av_exit(1);
3390.     }

cmdutils.c:294:1: start of procedure print_error()
  292. }
  293. 
  294. void print_error(const char *filename, int err)
       ^
  295. {
  296.     switch(err) {

cmdutils.c:296:5: 
  294. void print_error(const char *filename, int err)
  295. {
  296.     switch(err) {
           ^
  297.     case AVERROR_NUMEXPECTED:
  298.         fprintf(stderr, "%s: Incorrect image filename syntax.\n"

cmdutils.c:297:5: Switch condition is false. Skipping switch case
  295. {
  296.     switch(err) {
  297.     case AVERROR_NUMEXPECTED:
           ^
  298.         fprintf(stderr, "%s: Incorrect image filename syntax.\n"
  299.                 "Use '%%d' to specify the image number:\n"

cmdutils.c:304:5: Switch condition is false. Skipping switch case
  302.                 filename);
  303.         break;
  304.     case AVERROR_INVALIDDATA:
           ^
  305.         fprintf(stderr, "%s: Error while parsing header\n", filename);
  306.         break;

cmdutils.c:307:5: Switch condition is false. Skipping switch case
  305.         fprintf(stderr, "%s: Error while parsing header\n", filename);
  306.         break;
  307.     case AVERROR_NOFMT:
           ^
  308.         fprintf(stderr, "%s: Unknown format\n", filename);
  309.         break;

cmdutils.c:310:5: Switch condition is false. Skipping switch case
  308.         fprintf(stderr, "%s: Unknown format\n", filename);
  309.         break;
  310.     case AVERROR(EIO):
           ^
  311.         fprintf(stderr, "%s: I/O error occurred\n"
  312.                 "Usually that means that input file is truncated and/or corrupted.\n",

cmdutils.c:315:5: Switch condition is true. Entering switch case
  313.                 filename);
  314.         break;
  315.     case AVERROR(ENOMEM):
           ^
  316.         fprintf(stderr, "%s: memory allocation error occurred\n", filename);
  317.         break;

cmdutils.c:316:9: 
  314.         break;
  315.     case AVERROR(ENOMEM):
  316.         fprintf(stderr, "%s: memory allocation error occurred\n", filename);
               ^
  317.         break;
  318.     case AVERROR(ENOENT):

cmdutils.c:330:1: return from a call to print_error
  328.         break;
  329.     }
  330. }
       ^
  331. 
  332. #define PRINT_LIB_VERSION(outstream,libname,LIBNAME,indent)             \

ffmpeg.c:3389:9: Skipping av_exit(): empty list of specs
3387.     if (!oc) {
3388.         print_error(filename, AVERROR(ENOMEM));
3389.         av_exit(1);
              ^
3390.     }
3391. 

ffmpeg.c:3392:9: Taking true branch
3390.     }
3391. 
3392.     if (last_asked_format) {
              ^
3393.         file_oformat = av_guess_format(last_asked_format, NULL, NULL);
3394.         if (!file_oformat) {

ffmpeg.c:3393:9: Skipping av_guess_format(): empty list of specs
3391. 
3392.     if (last_asked_format) {
3393.         file_oformat = av_guess_format(last_asked_format, NULL, NULL);
              ^
3394.         if (!file_oformat) {
3395.             fprintf(stderr, "Requested output format '%s' is not a suitable output format\n", last_asked_format);

ffmpeg.c:3394:14: Taking false branch
3392.     if (last_asked_format) {
3393.         file_oformat = av_guess_format(last_asked_format, NULL, NULL);
3394.         if (!file_oformat) {
                   ^
3395.             fprintf(stderr, "Requested output format '%s' is not a suitable output format\n", last_asked_format);
3396.             av_exit(1);

ffmpeg.c:3398:9: 
3396.             av_exit(1);
3397.         }
3398.         last_asked_format = NULL;
              ^
3399.     } else {
3400.         file_oformat = av_guess_format(NULL, filename, NULL);

ffmpeg.c:3408:5: 
3406.     }
3407. 
3408.     oc->oformat = file_oformat;
          ^
3409.     av_strlcpy(oc->filename, filename, sizeof(oc->filename));
3410. 
