tools/tiff2pdf.c:5644: error: Integer Overflow L2
  ([min(1, `output->tif_dir.td_imagedepth`), 4294967294] + [0, 4294967294-min(1, `output->tif_dir.td_imagedepth`)]):unsigned32 by call to `t2p_readwrite_pdf_image`.

tools/tiff2pdf.c:5494:1: Parameter `output->tif_dir.td_imagedepth`
5492. */
5493. 
5494. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
      ^
5495. 
5496. 	tsize_t written=0;

tools/tiff2pdf.c:5644:15: Call
5642. 				return (0);
5643. 			}
5644. 			written += t2p_readwrite_pdf_image(t2p, input, output);
                    ^
5645. 			t2p_write_advance_directory(t2p, output);
5646. 			if(t2p->t2p_error!=T2P_ERR_OK){return(0);}

tools/tiff2pdf.c:2233:1: Parameter `output->tif_dir.td_imagedepth`
  2231. */
  2232. 
  2233. tsize_t t2p_readwrite_pdf_image(T2P* t2p, TIFF* input, TIFF* output){
        ^
  2234. 
  2235. 	tsize_t written=0;

tools/tiff2pdf.c:2804:18: Call
  2802. #endif /* ifdef JPEG_SUPPORT */
  2803.         {
  2804. 		bufferoffset = TIFFWriteEncodedStrip(output, (tstrip_t)0,
                         ^
  2805. 						     buffer,
  2806. 						     t2p->tiff_datasize); 

libtiff/tif_write.c:211:1: Parameter `tif->tif_dir.td_imagedepth`
    209.  * NB: Image length must be setup before writing.
    210.  */
    211. tmsize_t
         ^
    212. TIFFWriteEncodedStrip(TIFF* tif, uint32 strip, void* data, tmsize_t cc)
    213. {

libtiff/tif_write.c:218:7: Call
    216. 	uint16 sample;
    217. 
    218. 	if (!WRITECHECKSTRIPS(tif, module))
               ^
    219. 		return ((tmsize_t) -1);
    220. 	/*

libtiff/tif_write.c:571:1: Parameter `tif->tif_dir.td_imagedepth`
      569.  * that important information is not changed.
      570.  */
      571. int
           ^
      572. TIFFWriteCheck(TIFF* tif, int tiles, const char* module)
      573. {

libtiff/tif_write.c:618:48: Call
      616. 		}
      617. 	}
      618. 	if (tif->tif_dir.td_stripoffset_p == NULL && !TIFFSetupStrips(tif)) {
                                                          ^
      619. 		tif->tif_dir.td_nstrips = 0;
      620. 		TIFFErrorExt(tif->tif_clientdata, module, "No space for %s arrays",

libtiff/tif_write.c:522:1: Parameter `tif->tif_dir.td_imagedepth`
        520.     (TIFFFieldSet(tif,f) && (tif)->tif_dir.td_imagelength == 0)
        521. 
        522. int
             ^
        523. TIFFSetupStrips(TIFF* tif)
        524. {

libtiff/tif_write.c:530:29: Call
        528. 		td->td_stripsperimage =
        529. 		    isUnspecified(tif, FIELD_TILEDIMENSIONS) ?
        530. 			td->td_samplesperpixel : TIFFNumberOfTiles(tif);
                                         ^
        531. 	else
        532. 		td->td_stripsperimage =

libtiff/tif_tile.c:112:1: <LHS trace>
110.  * Compute how many tiles are in an image.
111.  */
112. uint32
     ^
113. TIFFNumberOfTiles(TIFF* tif)
114. {

libtiff/tif_tile.c:112:1: Parameter `tif->tif_dir.td_imagedepth`
          110.  * Compute how many tiles are in an image.
          111.  */
          112. uint32
               ^
          113. TIFFNumberOfTiles(TIFF* tif)
          114. {

libtiff/tif_tile.c:112:1: <RHS trace>
110.  * Compute how many tiles are in an image.
111.  */
112. uint32
     ^
113. TIFFNumberOfTiles(TIFF* tif)
114. {

libtiff/tif_tile.c:112:1: Parameter `tif->tif_dir.td_imagedepth`
          110.  * Compute how many tiles are in an image.
          111.  */
          112. uint32
               ^
          113. TIFFNumberOfTiles(TIFF* tif)
          114. {

libtiff/tif_tile.c:131:6: Binary operation: ([min(1, output->tif_dir.td_imagedepth), 4294967294] + [0, 4294967294-min(1, output->tif_dir.td_imagedepth)]):unsigned32 by call to `t2p_readwrite_pdf_image` 
          129. 	    TIFFhowmany_32(td->td_imagelength, dy),
          130. 	    "TIFFNumberOfTiles"),
          131. 	    TIFFhowmany_32(td->td_imagedepth, dz), "TIFFNumberOfTiles");
                    ^
          132. 	if (td->td_planarconfig == PLANARCONFIG_SEPARATE)
          133. 		ntiles = _TIFFMultiply32(tif, ntiles, td->td_samplesperpixel,
