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

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

libavcodec/faxcompr.c:264:5: Assignment
262. static int find_group3_syncmarker(GetBitContext *gb, int srcsize)
263. {
264.     unsigned int state = -1;
         ^
265.     srcsize -= get_bits_count(gb);
266.     while (srcsize-- > 0) {

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

libavcodec/faxcompr.c:264:5: Assignment
262. static int find_group3_syncmarker(GetBitContext *gb, int srcsize)
263. {
264.     unsigned int state = -1;
         ^
265.     srcsize -= get_bits_count(gb);
266.     while (srcsize-- > 0) {

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

static int find_group3_syncmarker(GetBitContext *gb, int srcsize)
{
    unsigned int state = -1;
    srcsize -= get_bits_count(gb);
    while (srcsize-- > 0) {
        state += state + get_bits1(gb);
        if ((state & 0xFFF) == 1)
            return 0;
    }
    return -1;
}
['static int find_group3_syncmarker(GetBitContext *gb, int srcsize)\n{\n    unsigned int state = -1;\n    srcsize -= get_bits_count(gb);\n    while (srcsize-- > 0) {\n        state += state + get_bits1(gb);\n        if ((state & 0xFFF) == 1)\n            return 0;\n    }\n    return -1;\n}']