libavcodec/h263.h:183: error: Integer Overflow L2
  ([-oo, 4294967294] + [0, 2⋅`s->lambda2`]):signed32.

libavcodec/h263.h:152:9: <LHS trace>
150. 
151.     if (s->mpv_flags & FF_MPV_FLAG_CBP_RD) {
152.         int best_cbpy_score= INT_MAX;
             ^
153.         int best_cbpc_score= INT_MAX;
154.         int cbpc = (-1), cbpy= (-1);

libavcodec/h263.h:152:9: Assignment
150. 
151.     if (s->mpv_flags & FF_MPV_FLAG_CBP_RD) {
152.         int best_cbpy_score= INT_MAX;
             ^
153.         int best_cbpc_score= INT_MAX;
154.         int cbpc = (-1), cbpy= (-1);

libavcodec/h263.h:146:1: <RHS trace>
144. }
145. 
146. static inline int get_p_cbp(MpegEncContext * s,
     ^
147.                       int16_t block[6][64],
148.                       int motion_x, int motion_y){

libavcodec/h263.h:146:1: Parameter `s->lambda2`
144. }
145. 
146. static inline int get_p_cbp(MpegEncContext * s,
     ^
147.                       int16_t block[6][64],
148.                       int motion_x, int motion_y){

libavcodec/h263.h:156:9: Assignment
154.         int cbpc = (-1), cbpy= (-1);
155.         const int offset= (s->mv_type==MV_TYPE_16X16 ? 0 : 16) + (s->dquant ? 8 : 0);
156.         const int lambda= s->lambda2 >> (FF_LAMBDA_SHIFT - 6);
             ^
157. 
158.         for(i=0; i<4; i++){

libavcodec/h263.h:183:16: Binary operation: ([-oo, 4294967294] + [0, 2⋅s->lambda2]):signed32
181.         cbp= cbpc + 4*cbpy;
182.         if ((motion_x | motion_y | s->dquant) == 0 && s->mv_type==MV_TYPE_16X16){
183.             if(best_cbpy_score + best_cbpc_score + 2*lambda >= 0)
                    ^
184.                 cbp= 0;
185.         }
