libtiff/tif_fax3.c:390: error: Integer Overflow L2
  ([2, +oo] - [1, 7]):unsigned32.

libtiff/tif_fax3.c:367:1: <LHS trace>
365.  * runs generated during G3/G4 decoding.
366.  */
367. void
     ^
368. _TIFFFax3fillruns(unsigned char* buf, uint32* runs, uint32* erun, uint32 lastx)
369. {

libtiff/tif_fax3.c:367:1: Parameter `lastx`
365.  * runs generated during G3/G4 decoding.
366.  */
367. void
     ^
368. _TIFFFax3fillruns(unsigned char* buf, uint32* runs, uint32* erun, uint32 lastx)
369. {

libtiff/tif_fax3.c:367:1: <RHS trace>
365.  * runs generated during G3/G4 decoding.
366.  */
367. void
     ^
368. _TIFFFax3fillruns(unsigned char* buf, uint32* runs, uint32* erun, uint32 lastx)
369. {

libtiff/tif_fax3.c:367:1: Parameter `lastx`
365.  * runs generated during G3/G4 decoding.
366.  */
367. void
     ^
368. _TIFFFax3fillruns(unsigned char* buf, uint32* runs, uint32* erun, uint32 lastx)
369. {

libtiff/tif_fax3.c:390:4: Binary operation: ([2, +oo] - [1, 7]):unsigned32
388. 		    if (bx) {			/* align to byte boundary */
389. 			*cp++ &= 0xff << (8-bx);
390. 			run -= 8-bx;
        ^
391. 		    }
392. 		    if( (n = run >> 3) != 0 ) {	/* multiple bytes to fill */
