tools/tiff2pdf.c:5399: error: Memory Leak
  memory dynamically allocated by call to `_TIFFmalloc()` at line 5377, column 34 is not reachable after line 5399, column 13.

tools/tiff2pdf.c:5368:1: start of procedure t2p_write_pdf()
5366. */
5367. 
5368. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
      ^
5369. 
5370. 	tsize_t written=0;

tools/tiff2pdf.c:5370:2: 
5368. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
5369. 
5370. 	tsize_t written=0;
       ^
5371. 	ttile_t i2=0;
5372. 	tsize_t streamlen=0;

tools/tiff2pdf.c:5371:2: 
5369. 
5370. 	tsize_t written=0;
5371. 	ttile_t i2=0;
       ^
5372. 	tsize_t streamlen=0;
5373. 	uint16 i=0;

tools/tiff2pdf.c:5372:2: 
5370. 	tsize_t written=0;
5371. 	ttile_t i2=0;
5372. 	tsize_t streamlen=0;
       ^
5373. 	uint16 i=0;
5374. 

tools/tiff2pdf.c:5373:2: 
5371. 	ttile_t i2=0;
5372. 	tsize_t streamlen=0;
5373. 	uint16 i=0;
       ^
5374. 
5375. 	t2p_read_tiff_init(t2p, input);

tools/tiff2pdf.c:5375:2: Skipping t2p_read_tiff_init(): empty list of specs
5373. 	uint16 i=0;
5374. 
5375. 	t2p_read_tiff_init(t2p, input);
       ^
5376. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5377. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );

tools/tiff2pdf.c:5376:5: Taking false branch
5374. 
5375. 	t2p_read_tiff_init(t2p, input);
5376. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
          ^
5377. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
5378. 	if(t2p->pdf_xrefoffsets==NULL){

tools/tiff2pdf.c:5377:46: Condition is true
5375. 	t2p_read_tiff_init(t2p, input);
5376. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5377. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
                                                   ^
5378. 	if(t2p->pdf_xrefoffsets==NULL){
5379. 		TIFFError(

tools/tiff2pdf.c:5377:46: Condition is true
5375. 	t2p_read_tiff_init(t2p, input);
5376. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5377. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
                                                   ^
5378. 	if(t2p->pdf_xrefoffsets==NULL){
5379. 		TIFFError(

tools/tiff2pdf.c:5377:2: 
5375. 	t2p_read_tiff_init(t2p, input);
5376. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5377. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
       ^
5378. 	if(t2p->pdf_xrefoffsets==NULL){
5379. 		TIFFError(

libtiff/tif_unix.c:277:1: start of procedure _TIFFmalloc()
  275. #endif
  276. 
  277. void*
       ^
  278. _TIFFmalloc(tmsize_t s)
  279. {

libtiff/tif_unix.c:280:13: Taking false branch
  278. _TIFFmalloc(tmsize_t s)
  279. {
  280.         if (s == 0)
                   ^
  281.                 return ((void *) NULL);
  282. 

libtiff/tif_unix.c:283:2: 
  281.                 return ((void *) NULL);
  282. 
  283. 	return (malloc((size_t) s));
        ^
  284. }
  285. 

libtiff/tif_unix.c:284:1: return from a call to _TIFFmalloc
  282. 
  283. 	return (malloc((size_t) s));
  284. }
       ^
  285. 
  286. void

tools/tiff2pdf.c:5378:5: Taking false branch
5376. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5377. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
5378. 	if(t2p->pdf_xrefoffsets==NULL){
          ^
5379. 		TIFFError(
5380. 			TIFF2PDF_MODULE, 

tools/tiff2pdf.c:5386:2: 
5384. 		return(written);
5385. 	}
5386. 	t2p->pdf_xrefcount=0;
       ^
5387. 	t2p->pdf_catalog=1;
5388. 	t2p->pdf_info=2;

tools/tiff2pdf.c:5387:2: 
5385. 	}
5386. 	t2p->pdf_xrefcount=0;
5387. 	t2p->pdf_catalog=1;
       ^
5388. 	t2p->pdf_info=2;
5389. 	t2p->pdf_pages=3;

tools/tiff2pdf.c:5388:2: 
5386. 	t2p->pdf_xrefcount=0;
5387. 	t2p->pdf_catalog=1;
5388. 	t2p->pdf_info=2;
       ^
5389. 	t2p->pdf_pages=3;
5390. 	written += t2p_write_pdf_header(t2p, output);

tools/tiff2pdf.c:5389:2: 
5387. 	t2p->pdf_catalog=1;
5388. 	t2p->pdf_info=2;
5389. 	t2p->pdf_pages=3;
       ^
5390. 	written += t2p_write_pdf_header(t2p, output);
5391. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;

tools/tiff2pdf.c:5390:2: 
5388. 	t2p->pdf_info=2;
5389. 	t2p->pdf_pages=3;
5390. 	written += t2p_write_pdf_header(t2p, output);
       ^
5391. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5392. 	t2p->pdf_catalog=t2p->pdf_xrefcount;

tools/tiff2pdf.c:3726:1: start of procedure t2p_write_pdf_header()
  3724. */
  3725. 
  3726. tsize_t t2p_write_pdf_header(T2P* t2p, TIFF* output){
        ^
  3727. 
  3728. 	tsize_t written=0;

tools/tiff2pdf.c:3728:2: 
  3726. tsize_t t2p_write_pdf_header(T2P* t2p, TIFF* output){
  3727. 
  3728. 	tsize_t written=0;
         ^
  3729. 	char buffer[16];
  3730. 	int buflen=0;

tools/tiff2pdf.c:3730:2: 
  3728. 	tsize_t written=0;
  3729. 	char buffer[16];
  3730. 	int buflen=0;
         ^
  3731. 	
  3732. 	buflen = snprintf(buffer, sizeof(buffer), "%%PDF-%u.%u ",

tools/tiff2pdf.c:3732:2: 
  3730. 	int buflen=0;
  3731. 	
  3732. 	buflen = snprintf(buffer, sizeof(buffer), "%%PDF-%u.%u ",
         ^
  3733. 			  t2p->pdf_majorversion&0xff,
  3734. 			  t2p->pdf_minorversion&0xff);

tools/tiff2pdf.c:3735:2: Taking false branch
  3733. 			  t2p->pdf_majorversion&0xff,
  3734. 			  t2p->pdf_minorversion&0xff);
  3735. 	check_snprintf_ret(t2p, buflen, buffer);
         ^
  3736. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen);
  3737. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);

tools/tiff2pdf.c:3735:2: Taking false branch
  3733. 			  t2p->pdf_majorversion&0xff,
  3734. 			  t2p->pdf_minorversion&0xff);
  3735. 	check_snprintf_ret(t2p, buflen, buffer);
         ^
  3736. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen);
  3737. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);

tools/tiff2pdf.c:3736:2: 
  3734. 			  t2p->pdf_minorversion&0xff);
  3735. 	check_snprintf_ret(t2p, buflen, buffer);
  3736. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen);
         ^
  3737. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
  3738. 

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:3737:2: 
  3735. 	check_snprintf_ret(t2p, buflen, buffer);
  3736. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen);
  3737. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
         ^
  3738. 
  3739. 	return(written);

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:3739:2: 
  3737. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
  3738. 
  3739. 	return(written);
         ^
  3740. }
  3741. 

tools/tiff2pdf.c:3740:1: return from a call to t2p_write_pdf_header
  3738. 
  3739. 	return(written);
  3740. }
        ^
  3741. 
  3742. /*

tools/tiff2pdf.c:5391:2: 
5389. 	t2p->pdf_pages=3;
5390. 	written += t2p_write_pdf_header(t2p, output);
5391. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
       ^
5392. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5393. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);

tools/tiff2pdf.c:5392:2: 
5390. 	written += t2p_write_pdf_header(t2p, output);
5391. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5392. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
       ^
5393. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5394. 	written += t2p_write_pdf_catalog(t2p, output);

tools/tiff2pdf.c:5393:2: 
5391. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5392. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5393. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
       ^
5394. 	written += t2p_write_pdf_catalog(t2p, output);
5395. 	written += t2p_write_pdf_obj_end(output);

tools/tiff2pdf.c:3746:1: start of procedure t2p_write_pdf_obj_start()
  3744. */
  3745. 
  3746. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
        ^
  3747. 
  3748. 	tsize_t written=0;

tools/tiff2pdf.c:3748:2: 
  3746. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
  3747. 
  3748. 	tsize_t written=0;
         ^
  3749. 	char buffer[32];
  3750. 	int buflen=0;

tools/tiff2pdf.c:3750:2: 
  3748. 	tsize_t written=0;
  3749. 	char buffer[32];
  3750. 	int buflen=0;
         ^
  3751. 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);

tools/tiff2pdf.c:3752:2: 
  3750. 	int buflen=0;
  3751. 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
         ^
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );

tools/tiff2pdf.c:3753:2: Taking false branch
  3751. 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
         ^
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);

tools/tiff2pdf.c:3753:2: Taking false branch
  3751. 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
         ^
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);

tools/tiff2pdf.c:3754:2: 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
         ^
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3756. 

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:3755:2: 
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
         ^
  3756. 
  3757. 	return(written);

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:3757:2: 
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3756. 
  3757. 	return(written);
         ^
  3758. }
  3759. 

tools/tiff2pdf.c:3758:1: return from a call to t2p_write_pdf_obj_start
  3756. 
  3757. 	return(written);
  3758. }
        ^
  3759. 
  3760. /*

tools/tiff2pdf.c:5394:2: 
5392. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5393. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5394. 	written += t2p_write_pdf_catalog(t2p, output);
       ^
5395. 	written += t2p_write_pdf_obj_end(output);
5396. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;

tools/tiff2pdf.c:4035:1: start of procedure t2p_write_pdf_catalog()
  4033.  */
  4034. 
  4035. tsize_t t2p_write_pdf_catalog(T2P* t2p, TIFF* output)
        ^
  4036. {
  4037. 	tsize_t written = 0;

tools/tiff2pdf.c:4037:2: 
  4035. tsize_t t2p_write_pdf_catalog(T2P* t2p, TIFF* output)
  4036. {
  4037. 	tsize_t written = 0;
         ^
  4038. 	char buffer[32];
  4039. 	int buflen = 0;

tools/tiff2pdf.c:4039:2: 
  4037. 	tsize_t written = 0;
  4038. 	char buffer[32];
  4039. 	int buflen = 0;
         ^
  4040. 
  4041. 	written += t2pWriteFile(output, 

tools/tiff2pdf.c:4041:2: 
  4039. 	int buflen = 0;
  4040. 
  4041. 	written += t2pWriteFile(output, 
         ^
  4042. 		(tdata_t)"<< \n/Type /Catalog \n/Pages ", 
  4043. 		27);

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:4044:2: 
  4042. 		(tdata_t)"<< \n/Type /Catalog \n/Pages ", 
  4043. 		27);
  4044. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
         ^
  4045. 	check_snprintf_ret(t2p, buflen, buffer);
  4046. 	written += t2pWriteFile(output, (tdata_t) buffer,

tools/tiff2pdf.c:4045:2: Taking false branch
  4043. 		27);
  4044. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
  4045. 	check_snprintf_ret(t2p, buflen, buffer);
         ^
  4046. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4047. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));

tools/tiff2pdf.c:4045:2: Taking false branch
  4043. 		27);
  4044. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
  4045. 	check_snprintf_ret(t2p, buflen, buffer);
         ^
  4046. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4047. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));

tools/tiff2pdf.c:4047:5: Condition is false
  4045. 	check_snprintf_ret(t2p, buflen, buffer);
  4046. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4047. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));
            ^
  4048. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);
  4049. 	if(t2p->pdf_fitwindow){

tools/tiff2pdf.c:4046:2: 
  4044. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
  4045. 	check_snprintf_ret(t2p, buflen, buffer);
  4046. 	written += t2pWriteFile(output, (tdata_t) buffer,
         ^
  4047. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));
  4048. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:4048:2: 
  4046. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4047. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));
  4048. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);
         ^
  4049. 	if(t2p->pdf_fitwindow){
  4050. 		written += t2pWriteFile(output, 

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:4049:5: Taking true branch
  4047. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));
  4048. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);
  4049. 	if(t2p->pdf_fitwindow){
            ^
  4050. 		written += t2pWriteFile(output, 
  4051. 			(tdata_t) "/ViewerPreferences <</FitWindow true>>\n", 

tools/tiff2pdf.c:4050:3: 
  4048. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);
  4049. 	if(t2p->pdf_fitwindow){
  4050. 		written += t2pWriteFile(output, 
          ^
  4051. 			(tdata_t) "/ViewerPreferences <</FitWindow true>>\n", 
  4052. 			39);

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:4054:2: 
  4052. 			39);
  4053. 	}
  4054. 	written += t2pWriteFile(output, (tdata_t)">>\n", 3);
         ^
  4055. 
  4056. 	return(written);

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:4056:2: 
  4054. 	written += t2pWriteFile(output, (tdata_t)">>\n", 3);
  4055. 
  4056. 	return(written);
         ^
  4057. }
  4058. 

tools/tiff2pdf.c:4057:1: return from a call to t2p_write_pdf_catalog
  4055. 
  4056. 	return(written);
  4057. }
        ^
  4058. 
  4059. /*

tools/tiff2pdf.c:5395:2: 
5393. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5394. 	written += t2p_write_pdf_catalog(t2p, output);
5395. 	written += t2p_write_pdf_obj_end(output);
       ^
5396. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5397. 	t2p->pdf_info=t2p->pdf_xrefcount;

tools/tiff2pdf.c:3764:1: start of procedure t2p_write_pdf_obj_end()
  3762. */
  3763. 
  3764. tsize_t t2p_write_pdf_obj_end(TIFF* output){
        ^
  3765. 
  3766. 	tsize_t written=0;

tools/tiff2pdf.c:3766:2: 
  3764. tsize_t t2p_write_pdf_obj_end(TIFF* output){
  3765. 
  3766. 	tsize_t written=0;
         ^
  3767. 
  3768. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);

tools/tiff2pdf.c:3768:2: 
  3766. 	tsize_t written=0;
  3767. 
  3768. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);
         ^
  3769. 
  3770. 	return(written);

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:3770:2: 
  3768. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);
  3769. 
  3770. 	return(written);
         ^
  3771. }
  3772. 

tools/tiff2pdf.c:3771:1: return from a call to t2p_write_pdf_obj_end
  3769. 
  3770. 	return(written);
  3771. }
        ^
  3772. 
  3773. /*

tools/tiff2pdf.c:5396:2: 
5394. 	written += t2p_write_pdf_catalog(t2p, output);
5395. 	written += t2p_write_pdf_obj_end(output);
5396. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
       ^
5397. 	t2p->pdf_info=t2p->pdf_xrefcount;
5398. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);

tools/tiff2pdf.c:5397:2: 
5395. 	written += t2p_write_pdf_obj_end(output);
5396. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5397. 	t2p->pdf_info=t2p->pdf_xrefcount;
       ^
5398. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5399. 	written += t2p_write_pdf_info(t2p, input, output);

tools/tiff2pdf.c:5398:2: 
5396. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5397. 	t2p->pdf_info=t2p->pdf_xrefcount;
5398. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
       ^
5399. 	written += t2p_write_pdf_info(t2p, input, output);
5400. 	written += t2p_write_pdf_obj_end(output);

tools/tiff2pdf.c:3746:1: start of procedure t2p_write_pdf_obj_start()
  3744. */
  3745. 
  3746. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
        ^
  3747. 
  3748. 	tsize_t written=0;

tools/tiff2pdf.c:3748:2: 
  3746. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
  3747. 
  3748. 	tsize_t written=0;
         ^
  3749. 	char buffer[32];
  3750. 	int buflen=0;

tools/tiff2pdf.c:3750:2: 
  3748. 	tsize_t written=0;
  3749. 	char buffer[32];
  3750. 	int buflen=0;
         ^
  3751. 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);

tools/tiff2pdf.c:3752:2: 
  3750. 	int buflen=0;
  3751. 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
         ^
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );

tools/tiff2pdf.c:3753:2: Taking false branch
  3751. 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
         ^
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);

tools/tiff2pdf.c:3753:2: Taking false branch
  3751. 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
         ^
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);

tools/tiff2pdf.c:3754:2: 
  3752. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
         ^
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3756. 

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:3755:2: 
  3753. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3754. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
         ^
  3756. 
  3757. 	return(written);

tools/tiff2pdf.c:371:1: start of procedure t2pWriteFile()
    369. }
    370. 
    371. static tmsize_t 
         ^
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {

tools/tiff2pdf.c:374:2: 
    372. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
          ^
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)

libtiff/tif_open.c:536:1: start of procedure TIFFClientdata()
      534.  * Return open file's clientdata.
      535.  */
      536. thandle_t
           ^
      537. TIFFClientdata(TIFF* tif)
      538. {

libtiff/tif_open.c:539:2: 
      537. TIFFClientdata(TIFF* tif)
      538. {
      539. 	return (tif->tif_clientdata);
            ^
      540. }
      541. 

libtiff/tif_open.c:540:1: return from a call to TIFFClientdata
      538. {
      539. 	return (tif->tif_clientdata);
      540. }
           ^
      541. 
      542. /*

tools/tiff2pdf.c:375:2: 
    373. {
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    376. 	if (proc)
    377. 		return proc(client, data, size);

libtiff/tif_open.c:667:1: start of procedure TIFFGetWriteProc()
      665.  * Return pointer to file write method.
      666.  */
      667. TIFFReadWriteProc
           ^
      668. TIFFGetWriteProc(TIFF* tif)
      669. {

libtiff/tif_open.c:670:2: 
      668. TIFFGetWriteProc(TIFF* tif)
      669. {
      670. 	return (tif->tif_writeproc);
            ^
      671. }
      672. 

libtiff/tif_open.c:671:1: return from a call to TIFFGetWriteProc
      669. {
      670. 	return (tif->tif_writeproc);
      671. }
           ^
      672. 
      673. /*

tools/tiff2pdf.c:376:6: Taking false branch
    374. 	thandle_t client = TIFFClientdata(tif);
    375. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    376. 	if (proc)
              ^
    377. 		return proc(client, data, size);
    378. 	return -1;

tools/tiff2pdf.c:378:2: 
    376. 	if (proc)
    377. 		return proc(client, data, size);
    378. 	return -1;
          ^
    379. }
    380. 

tools/tiff2pdf.c:379:1: return from a call to t2pWriteFile
    377. 		return proc(client, data, size);
    378. 	return -1;
    379. }
         ^
    380. 
    381. static uint64

tools/tiff2pdf.c:3757:2: 
  3755. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3756. 
  3757. 	return(written);
         ^
  3758. }
  3759. 

tools/tiff2pdf.c:3758:1: return from a call to t2p_write_pdf_obj_start
  3756. 
  3757. 	return(written);
  3758. }
        ^
  3759. 
  3760. /*

tools/tiff2pdf.c:5399:2: Skipping t2p_write_pdf_info(): empty list of specs
5397. 	t2p->pdf_info=t2p->pdf_xrefcount;
5398. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5399. 	written += t2p_write_pdf_info(t2p, input, output);
       ^
5400. 	written += t2p_write_pdf_obj_end(output);
5401. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
