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

tools/tiff2pdf.c:5267:1: Parameter `input->tif_dir.td_imagedepth`
5265. */
5266. 
5267. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
      ^
5268. 
5269. 	tsize_t written=0;

tools/tiff2pdf.c:5274:2: Call
5272. 	uint16 i=0;
5273. 
5274. 	t2p_read_tiff_init(t2p, input);
       ^
5275. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5276. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );

tools/tiff2pdf.c:1029:1: Parameter `input->tif_dir.td_imagedepth`
  1027. */
  1028. 
  1029. void t2p_read_tiff_init(T2P* t2p, TIFF* input){
        ^
  1030. 
  1031. 	tdir_t directorycount=0;

tools/tiff2pdf.c:5306:3: Call
5304. 	written += t2p_write_pdf_obj_end(output);
5305. 	for(t2p->pdf_page=0;t2p->pdf_page<t2p->tiff_pagecount;t2p->pdf_page++){
5306. 		t2p_read_tiff_data(t2p, input);
        ^
5307. 		if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5308. 		t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;

tools/tiff2pdf.c:1244:1: Parameter `input->tif_dir.td_imagedepth`
  1242. */
  1243. 
  1244. void t2p_read_tiff_data(T2P* t2p, TIFF* input){
        ^
  1245. 
  1246. 	int i=0;

tools/tiff2pdf.c:1260:2: Call
  1258.         
  1259. 	
  1260. 	TIFFSetDirectory(input, t2p->tiff_pages[t2p->pdf_page].page_directory);
         ^
  1261. 
  1262. 	TIFFGetField(input, TIFFTAG_IMAGEWIDTH, &(t2p->tiff_width));

libtiff/tif_dir.c:1530:1: Parameter `tif->tif_dir.td_imagedepth`
    1528.  * NB: Directories are numbered starting at 0.
    1529.  */
    1530. int
          ^
    1531. TIFFSetDirectory(TIFF* tif, uint16 dirn)
    1532. {

tools/tiff2pdf.c:5387:16: Call
5385. 				streamlen=written;
5386. 				t2p_read_tiff_size_tile(t2p, input, i2);
5387. 				written += t2p_readwrite_pdf_image_tile(t2p, input, output, i2);
                     ^
5388. 				t2p_write_advance_directory(t2p, output);
5389. 				if(t2p->t2p_error!=T2P_ERR_OK){return(0);}

tools/tiff2pdf.c:2711:1: Parameter `input->tif_dir.td_imagedepth`
  2709.  */
  2710. 
  2711. tsize_t t2p_readwrite_pdf_image_tile(T2P* t2p, TIFF* input, TIFF* output, ttile_t tile){
        ^
  2712. 
  2713. 	uint16 edge=0;

tools/tiff2pdf.c:2910:17: Call
  2908. 		if(t2p->pdf_sample == T2P_SAMPLE_PLANAR_SEPARATE_TO_CONTIG){
  2909. 			septilesize=TIFFTileSize(input);
  2910. 			septilecount=TIFFNumberOfTiles(input);
                        ^
  2911. 			/* tilesize=septilesize*t2p->tiff_samplesperpixel; */
  2912. 			tilecount=septilecount/t2p->tiff_samplesperpixel;

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

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

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

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

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