libtiff/tif_fax3.c:707: error: Integer Overflow L2
  ([-8+min(8, `tif->tif_data->bit`), +oo] - [-oo, 8]):unsigned32.

libtiff/tif_fax3.c:701:4: <LHS trace>
699. 				align = sp->bit - align;
700. 			tparm=align; 
701. 			_PutBits(tif, 0, tparm);
        ^
702. 		}
703. 	}

libtiff/tif_fax3.c:701:4: Assignment
699. 				align = sp->bit - align;
700. 			tparm=align; 
701. 			_PutBits(tif, 0, tparm);
        ^
702. 		}
703. 	}

libtiff/tif_fax3.c:701:4: <RHS trace>
699. 				align = sp->bit - align;
700. 			tparm=align; 
701. 			_PutBits(tif, 0, tparm);
        ^
702. 		}
703. 	}

libtiff/tif_fax3.c:701:4: Assignment
699. 				align = sp->bit - align;
700. 			tparm=align; 
701. 			_PutBits(tif, 0, tparm);
        ^
702. 		}
703. 	}

libtiff/tif_fax3.c:707:2: Binary operation: ([-8+min(8, tif->tif_data->bit), +oo] - [-oo, 8]):unsigned32
705. 	if (is2DEncoding(sp))
706. 		code = (code<<1) | (sp->tag == G3_1D), length++;
707. 	_PutBits(tif, code, length);
      ^
708. 
709. 	sp->data = data;

static void
Fax3PutEOL(TIFF* tif)
{
	Fax3CodecState* sp = EncoderState(tif);
	unsigned int bit = sp->bit;
	int data = sp->data;
	unsigned int code, length, tparm;
	if (sp->b.groupoptions & GROUP3OPT_FILLBITS) {
		int align = 8 - 4;
		if (align != sp->bit) {
			if (align > sp->bit)
				align = sp->bit + (8 - align);
			else
				align = sp->bit - align;
			tparm=align;
			_PutBits(tif, 0, tparm);
		}
	}
	code = EOL, length = 12;
	if (is2DEncoding(sp))
		code = (code<<1) | (sp->tag == G3_1D), length++;
	_PutBits(tif, code, length);
	sp->data = data;
	sp->bit = bit;
}
['static void\nFax3PutEOL(TIFF* tif)\n{\n\tFax3CodecState* sp = EncoderState(tif);\n\tunsigned int bit = sp->bit;\n\tint data = sp->data;\n\tunsigned int code, length, tparm;\n\tif (sp->b.groupoptions & GROUP3OPT_FILLBITS) {\n\t\tint align = 8 - 4;\n\t\tif (align != sp->bit) {\n\t\t\tif (align > sp->bit)\n\t\t\t\talign = sp->bit + (8 - align);\n\t\t\telse\n\t\t\t\talign = sp->bit - align;\n\t\t\ttparm=align;\n\t\t\t_PutBits(tif, 0, tparm);\n\t\t}\n\t}\n\tcode = EOL, length = 12;\n\tif (is2DEncoding(sp))\n\t\tcode = (code<<1) | (sp->tag == G3_1D), length++;\n\t_PutBits(tif, code, length);\n\tsp->data = data;\n\tsp->bit = bit;\n}']