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

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

libavcodec/faxcompr.c:263:5: Assignment
261. static int find_group3_syncmarker(BitstreamContext *bc, int srcsize)
262. {
263.     unsigned int state = -1;
         ^
264.     srcsize -= bitstream_tell(bc);
265.     while (srcsize-- > 0) {

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

libavcodec/faxcompr.c:263:5: Assignment
261. static int find_group3_syncmarker(BitstreamContext *bc, int srcsize)
262. {
263.     unsigned int state = -1;
         ^
264.     srcsize -= bitstream_tell(bc);
265.     while (srcsize-- > 0) {

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