ffmpeg.c:963: error: Integer Overflow L2
  ([0, 2147483647] + [0, 2147483647]):signed32.

ffmpeg.c:857:1: <LHS trace>
855. static uint8_t *bit_buffer= NULL;
856. 
857. static void do_video_out(AVFormatContext *s,
     ^
858.                          AVOutputStream *ost,
859.                          AVInputStream *ist,

ffmpeg.c:857:1: Parameter `ost->bottomBand`
855. static uint8_t *bit_buffer= NULL;
856. 
857. static void do_video_out(AVFormatContext *s,
     ^
858.                          AVOutputStream *ost,
859.                          AVInputStream *ist,

ffmpeg.c:947:13: Assignment
945.             fprintf(stderr,"Input Stream #%d.%d frame size changed to %dx%d, %s\n", ist->file_index, ist->index, ist->st->codec->width, ist->st->codec->height,avcodec_get_pix_fmt_name(ist->st->codec->pix_fmt));
946.             /* keep bands proportional to the frame size */
947.             topBand    = ((int64_t)ist->st->codec->height * ost->original_topBand    / ost->original_height) & ~1;
                 ^
948.             bottomBand = ((int64_t)ist->st->codec->height * ost->original_bottomBand / ost->original_height) & ~1;
949.             leftBand   = ((int64_t)ist->st->codec->width  * ost->original_leftBand   / ost->original_width)  & ~1;

ffmpeg.c:958:13: Assignment
956.             assert(rightBand  <= INT_MAX && rightBand  >= 0);
957. 
958.             ost->topBand    = topBand;
                 ^
959.             ost->bottomBand = bottomBand;
960.             ost->leftBand   = leftBand;

ffmpeg.c:857:1: <RHS trace>
855. static uint8_t *bit_buffer= NULL;
856. 
857. static void do_video_out(AVFormatContext *s,
     ^
858.                          AVOutputStream *ost,
859.                          AVInputStream *ist,

ffmpeg.c:857:1: Parameter `ost->bottomBand`
855. static uint8_t *bit_buffer= NULL;
856. 
857. static void do_video_out(AVFormatContext *s,
     ^
858.                          AVOutputStream *ost,
859.                          AVInputStream *ist,

ffmpeg.c:948:13: Assignment
946.             /* keep bands proportional to the frame size */
947.             topBand    = ((int64_t)ist->st->codec->height * ost->original_topBand    / ost->original_height) & ~1;
948.             bottomBand = ((int64_t)ist->st->codec->height * ost->original_bottomBand / ost->original_height) & ~1;
                 ^
949.             leftBand   = ((int64_t)ist->st->codec->width  * ost->original_leftBand   / ost->original_width)  & ~1;
950.             rightBand  = ((int64_t)ist->st->codec->width  * ost->original_rightBand  / ost->original_width)  & ~1;

ffmpeg.c:959:13: Assignment
957. 
958.             ost->topBand    = topBand;
959.             ost->bottomBand = bottomBand;
                 ^
960.             ost->leftBand   = leftBand;
961.             ost->rightBand  = rightBand;

ffmpeg.c:963:13: Binary operation: ([0, 2147483647] + [0, 2147483647]):signed32
961.             ost->rightBand  = rightBand;
962. 
963.             ost->resample_height = ist->st->codec->height - (ost->topBand  + ost->bottomBand);
                 ^
964.             ost->resample_width  = ist->st->codec->width  - (ost->leftBand + ost->rightBand);
965.             ost->resample_pix_fmt= ist->st->codec->pix_fmt;
