tools/tiff2ps.c:1535: error: Integer Overflow L2
  ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `psMaskImage`.

tools/tiff2ps.c:1463:1: Parameter `tif->tif_dir.td_imagedepth`
1461.  */
1462. 
1463. int TIFF2PS(FILE* fd, TIFF* tif, double pgwidth, double pgheight, double lm, double bm, int center)
      ^
1464.   {
1465.   uint32 pixwidth = 0, pixheight = 0;  /* Image width and height in pixels */

tools/tiff2ps.c:1535:15: Call
1533.         if ((maxPageHeight) || (maxPageWidth)) /* used -H or -W  option */
1534.            {
1535.           if (psMaskImage(fd, tif, rotation, center, &npages, pixwidth, pixheight,
                    ^
1536.                           left_offset, bottom_offset, pgwidth, pgheight,
1537.                            pswidth, psheight, scale) < 0)

tools/tiff2ps.c:1169:1: Parameter `tif->tif_dir.td_imagedepth`
  1167.  * by the maxPageHeight or maxPageWidth options.
  1168.  */
  1169. int psMaskImage(FILE *fd, TIFF *tif, int rotation, int center,
        ^
  1170.                 int *npages, double pixwidth, double pixheight,
  1171.                double left_margin, double bottom_margin,

tools/tiff2ps.c:1218:8: Call
  1216.         return (-1);
  1217.         }
  1218.        PSpage(fd, tif, pixwidth, pixheight);
               ^
  1219.        fprintf(fd, "end\n");
  1220.        fprintf(fd, "grestore\n");

tools/tiff2ps.c:2310:1: Parameter `tif->tif_dir.td_imagedepth`
    2308. }
    2309. 
    2310. void
          ^
    2311. PSpage(FILE* fd, TIFF* tif, uint32 w, uint32 h)
    2312. {

tools/tiff2ps.c:2318:28: Call
    2316. 		imageOp = "imagemask";
    2317. 
    2318. 	if ((level2 || level3) && PS_Lvl2page(fd, tif, w, h))
                                     ^
    2319. 		return;
    2320. 	ps_bytesperrow = tf_bytesperrow - (extrasamples * bitspersample / 8)*w;

tools/tiff2ps.c:2121:1: Parameter `tif->tif_dir.td_imagedepth`
      2119. #define MAXLINE		36
      2120. 
      2121. int
            ^
      2122. PS_Lvl2page(FILE* fd, TIFF* tif, uint32 w, uint32 h)
      2123. {

tools/tiff2ps.c:2137:16: Call
      2135. 
      2136. 	PS_Lvl2colorspace(fd, tif);
      2137. 	use_rawdata = PS_Lvl2ImageDict(fd, tif, w, h);
                           ^
      2138. 
      2139. /* See http://bugzilla.remotesensing.org/show_bug.cgi?id=80 */

tools/tiff2ps.c:1770:1: Parameter `tif->tif_dir.td_imagedepth`
        1768. }
        1769. 
        1770. static int
              ^
        1771. PS_Lvl2ImageDict(FILE* fd, TIFF* tif, uint32 w, uint32 h)
        1772. {

tools/tiff2ps.c:1789:18: Call
        1787. 	tile_height = h;
        1788. 	if (TIFFIsTiled(tif)) {
        1789. 		repeat_count = TIFFNumberOfTiles(tif);
                               ^
        1790. 		TIFFGetField(tif, TIFFTAG_TILEWIDTH, &tile_width);
        1791. 		TIFFGetField(tif, TIFFTAG_TILELENGTH, &tile_height);

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: ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `psMaskImage` 
          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,
