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

ffmpeg.c:878:1: <LHS trace>
876. static uint8_t *bit_buffer= NULL;
877. 
878. static void do_video_out(AVFormatContext *s,
     ^
879.                          AVOutputStream *ost,
880.                          AVInputStream *ist,

ffmpeg.c:878:1: Parameter `ost->bottomBand`
876. static uint8_t *bit_buffer= NULL;
877. 
878. static void do_video_out(AVFormatContext *s,
     ^
879.                          AVOutputStream *ost,
880.                          AVInputStream *ist,

ffmpeg.c:976:13: Assignment
974. 
975.             /* keep bands proportional to the frame size */
976.             topBand    = ((int64_t)ist->st->codec->height * ost->original_topBand    / ost->original_height) & ~1;
                 ^
977.             bottomBand = ((int64_t)ist->st->codec->height * ost->original_bottomBand / ost->original_height) & ~1;
978.             leftBand   = ((int64_t)ist->st->codec->width  * ost->original_leftBand   / ost->original_width)  & ~1;

ffmpeg.c:987:13: Assignment
985.             assert(rightBand  <= INT_MAX && rightBand  >= 0);
986. 
987.             ost->topBand    = topBand;
                 ^
988.             ost->bottomBand = bottomBand;
989.             ost->leftBand   = leftBand;

ffmpeg.c:878:1: <RHS trace>
876. static uint8_t *bit_buffer= NULL;
877. 
878. static void do_video_out(AVFormatContext *s,
     ^
879.                          AVOutputStream *ost,
880.                          AVInputStream *ist,

ffmpeg.c:878:1: Parameter `ost->bottomBand`
876. static uint8_t *bit_buffer= NULL;
877. 
878. static void do_video_out(AVFormatContext *s,
     ^
879.                          AVOutputStream *ost,
880.                          AVInputStream *ist,

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

ffmpeg.c:988:13: Assignment
986. 
987.             ost->topBand    = topBand;
988.             ost->bottomBand = bottomBand;
                 ^
989.             ost->leftBand   = leftBand;
990.             ost->rightBand  = rightBand;

ffmpeg.c:992:13: Binary operation: ([0, 2147483647] + [0, 2147483647]):signed32
990.             ost->rightBand  = rightBand;
991. 
992.             ost->resample_height = ist->st->codec->height - (ost->topBand  + ost->bottomBand);
                 ^
993.             ost->resample_width  = ist->st->codec->width  - (ost->leftBand + ost->rightBand);
994.             ost->resample_pix_fmt= ist->st->codec->pix_fmt;
