tools/tiffcrop.c:6901: error: Integer Overflow L2
  ([min(1, `out->tif_dir.td_imagedepth`), 4294967294] + [0, 4294967294-min(1, `out->tif_dir.td_imagedepth`)]):unsigned32 by call to `writeSingleSection`.

tools/tiffcrop.c:6859:1: Parameter `out->tif_dir.td_imagedepth`
6857.   } /* end writeRegions */
6858. 
6859. static int
      ^
6860. writeImageSections(TIFF *in, TIFF *out, struct image_data *image,
6861. 		   struct pagedef *page, struct pageseg *sections,

tools/tiffcrop.c:6901:9: Call
6899. 
6900.   /* call the write routine here instead of outside the loop */
6901.     if (writeSingleSection(in, out, image, dump, width, length, hres, vres, sect_buff))
              ^
6902.       {
6903.       TIFFError("writeImageSections", "Unable to write image section");

tools/tiffcrop.c:6917:1: Parameter `out->tif_dir.td_imagedepth`
  6915.  * original code assumes we are always copying all samples.
  6916.  */
  6917. static int  
        ^
  6918. writeSingleSection(TIFF *in, TIFF *out, struct image_data *image,
  6919.                    struct dump_opts *dump, uint32 width, uint32 length,

tools/tiffcrop.c:7164:7: Call
  7162.     {
  7163.     if (config == PLANARCONFIG_CONTIG)
  7164.       writeBufferToContigTiles (out, sect_buff, length, width, spp, dump);
              ^
  7165.     else
  7166.       writeBufferToSeparateTiles (out, sect_buff, length, width, spp, dump);

tools/tiffcrop.c:1194:1: Parameter `out->tif_dir.td_imagedepth`
    1192.  * to be written out as a tile.
    1193.  */
    1194. static int writeBufferToContigTiles (TIFF* out, uint8* buf, uint32 imagelength,
          ^
    1195. 				       uint32 imagewidth, tsample_t spp, 
    1196.                                        struct dump_opts* dump)

tools/tiffcrop.c:1252:11: Call
    1250.         }
    1251. 
    1252.       if (TIFFWriteTile(out, tilebuf, col, row, 0, 0) < 0)
                    ^
    1253.         {
    1254. 	TIFFError("writeBufferToContigTiles",

libtiff/tif_write.c:323:1: Parameter `tif->tif_dir.td_imagedepth`
      321.  * tile is selected by the (x,y,z,s) coordinates.
      322.  */
      323. tmsize_t
           ^
      324. TIFFWriteTile(TIFF* tif, void* buf, uint32 x, uint32 y, uint32 z, uint16 s)
      325. {

libtiff/tif_write.c:326:7: Call
      324. TIFFWriteTile(TIFF* tif, void* buf, uint32 x, uint32 y, uint32 z, uint16 s)
      325. {
      326. 	if (!TIFFCheckTile(tif, x, y, z, s))
                 ^
      327. 		return ((tmsize_t)(-1));
      328. 	/*

libtiff/tif_tile.c:74:1: Parameter `z`
        72.  * against the image bounds.
        73.  */
        74. int
            ^
        75. TIFFCheckTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
        76. {

libtiff/tif_write.c:335:6: Call
      333. 	 */
      334. 	return (TIFFWriteEncodedTile(tif,
      335. 	    TIFFComputeTile(tif, x, y, z, s), buf, (tmsize_t)(-1)));
                ^
      336. }
      337. 

libtiff/tif_tile.c:37:1: <LHS trace>
35.  * Compute which tile an (x,y,z,s) value is in.
36.  */
37. uint32
    ^
38. TIFFComputeTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
39. {

libtiff/tif_tile.c:37:1: Parameter `tif->tif_dir.td_imagedepth`
        35.  * Compute which tile an (x,y,z,s) value is in.
        36.  */
        37. uint32
            ^
        38. TIFFComputeTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
        39. {

libtiff/tif_tile.c:37:1: <RHS trace>
35.  * Compute which tile an (x,y,z,s) value is in.
36.  */
37. uint32
    ^
38. TIFFComputeTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
39. {

libtiff/tif_tile.c:37:1: Parameter `tif->tif_dir.td_imagedepth`
        35.  * Compute which tile an (x,y,z,s) value is in.
        36.  */
        37. uint32
            ^
        38. TIFFComputeTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
        39. {

libtiff/tif_tile.c:57:16: Binary operation: ([min(1, out->tif_dir.td_imagedepth), 4294967294] + [0, 4294967294-min(1, out->tif_dir.td_imagedepth)]):unsigned32 by call to `writeSingleSection` 
        55. 		uint32 xpt = TIFFhowmany_32(td->td_imagewidth, dx);
        56. 		uint32 ypt = TIFFhowmany_32(td->td_imagelength, dy);
        57. 		uint32 zpt = TIFFhowmany_32(td->td_imagedepth, dz);
                           ^
        58. 
        59. 		if (td->td_planarconfig == PLANARCONFIG_SEPARATE) 
