libavcodec/faxcompr.c:263: error: Integer Overflow L1
  ([4294967295, +oo] + [4294967295, +oo]):unsigned32.

libavcodec/faxcompr.c:260:5: <LHS trace>
258. static int find_group3_syncmarker(GetBitContext *gb, int srcsize)
259. {
260.     unsigned int state = -1;
         ^
261.     srcsize -= get_bits_count(gb);
262.     while(srcsize-- > 0){

libavcodec/faxcompr.c:260:5: Assignment
258. static int find_group3_syncmarker(GetBitContext *gb, int srcsize)
259. {
260.     unsigned int state = -1;
         ^
261.     srcsize -= get_bits_count(gb);
262.     while(srcsize-- > 0){

libavcodec/faxcompr.c:260:5: <RHS trace>
258. static int find_group3_syncmarker(GetBitContext *gb, int srcsize)
259. {
260.     unsigned int state = -1;
         ^
261.     srcsize -= get_bits_count(gb);
262.     while(srcsize-- > 0){

libavcodec/faxcompr.c:260:5: Assignment
258. static int find_group3_syncmarker(GetBitContext *gb, int srcsize)
259. {
260.     unsigned int state = -1;
         ^
261.     srcsize -= get_bits_count(gb);
262.     while(srcsize-- > 0){

libavcodec/faxcompr.c:263:9: Binary operation: ([4294967295, +oo] + [4294967295, +oo]):unsigned32
261.     srcsize -= get_bits_count(gb);
262.     while(srcsize-- > 0){
263.         state+= state + get_bits1(gb);
             ^
264.         if((state & 0xFFF) == 1)
265.             return 0;
