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

tools/tiff2pdf.c:5459:1: start of procedure t2p_write_pdf()
5457. */
5458. 
5459. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
      ^
5460. 
5461. 	tsize_t written=0;

tools/tiff2pdf.c:5461:2: 
5459. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
5460. 
5461. 	tsize_t written=0;
       ^
5462. 	ttile_t i2=0;
5463. 	tsize_t streamlen=0;

tools/tiff2pdf.c:5462:2: 
5460. 
5461. 	tsize_t written=0;
5462. 	ttile_t i2=0;
       ^
5463. 	tsize_t streamlen=0;
5464. 	uint16 i=0;

tools/tiff2pdf.c:5463:2: 
5461. 	tsize_t written=0;
5462. 	ttile_t i2=0;
5463. 	tsize_t streamlen=0;
       ^
5464. 	uint16 i=0;
5465. 

tools/tiff2pdf.c:5464:2: 
5462. 	ttile_t i2=0;
5463. 	tsize_t streamlen=0;
5464. 	uint16 i=0;
       ^
5465. 
5466. 	t2p_read_tiff_init(t2p, input);

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

tools/tiff2pdf.c:5467:5: Taking false branch
5465. 
5466. 	t2p_read_tiff_init(t2p, input);
5467. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
          ^
5468. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
5469. 	if(t2p->pdf_xrefoffsets==NULL){

tools/tiff2pdf.c:5468:46: Condition is true
5466. 	t2p_read_tiff_init(t2p, input);
5467. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5468. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
                                                   ^
5469. 	if(t2p->pdf_xrefoffsets==NULL){
5470. 		TIFFError(

tools/tiff2pdf.c:5468:46: Condition is true
5466. 	t2p_read_tiff_init(t2p, input);
5467. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5468. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
                                                   ^
5469. 	if(t2p->pdf_xrefoffsets==NULL){
5470. 		TIFFError(

tools/tiff2pdf.c:5468:2: 
5466. 	t2p_read_tiff_init(t2p, input);
5467. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5468. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
       ^
5469. 	if(t2p->pdf_xrefoffsets==NULL){
5470. 		TIFFError(

libtiff/tif_unix.c:308:1: start of procedure _TIFFmalloc()
  306. #endif
  307. 
  308. void*
       ^
  309. _TIFFmalloc(tmsize_t s)
  310. {

libtiff/tif_unix.c:311:13: Taking false branch
  309. _TIFFmalloc(tmsize_t s)
  310. {
  311.         if (s == 0)
                   ^
  312.                 return ((void *) NULL);
  313. 

libtiff/tif_unix.c:314:2: 
  312.                 return ((void *) NULL);
  313. 
  314. 	return (malloc((size_t) s));
        ^
  315. }
  316. 

libtiff/tif_unix.c:315:1: return from a call to _TIFFmalloc
  313. 
  314. 	return (malloc((size_t) s));
  315. }
       ^
  316. 
  317. void* _TIFFcalloc(tmsize_t nmemb, tmsize_t siz)

tools/tiff2pdf.c:5469:5: Taking false branch
5467. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5468. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
5469. 	if(t2p->pdf_xrefoffsets==NULL){
          ^
5470. 		TIFFError(
5471. 			TIFF2PDF_MODULE, 

tools/tiff2pdf.c:5477:2: 
5475. 		return(written);
5476. 	}
5477. 	t2p->pdf_xrefcount=0;
       ^
5478. 	t2p->pdf_catalog=1;
5479. 	t2p->pdf_info=2;

tools/tiff2pdf.c:5478:2: 
5476. 	}
5477. 	t2p->pdf_xrefcount=0;
5478. 	t2p->pdf_catalog=1;
       ^
5479. 	t2p->pdf_info=2;
5480. 	t2p->pdf_pages=3;

tools/tiff2pdf.c:5479:2: 
5477. 	t2p->pdf_xrefcount=0;
5478. 	t2p->pdf_catalog=1;
5479. 	t2p->pdf_info=2;
       ^
5480. 	t2p->pdf_pages=3;
5481. 	written += t2p_write_pdf_header(t2p, output);

tools/tiff2pdf.c:5480:2: 
5478. 	t2p->pdf_catalog=1;
5479. 	t2p->pdf_info=2;
5480. 	t2p->pdf_pages=3;
       ^
5481. 	written += t2p_write_pdf_header(t2p, output);
5482. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;

tools/tiff2pdf.c:5481:2: 
5479. 	t2p->pdf_info=2;
5480. 	t2p->pdf_pages=3;
5481. 	written += t2p_write_pdf_header(t2p, output);
       ^
5482. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5483. 	t2p->pdf_catalog=t2p->pdf_xrefcount;

tools/tiff2pdf.c:3817:1: start of procedure t2p_write_pdf_header()
  3815. */
  3816. 
  3817. tsize_t t2p_write_pdf_header(T2P* t2p, TIFF* output){
        ^
  3818. 
  3819. 	tsize_t written=0;

tools/tiff2pdf.c:3819:2: 
  3817. tsize_t t2p_write_pdf_header(T2P* t2p, TIFF* output){
  3818. 
  3819. 	tsize_t written=0;
         ^
  3820. 	char buffer[16];
  3821. 	int buflen=0;

tools/tiff2pdf.c:3821:2: 
  3819. 	tsize_t written=0;
  3820. 	char buffer[16];
  3821. 	int buflen=0;
         ^
  3822. 	
  3823. 	buflen = snprintf(buffer, sizeof(buffer), "%%PDF-%u.%u ",

tools/tiff2pdf.c:3823:2: 
  3821. 	int buflen=0;
  3822. 	
  3823. 	buflen = snprintf(buffer, sizeof(buffer), "%%PDF-%u.%u ",
         ^
  3824. 			  t2p->pdf_majorversion&0xff,
  3825. 			  t2p->pdf_minorversion&0xff);

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

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

tools/tiff2pdf.c:3827:2: 
  3825. 			  t2p->pdf_minorversion&0xff);
  3826. 	check_snprintf_ret(t2p, buflen, buffer);
  3827. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen);
         ^
  3828. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
  3829. 

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:3828:2: 
  3826. 	check_snprintf_ret(t2p, buflen, buffer);
  3827. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen);
  3828. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
         ^
  3829. 
  3830. 	return(written);

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:3830:2: 
  3828. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
  3829. 
  3830. 	return(written);
         ^
  3831. }
  3832. 

tools/tiff2pdf.c:3831:1: return from a call to t2p_write_pdf_header
  3829. 
  3830. 	return(written);
  3831. }
        ^
  3832. 
  3833. /*

tools/tiff2pdf.c:5482:2: 
5480. 	t2p->pdf_pages=3;
5481. 	written += t2p_write_pdf_header(t2p, output);
5482. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
       ^
5483. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5484. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);

tools/tiff2pdf.c:5483:2: 
5481. 	written += t2p_write_pdf_header(t2p, output);
5482. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5483. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
       ^
5484. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5485. 	written += t2p_write_pdf_catalog(t2p, output);

tools/tiff2pdf.c:5484:2: 
5482. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5483. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5484. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
       ^
5485. 	written += t2p_write_pdf_catalog(t2p, output);
5486. 	written += t2p_write_pdf_obj_end(output);

tools/tiff2pdf.c:3837:1: start of procedure t2p_write_pdf_obj_start()
  3835. */
  3836. 
  3837. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
        ^
  3838. 
  3839. 	tsize_t written=0;

tools/tiff2pdf.c:3839:2: 
  3837. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
  3838. 
  3839. 	tsize_t written=0;
         ^
  3840. 	char buffer[32];
  3841. 	int buflen=0;

tools/tiff2pdf.c:3841:2: 
  3839. 	tsize_t written=0;
  3840. 	char buffer[32];
  3841. 	int buflen=0;
         ^
  3842. 
  3843. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);

tools/tiff2pdf.c:3843:2: 
  3841. 	int buflen=0;
  3842. 
  3843. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
         ^
  3844. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3845. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );

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

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

tools/tiff2pdf.c:3845:2: 
  3843. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3844. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3845. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
         ^
  3846. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3847. 

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:3846:2: 
  3844. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3845. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3846. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
         ^
  3847. 
  3848. 	return(written);

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:3848:2: 
  3846. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3847. 
  3848. 	return(written);
         ^
  3849. }
  3850. 

tools/tiff2pdf.c:3849:1: return from a call to t2p_write_pdf_obj_start
  3847. 
  3848. 	return(written);
  3849. }
        ^
  3850. 
  3851. /*

tools/tiff2pdf.c:5485:2: 
5483. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5484. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5485. 	written += t2p_write_pdf_catalog(t2p, output);
       ^
5486. 	written += t2p_write_pdf_obj_end(output);
5487. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;

tools/tiff2pdf.c:4126:1: start of procedure t2p_write_pdf_catalog()
  4124.  */
  4125. 
  4126. tsize_t t2p_write_pdf_catalog(T2P* t2p, TIFF* output)
        ^
  4127. {
  4128. 	tsize_t written = 0;

tools/tiff2pdf.c:4128:2: 
  4126. tsize_t t2p_write_pdf_catalog(T2P* t2p, TIFF* output)
  4127. {
  4128. 	tsize_t written = 0;
         ^
  4129. 	char buffer[32];
  4130. 	int buflen = 0;

tools/tiff2pdf.c:4130:2: 
  4128. 	tsize_t written = 0;
  4129. 	char buffer[32];
  4130. 	int buflen = 0;
         ^
  4131. 
  4132. 	written += t2pWriteFile(output, 

tools/tiff2pdf.c:4132:2: 
  4130. 	int buflen = 0;
  4131. 
  4132. 	written += t2pWriteFile(output, 
         ^
  4133. 		(tdata_t)"<< \n/Type /Catalog \n/Pages ", 
  4134. 		27);

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:4135:2: 
  4133. 		(tdata_t)"<< \n/Type /Catalog \n/Pages ", 
  4134. 		27);
  4135. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
         ^
  4136. 	check_snprintf_ret(t2p, buflen, buffer);
  4137. 	written += t2pWriteFile(output, (tdata_t) buffer,

tools/tiff2pdf.c:4136:2: Taking false branch
  4134. 		27);
  4135. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
  4136. 	check_snprintf_ret(t2p, buflen, buffer);
         ^
  4137. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4138. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));

tools/tiff2pdf.c:4136:2: Taking false branch
  4134. 		27);
  4135. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
  4136. 	check_snprintf_ret(t2p, buflen, buffer);
         ^
  4137. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4138. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));

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

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

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:4139:2: 
  4137. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4138. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));
  4139. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);
         ^
  4140. 	if(t2p->pdf_fitwindow){
  4141. 		written += t2pWriteFile(output, 

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

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

tools/tiff2pdf.c:4141:3: 
  4139. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);
  4140. 	if(t2p->pdf_fitwindow){
  4141. 		written += t2pWriteFile(output, 
          ^
  4142. 			(tdata_t) "/ViewerPreferences <</FitWindow true>>\n", 
  4143. 			39);

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:4145:2: 
  4143. 			39);
  4144. 	}
  4145. 	written += t2pWriteFile(output, (tdata_t)">>\n", 3);
         ^
  4146. 
  4147. 	return(written);

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:4147:2: 
  4145. 	written += t2pWriteFile(output, (tdata_t)">>\n", 3);
  4146. 
  4147. 	return(written);
         ^
  4148. }
  4149. 

tools/tiff2pdf.c:4148:1: return from a call to t2p_write_pdf_catalog
  4146. 
  4147. 	return(written);
  4148. }
        ^
  4149. 
  4150. /*

tools/tiff2pdf.c:5486:2: 
5484. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5485. 	written += t2p_write_pdf_catalog(t2p, output);
5486. 	written += t2p_write_pdf_obj_end(output);
       ^
5487. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5488. 	t2p->pdf_info=t2p->pdf_xrefcount;

tools/tiff2pdf.c:3855:1: start of procedure t2p_write_pdf_obj_end()
  3853. */
  3854. 
  3855. tsize_t t2p_write_pdf_obj_end(TIFF* output){
        ^
  3856. 
  3857. 	tsize_t written=0;

tools/tiff2pdf.c:3857:2: 
  3855. tsize_t t2p_write_pdf_obj_end(TIFF* output){
  3856. 
  3857. 	tsize_t written=0;
         ^
  3858. 
  3859. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);

tools/tiff2pdf.c:3859:2: 
  3857. 	tsize_t written=0;
  3858. 
  3859. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);
         ^
  3860. 
  3861. 	return(written);

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:3861:2: 
  3859. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);
  3860. 
  3861. 	return(written);
         ^
  3862. }
  3863. 

tools/tiff2pdf.c:3862:1: return from a call to t2p_write_pdf_obj_end
  3860. 
  3861. 	return(written);
  3862. }
        ^
  3863. 
  3864. /*

tools/tiff2pdf.c:5487:2: 
5485. 	written += t2p_write_pdf_catalog(t2p, output);
5486. 	written += t2p_write_pdf_obj_end(output);
5487. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
       ^
5488. 	t2p->pdf_info=t2p->pdf_xrefcount;
5489. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);

tools/tiff2pdf.c:5488:2: 
5486. 	written += t2p_write_pdf_obj_end(output);
5487. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5488. 	t2p->pdf_info=t2p->pdf_xrefcount;
       ^
5489. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5490. 	written += t2p_write_pdf_info(t2p, input, output);

tools/tiff2pdf.c:5489:2: 
5487. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5488. 	t2p->pdf_info=t2p->pdf_xrefcount;
5489. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
       ^
5490. 	written += t2p_write_pdf_info(t2p, input, output);
5491. 	written += t2p_write_pdf_obj_end(output);

tools/tiff2pdf.c:3837:1: start of procedure t2p_write_pdf_obj_start()
  3835. */
  3836. 
  3837. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
        ^
  3838. 
  3839. 	tsize_t written=0;

tools/tiff2pdf.c:3839:2: 
  3837. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
  3838. 
  3839. 	tsize_t written=0;
         ^
  3840. 	char buffer[32];
  3841. 	int buflen=0;

tools/tiff2pdf.c:3841:2: 
  3839. 	tsize_t written=0;
  3840. 	char buffer[32];
  3841. 	int buflen=0;
         ^
  3842. 
  3843. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);

tools/tiff2pdf.c:3843:2: 
  3841. 	int buflen=0;
  3842. 
  3843. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
         ^
  3844. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3845. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );

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

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

tools/tiff2pdf.c:3845:2: 
  3843. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3844. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3845. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
         ^
  3846. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3847. 

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:3846:2: 
  3844. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3845. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3846. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
         ^
  3847. 
  3848. 	return(written);

tools/tiff2pdf.c:375:1: start of procedure t2pWriteFile()
    373. #endif /* OJPEG_SUPPORT */
    374. 
    375. static tmsize_t 
         ^
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {

tools/tiff2pdf.c:378:2: 
    376. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
          ^
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)

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

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

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

tools/tiff2pdf.c:379:2: 
    377. {
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    380. 	if (proc)
    381. 		return proc(client, data, size);

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

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

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

tools/tiff2pdf.c:380:6: Taking false branch
    378. 	thandle_t client = TIFFClientdata(tif);
    379. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    380. 	if (proc)
              ^
    381. 		return proc(client, data, size);
    382. 	return -1;

tools/tiff2pdf.c:382:2: 
    380. 	if (proc)
    381. 		return proc(client, data, size);
    382. 	return -1;
          ^
    383. }
    384. 

tools/tiff2pdf.c:383:1: return from a call to t2pWriteFile
    381. 		return proc(client, data, size);
    382. 	return -1;
    383. }
         ^
    384. 
    385. static uint64

tools/tiff2pdf.c:3848:2: 
  3846. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3847. 
  3848. 	return(written);
         ^
  3849. }
  3850. 

tools/tiff2pdf.c:3849:1: return from a call to t2p_write_pdf_obj_start
  3847. 
  3848. 	return(written);
  3849. }
        ^
  3850. 
  3851. /*

tools/tiff2pdf.c:5490:2: Skipping t2p_write_pdf_info(): empty list of specs
5488. 	t2p->pdf_info=t2p->pdf_xrefcount;
5489. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5490. 	written += t2p_write_pdf_info(t2p, input, output);
       ^
5491. 	written += t2p_write_pdf_obj_end(output);
5492. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
