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

tools/tiff2pdf.c:5557:1: start of procedure t2p_write_pdf()
5555. */
5556. 
5557. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
      ^
5558. 
5559. 	tsize_t written=0;

tools/tiff2pdf.c:5559:2: 
5557. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
5558. 
5559. 	tsize_t written=0;
       ^
5560. 	ttile_t i2=0;
5561. 	tsize_t streamlen=0;

tools/tiff2pdf.c:5560:2: 
5558. 
5559. 	tsize_t written=0;
5560. 	ttile_t i2=0;
       ^
5561. 	tsize_t streamlen=0;
5562. 	uint16 i=0;

tools/tiff2pdf.c:5561:2: 
5559. 	tsize_t written=0;
5560. 	ttile_t i2=0;
5561. 	tsize_t streamlen=0;
       ^
5562. 	uint16 i=0;
5563. 

tools/tiff2pdf.c:5562:2: 
5560. 	ttile_t i2=0;
5561. 	tsize_t streamlen=0;
5562. 	uint16 i=0;
       ^
5563. 
5564. 	t2p_read_tiff_init(t2p, input);

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

tools/tiff2pdf.c:5565:5: Taking false branch
5563. 
5564. 	t2p_read_tiff_init(t2p, input);
5565. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
          ^
5566. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
5567. 	if(t2p->pdf_xrefoffsets==NULL){

tools/tiff2pdf.c:5566:46: Condition is true
5564. 	t2p_read_tiff_init(t2p, input);
5565. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5566. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
                                                   ^
5567. 	if(t2p->pdf_xrefoffsets==NULL){
5568. 		TIFFError(

tools/tiff2pdf.c:5566:46: Condition is true
5564. 	t2p_read_tiff_init(t2p, input);
5565. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5566. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
                                                   ^
5567. 	if(t2p->pdf_xrefoffsets==NULL){
5568. 		TIFFError(

tools/tiff2pdf.c:5566:2: 
5564. 	t2p_read_tiff_init(t2p, input);
5565. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5566. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
       ^
5567. 	if(t2p->pdf_xrefoffsets==NULL){
5568. 		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:5567:5: Taking false branch
5565. 	if(t2p->t2p_error!=T2P_ERR_OK){return(0);}
5566. 	t2p->pdf_xrefoffsets= (uint32*) _TIFFmalloc(TIFFSafeMultiply(tmsize_t,t2p->pdf_xrefcount,sizeof(uint32)) );
5567. 	if(t2p->pdf_xrefoffsets==NULL){
          ^
5568. 		TIFFError(
5569. 			TIFF2PDF_MODULE, 

tools/tiff2pdf.c:5575:2: 
5573. 		return(written);
5574. 	}
5575. 	t2p->pdf_xrefcount=0;
       ^
5576. 	t2p->pdf_catalog=1;
5577. 	t2p->pdf_info=2;

tools/tiff2pdf.c:5576:2: 
5574. 	}
5575. 	t2p->pdf_xrefcount=0;
5576. 	t2p->pdf_catalog=1;
       ^
5577. 	t2p->pdf_info=2;
5578. 	t2p->pdf_pages=3;

tools/tiff2pdf.c:5577:2: 
5575. 	t2p->pdf_xrefcount=0;
5576. 	t2p->pdf_catalog=1;
5577. 	t2p->pdf_info=2;
       ^
5578. 	t2p->pdf_pages=3;
5579. 	written += t2p_write_pdf_header(t2p, output);

tools/tiff2pdf.c:5578:2: 
5576. 	t2p->pdf_catalog=1;
5577. 	t2p->pdf_info=2;
5578. 	t2p->pdf_pages=3;
       ^
5579. 	written += t2p_write_pdf_header(t2p, output);
5580. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;

tools/tiff2pdf.c:5579:2: 
5577. 	t2p->pdf_info=2;
5578. 	t2p->pdf_pages=3;
5579. 	written += t2p_write_pdf_header(t2p, output);
       ^
5580. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5581. 	t2p->pdf_catalog=t2p->pdf_xrefcount;

tools/tiff2pdf.c:3920:1: start of procedure t2p_write_pdf_header()
  3918. */
  3919. 
  3920. tsize_t t2p_write_pdf_header(T2P* t2p, TIFF* output){
        ^
  3921. 
  3922. 	tsize_t written=0;

tools/tiff2pdf.c:3922:2: 
  3920. tsize_t t2p_write_pdf_header(T2P* t2p, TIFF* output){
  3921. 
  3922. 	tsize_t written=0;
         ^
  3923. 	char buffer[16];
  3924. 	int buflen=0;

tools/tiff2pdf.c:3924:2: 
  3922. 	tsize_t written=0;
  3923. 	char buffer[16];
  3924. 	int buflen=0;
         ^
  3925. 	
  3926. 	buflen = snprintf(buffer, sizeof(buffer), "%%PDF-%u.%u ",

tools/tiff2pdf.c:3926:2: 
  3924. 	int buflen=0;
  3925. 	
  3926. 	buflen = snprintf(buffer, sizeof(buffer), "%%PDF-%u.%u ",
         ^
  3927. 			  t2p->pdf_majorversion&0xff,
  3928. 			  t2p->pdf_minorversion&0xff);

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

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

tools/tiff2pdf.c:3930:2: 
  3928. 			  t2p->pdf_minorversion&0xff);
  3929. 	check_snprintf_ret(t2p, buflen, buffer);
  3930. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen);
         ^
  3931. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
  3932. 

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:3931:2: 
  3929. 	check_snprintf_ret(t2p, buflen, buffer);
  3930. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen);
  3931. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
         ^
  3932. 
  3933. 	return(written);

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:3933:2: 
  3931. 	written += t2pWriteFile(output, (tdata_t)"\n%\342\343\317\323\n", 7);
  3932. 
  3933. 	return(written);
         ^
  3934. }
  3935. 

tools/tiff2pdf.c:3934:1: return from a call to t2p_write_pdf_header
  3932. 
  3933. 	return(written);
  3934. }
        ^
  3935. 
  3936. /*

tools/tiff2pdf.c:5580:2: 
5578. 	t2p->pdf_pages=3;
5579. 	written += t2p_write_pdf_header(t2p, output);
5580. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
       ^
5581. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5582. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);

tools/tiff2pdf.c:5581:2: 
5579. 	written += t2p_write_pdf_header(t2p, output);
5580. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5581. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
       ^
5582. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5583. 	written += t2p_write_pdf_catalog(t2p, output);

tools/tiff2pdf.c:5582:2: 
5580. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5581. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5582. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
       ^
5583. 	written += t2p_write_pdf_catalog(t2p, output);
5584. 	written += t2p_write_pdf_obj_end(output);

tools/tiff2pdf.c:3940:1: start of procedure t2p_write_pdf_obj_start()
  3938. */
  3939. 
  3940. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
        ^
  3941. 
  3942. 	tsize_t written=0;

tools/tiff2pdf.c:3942:2: 
  3940. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
  3941. 
  3942. 	tsize_t written=0;
         ^
  3943. 	char buffer[32];
  3944. 	int buflen=0;

tools/tiff2pdf.c:3944:2: 
  3942. 	tsize_t written=0;
  3943. 	char buffer[32];
  3944. 	int buflen=0;
         ^
  3945. 
  3946. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);

tools/tiff2pdf.c:3946:2: 
  3944. 	int buflen=0;
  3945. 
  3946. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
         ^
  3947. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3948. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );

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

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

tools/tiff2pdf.c:3948:2: 
  3946. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3947. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3948. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
         ^
  3949. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3950. 

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:3949:2: 
  3947. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3948. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3949. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
         ^
  3950. 
  3951. 	return(written);

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:3951:2: 
  3949. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3950. 
  3951. 	return(written);
         ^
  3952. }
  3953. 

tools/tiff2pdf.c:3952:1: return from a call to t2p_write_pdf_obj_start
  3950. 
  3951. 	return(written);
  3952. }
        ^
  3953. 
  3954. /*

tools/tiff2pdf.c:5583:2: 
5581. 	t2p->pdf_catalog=t2p->pdf_xrefcount;
5582. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5583. 	written += t2p_write_pdf_catalog(t2p, output);
       ^
5584. 	written += t2p_write_pdf_obj_end(output);
5585. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;

tools/tiff2pdf.c:4229:1: start of procedure t2p_write_pdf_catalog()
  4227.  */
  4228. 
  4229. tsize_t t2p_write_pdf_catalog(T2P* t2p, TIFF* output)
        ^
  4230. {
  4231. 	tsize_t written = 0;

tools/tiff2pdf.c:4231:2: 
  4229. tsize_t t2p_write_pdf_catalog(T2P* t2p, TIFF* output)
  4230. {
  4231. 	tsize_t written = 0;
         ^
  4232. 	char buffer[32];
  4233. 	int buflen = 0;

tools/tiff2pdf.c:4233:2: 
  4231. 	tsize_t written = 0;
  4232. 	char buffer[32];
  4233. 	int buflen = 0;
         ^
  4234. 
  4235. 	written += t2pWriteFile(output, 

tools/tiff2pdf.c:4235:2: 
  4233. 	int buflen = 0;
  4234. 
  4235. 	written += t2pWriteFile(output, 
         ^
  4236. 		(tdata_t)"<< \n/Type /Catalog \n/Pages ", 
  4237. 		27);

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:4238:2: 
  4236. 		(tdata_t)"<< \n/Type /Catalog \n/Pages ", 
  4237. 		27);
  4238. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
         ^
  4239. 	check_snprintf_ret(t2p, buflen, buffer);
  4240. 	written += t2pWriteFile(output, (tdata_t) buffer,

tools/tiff2pdf.c:4239:2: Taking false branch
  4237. 		27);
  4238. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
  4239. 	check_snprintf_ret(t2p, buflen, buffer);
         ^
  4240. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4241. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));

tools/tiff2pdf.c:4239:2: Taking false branch
  4237. 		27);
  4238. 	buflen = snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)t2p->pdf_pages);
  4239. 	check_snprintf_ret(t2p, buflen, buffer);
         ^
  4240. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4241. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));

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

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

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:4242:2: 
  4240. 	written += t2pWriteFile(output, (tdata_t) buffer,
  4241. 				TIFFmin((size_t)buflen, sizeof(buffer) - 1));
  4242. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);
         ^
  4243. 	if(t2p->pdf_fitwindow){
  4244. 		written += t2pWriteFile(output, 

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

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

tools/tiff2pdf.c:4244:3: 
  4242. 	written += t2pWriteFile(output, (tdata_t) " 0 R \n", 6);
  4243. 	if(t2p->pdf_fitwindow){
  4244. 		written += t2pWriteFile(output, 
          ^
  4245. 			(tdata_t) "/ViewerPreferences <</FitWindow true>>\n", 
  4246. 			39);

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:4248:2: 
  4246. 			39);
  4247. 	}
  4248. 	written += t2pWriteFile(output, (tdata_t)">>\n", 3);
         ^
  4249. 
  4250. 	return(written);

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:4250:2: 
  4248. 	written += t2pWriteFile(output, (tdata_t)">>\n", 3);
  4249. 
  4250. 	return(written);
         ^
  4251. }
  4252. 

tools/tiff2pdf.c:4251:1: return from a call to t2p_write_pdf_catalog
  4249. 
  4250. 	return(written);
  4251. }
        ^
  4252. 
  4253. /*

tools/tiff2pdf.c:5584:2: 
5582. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5583. 	written += t2p_write_pdf_catalog(t2p, output);
5584. 	written += t2p_write_pdf_obj_end(output);
       ^
5585. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5586. 	t2p->pdf_info=t2p->pdf_xrefcount;

tools/tiff2pdf.c:3958:1: start of procedure t2p_write_pdf_obj_end()
  3956. */
  3957. 
  3958. tsize_t t2p_write_pdf_obj_end(TIFF* output){
        ^
  3959. 
  3960. 	tsize_t written=0;

tools/tiff2pdf.c:3960:2: 
  3958. tsize_t t2p_write_pdf_obj_end(TIFF* output){
  3959. 
  3960. 	tsize_t written=0;
         ^
  3961. 
  3962. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);

tools/tiff2pdf.c:3962:2: 
  3960. 	tsize_t written=0;
  3961. 
  3962. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);
         ^
  3963. 
  3964. 	return(written);

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:3964:2: 
  3962. 	written += t2pWriteFile(output, (tdata_t) "endobj\n", 7);
  3963. 
  3964. 	return(written);
         ^
  3965. }
  3966. 

tools/tiff2pdf.c:3965:1: return from a call to t2p_write_pdf_obj_end
  3963. 
  3964. 	return(written);
  3965. }
        ^
  3966. 
  3967. /*

tools/tiff2pdf.c:5585:2: 
5583. 	written += t2p_write_pdf_catalog(t2p, output);
5584. 	written += t2p_write_pdf_obj_end(output);
5585. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
       ^
5586. 	t2p->pdf_info=t2p->pdf_xrefcount;
5587. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);

tools/tiff2pdf.c:5586:2: 
5584. 	written += t2p_write_pdf_obj_end(output);
5585. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5586. 	t2p->pdf_info=t2p->pdf_xrefcount;
       ^
5587. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5588. 	written += t2p_write_pdf_info(t2p, input, output);

tools/tiff2pdf.c:5587:2: 
5585. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
5586. 	t2p->pdf_info=t2p->pdf_xrefcount;
5587. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
       ^
5588. 	written += t2p_write_pdf_info(t2p, input, output);
5589. 	written += t2p_write_pdf_obj_end(output);

tools/tiff2pdf.c:3940:1: start of procedure t2p_write_pdf_obj_start()
  3938. */
  3939. 
  3940. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
        ^
  3941. 
  3942. 	tsize_t written=0;

tools/tiff2pdf.c:3942:2: 
  3940. tsize_t t2p_write_pdf_obj_start(uint32 number, TIFF* output){
  3941. 
  3942. 	tsize_t written=0;
         ^
  3943. 	char buffer[32];
  3944. 	int buflen=0;

tools/tiff2pdf.c:3944:2: 
  3942. 	tsize_t written=0;
  3943. 	char buffer[32];
  3944. 	int buflen=0;
         ^
  3945. 
  3946. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);

tools/tiff2pdf.c:3946:2: 
  3944. 	int buflen=0;
  3945. 
  3946. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
         ^
  3947. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3948. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );

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

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

tools/tiff2pdf.c:3948:2: 
  3946. 	buflen=snprintf(buffer, sizeof(buffer), "%lu", (unsigned long)number);
  3947. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3948. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
         ^
  3949. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3950. 

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:3949:2: 
  3947. 	check_snprintf_ret((T2P*)NULL, buflen, buffer);
  3948. 	written += t2pWriteFile(output, (tdata_t) buffer, buflen );
  3949. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
         ^
  3950. 
  3951. 	return(written);

tools/tiff2pdf.c:383:1: start of procedure t2pWriteFile()
    381. #endif /* OJPEG_SUPPORT */
    382. 
    383. static tmsize_t 
         ^
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {

tools/tiff2pdf.c:386:2: 
    384. t2pWriteFile(TIFF *tif, tdata_t data, tmsize_t size)
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
          ^
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)

libtiff/tif_open.c:552:1: start of procedure TIFFClientdata()
      550.  * Return open file's clientdata.
      551.  */
      552. thandle_t
           ^
      553. TIFFClientdata(TIFF* tif)
      554. {

libtiff/tif_open.c:555:2: 
      553. TIFFClientdata(TIFF* tif)
      554. {
      555. 	return (tif->tif_clientdata);
            ^
      556. }
      557. 

libtiff/tif_open.c:556:1: return from a call to TIFFClientdata
      554. {
      555. 	return (tif->tif_clientdata);
      556. }
           ^
      557. 
      558. /*

tools/tiff2pdf.c:387:2: 
    385. {
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
          ^
    388. 	if (proc)
    389. 		return proc(client, data, size);

libtiff/tif_open.c:683:1: start of procedure TIFFGetWriteProc()
      681.  * Return pointer to file write method.
      682.  */
      683. TIFFReadWriteProc
           ^
      684. TIFFGetWriteProc(TIFF* tif)
      685. {

libtiff/tif_open.c:686:2: 
      684. TIFFGetWriteProc(TIFF* tif)
      685. {
      686. 	return (tif->tif_writeproc);
            ^
      687. }
      688. 

libtiff/tif_open.c:687:1: return from a call to TIFFGetWriteProc
      685. {
      686. 	return (tif->tif_writeproc);
      687. }
           ^
      688. 
      689. /*

tools/tiff2pdf.c:388:6: Taking false branch
    386. 	thandle_t client = TIFFClientdata(tif);
    387. 	TIFFReadWriteProc proc = TIFFGetWriteProc(tif);
    388. 	if (proc)
              ^
    389. 		return proc(client, data, size);
    390. 	return -1;

tools/tiff2pdf.c:390:2: 
    388. 	if (proc)
    389. 		return proc(client, data, size);
    390. 	return -1;
          ^
    391. }
    392. 

tools/tiff2pdf.c:391:1: return from a call to t2pWriteFile
    389. 		return proc(client, data, size);
    390. 	return -1;
    391. }
         ^
    392. 
    393. static uint64

tools/tiff2pdf.c:3951:2: 
  3949. 	written += t2pWriteFile(output, (tdata_t) " 0 obj\n", 7);
  3950. 
  3951. 	return(written);
         ^
  3952. }
  3953. 

tools/tiff2pdf.c:3952:1: return from a call to t2p_write_pdf_obj_start
  3950. 
  3951. 	return(written);
  3952. }
        ^
  3953. 
  3954. /*

tools/tiff2pdf.c:5588:2: Skipping t2p_write_pdf_info(): empty list of specs
5586. 	t2p->pdf_info=t2p->pdf_xrefcount;
5587. 	written += t2p_write_pdf_obj_start(t2p->pdf_xrefcount, output);
5588. 	written += t2p_write_pdf_info(t2p, input, output);
       ^
5589. 	written += t2p_write_pdf_obj_end(output);
5590. 	t2p->pdf_xrefoffsets[t2p->pdf_xrefcount++]=written;
