tools/tiff2pdf.c:5247: 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:5128:1: Parameter `input->tif_dir.td_imagedepth`
5126. */
5127. 
5128. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
      ^
5129. 
5130. 	tsize_t written=0;

tools/tiff2pdf.c:5135:2: Call
5133. 	uint16 i=0;
5134. 
5135. 	t2p_read_tiff_init(t2p, input);
       ^
5136. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5137. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(t2p->pdf_xrefcount * sizeof(uint32) );

tools/tiff2pdf.c:996:1: Parameter `input->tif_dir.td_imagedepth`
  994. */
  995. 
  996. void t2p_read_tiff_init(T2P* t2p, TIFF* input){
       ^
  997. 
  998. 	tdir_t directorycount=0;

tools/tiff2pdf.c:5166:3: Call
5164. 	written += t2p_write_pdf_obj_end(output);
5165. 	for(t2p->pdf_page=0;t2p->pdf_page<t2p->tiff_pagecount;t2p->pdf_page++){
5166. 		t2p_read_tiff_data(t2p, input);
        ^
5167. 		if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5168. 		t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;

tools/tiff2pdf.c:1186:1: Parameter `input->tif_dir.td_imagedepth`
  1184. */
  1185. 
  1186. void t2p_read_tiff_data(T2P* t2p, TIFF* input){
        ^
  1187. 
  1188. 	int i=0;

tools/tiff2pdf.c:1202:2: Call
  1200.         
  1201. 	
  1202. 	TIFFSetDirectory(input, t2p->tiff_pages[t2p->pdf_page].page_directory);
         ^
  1203. 
  1204. 	TIFFGetField(input, TIFFTAG_IMAGEWIDTH, &(t2p->tiff_width));

libtiff/tif_dir.c:1372:1: Parameter `tif->tif_dir.td_imagedepth`
    1370.  * NB: Directories are numbered starting at 0.
    1371.  */
    1372. int
          ^
    1373. TIFFSetDirectory(TIFF* tif, uint16 dirn)
    1374. {

tools/tiff2pdf.c:5247:16: Call
5245. 				streamlen=written;
5246. 				t2p_read_tiff_size_tile(t2p, input, i2);
5247. 				written += t2p_readwrite_pdf_image_tile(t2p, input, output, i2);
                     ^
5248. 				t2p_write_advance_directory(t2p, output);
5249. 				if(t2p->t2p_error!=T2P_ERR_OK){return(0);}

tools/tiff2pdf.c:2567:1: Parameter `input->tif_dir.td_imagedepth`
  2565.  */
  2566. 
  2567. tsize_t t2p_readwrite_pdf_image_tile(T2P* t2p, TIFF* input, TIFF* output, ttile_t tile){
        ^
  2568. 
  2569. 	uint16 edge=0;

tools/tiff2pdf.c:2762:17: Call
  2760. 		if(t2p->pdf_sample == T2P_SAMPLE_PLANAR_SEPARATE_TO_CONTIG){
  2761. 			septilesize=TIFFTileSize(input);
  2762. 			septilecount=TIFFNumberOfTiles(input);
                        ^
  2763. 			tilesize=septilesize*t2p->tiff_samplesperpixel;
  2764. 			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,
