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

libtiff/tif_fax3.c:1434:1: Parameter `tif->tif_data->bit`
1432. }
1433. 
1434. static int
      ^
1435. Fax4PostEncode(TIFF* tif)
1436. {

libtiff/tif_fax3.c:1440:2: Call
1438. 
1439. 	/* terminate strip w/ EOFB */
1440. 	Fax3PutBits(tif, EOL, 12);
       ^
1441. 	Fax3PutBits(tif, EOL, 12);
1442. 	if (sp->bit != 8)

libtiff/tif_fax3.c:591:2: Assignment
  589. 	int data = sp->data;
  590. 
  591. 	_PutBits(tif, bits, length);
        ^
  592. 
  593. 	sp->data = data;

libtiff/tif_fax3.c:594:2: Assignment
  592. 
  593. 	sp->data = data;
  594. 	sp->bit = bit;
        ^
  595. }
  596. 

libtiff/tif_fax3.c:1441:2: Call
1439. 	/* terminate strip w/ EOFB */
1440. 	Fax3PutBits(tif, EOL, 12);
1441. 	Fax3PutBits(tif, EOL, 12);
       ^
1442. 	if (sp->bit != 8)
1443. 		Fax3FlushBits(tif, sp);

libtiff/tif_fax3.c:584:1: <LHS trace>
582.  * assumed to be at most 16 bits.
583.  */
584. static void
     ^
585. Fax3PutBits(TIFF* tif, unsigned int bits, unsigned int length)
586. {

libtiff/tif_fax3.c:584:1: Parameter `length`
  582.  * assumed to be at most 16 bits.
  583.  */
  584. static void
       ^
  585. Fax3PutBits(TIFF* tif, unsigned int bits, unsigned int length)
  586. {

libtiff/tif_fax3.c:584:1: <RHS trace>
582.  * assumed to be at most 16 bits.
583.  */
584. static void
     ^
585. Fax3PutBits(TIFF* tif, unsigned int bits, unsigned int length)
586. {

libtiff/tif_fax3.c:584:1: Parameter `length`
  582.  * assumed to be at most 16 bits.
  583.  */
  584. static void
       ^
  585. Fax3PutBits(TIFF* tif, unsigned int bits, unsigned int length)
  586. {

libtiff/tif_fax3.c:591:2: Binary operation: ([-8+min(8, tif->tif_data->bit), +oo] - [-oo, 8]):unsigned32 by call to `Fax3PutBits` 
  589. 	int data = sp->data;
  590. 
  591. 	_PutBits(tif, bits, length);
        ^
  592. 
  593. 	sp->data = data;

static void
Fax3PutBits(TIFF* tif, unsigned int bits, unsigned int length)
{
	Fax3CodecState* sp = EncoderState(tif);
	unsigned int bit = sp->bit;
	int data = sp->data;
	_PutBits(tif, bits, length);
	sp->data = data;
	sp->bit = bit;
}
['static int\nFax4PostEncode(TIFF* tif)\n{\n\tFax3CodecState *sp = EncoderState(tif);\n\tFax3PutBits(tif, EOL, 12);\n\tFax3PutBits(tif, EOL, 12);\n\tif (sp->bit != 8)\n\t\tFax3FlushBits(tif, sp);\n\treturn (1);\n}', 'static void\nFax3PutBits(TIFF* tif, unsigned int bits, unsigned int length)\n{\n\tFax3CodecState* sp = EncoderState(tif);\n\tunsigned int bit = sp->bit;\n\tint data = sp->data;\n\t_PutBits(tif, bits, length);\n\tsp->data = data;\n\tsp->bit = bit;\n}']