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

libavcodec/h263.h:147:9: <LHS trace>
145. 
146.     if(s->flags & CODEC_FLAG_CBP_RD){
147.         int best_cbpy_score= INT_MAX;
             ^
148.         int best_cbpc_score= INT_MAX;
149.         int cbpc = (-1), cbpy= (-1);

libavcodec/h263.h:147:9: Assignment
145. 
146.     if(s->flags & CODEC_FLAG_CBP_RD){
147.         int best_cbpy_score= INT_MAX;
             ^
148.         int best_cbpc_score= INT_MAX;
149.         int cbpc = (-1), cbpy= (-1);

libavcodec/h263.h:141:1: <RHS trace>
139. }
140. 
141. static inline int get_p_cbp(MpegEncContext * s,
     ^
142.                       DCTELEM block[6][64],
143.                       int motion_x, int motion_y){

libavcodec/h263.h:141:1: Parameter `s->lambda2`
139. }
140. 
141. static inline int get_p_cbp(MpegEncContext * s,
     ^
142.                       DCTELEM block[6][64],
143.                       int motion_x, int motion_y){

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

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