WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --mutp is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.33333
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "subset"
--crossp 0.5
--delp 0.33333
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 2
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code true
--ignore-equiv-appends true
--ignore-standard-headers true
--ignore-string-equiv-fixes true
--ignore-untyped-returns true
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 44
--neg-weight 1
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 16
--pos-weight 0.1
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0
--samp-strat "variant"
--sample 1
--sample-runs 100
--sanity "yes"
--search "ww"
--seed 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant true
--super-mutant-size 50
--swap-bug false
--swapp 0.33333
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux domU-12-31-39-0B-AC-71 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Wed May  8 11:01:52 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp475723.c /tmp/tmp6cf0cf.c
cilRep: done preprocessing IO function signatures
Exception in loading: Sys_error("default.cache: No such file or directory")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/libtiff/tif_dir.c: parsing
cilRep: preprocessed/libtiff/tif_dir.c: parsed (0.153102 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 130 "tif_dir.c"
TIFFErrorExt(tif->tif_clientdata, "TIFFSetField",
             "%s: Invalid InkNames value; expecting %d names, found %d",
             tif->tif_name, td->td_samplesperpixel,
             (int )td->td_samplesperpixel - (int )i);
Liveness failed on function:
 static uint32 checkInkNamesString(TIFF *tif , uint32 slen , char const   *s ) 
{ TIFFDirectory *td ;
  uint16 i ;
  char const   *ep ;
  char const   *cp ;

  {
   287: /* CIL Label */ 
#line 115
  td = & tif->tif_dir;
   288: /* CIL Label */ 
#line 116
  i = td->td_samplesperpixel;
   289: /* CIL Label */ 
#line 118
  if (slen > 0U) {
#line 119
    ep = s + slen;
#line 120
    cp = s;
#line 121
    while ((int )i > 0) {
#line 122
      while ((int const   )*cp != 0) {
#line 123
        if ((unsigned int )cp >= (unsigned int )ep) {
          goto bad;
        } else {

        }
#line 122
        cp ++;
      }
#line 125
      cp ++;
#line 121
      i = (uint16 )((int )i - 1);
    }
#line 127
    return ((unsigned int )(cp - s));
  } else {

  }
   290: /* CIL Label */ 
  bad: 
#line 130
  TIFFErrorExt(tif->tif_clientdata, "TIFFSetField",
               "%s: Invalid InkNames value; expecting %d names, found %d",
               tif->tif_name, td->td_samplesperpixel,
               (int )td->td_samplesperpixel - (int )i);
   291: /* CIL Label */ 
#line 135
  return (0U);
}
}

cilRep: liveness failure for checkInkNamesString: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___6: /* CIL Label */ 
_L___5: /* CIL Label */ 
_L___4: /* CIL Label */ 
_L___3: /* CIL Label */ 
#line 531
val = (char *)tv->value;
#line 533
i___0 = 0;
Liveness failed on function:
 static int _TIFFVSetField(TIFF *tif , uint32 tag , va_list ap ) 
{ TIFFDirectory *td ;
  int status ;
  uint32 v32 ;
  uint32 i ;
  uint32 v ;
  char *s ;
  uint32 tmp ;
  uint32 tmp___0 ;
  uint32 tmp___1 ;
  uint16_vap tmp___2 ;
  uint16_vap tmp___3 ;
  uint16_vap tmp___4 ;
  uint16_vap tmp___5 ;
  uint16_vap tmp___6 ;
  uint16_vap tmp___7 ;
  uint16_vap tmp___8 ;
  uint32 tmp___9 ;
  uint16_vap tmp___10 ;
  uint16_vap tmp___11 ;
  double tmp___12 ;
  double tmp___13 ;
  double tmp___14 ;
  double tmp___15 ;
  uint16_vap tmp___16 ;
  double tmp___17 ;
  double tmp___18 ;
  uint16_vap tmp___19 ;
  uint16_vap tmp___20 ;
  uint16_vap tmp___21 ;
  uint16_vap tmp___22 ;
  uint16_vap tmp___23 ;
  uint16 *tmp___24 ;
  uint16 *tmp___25 ;
  uint16 *tmp___26 ;
  int tmp___27 ;
  uint16_vap tmp___28 ;
  uint16 sv ;
  uint32 tmp___29 ;
  uint32 tmp___30 ;
  uint32 tmp___31 ;
  uint16_vap tmp___32 ;
  uint16_vap tmp___33 ;
  uint32 tmp___34 ;
  uint16_vap tmp___35 ;
  uint64 *tmp___36 ;
  uint16_vap tmp___37 ;
  uint16_vap tmp___38 ;
  uint16_vap tmp___39 ;
  uint16 *tmp___40 ;
  uint16_vap tmp___41 ;
  TIFFTagValue *tv ;
  int tv_size ;
  int iCustom ;
  TIFFFieldInfo const   *fip ;
  TIFFFieldInfo const   *tmp___42 ;
  char const   *tmp___43 ;
  char const   *tmp___44 ;
  TIFFTagValue *new_customValues ;
  void *tmp___45 ;
  uint32 ma ;
  char *mb ;
  uint32 tmp___46 ;
  char *tmp___47 ;
  char *tmp___48 ;
  size_t tmp___49 ;
  uint32 tmp___50 ;
  int tmp___51 ;
  void *tmp___52 ;
  int i___0 ;
  char *val ;
  uint8 v___0 ;
  int tmp___53 ;
  int8 v___1 ;
  int tmp___54 ;
  uint16 v___2 ;
  int tmp___55 ;
  int16 v___3 ;
  int tmp___56 ;
  uint32 v___4 ;
  uint32 tmp___57 ;
  int32 v___5 ;
  int32 tmp___58 ;
  uint64 v___6 ;
  uint64 tmp___59 ;
  int64 v___7 ;
  int64 tmp___60 ;
  float v___8 ;
  double tmp___61 ;
  double v___9 ;
  double tmp___62 ;
  TIFFFieldInfo const   *tmp___63 ;
  TIFFFieldInfo const   *tmp___64 ;
  TIFFFieldInfo const   *tmp___65 ;
  TIFFFieldInfo const   *tmp___66 ;

  {
   623: /* CIL Label */ 
#line 143
  td = & tif->tif_dir;
   624: /* CIL Label */ 
#line 144
  status = 1;
   0: /* CIL Label */ 
#line 148
  switch ((int )tag) {
  case 254: 
#line 150
  tmp = __builtin_va_arg(ap, uint32 );
#line 150
  td->td_subfiletype = tmp;
#line 151
  break;
  case 256: 
#line 153
  tmp___0 = __builtin_va_arg(ap, uint32 );
#line 153
  td->td_imagewidth = tmp___0;
#line 154
  break;
  case 257: 
#line 156
  tmp___1 = __builtin_va_arg(ap, uint32 );
#line 156
  td->td_imagelength = tmp___1;
#line 157
  break;
  case 258: 
#line 159
  tmp___2 = __builtin_va_arg(ap, uint16_vap );
#line 159
  td->td_bitspersample = (unsigned short )tmp___2;
#line 167
  if (tif->tif_flags & 128U) {
#line 168
    if ((int )td->td_bitspersample == 16) {
#line 169
      tif->tif_postdecode = & _TIFFSwab16BitData;
    } else {
#line 170
      if ((int )td->td_bitspersample == 24) {
#line 171
        tif->tif_postdecode = & _TIFFSwab24BitData;
      } else {
#line 172
        if ((int )td->td_bitspersample == 32) {
#line 173
          tif->tif_postdecode = & _TIFFSwab32BitData;
        } else {
#line 174
          if ((int )td->td_bitspersample == 64) {
#line 175
            tif->tif_postdecode = & _TIFFSwab64BitData;
          } else {
#line 176
            if ((int )td->td_bitspersample == 128) {
#line 177
              tif->tif_postdecode = & _TIFFSwab64BitData;
            } else {

            }
          }
        }
      }
    }
  } else {

  }
#line 179
  break;
  case 259: 
#line 181
  tmp___3 = __builtin_va_arg(ap, uint16_vap );
#line 181
  v = (unsigned int )((unsigned short )tmp___3);
#line 187
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 7)) {
#line 188
    if ((unsigned int )td->td_compression == v) {
#line 189
      break;
    } else {

    }
#line 190
    (*(tif->tif_cleanup))(tif);
#line 191
    tif->tif_flags &= 4294967263U;
  } else {

  }
#line 196
  status = TIFFSetCompressionScheme(tif, (int )v);
#line 196
  if (status != 0) {
#line 197
    td->td_compression = (unsigned short )v;
  } else {
#line 199
    status = 0;
  }
#line 200
  break;
  case 262: 
#line 202
  tmp___4 = __builtin_va_arg(ap, uint16_vap );
#line 202
  td->td_photometric = (unsigned short )tmp___4;
#line 203
  break;
  case 263: 
#line 205
  tmp___5 = __builtin_va_arg(ap, uint16_vap );
#line 205
  td->td_threshholding = (unsigned short )tmp___5;
#line 206
  break;
  case 266: 
#line 208
  tmp___6 = __builtin_va_arg(ap, uint16_vap );
#line 208
  v = (unsigned int )((unsigned short )tmp___6);
#line 209
  if (v != 2U) {
#line 209
    if (v != 1U) {
      goto badvalue;
    } else {

    }
  } else {

  }
#line 211
  td->td_fillorder = (unsigned short )v;
#line 212
  break;
  case 274: 
#line 214
  tmp___7 = __builtin_va_arg(ap, uint16_vap );
#line 214
  v = (unsigned int )((unsigned short )tmp___7);
#line 215
  if (v < 1U) {
    goto badvalue;
  } else {
#line 215
    if (8U < v) {
      goto badvalue;
    } else {
#line 218
      td->td_orientation = (unsigned short )v;
    }
  }
#line 219
  break;
  case 277: 
#line 221
  tmp___8 = __builtin_va_arg(ap, uint16_vap );
#line 221
  v = (unsigned int )((unsigned short )tmp___8);
#line 222
  if (v == 0U) {
    goto badvalue;
  } else {

  }
#line 224
  td->td_samplesperpixel = (unsigned short )v;
#line 225
  break;
  case 278: 
#line 227
  tmp___9 = __builtin_va_arg(ap, uint32 );
#line 227
  v32 = tmp___9;
#line 228
  if (v32 == 0U) {
    goto badvalue32;
  } else {

  }
#line 230
  td->td_rowsperstrip = v32;
#line 231
  if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 2))) {
#line 232
    td->td_tilelength = v32;
#line 233
    td->td_tilewidth = td->td_imagewidth;
  } else {

  }
#line 235
  break;
  case 280: 
#line 237
  tmp___10 = __builtin_va_arg(ap, uint16_vap );
#line 237
  td->td_minsamplevalue = (unsigned short )tmp___10;
#line 238
  break;
  case 281: 
#line 240
  tmp___11 = __builtin_va_arg(ap, uint16_vap );
#line 240
  td->td_maxsamplevalue = (unsigned short )tmp___11;
#line 241
  break;
  case 340: 
#line 243
  tmp___12 = __builtin_va_arg(ap, double );
#line 243
  td->td_sminsamplevalue = tmp___12;
#line 244
  break;
  case 341: 
#line 246
  tmp___13 = __builtin_va_arg(ap, double );
#line 246
  td->td_smaxsamplevalue = tmp___13;
#line 247
  break;
  case 282: 
#line 249
  tmp___14 = __builtin_va_arg(ap, double );
#line 249
  td->td_xresolution = (float )tmp___14;
#line 250
  break;
  case 283: 
#line 252
  tmp___15 = __builtin_va_arg(ap, double );
#line 252
  td->td_yresolution = (float )tmp___15;
#line 253
  break;
  case 284: 
#line 255
  tmp___16 = __builtin_va_arg(ap, uint16_vap );
#line 255
  v = (unsigned int )((unsigned short )tmp___16);
#line 256
  if (v != 1U) {
#line 256
    if (v != 2U) {
      goto badvalue;
    } else {

    }
  } else {

  }
#line 258
  td->td_planarconfig = (unsigned short )v;
#line 259
  break;
  case 286: 
#line 261
  tmp___17 = __builtin_va_arg(ap, double );
#line 261
  td->td_xposition = (float )tmp___17;
#line 262
  break;
  case 287: 
#line 264
  tmp___18 = __builtin_va_arg(ap, double );
#line 264
  td->td_yposition = (float )tmp___18;
#line 265
  break;
  case 296: 
#line 267
  tmp___19 = __builtin_va_arg(ap, uint16_vap );
#line 267
  v = (unsigned int )((unsigned short )tmp___19);
#line 268
  if (v < 1U) {
    goto badvalue;
  } else {
#line 268
    if (3U < v) {
      goto badvalue;
    } else {

    }
  }
#line 270
  td->td_resolutionunit = (unsigned short )v;
#line 271
  break;
  case 297: 
#line 273
  tmp___20 = __builtin_va_arg(ap, uint16_vap );
#line 273
  td->td_pagenumber[0] = (unsigned short )tmp___20;
#line 274
  tmp___21 = __builtin_va_arg(ap, uint16_vap );
#line 274
  td->td_pagenumber[1] = (unsigned short )tmp___21;
#line 275
  break;
  case 321: 
#line 277
  tmp___22 = __builtin_va_arg(ap, uint16_vap );
#line 277
  td->td_halftonehints[0] = (unsigned short )tmp___22;
#line 278
  tmp___23 = __builtin_va_arg(ap, uint16_vap );
#line 278
  td->td_halftonehints[1] = (unsigned short )tmp___23;
#line 279
  break;
  case 320: 
#line 281
  v32 = (unsigned int )(1L << (int )td->td_bitspersample);
#line 282
  tmp___24 = __builtin_va_arg(ap, uint16 *);
#line 282
  _TIFFsetShortArray(& td->td_colormap[0], tmp___24, v32);
#line 283
  tmp___25 = __builtin_va_arg(ap, uint16 *);
#line 283
  _TIFFsetShortArray(& td->td_colormap[1], tmp___25, v32);
#line 284
  tmp___26 = __builtin_va_arg(ap, uint16 *);
#line 284
  _TIFFsetShortArray(& td->td_colormap[2], tmp___26, v32);
#line 285
  break;
  case 338: 
#line 287
  tmp___27 = setExtraSamples(td, ap, & v);
#line 287
  if (tmp___27) {

  } else {
    goto badvalue;
  }
#line 289
  break;
  case 32995: 
#line 291
  tmp___28 = __builtin_va_arg(ap, uint16_vap );
#line 291
  td->td_extrasamples = (unsigned short )((int )((unsigned short )tmp___28) != 0);
#line 292
  if (td->td_extrasamples) {
#line 293
    sv = (uint16 )1;
#line 294
    _TIFFsetShortArray(& td->td_sampleinfo, & sv, 1U);
  } else {

  }
#line 296
  break;
  case 322: 
#line 298
  tmp___29 = __builtin_va_arg(ap, uint32 );
#line 298
  v32 = tmp___29;
#line 299
  if (v32 % 16U) {
#line 300
    if (tif->tif_mode != 00) {
      goto badvalue32;
    } else {

    }
#line 302
    TIFFWarningExt(tif->tif_clientdata, (char const   *)tif->tif_name,
                   "Nonstandard tile width %d, convert file", v32);
  } else {

  }
#line 305
  td->td_tilewidth = v32;
#line 306
  tif->tif_flags |= 1024U;
#line 307
  break;
  case 323: 
#line 309
  tmp___30 = __builtin_va_arg(ap, uint32 );
#line 309
  v32 = tmp___30;
#line 310
  if (v32 % 16U) {
#line 311
    if (tif->tif_mode != 00) {
      goto badvalue32;
    } else {

    }
#line 313
    TIFFWarningExt(tif->tif_clientdata, (char const   *)tif->tif_name,
                   "Nonstandard tile length %d, convert file", v32);
  } else {

  }
#line 316
  td->td_tilelength = v32;
#line 317
  tif->tif_flags |= 1024U;
#line 318
  break;
  case 32998: 
#line 320
  tmp___31 = __builtin_va_arg(ap, uint32 );
#line 320
  v32 = tmp___31;
#line 321
  if (v32 == 0U) {
    goto badvalue32;
  } else {

  }
#line 323
  td->td_tiledepth = v32;
#line 324
  break;
  case 32996: 
#line 326
  tmp___32 = __builtin_va_arg(ap, uint16_vap );
#line 326
  v = (unsigned int )((unsigned short )tmp___32);
#line 327
  switch ((int )v) {
  case 0: 
#line 328
  v = 4U;
#line 328
  break;
  case 1: 
#line 329
  v = 2U;
#line 329
  break;
  case 2: 
#line 330
  v = 1U;
#line 330
  break;
  case 3: 
#line 331
  v = 3U;
#line 331
  break;
  default: ;
  goto badvalue;
  }
#line 334
  td->td_sampleformat = (unsigned short )v;
#line 335
  break;
  case 339: 
#line 337
  tmp___33 = __builtin_va_arg(ap, uint16_vap );
#line 337
  v = (unsigned int )((unsigned short )tmp___33);
#line 338
  if (v < 1U) {
    goto badvalue;
  } else {
#line 338
    if (6U < v) {
      goto badvalue;
    } else {

    }
  }
#line 340
  td->td_sampleformat = (unsigned short )v;
#line 343
  if ((int )td->td_sampleformat == 5) {
#line 343
    if ((int )td->td_bitspersample == 32) {
#line 343
      if ((unsigned int )tif->tif_postdecode == (unsigned int )(& _TIFFSwab32BitData)) {
#line 346
        tif->tif_postdecode = & _TIFFSwab16BitData;
      } else {
        goto _L___1;
      }
    } else {
      goto _L___1;
    }
  } else {
    _L___1: /* CIL Label */ 
    _L___0: /* CIL Label */ 
#line 347
    if ((int )td->td_sampleformat == 5) {
      goto _L;
    } else {
#line 347
      if ((int )td->td_sampleformat == 6) {
        _L: /* CIL Label */ 
#line 347
        if ((int )td->td_bitspersample == 64) {
#line 347
          if ((unsigned int )tif->tif_postdecode == (unsigned int )(& _TIFFSwab64BitData)) {
#line 351
            tif->tif_postdecode = & _TIFFSwab32BitData;
          } else {

          }
        } else {

        }
      } else {

      }
    }
  }
#line 352
  break;
  case 32997: 
#line 354
  tmp___34 = __builtin_va_arg(ap, uint32 );
#line 354
  td->td_imagedepth = tmp___34;
#line 355
  break;
  case 330: 
#line 357
  if ((tif->tif_flags & 8192U) == 0U) {
#line 358
    tmp___35 = __builtin_va_arg(ap, uint16_vap );
#line 358
    td->td_nsubifd = (unsigned short )tmp___35;
#line 359
    tmp___36 = __builtin_va_arg(ap, uint64 *);
#line 359
    _TIFFsetLong8Array(& td->td_subifd, tmp___36,
                       (unsigned int )((long )td->td_nsubifd));
  } else {
#line 362
    TIFFErrorExt(tif->tif_clientdata, module, "%s: Sorry, cannot nest SubIFDs",
                 tif->tif_name);
#line 365
    status = 0;
  }
#line 367
  break;
  case 531: 
#line 369
  tmp___37 = __builtin_va_arg(ap, uint16_vap );
#line 369
  td->td_ycbcrpositioning = (unsigned short )tmp___37;
#line 370
  break;
  case 530: 
#line 372
  tmp___38 = __builtin_va_arg(ap, uint16_vap );
#line 372
  td->td_ycbcrsubsampling[0] = (unsigned short )tmp___38;
#line 373
  tmp___39 = __builtin_va_arg(ap, uint16_vap );
#line 373
  td->td_ycbcrsubsampling[1] = (unsigned short )tmp___39;
#line 374
  break;
  case 301: 
#line 376
  if ((int )td->td_samplesperpixel - (int )td->td_extrasamples > 1) {
#line 376
    v = 3U;
  } else {
#line 376
    v = 1U;
  }
#line 377
  i = 0U;
#line 377
  while (i < v) {
#line 378
    tmp___40 = __builtin_va_arg(ap, uint16 *);
#line 378
    _TIFFsetShortArray(& td->td_transferfunction[i], tmp___40,
                       (unsigned int )(1L << (int )td->td_bitspersample));
#line 377
    i ++;
  }
#line 380
  break;
  case 333: 
#line 382
  tmp___41 = __builtin_va_arg(ap, uint16_vap );
#line 382
  v = (unsigned int )((unsigned short )tmp___41);
#line 383
  s = __builtin_va_arg(ap, char *);
#line 384
  v = checkInkNamesString(tif, v, (char const   *)s);
#line 385
  status = v > 0U;
#line 386
  if (v > 0U) {
#line 387
    _TIFFsetNString(& td->td_inknames, s, v);
#line 388
    td->td_inknameslen = (int )v;
  } else {

  }
#line 390
  break;
  default: 
#line 394
  tmp___42 = TIFFFindFieldInfo(tif, tag, (enum __anonenum_TIFFDataType_21 )0);
#line 394
  fip = tmp___42;
#line 405
  if ((unsigned int )fip == (unsigned int )((void *)0)) {
    goto _L___2;
  } else {
#line 405
    if ((int const   )fip->field_bit != 65) {
      _L___2: /* CIL Label */ 
#line 406
      if (fip) {
#line 406
        tmp___43 = (char const   */* const  */)fip->field_name;
      } else {
#line 406
        tmp___43 = (char const   */* const  */)"Unknown";
      }
#line 406
      if (tag > 65535U) {
#line 406
        tmp___44 = "pseudo-";
      } else {
#line 406
        tmp___44 = "";
      }
#line 406
      TIFFErrorExt(tif->tif_clientdata, module,
                   "%s: Invalid %stag \"%s\" (not supported by codec)",
                   tif->tif_name, tmp___44, tmp___43);
#line 410
      status = 0;
#line 411
      break;
    } else {

    }
  }
#line 417
  tv = (TIFFTagValue *)((void *)0);
#line 418
  iCustom = 0;
#line 418
  while (iCustom < td->td_customValueCount) {
#line 419
    if (((td->td_customValues + iCustom)->info)->field_tag == (ttag_t const   )tag) {
#line 420
      tv = td->td_customValues + iCustom;
#line 421
      if ((unsigned int )tv->value != (unsigned int )((void *)0)) {
#line 422
        _TIFFfree(tv->value);
#line 423
        tv->value = (void *)0;
      } else {

      }
#line 425
      break;
    } else {

    }
#line 418
    iCustom ++;
  }
#line 432
  if ((unsigned int )tv == (unsigned int )((void *)0)) {
#line 435
    (td->td_customValueCount) ++;
#line 436
    tmp___45 = _TIFFrealloc((void *)td->td_customValues,
                            (long )(sizeof(TIFFTagValue ) * (unsigned int )td->td_customValueCount));
#line 436
    new_customValues = (TIFFTagValue *)tmp___45;
#line 439
    if (! new_customValues) {
#line 440
      TIFFErrorExt(tif->tif_clientdata, module,
                   "%s: Failed to allocate space for list of custom values",
                   tif->tif_name);
#line 443
      status = 0;
      goto end;
    } else {

    }
#line 447
    td->td_customValues = new_customValues;
#line 449
    tv = td->td_customValues + (td->td_customValueCount - 1);
#line 450
    tv->info = fip;
#line 451
    tv->value = (void *)0;
#line 452
    tv->count = 0;
  } else {

  }
#line 458
  tv_size = _TIFFDataSize((enum __anonenum_TIFFDataType_21 )fip->field_type);
#line 459
  if (tv_size == 0) {
#line 460
    status = 0;
#line 461
    TIFFErrorExt(tif->tif_clientdata, module,
                 "%s: Bad field type %d for \"%s\"", tif->tif_name,
                 fip->field_type, fip->field_name);
    goto end;
  } else {

  }
#line 468
  if ((unsigned int const   )fip->field_type == 2U) {
#line 472
    if (fip->field_passcount) {
#line 474
      if ((int const   )fip->field_writecount == -3) {

      } else {
#line 474
        __assert_fail("fip->field_writecount==-3", "tif_dir.c", 474U,
                      "_TIFFVSetField");
      }
#line 475
      tmp___46 = __builtin_va_arg(ap, uint32 );
#line 475
      ma = tmp___46;
#line 476
      tmp___47 = __builtin_va_arg(ap, char *);
#line 476
      mb = tmp___47;
    } else {
#line 480
      tmp___48 = __builtin_va_arg(ap, char *);
#line 480
      mb = tmp___48;
#line 481
      tmp___49 = strlen((char const   *)mb);
#line 481
      ma = tmp___49 + 1U;
    }
#line 483
    tv->count = (int )ma;
#line 484
    setByteArray(& tv->value, (void *)mb, ma, 1U);
  } else {
#line 488
    if (fip->field_passcount) {
#line 489
      if ((int const   )fip->field_writecount == -3) {
#line 490
        tmp___50 = __builtin_va_arg(ap, uint32 );
#line 490
        tv->count = (int )tmp___50;
      } else {
#line 492
        tmp___51 = __builtin_va_arg(ap, int );
#line 492
        tv->count = tmp___51;
      }
    } else {
#line 493
      if ((int const   )fip->field_writecount == -1) {
#line 495
        tv->count = 1;
      } else {
#line 493
        if ((int const   )fip->field_writecount == -3) {
#line 495
          tv->count = 1;
        } else {
#line 496
          if ((int const   )fip->field_writecount == -2) {
#line 497
            tv->count = (int )td->td_samplesperpixel;
          } else {
#line 499
            tv->count = (int )fip->field_writecount;
          }
        }
      }
    }
#line 502
    tv->value = _TIFFCheckMalloc(tif, (long )tv_size, (long )tv->count,
                                 "Tag Value");
#line 504
    if (! tv->value) {
#line 505
      status = 0;
      goto end;
    } else {

    }
#line 509
    if (fip->field_passcount) {
      goto _L___7;
    } else {
#line 509
      if ((int const   )fip->field_writecount == -1) {
        goto _L___7;
      } else {
#line 509
        if ((int const   )fip->field_writecount == -3) {
          goto _L___7;
        } else {
#line 509
          if ((int const   )fip->field_writecount == -2) {
            goto _L___7;
          } else {
#line 509
            if (tv->count > 1) {
              _L___7: /* CIL Label */ 
#line 509
              if (fip->field_tag != 297U) {
#line 509
                if (fip->field_tag != 321U) {
#line 509
                  if (fip->field_tag != 530U) {
#line 509
                    if (fip->field_tag != 336U) {
#line 518
                      tmp___52 = __builtin_va_arg(ap, void *);
#line 518
                      _TIFFmemcpy(tv->value, (void const   *)tmp___52,
                                  (long )(tv->count * tv_size));
                    } else {
                      goto _L___6;
                    }
                  } else {
                    goto _L___6;
                  }
                } else {
                  goto _L___6;
                }
              } else {
                goto _L___6;
              }
            } else {
              _L___6: /* CIL Label */ 
              _L___5: /* CIL Label */ 
              _L___4: /* CIL Label */ 
              _L___3: /* CIL Label */ 
#line 531
              val = (char *)tv->value;
#line 533
              i___0 = 0;
#line 533
              while (i___0 < tv->count) {
#line 534
                switch ((int )fip->field_type) {
                case 1: 
                case 7: 
#line 538
                tmp___53 = __builtin_va_arg(ap, int );
#line 538
                v___0 = (unsigned char )tmp___53;
#line 539
                _TIFFmemcpy((void *)val, (void const   *)(& v___0),
                            (long )tv_size);
#line 541
                break;
                case 6: 
#line 544
                tmp___54 = __builtin_va_arg(ap, int );
#line 544
                v___1 = (signed char )tmp___54;
#line 545
                _TIFFmemcpy((void *)val, (void const   *)(& v___1),
                            (long )tv_size);
#line 547
                break;
                case 3: 
#line 550
                tmp___55 = __builtin_va_arg(ap, int );
#line 550
                v___2 = (unsigned short )tmp___55;
#line 551
                _TIFFmemcpy((void *)val, (void const   *)(& v___2),
                            (long )tv_size);
#line 553
                break;
                case 8: 
#line 556
                tmp___56 = __builtin_va_arg(ap, int );
#line 556
                v___3 = (short )tmp___56;
#line 557
                _TIFFmemcpy((void *)val, (void const   *)(& v___3),
                            (long )tv_size);
#line 559
                break;
                case 4: 
                case 13: 
#line 563
                tmp___57 = __builtin_va_arg(ap, uint32 );
#line 563
                v___4 = tmp___57;
#line 564
                _TIFFmemcpy((void *)val, (void const   *)(& v___4),
                            (long )tv_size);
#line 566
                break;
                case 9: 
#line 569
                tmp___58 = __builtin_va_arg(ap, int32 );
#line 569
                v___5 = tmp___58;
#line 570
                _TIFFmemcpy((void *)val, (void const   *)(& v___5),
                            (long )tv_size);
#line 572
                break;
                case 16: 
                case 18: 
#line 576
                tmp___59 = __builtin_va_arg(ap, uint64 );
#line 576
                v___6 = tmp___59;
#line 577
                _TIFFmemcpy((void *)val, (void const   *)(& v___6),
                            (long )tv_size);
#line 579
                break;
                case 17: 
#line 582
                tmp___60 = __builtin_va_arg(ap, int64 );
#line 582
                v___7 = tmp___60;
#line 583
                _TIFFmemcpy((void *)val, (void const   *)(& v___7),
                            (long )tv_size);
#line 585
                break;
                case 5: 
                case 10: 
                case 11: 
#line 590
                tmp___61 = __builtin_va_arg(ap, double );
#line 590
                v___8 = (float )tmp___61;
#line 591
                _TIFFmemcpy((void *)val, (void const   *)(& v___8),
                            (long )tv_size);
#line 593
                break;
                case 12: 
#line 596
                tmp___62 = __builtin_va_arg(ap, double );
#line 596
                v___9 = tmp___62;
#line 597
                _TIFFmemcpy((void *)val, (void const   *)(& v___9),
                            (long )tv_size);
#line 599
                break;
                default: 
#line 601
                _TIFFmemset((void *)val, 0, (long )tv_size);
#line 602
                status = 0;
#line 603
                break;
                }
#line 533
                i___0 ++;
#line 533
                val += tv_size;
              }
            }
          }
        }
      }
    }
  }
  }
   625: /* CIL Label */ 
#line 610
  if (status) {
#line 611
    tmp___63 = TIFFFieldWithTag(tif, tag);
#line 611
    tmp___64 = TIFFFieldWithTag(tif, tag);
#line 611
    tif->tif_dir.td_fieldsset[(int const   )tmp___63->field_bit / 32] |= 1UL << ((int const   )tmp___64->field_bit & 31);
#line 612
    tif->tif_flags |= 8U;
  } else {

  }
   626: /* CIL Label */ 
  end: 
#line 616
  __builtin_va_end(ap);
   627: /* CIL Label */ 
#line 617
  return (status);
   628: /* CIL Label */ 
  badvalue: 
#line 619
  tmp___65 = TIFFFieldWithTag(tif, tag);
   629: /* CIL Label */ 
#line 619
  TIFFErrorExt(tif->tif_clientdata, module, "%s: Bad value %d for \"%s\" tag",
               tif->tif_name, v, tmp___65->field_name);
   630: /* CIL Label */ 
#line 623
  __builtin_va_end(ap);
   631: /* CIL Label */ 
#line 624
  return (0);
   632: /* CIL Label */ 
  badvalue32: 
#line 626
  tmp___66 = TIFFFieldWithTag(tif, tag);
   633: /* CIL Label */ 
#line 626
  TIFFErrorExt(tif->tif_clientdata, module, "%s: Bad value %ld for \"%s\" tag",
               tif->tif_name, v32, tmp___66->field_name);
   634: /* CIL Label */ 
#line 630
  __builtin_va_end(ap);
   635: /* CIL Label */ 
#line 631
  return (0);
}
}

cilRep: liveness failure for _TIFFVSetField: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___3: /* CIL Label */ 
_L___2: /* CIL Label */ 
_L___1: /* CIL Label */ 
_L___0: /* CIL Label */ 
#line 907
val = (char *)tv->value;
#line 909
j = 0;
Liveness failed on function:
 static int _TIFFVGetField(TIFF *tif , uint32 tag , va_list ap ) 
{ TIFFDirectory *td ;
  int ret_val ;
  uint32 *tmp ;
  uint32 *tmp___0 ;
  uint32 *tmp___1 ;
  uint16 *tmp___2 ;
  uint16 *tmp___3 ;
  uint16 *tmp___4 ;
  uint16 *tmp___5 ;
  uint16 *tmp___6 ;
  uint16 *tmp___7 ;
  uint16 *tmp___8 ;
  uint32 *tmp___9 ;
  uint16 *tmp___10 ;
  uint16 *tmp___11 ;
  double *tmp___12 ;
  double *tmp___13 ;
  float *tmp___14 ;
  float *tmp___15 ;
  uint16 *tmp___16 ;
  float *tmp___17 ;
  float *tmp___18 ;
  uint16 *tmp___19 ;
  uint16 *tmp___20 ;
  uint16 *tmp___21 ;
  uint16 *tmp___22 ;
  uint16 *tmp___23 ;
  uint16 **tmp___24 ;
  uint16 **tmp___25 ;
  uint16 **tmp___26 ;
  uint64 **tmp___27 ;
  uint64 **tmp___28 ;
  uint16 *tmp___29 ;
  int tmp___30 ;
  uint16 *tmp___31 ;
  uint16 **tmp___32 ;
  uint32 *tmp___33 ;
  uint32 *tmp___34 ;
  uint32 *tmp___35 ;
  uint16 *tmp___36 ;
  uint16 *tmp___37 ;
  uint16 *tmp___38 ;
  uint16 *tmp___39 ;
  uint16 *tmp___40 ;
  uint32 *tmp___41 ;
  uint16 *tmp___42 ;
  uint64 **tmp___43 ;
  uint16 *tmp___44 ;
  uint16 *tmp___45 ;
  uint16 *tmp___46 ;
  uint16 **tmp___47 ;
  uint16 **tmp___48 ;
  uint16 **tmp___49 ;
  char **tmp___50 ;
  TIFFFieldInfo const   *fip ;
  TIFFFieldInfo const   *tmp___51 ;
  int i ;
  char const   *tmp___52 ;
  char const   *tmp___53 ;
  TIFFTagValue *tv ;
  uint32 *tmp___54 ;
  uint16 *tmp___55 ;
  void **tmp___56 ;
  void **tmp___57 ;
  int j ;
  char *val ;
  int tmp___58 ;
  uint8 *tmp___59 ;
  int8 *tmp___60 ;
  uint16 *tmp___61 ;
  int16 *tmp___62 ;
  uint32 *tmp___63 ;
  int32 *tmp___64 ;
  uint64 *tmp___65 ;
  int64 *tmp___66 ;
  float *tmp___67 ;
  double *tmp___68 ;

  {
   855: /* CIL Label */ 
#line 703
  td = & tif->tif_dir;
   856: /* CIL Label */ 
#line 704
  ret_val = 1;
   0: /* CIL Label */ 
#line 706
  switch ((int )tag) {
  case 254: 
#line 708
  tmp = __builtin_va_arg(ap, uint32 *);
#line 708
  *tmp = td->td_subfiletype;
#line 709
  break;
  case 256: 
#line 711
  tmp___0 = __builtin_va_arg(ap, uint32 *);
#line 711
  *tmp___0 = td->td_imagewidth;
#line 712
  break;
  case 257: 
#line 714
  tmp___1 = __builtin_va_arg(ap, uint32 *);
#line 714
  *tmp___1 = td->td_imagelength;
#line 715
  break;
  case 258: 
#line 717
  tmp___2 = __builtin_va_arg(ap, uint16 *);
#line 717
  *tmp___2 = td->td_bitspersample;
#line 718
  break;
  case 259: 
#line 720
  tmp___3 = __builtin_va_arg(ap, uint16 *);
#line 720
  *tmp___3 = td->td_compression;
#line 721
  break;
  case 262: 
#line 723
  tmp___4 = __builtin_va_arg(ap, uint16 *);
#line 723
  *tmp___4 = td->td_photometric;
#line 724
  break;
  case 263: 
#line 726
  tmp___5 = __builtin_va_arg(ap, uint16 *);
#line 726
  *tmp___5 = td->td_threshholding;
#line 727
  break;
  case 266: 
#line 729
  tmp___6 = __builtin_va_arg(ap, uint16 *);
#line 729
  *tmp___6 = td->td_fillorder;
#line 730
  break;
  case 274: 
#line 732
  tmp___7 = __builtin_va_arg(ap, uint16 *);
#line 732
  *tmp___7 = td->td_orientation;
#line 733
  break;
  case 277: 
#line 735
  tmp___8 = __builtin_va_arg(ap, uint16 *);
#line 735
  *tmp___8 = td->td_samplesperpixel;
#line 736
  break;
  case 278: 
#line 738
  tmp___9 = __builtin_va_arg(ap, uint32 *);
#line 738
  *tmp___9 = td->td_rowsperstrip;
#line 739
  break;
  case 280: 
#line 741
  tmp___10 = __builtin_va_arg(ap, uint16 *);
#line 741
  *tmp___10 = td->td_minsamplevalue;
#line 742
  break;
  case 281: 
#line 744
  tmp___11 = __builtin_va_arg(ap, uint16 *);
#line 744
  *tmp___11 = td->td_maxsamplevalue;
#line 745
  break;
  case 340: 
#line 747
  tmp___12 = __builtin_va_arg(ap, double *);
#line 747
  *tmp___12 = td->td_sminsamplevalue;
#line 748
  break;
  case 341: 
#line 750
  tmp___13 = __builtin_va_arg(ap, double *);
#line 750
  *tmp___13 = td->td_smaxsamplevalue;
#line 751
  break;
  case 282: 
#line 753
  tmp___14 = __builtin_va_arg(ap, float *);
#line 753
  *tmp___14 = td->td_xresolution;
#line 754
  break;
  case 283: 
#line 756
  tmp___15 = __builtin_va_arg(ap, float *);
#line 756
  *tmp___15 = td->td_yresolution;
#line 757
  break;
  case 284: 
#line 759
  tmp___16 = __builtin_va_arg(ap, uint16 *);
#line 759
  *tmp___16 = td->td_planarconfig;
#line 760
  break;
  case 286: 
#line 762
  tmp___17 = __builtin_va_arg(ap, float *);
#line 762
  *tmp___17 = td->td_xposition;
#line 763
  break;
  case 287: 
#line 765
  tmp___18 = __builtin_va_arg(ap, float *);
#line 765
  *tmp___18 = td->td_yposition;
#line 766
  break;
  case 296: 
#line 768
  tmp___19 = __builtin_va_arg(ap, uint16 *);
#line 768
  *tmp___19 = td->td_resolutionunit;
#line 769
  break;
  case 297: 
#line 771
  tmp___20 = __builtin_va_arg(ap, uint16 *);
#line 771
  *tmp___20 = td->td_pagenumber[0];
#line 772
  tmp___21 = __builtin_va_arg(ap, uint16 *);
#line 772
  *tmp___21 = td->td_pagenumber[1];
#line 773
  break;
  case 321: 
#line 775
  tmp___22 = __builtin_va_arg(ap, uint16 *);
#line 775
  *tmp___22 = td->td_halftonehints[0];
#line 776
  tmp___23 = __builtin_va_arg(ap, uint16 *);
#line 776
  *tmp___23 = td->td_halftonehints[1];
#line 777
  break;
  case 320: 
#line 779
  tmp___24 = __builtin_va_arg(ap, uint16 **);
#line 779
  *tmp___24 = td->td_colormap[0];
#line 780
  tmp___25 = __builtin_va_arg(ap, uint16 **);
#line 780
  *tmp___25 = td->td_colormap[1];
#line 781
  tmp___26 = __builtin_va_arg(ap, uint16 **);
#line 781
  *tmp___26 = td->td_colormap[2];
#line 782
  break;
  case 273: 
  case 324: 
#line 785
  tmp___27 = __builtin_va_arg(ap, uint64 **);
#line 785
  *tmp___27 = td->td_stripoffset;
#line 786
  break;
  case 279: 
  case 325: 
#line 789
  tmp___28 = __builtin_va_arg(ap, uint64 **);
#line 789
  *tmp___28 = td->td_stripbytecount;
#line 790
  break;
  case 32995: 
#line 792
  tmp___29 = __builtin_va_arg(ap, uint16 *);
#line 792
  if ((int )td->td_extrasamples == 1) {
#line 792
    if ((int )*(td->td_sampleinfo + 0) == 1) {
#line 792
      tmp___30 = 1;
    } else {
#line 792
      tmp___30 = 0;
    }
  } else {
#line 792
    tmp___30 = 0;
  }
#line 792
  *tmp___29 = (unsigned short )tmp___30;
#line 795
  break;
  case 338: 
#line 797
  tmp___31 = __builtin_va_arg(ap, uint16 *);
#line 797
  *tmp___31 = td->td_extrasamples;
#line 798
  tmp___32 = __builtin_va_arg(ap, uint16 **);
#line 798
  *tmp___32 = td->td_sampleinfo;
#line 799
  break;
  case 322: 
#line 801
  tmp___33 = __builtin_va_arg(ap, uint32 *);
#line 801
  *tmp___33 = td->td_tilewidth;
#line 802
  break;
  case 323: 
#line 804
  tmp___34 = __builtin_va_arg(ap, uint32 *);
#line 804
  *tmp___34 = td->td_tilelength;
#line 805
  break;
  case 32998: 
#line 807
  tmp___35 = __builtin_va_arg(ap, uint32 *);
#line 807
  *tmp___35 = td->td_tiledepth;
#line 808
  break;
  case 32996: 
#line 810
  switch ((int )td->td_sampleformat) {
  case 1: 
#line 812
  tmp___36 = __builtin_va_arg(ap, uint16 *);
#line 812
  *tmp___36 = (unsigned short)2;
#line 813
  break;
  case 2: 
#line 815
  tmp___37 = __builtin_va_arg(ap, uint16 *);
#line 815
  *tmp___37 = (unsigned short)1;
#line 816
  break;
  case 3: 
#line 818
  tmp___38 = __builtin_va_arg(ap, uint16 *);
#line 818
  *tmp___38 = (unsigned short)3;
#line 819
  break;
  case 4: 
#line 821
  tmp___39 = __builtin_va_arg(ap, uint16 *);
#line 821
  *tmp___39 = (unsigned short)0;
#line 822
  break;
  }
#line 824
  break;
  case 339: 
#line 826
  tmp___40 = __builtin_va_arg(ap, uint16 *);
#line 826
  *tmp___40 = td->td_sampleformat;
#line 827
  break;
  case 32997: 
#line 829
  tmp___41 = __builtin_va_arg(ap, uint32 *);
#line 829
  *tmp___41 = td->td_imagedepth;
#line 830
  break;
  case 330: 
#line 832
  tmp___42 = __builtin_va_arg(ap, uint16 *);
#line 832
  *tmp___42 = td->td_nsubifd;
#line 833
  tmp___43 = __builtin_va_arg(ap, uint64 **);
#line 833
  *tmp___43 = td->td_subifd;
#line 834
  break;
  case 531: 
#line 836
  tmp___44 = __builtin_va_arg(ap, uint16 *);
#line 836
  *tmp___44 = td->td_ycbcrpositioning;
#line 837
  break;
  case 530: 
#line 839
  tmp___45 = __builtin_va_arg(ap, uint16 *);
#line 839
  *tmp___45 = td->td_ycbcrsubsampling[0];
#line 840
  tmp___46 = __builtin_va_arg(ap, uint16 *);
#line 840
  *tmp___46 = td->td_ycbcrsubsampling[1];
#line 841
  break;
  case 301: 
#line 843
  tmp___47 = __builtin_va_arg(ap, uint16 **);
#line 843
  *tmp___47 = td->td_transferfunction[0];
#line 844
  if ((int )td->td_samplesperpixel - (int )td->td_extrasamples > 1) {
#line 845
    tmp___48 = __builtin_va_arg(ap, uint16 **);
#line 845
    *tmp___48 = td->td_transferfunction[1];
#line 846
    tmp___49 = __builtin_va_arg(ap, uint16 **);
#line 846
    *tmp___49 = td->td_transferfunction[2];
  } else {

  }
#line 848
  break;
  case 333: 
#line 850
  tmp___50 = __builtin_va_arg(ap, char **);
#line 850
  *tmp___50 = td->td_inknames;
#line 851
  break;
  default: 
#line 854
  tmp___51 = TIFFFindFieldInfo(tif, tag, (enum __anonenum_TIFFDataType_21 )0);
#line 854
  fip = tmp___51;
#line 864
  if ((unsigned int )fip == (unsigned int )((void *)0)) {
    goto _L;
  } else {
#line 864
    if ((int const   )fip->field_bit != 65) {
      _L: /* CIL Label */ 
#line 866
      if (fip) {
#line 866
        tmp___52 = (char const   */* const  */)fip->field_name;
      } else {
#line 866
        tmp___52 = (char const   */* const  */)"Unknown";
      }
#line 866
      if (tag > 65535U) {
#line 866
        tmp___53 = "pseudo-";
      } else {
#line 866
        tmp___53 = "";
      }
#line 866
      TIFFErrorExt(tif->tif_clientdata, "_TIFFVGetField",
                   "%s: Invalid %stag \"%s\" (not supported by codec)",
                   tif->tif_name, tmp___53, tmp___52);
#line 872
      ret_val = 0;
#line 873
      break;
    } else {

    }
  }
#line 879
  ret_val = 0;
#line 880
  i = 0;
#line 880
  while (i < td->td_customValueCount) {
#line 881
    tv = td->td_customValues + i;
#line 883
    if ((tv->info)->field_tag != (ttag_t const   )tag) {
      goto __Cont;
    } else {

    }
#line 886
    if (fip->field_passcount) {
#line 887
      if ((int const   )fip->field_readcount == -3) {
#line 888
        tmp___54 = __builtin_va_arg(ap, uint32 *);
#line 888
        *tmp___54 = (unsigned int )tv->count;
      } else {
#line 890
        tmp___55 = __builtin_va_arg(ap, uint16 *);
#line 890
        *tmp___55 = (unsigned short )tv->count;
      }
#line 891
      tmp___56 = __builtin_va_arg(ap, void **);
#line 891
      *tmp___56 = tv->value;
#line 892
      ret_val = 1;
    } else {
#line 894
      if ((unsigned int const   )fip->field_type == 2U) {
        goto _L___4;
      } else {
#line 894
        if ((int const   )fip->field_readcount == -1) {
          goto _L___4;
        } else {
#line 894
          if ((int const   )fip->field_readcount == -3) {
            goto _L___4;
          } else {
#line 894
            if ((int const   )fip->field_readcount == -2) {
              goto _L___4;
            } else {
#line 894
              if (tv->count > 1) {
                _L___4: /* CIL Label */ 
#line 894
                if (fip->field_tag != 297U) {
#line 894
                  if (fip->field_tag != 321U) {
#line 894
                    if (fip->field_tag != 530U) {
#line 894
                      if (fip->field_tag != 336U) {
#line 903
                        tmp___57 = __builtin_va_arg(ap, void **);
#line 903
                        *tmp___57 = tv->value;
#line 904
                        ret_val = 1;
                      } else {
                        goto _L___3;
                      }
                    } else {
                      goto _L___3;
                    }
                  } else {
                    goto _L___3;
                  }
                } else {
                  goto _L___3;
                }
              } else {
                _L___3: /* CIL Label */ 
                _L___2: /* CIL Label */ 
                _L___1: /* CIL Label */ 
                _L___0: /* CIL Label */ 
#line 907
                val = (char *)tv->value;
#line 909
                j = 0;
#line 909
                while (j < tv->count) {
#line 911
                  switch ((int )fip->field_type) {
                  case 1: 
                  case 7: 
#line 914
                  tmp___59 = __builtin_va_arg(ap, uint8 *);
#line 914
                  *tmp___59 = *((uint8 *)val);
#line 916
                  ret_val = 1;
#line 917
                  break;
                  case 6: 
#line 919
                  tmp___60 = __builtin_va_arg(ap, int8 *);
#line 919
                  *tmp___60 = *((int8 *)val);
#line 921
                  ret_val = 1;
#line 922
                  break;
                  case 3: 
#line 924
                  tmp___61 = __builtin_va_arg(ap, uint16 *);
#line 924
                  *tmp___61 = *((uint16 *)val);
#line 926
                  ret_val = 1;
#line 927
                  break;
                  case 8: 
#line 929
                  tmp___62 = __builtin_va_arg(ap, int16 *);
#line 929
                  *tmp___62 = *((int16 *)val);
#line 931
                  ret_val = 1;
#line 932
                  break;
                  case 4: 
                  case 13: 
#line 935
                  tmp___63 = __builtin_va_arg(ap, uint32 *);
#line 935
                  *tmp___63 = *((uint32 *)val);
#line 937
                  ret_val = 1;
#line 938
                  break;
                  case 9: 
#line 940
                  tmp___64 = __builtin_va_arg(ap, int32 *);
#line 940
                  *tmp___64 = *((int32 *)val);
#line 942
                  ret_val = 1;
#line 943
                  break;
                  case 16: 
                  case 18: 
#line 946
                  tmp___65 = __builtin_va_arg(ap, uint64 *);
#line 946
                  *tmp___65 = *((uint64 *)val);
#line 948
                  ret_val = 1;
#line 949
                  break;
                  case 17: 
#line 951
                  tmp___66 = __builtin_va_arg(ap, int64 *);
#line 951
                  *tmp___66 = *((int64 *)val);
#line 953
                  ret_val = 1;
#line 954
                  break;
                  case 5: 
                  case 10: 
                  case 11: 
#line 958
                  tmp___67 = __builtin_va_arg(ap, float *);
#line 958
                  *tmp___67 = *((float *)val);
#line 960
                  ret_val = 1;
#line 961
                  break;
                  case 12: 
#line 963
                  tmp___68 = __builtin_va_arg(ap, double *);
#line 963
                  *tmp___68 = *((double *)val);
#line 965
                  ret_val = 1;
#line 966
                  break;
                  default: 
#line 968
                  ret_val = 0;
#line 969
                  break;
                  }
#line 909
                  j ++;
#line 909
                  tmp___58 = _TIFFDataSize((enum __anonenum_TIFFDataType_21 )(tv->info)->field_type);
#line 909
                  val += tmp___58;
                }
              }
            }
          }
        }
      }
    }
#line 974
    break;
    __Cont: /* CIL Label */ 
#line 880
    i ++;
  }
  }
   857: /* CIL Label */ 
#line 978
  return (ret_val);
}
}

cilRep: liveness failure for _TIFFVGetField: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_dirinfo.c: parsing
cilRep: preprocessed/libtiff/tif_dirinfo.c: parsed (0.190664 MB)
cilRep: computing liveness
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_dirread.c: parsing
cilRep: preprocessed/libtiff/tif_dirread.c: parsed (0.294934 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___5: /* CIL Label */ 
#line 3745 "tif_dirread.c"
tmp___22 = TIFFFieldWithTag(tif, 279U);
#line 3745
TIFFWarningExt(tif->tif_clientdata, module,
               "Bogus \"%s\" field, ignoring and calculating from imagelength",
               tmp___22->field_name);
#line 3748
tmp___23 = EstimateStripByteCounts(tif, dir, dircount);
Liveness failed on function:
 int TIFFReadDirectory(TIFF *tif ) 
{ TIFFDirEntry *dir ;
  uint16 dircount ;
  TIFFDirEntry *dp ;
  uint16 di ;
  TIFFField const   *fip ;
  uint32 fii ;
  int tmp ;
  int tmp___0 ;
  uint16 value ;
  enum TIFFReadDirEntryErr err ;
  int tmp___1 ;
  int tmp___2 ;
  TIFFField *tmp___3 ;
  int tmp___4 ;
  int tmp___5 ;
  char const   *tmp___6 ;
  char const   *tmp___7 ;
  uint16 value___0 ;
  enum TIFFReadDirEntryErr err___0 ;
  TIFFFieldInfo const   *tmp___8 ;
  int tmp___9 ;
  double value___1 ;
  enum TIFFReadDirEntryErr err___1 ;
  TIFFFieldInfo const   *tmp___10 ;
  int tmp___11 ;
  int tmp___12 ;
  int tmp___13 ;
  enum TIFFReadDirEntryErr err___2 ;
  uint32 countpersample ;
  uint32 countrequired ;
  uint32 incrementpersample ;
  uint16 *value___2 ;
  TIFFFieldInfo const   *tmp___14 ;
  uint16 valueo ;
  uint32 value___3 ;
  enum TIFFReadDirEntryErr tmp___15 ;
  int tmp___16 ;
  int tmp___17 ;
  int tmp___18 ;
  int tmp___19 ;
  TIFFFieldInfo const   *tmp___20 ;
  int tmp___21 ;
  TIFFFieldInfo const   *tmp___22 ;
  int tmp___23 ;
  TIFFFieldInfo const   *tmp___24 ;
  int tmp___25 ;
  uint64 tmp___26 ;
  uint64 tmp___27 ;
  uint32 strip ;
  tmsize_t tmp___28 ;

  {
   4707: /* CIL Label */ 
#line 3285
  tif->tif_diroff = tif->tif_nextdiroff;
   4708: /* CIL Label */ 
#line 3286
  tmp = TIFFCheckDirOffset(tif, tif->tif_nextdiroff);
   4709: /* CIL Label */ 
#line 3286
  if (tmp) {

  } else {
#line 3287
    return (0);
  }
   4710: /* CIL Label */ 
#line 3288
  (*(tif->tif_cleanup))(tif);
   4711: /* CIL Label */ 
#line 3289
  tif->tif_curdir = (uint16 )((int )tif->tif_curdir + 1);
   4712: /* CIL Label */ 
#line 3290
  dircount = TIFFFetchDirectory(tif, tif->tif_nextdiroff, & dir,
                                & tif->tif_nextdiroff);
   4713: /* CIL Label */ 
#line 3291
  if (! dircount) {
#line 3293
    TIFFErrorExt(tif->tif_clientdata, module,
                 "Failed to read directory at offset %llu", tif->tif_nextdiroff);
#line 3295
    return (0);
  } else {

  }
   4714: /* CIL Label */ 
#line 3297
  TIFFReadDirectoryCheckOrder(tif, dir, dircount);
   4715: /* CIL Label */ 
#line 3298
  tif->tif_flags &= 4294967231U;
   4716: /* CIL Label */ 
#line 3300
  TIFFFreeDirectory(tif);
   4717: /* CIL Label */ 
#line 3301
  TIFFDefaultDirectory(tif);
   4718: /* CIL Label */ 
#line 3308
  TIFFSetField(tif, 284U, 1);
   4719: /* CIL Label */ 
#line 3326
  dp = TIFFReadDirectoryFindEntry(tif, dir, dircount, (unsigned short)277);
   4720: /* CIL Label */ 
#line 3327
  if (dp) {
#line 3329
    tmp___0 = TIFFFetchNormalTag(tif, dp, 0);
#line 3329
    if (tmp___0) {

    } else {
      goto  4753;
    }
#line 3331
    dp->tdir_tag = (unsigned short)0;
  } else {

  }
   4721: /* CIL Label */ 
#line 3333
  dp = TIFFReadDirectoryFindEntry(tif, dir, dircount, (unsigned short)259);
   4722: /* CIL Label */ 
#line 3334
  if (dp) {
#line 3344
    err = TIFFReadDirEntryShort(tif, dp, & value);
#line 3345
    if ((unsigned int )err == 1U) {
#line 3346
      err = TIFFReadDirEntryPersampleShort(tif, dp, & value);
    } else {

    }
#line 3347
    if ((unsigned int )err != 0U) {
#line 3349
      TIFFReadDirEntryOutputErr(tif, err, module, "Compression", 0);
      goto  4753;
    } else {

    }
#line 3352
    tmp___1 = TIFFSetField(tif, 259U, value);
#line 3352
    if (tmp___1) {

    } else {
      goto  4753;
    }
#line 3354
    dp->tdir_tag = (unsigned short)0;
  } else {
#line 3358
    tmp___2 = TIFFSetField(tif, 259U, 1);
#line 3358
    if (tmp___2) {

    } else {
      goto  4753;
    }
  }
   4723: /* CIL Label */ 
#line 3364
  di = (unsigned short)0;
   4724: /* CIL Label */ 
#line 3364
  dp = dir;
   4725: /* CIL Label */ 
#line 3364
  while ((int )di < (int )dircount) {
#line 3366
    if ((int )dp->tdir_tag != 0) {
#line 3368
      TIFFReadDirectoryFindFieldInfo(tif, dp->tdir_tag, & fii);
#line 3369
      if (fii == 4294967295U) {
#line 3371
        TIFFWarningExt(tif->tif_clientdata, module,
                       "Unknown field with tag %d (0x%x) encountered",
                       dp->tdir_tag, dp->tdir_tag);
#line 3374
        tmp___3 = _TIFFCreateAnonField(tif, (unsigned int )dp->tdir_tag,
                                       (enum __anonenum_TIFFDataType_21 )dp->tdir_type);
#line 3374
        tmp___4 = _TIFFMergeField(tif, (TIFFField const   *)tmp___3, 1U);
#line 3374
        if (tmp___4) {
#line 3386
          TIFFReadDirectoryFindFieldInfo(tif, dp->tdir_tag, & fii);
#line 3387
          if (fii != 4294967295U) {

          } else {
#line 3387
            __assert_fail("fii!=(uint32)(-1)", "tif_dirread.c", 3387U,
                          "TIFFReadDirectory");
          }
        } else {
#line 3379
          TIFFWarningExt(tif->tif_clientdata, module,
                         "Registering anonymous field with tag %d (0x%x) failed",
                         dp->tdir_tag, dp->tdir_tag);
#line 3384
          dp->tdir_tag = (unsigned short)0;
        }
      } else {

      }
    } else {

    }
#line 3391
    if ((int )dp->tdir_tag != 0) {
#line 3393
      fip = (TIFFField const   *)*(tif->tif_fieldinfo + fii);
#line 3394
      if ((int const   )fip->field_bit == 0) {
#line 3395
        dp->tdir_tag = (unsigned short)0;
      } else {
#line 3398
        switch ((int )dp->tdir_tag) {
        case 273: 
        case 279: 
        case 324: 
        case 325: 
#line 3404
        tif->tif_dir.td_fieldsset[(int const   )fip->field_bit / 32] |= 1UL << ((int const   )fip->field_bit & 31);
#line 3405
        break;
        case 256: 
        case 257: 
        case 32997: 
        case 323: 
        case 322: 
        case 32998: 
        case 284: 
        case 278: 
        case 338: 
#line 3415
        tmp___5 = TIFFFetchNormalTag(tif, dp, 0);
#line 3415
        if (tmp___5) {

        } else {
          goto  4753;
        }
#line 3417
        dp->tdir_tag = (unsigned short)0;
#line 3418
        break;
        }
      }
    } else {

    }
#line 3364
    di = (uint16 )((int )di + 1);
#line 3364
    dp ++;
  }
   4726: /* CIL Label */ 
#line 3431
  if ((int )tif->tif_dir.td_compression == 6) {
#line 3431
    if ((int )tif->tif_dir.td_planarconfig == 2) {
#line 3434
      dp = TIFFReadDirectoryFindEntry(tif, dir, dircount, (unsigned short)273);
#line 3435
      if ((unsigned int )dp != (unsigned int )((TIFFDirEntry *)0)) {
#line 3435
        if (dp->tdir_count == 1ULL) {
#line 3437
          dp = TIFFReadDirectoryFindEntry(tif, dir, dircount,
                                          (unsigned short)279);
#line 3439
          if ((unsigned int )dp != (unsigned int )((TIFFDirEntry *)0)) {
#line 3439
            if (dp->tdir_count == 1ULL) {
#line 3441
              tif->tif_dir.td_planarconfig = (unsigned short)1;
#line 3442
              TIFFWarningExt(tif->tif_clientdata, module,
                             "Planarconfig tag value assumed incorrect, assuming data is contig instead of chunky");
            } else {

            }
          } else {

          }
        } else {

        }
      } else {

      }
    } else {

    }
  } else {

  }
   4727: /* CIL Label */ 
#line 3451
  if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 1))) {
#line 3453
    MissingRequired(tif, "ImageLength");
    goto  4753;
  } else {

  }
   4728: /* CIL Label */ 
#line 3459
  if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 2))) {
#line 3460
    tif->tif_dir.td_nstrips = TIFFNumberOfStrips(tif);
#line 3461
    tif->tif_dir.td_tilewidth = tif->tif_dir.td_imagewidth;
#line 3462
    tif->tif_dir.td_tilelength = tif->tif_dir.td_rowsperstrip;
#line 3463
    tif->tif_dir.td_tiledepth = tif->tif_dir.td_imagedepth;
#line 3464
    tif->tif_flags &= 4294966271U;
  } else {
#line 3466
    tif->tif_dir.td_nstrips = TIFFNumberOfTiles(tif);
#line 3467
    tif->tif_flags |= 1024U;
  }
   4729: /* CIL Label */ 
#line 3469
  if (! tif->tif_dir.td_nstrips) {
#line 3470
    if ((tif->tif_flags & 1024U) != 0U) {
#line 3470
      tmp___6 = "tiles";
    } else {
#line 3470
      tmp___6 = "strips";
    }
#line 3470
    TIFFErrorExt(tif->tif_clientdata, module, "Cannot handle zero number of %s",
                 tmp___6);
    goto  4753;
  } else {

  }
   4730: /* CIL Label */ 
#line 3475
  tif->tif_dir.td_stripsperimage = tif->tif_dir.td_nstrips;
   4731: /* CIL Label */ 
#line 3476
  if ((int )tif->tif_dir.td_planarconfig == 2) {
#line 3477
    tif->tif_dir.td_stripsperimage /= (uint32 )tif->tif_dir.td_samplesperpixel;
  } else {

  }
   4732: /* CIL Label */ 
#line 3478
  if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 25))) {
#line 3479
    if ((int )tif->tif_dir.td_compression == 6) {
#line 3479
      if (((tif->tif_flags & 1024U) != 0U) == 0) {
#line 3479
        if (tif->tif_dir.td_nstrips == 1U) {
#line 3490
          tif->tif_dir.td_fieldsset[0] |= 1UL << 25;
        } else {
          goto _L___0;
        }
      } else {
        goto _L___0;
      }
    } else {
      _L___0: /* CIL Label */ 
      _L: /* CIL Label */ 
#line 3492
      if ((tif->tif_flags & 1024U) != 0U) {
#line 3492
        tmp___7 = "TileOffsets";
      } else {
#line 3492
        tmp___7 = "StripOffsets";
      }
#line 3492
      MissingRequired(tif, tmp___7);
      goto  4753;
    }
  } else {

  }
   4733: /* CIL Label */ 
#line 3500
  di = (unsigned short)0;
   4734: /* CIL Label */ 
#line 3500
  dp = dir;
   4735: /* CIL Label */ 
#line 3500
  while ((int )di < (int )dircount) {
#line 3502
    switch ((int )dp->tdir_tag) {
    case 0: 
#line 3505
    break;
    case 280: 
    case 281: 
    case 258: 
    case 32996: 
    case 339: 
#line 3524
    err___0 = TIFFReadDirEntryShort(tif, dp, & value___0);
#line 3525
    if ((unsigned int )err___0 == 1U) {
#line 3526
      err___0 = TIFFReadDirEntryPersampleShort(tif, dp, & value___0);
    } else {

    }
#line 3527
    if ((unsigned int )err___0 != 0U) {
#line 3529
      tmp___8 = TIFFFieldWithTag(tif, (unsigned int )dp->tdir_tag);
#line 3529
      TIFFReadDirEntryOutputErr(tif, err___0, module,
                                (char const   *)tmp___8->field_name, 0);
      goto  4753;
    } else {

    }
#line 3532
    tmp___9 = TIFFSetField(tif, (unsigned int )dp->tdir_tag, value___0);
#line 3532
    if (tmp___9) {

    } else {
      goto  4753;
    }
#line 3535
    break;
    case 340: 
    case 341: 
#line 3541
    err___1 = TIFFReadDirEntryPersampleDouble(tif, dp, & value___1);
#line 3542
    if ((unsigned int )err___1 != 0U) {
#line 3544
      tmp___10 = TIFFFieldWithTag(tif, (unsigned int )dp->tdir_tag);
#line 3544
      TIFFReadDirEntryOutputErr(tif, err___1, module,
                                (char const   *)tmp___10->field_name, 0);
      goto  4753;
    } else {

    }
#line 3547
    tmp___11 = TIFFSetField(tif, (unsigned int )dp->tdir_tag, value___1);
#line 3547
    if (tmp___11) {

    } else {
      goto  4753;
    }
#line 3550
    break;
    case 273: 
    case 324: 
#line 3553
    tmp___12 = TIFFFetchStripThing(tif, dp, tif->tif_dir.td_nstrips,
                                   & tif->tif_dir.td_stripoffset);
#line 3553
    if (tmp___12) {

    } else {
      goto  4753;
    }
#line 3555
    break;
    case 279: 
    case 325: 
#line 3558
    tmp___13 = TIFFFetchStripThing(tif, dp, tif->tif_dir.td_nstrips,
                                   & tif->tif_dir.td_stripbytecount);
#line 3558
    if (tmp___13) {

    } else {
      goto  4753;
    }
#line 3560
    break;
    case 320: 
    case 301: 
#line 3569
    countpersample = (unsigned int )(1L << (int )tif->tif_dir.td_bitspersample);
#line 3570
    if ((int )dp->tdir_tag == 301) {
#line 3570
      if (dp->tdir_count == (unsigned long long )countpersample) {
#line 3572
        countrequired = countpersample;
#line 3573
        incrementpersample = 0U;
      } else {
#line 3577
        countrequired = 3U * countpersample;
#line 3578
        incrementpersample = countpersample;
      }
    } else {
#line 3577
      countrequired = 3U * countpersample;
#line 3578
      incrementpersample = countpersample;
    }
#line 3580
    if (dp->tdir_count != (unsigned long long )countrequired) {
#line 3581
      err___2 = (enum TIFFReadDirEntryErr )1;
    } else {
#line 3583
      err___2 = TIFFReadDirEntryShortArray(tif, dp, & value___2);
    }
#line 3584
    if ((unsigned int )err___2 != 0U) {
#line 3585
      tmp___14 = TIFFFieldWithTag(tif, (unsigned int )dp->tdir_tag);
#line 3585
      TIFFReadDirEntryOutputErr(tif, err___2, module,
                                (char const   *)tmp___14->field_name, 1);
    } else {
#line 3588
      TIFFSetField(tif, (unsigned int )dp->tdir_tag, value___2,
                   value___2 + incrementpersample,
                   value___2 + 2U * incrementpersample);
#line 3589
      _TIFFfree((void *)value___2);
    }
#line 3592
    break;
    case 255: 
#line 3598
    tmp___15 = TIFFReadDirEntryShort(tif, dp, & valueo);
#line 3598
    if ((unsigned int )tmp___15 == 0U) {
#line 3600
      switch ((int )valueo) {
      case 2: 
#line 3602
      value___3 = 1U;
#line 3602
      break;
      case 3: 
#line 3603
      value___3 = 2U;
#line 3603
      break;
      default: 
#line 3604
      value___3 = 0U;
#line 3604
      break;
      }
#line 3606
      if (value___3 != 0U) {
#line 3607
        TIFFSetField(tif, 254U, value___3);
      } else {

      }
    } else {

    }
#line 3610
    break;
    default: 
#line 3613
    TIFFFetchNormalTag(tif, dp, 1);
#line 3614
    break;
    }
#line 3500
    di = (uint16 )((int )di + 1);
#line 3500
    dp ++;
  }
   4736: /* CIL Label */ 
#line 3633
  if ((int )tif->tif_dir.td_compression == 6) {
#line 3635
    if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 8))) {
#line 3637
      TIFFWarningExt(tif->tif_clientdata, module,
                     "Photometric tag is missing, assuming data is YCbCr");
#line 3639
      tmp___16 = TIFFSetField(tif, 262U, 6);
#line 3639
      if (tmp___16) {

      } else {
        goto  4753;
      }
    } else {
#line 3642
      if ((int )tif->tif_dir.td_photometric == 2) {
#line 3644
        tif->tif_dir.td_photometric = (unsigned short)6;
#line 3645
        TIFFWarningExt(tif->tif_clientdata, module,
                       "Photometric tag value assumed incorrect, assuming data is YCbCr instead of RGB");
      } else {

      }
    }
#line 3649
    if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 6))) {
#line 3651
      TIFFWarningExt(tif->tif_clientdata, module,
                     "BitsPerSample tag is missing, assuming 8 bits per sample");
#line 3653
      tmp___17 = TIFFSetField(tif, 258U, 8);
#line 3653
      if (tmp___17) {

      } else {
        goto  4753;
      }
    } else {

    }
#line 3656
    if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 16))) {
#line 3658
      if ((int )tif->tif_dir.td_photometric == 2) {
        goto _L___2;
      } else {
#line 3658
        if ((int )tif->tif_dir.td_photometric == 6) {
          _L___2: /* CIL Label */ 
#line 3661
          TIFFWarningExt(tif->tif_clientdata, module,
                         "SamplesPerPixel tag is missing, assuming correct SamplesPerPixel value is 3");
#line 3664
          tmp___18 = TIFFSetField(tif, 277U, 3);
#line 3664
          if (tmp___18) {

          } else {
            goto  4753;
          }
        } else {
#line 3667
          if ((int )tif->tif_dir.td_photometric == 0) {
            goto _L___1;
          } else {
#line 3667
            if ((int )tif->tif_dir.td_photometric == 1) {
              _L___1: /* CIL Label */ 
#line 3670
              TIFFWarningExt(tif->tif_clientdata, module,
                             "SamplesPerPixel tag is missing, assuming correct SamplesPerPixel value is 1");
#line 3673
              tmp___19 = TIFFSetField(tif, 277U, 1);
#line 3673
              if (tmp___19) {

              } else {
                goto  4753;
              }
            } else {

            }
          }
        }
      }
    } else {

    }
  } else {

  }
   4737: /* CIL Label */ 
#line 3681
  if ((int )tif->tif_dir.td_photometric == 3) {
#line 3681
    if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 26))) {
#line 3683
      MissingRequired(tif, "Colormap");
      goto  4753;
    } else {

    }
  } else {

  }
   4738: /* CIL Label */ 
#line 3691
  if ((int )tif->tif_dir.td_compression != 6) {
#line 3696
    if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 24))) {
#line 3702
      if ((int )tif->tif_dir.td_planarconfig == 1) {
#line 3702
        if (tif->tif_dir.td_nstrips > 1U) {
#line 3706
          MissingRequired(tif, "StripByteCounts");
          goto  4753;
        } else {
          goto _L___3;
        }
      } else {
        _L___3: /* CIL Label */ 
#line 3702
        if ((int )tif->tif_dir.td_planarconfig == 2) {
#line 3702
          if (tif->tif_dir.td_nstrips != (unsigned int )tif->tif_dir.td_samplesperpixel) {
#line 3706
            MissingRequired(tif, "StripByteCounts");
            goto  4753;
          } else {

          }
        } else {

        }
      }
#line 3709
      tmp___20 = TIFFFieldWithTag(tif, 279U);
#line 3709
      TIFFWarningExt(tif->tif_clientdata, module,
                     "TIFF directory is missing required \"%s\" field, calculating from imagelength",
                     tmp___20->field_name);
#line 3713
      tmp___21 = EstimateStripByteCounts(tif, dir, dircount);
#line 3713
      if (tmp___21 < 0) {
        goto  4753;
      } else {

      }
    } else {
#line 3736
      if (tif->tif_dir.td_nstrips == 1U) {
#line 3736
        if (*(tif->tif_dir.td_stripoffset + 0) != 0ULL) {
#line 3736
          if (*(tif->tif_dir.td_stripbytecount + 0) == 0ULL) {
#line 3736
            if (*(tif->tif_dir.td_stripoffset + 0) != 0ULL) {
              goto _L___5;
            } else {
              goto _L___7;
            }
          } else {
            _L___7: /* CIL Label */ 
#line 3736
            if ((int )tif->tif_dir.td_compression == 1) {
#line 3736
              tmp___26 = (*(tif->tif_sizeproc))(tif->tif_clientdata);
#line 3736
              if (*(tif->tif_dir.td_stripbytecount + 0) > tmp___26 - *(tif->tif_dir.td_stripoffset + 0)) {
                goto _L___5;
              } else {
                goto _L___6;
              }
            } else {
              _L___6: /* CIL Label */ 
#line 3736
              if (tif->tif_mode == 00) {
#line 3736
                if ((int )tif->tif_dir.td_compression == 1) {
#line 3736
                  tmp___27 = TIFFScanlineSize64(tif);
#line 3736
                  if (*(tif->tif_dir.td_stripbytecount + 0) < tmp___27 * (uint64 )tif->tif_dir.td_imagelength) {
                    _L___5: /* CIL Label */ 
#line 3745
                    tmp___22 = TIFFFieldWithTag(tif, 279U);
#line 3745
                    TIFFWarningExt(tif->tif_clientdata, module,
                                   "Bogus \"%s\" field, ignoring and calculating from imagelength",
                                   tmp___22->field_name);
#line 3748
                    tmp___23 = EstimateStripByteCounts(tif, dir, dircount);
#line 3748
                    if (tmp___23 < 0) {
                      goto  4753;
                    } else {

                    }
                  } else {
                    goto _L___8;
                  }
                } else {
                  goto _L___8;
                }
              } else {
                goto _L___8;
              }
            }
          }
        } else {
          goto _L___8;
        }
      } else {
        _L___8: /* CIL Label */ 
        _L___4: /* CIL Label */ 
#line 3750
        if ((int )tif->tif_dir.td_planarconfig == 1) {
#line 3750
          if (tif->tif_dir.td_nstrips > 2U) {
#line 3750
            if ((int )tif->tif_dir.td_compression == 1) {
#line 3750
              if (*(tif->tif_dir.td_stripbytecount + 0) != *(tif->tif_dir.td_stripbytecount + 1)) {
#line 3750
                if (*(tif->tif_dir.td_stripbytecount + 0) != 0ULL) {
#line 3750
                  if (*(tif->tif_dir.td_stripbytecount + 1) != 0ULL) {
#line 3762
                    tmp___24 = TIFFFieldWithTag(tif, 279U);
#line 3762
                    TIFFWarningExt(tif->tif_clientdata, module,
                                   "Wrong \"%s\" field, ignoring and calculating from imagelength",
                                   tmp___24->field_name);
#line 3765
                    tmp___25 = EstimateStripByteCounts(tif, dir, dircount);
#line 3765
                    if (tmp___25 < 0) {
                      goto  4753;
                    } else {

                    }
                  } else {

                  }
                } else {

                }
              } else {

              }
            } else {

            }
          } else {

          }
        } else {

        }
      }
    }
  } else {

  }
   4739: /* CIL Label */ 
#line 3769
  if (dir) {
#line 3771
    _TIFFfree((void *)dir);
#line 3772
    dir = (TIFFDirEntry *)((void *)0);
  } else {

  }
   4740: /* CIL Label */ 
#line 3774
  if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 19))) {
#line 3775
    tif->tif_dir.td_maxsamplevalue = (unsigned short )((1L << (int )tif->tif_dir.td_bitspersample) - 1L);
  } else {

  }
   4741: /* CIL Label */ 
#line 3781
  if (tif->tif_dir.td_nstrips > 1U) {
#line 3784
    tif->tif_dir.td_stripbytecountsorted = 1;
#line 3785
    strip = 1U;
#line 3785
    while (strip < tif->tif_dir.td_nstrips) {
#line 3786
      if (*(tif->tif_dir.td_stripoffset + (strip - 1U)) > *(tif->tif_dir.td_stripoffset + strip)) {
#line 3788
        tif->tif_dir.td_stripbytecountsorted = 0;
#line 3789
        break;
      } else {

      }
#line 3785
      strip ++;
    }
  } else {

  }
   4742: /* CIL Label */ 
#line 3796
  (*(tif->tif_fixuptags))(tif);
   4743: /* CIL Label */ 
#line 3807
  if (tif->tif_dir.td_nstrips == 1U) {
#line 3807
    if ((int )tif->tif_dir.td_compression == 1) {
#line 3807
      if ((tif->tif_flags & 33792U) == 32768U) {
#line 3809
        ChopUpSingleUncompressedStrip(tif);
      } else {

      }
    } else {

    }
  } else {

  }
   4744: /* CIL Label */ 
#line 3814
  tif->tif_row = 4294967295U;
   4745: /* CIL Label */ 
#line 3815
  tif->tif_curstrip = 4294967295U;
   4746: /* CIL Label */ 
#line 3816
  tif->tif_col = 4294967295U;
   4747: /* CIL Label */ 
#line 3817
  tif->tif_curtile = 4294967295U;
   4748: /* CIL Label */ 
#line 3818
  tif->tif_tilesize = -1L;
   4749: /* CIL Label */ 
#line 3820
  tif->tif_scanlinesize = TIFFScanlineSize(tif);
   4750: /* CIL Label */ 
#line 3821
  if (! tif->tif_scanlinesize) {
#line 3822
    TIFFErrorExt(tif->tif_clientdata, module, "Cannot handle zero scanline size");
#line 3824
    return (0);
  } else {

  }
   4751: /* CIL Label */ 
#line 3827
  if ((tif->tif_flags & 1024U) != 0U) {
#line 3828
    tif->tif_tilesize = TIFFTileSize(tif);
#line 3829
    if (! tif->tif_tilesize) {
#line 3830
      TIFFErrorExt(tif->tif_clientdata, module, "Cannot handle zero tile size");
#line 3832
      return (0);
    } else {

    }
  } else {
#line 3835
    tmp___28 = TIFFStripSize(tif);
#line 3835
    if (tmp___28) {

    } else {
#line 3836
      TIFFErrorExt(tif->tif_clientdata, module, "Cannot handle zero strip size");
#line 3838
      return (0);
    }
  }
   4752: /* CIL Label */ 
#line 3841
  return (1);
   4753: /* CIL Label */ 
  bad: 
#line 3843
  if (dir) {
#line 3844
    _TIFFfree((void *)dir);
  } else {

  }
   4754: /* CIL Label */ 
#line 3845
  return (0);
}
}

cilRep: liveness failure for TIFFReadDirectory: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_fax3.c: parsing
cilRep: preprocessed/libtiff/tif_fax3.c: parsed (0.275538 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: EOF1Da: 
#line 257 "tif_fax3.c"
(*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
Liveness failed on function:
 static int Fax3Decode1D(TIFF *tif , uint8 *buf , tmsize_t occ , uint16 s ) 
{ Fax3CodecState *sp ;
  int a0 ;
  int lastx ;
  uint32 BitAcc ;
  int BitsAvail ;
  int RunLength ;
  unsigned char *cp ;
  unsigned char *ep ;
  uint32 *pa ;
  uint32 *thisrun ;
  int EOLcnt ;
  unsigned char const   *bitmap ;
  TIFFFaxTabEnt const   *TabEnt ;
  unsigned char *tmp ;
  unsigned char *tmp___0 ;
  unsigned char *tmp___1 ;
  unsigned char *tmp___2 ;
  unsigned char *tmp___3 ;
  uint32 *tmp___4 ;
  unsigned char *tmp___5 ;
  unsigned char *tmp___6 ;
  uint32 *tmp___7 ;
  uint32 *tmp___8 ;
  uint32 *tmp___9 ;
  uint32 *tmp___10 ;
  uint32 *tmp___11 ;
  uint32 *tmp___12 ;
  uint32 *tmp___13 ;
  uint32 *tmp___14 ;
  uint32 *tmp___15 ;
  uint32 *tmp___16 ;
  uint32 *tmp___17 ;
  uint32 *tmp___18 ;
  uint32 *tmp___19 ;
  uint32 *tmp___20 ;
  uint32 *tmp___21 ;
  uint32 *tmp___22 ;

  {
   6415: /* CIL Label */ 
#line 229
  sp = (Fax3CodecState *)((Fax3BaseState *)tif->tif_data);
   6416: /* CIL Label */ 
#line 229
  lastx = (int )sp->b.rowpixels;
   6417: /* CIL Label */ 
#line 229
  bitmap = sp->bitmap;
   6418: /* CIL Label */ 
#line 231
  if (occ % sp->b.rowbytes) {
#line 233
    TIFFErrorExt(tif->tif_clientdata, module,
                 "Fractional scanlines cannot be read");
#line 234
    return (-1);
  } else {

  }
   6419: /* CIL Label */ 
#line 236
  while (1) {
#line 236
    BitAcc = sp->data;
#line 236
    BitsAvail = sp->bit;
#line 236
    EOLcnt = sp->EOLcnt;
#line 236
    cp = tif->tif_rawcp;
#line 236
    ep = cp + tif->tif_rawcc;
#line 236
    break;
  }
   6420: /* CIL Label */ 
#line 237
  thisrun = sp->curruns;
   6421: /* CIL Label */ 
#line 238
  while (occ > 0L) {
#line 239
    a0 = 0;
#line 240
    RunLength = 0;
#line 241
    pa = thisrun;
#line 247
    while (1) {
#line 247
      if (EOLcnt == 0) {
#line 247
        while (1) {
#line 247
          while (1) {
#line 247
            if (BitsAvail < 11) {
#line 247
              if ((unsigned int )cp >= (unsigned int )ep) {
#line 247
                if (BitsAvail == 0) {
                  goto EOF1D;
                } else {

                }
#line 247
                BitsAvail = 11;
              } else {
#line 247
                tmp = cp;
#line 247
                cp ++;
#line 247
                BitAcc |= (unsigned int )*(bitmap + *tmp) << BitsAvail;
#line 247
                BitsAvail += 8;
#line 247
                if (BitsAvail < 11) {
#line 247
                  if ((unsigned int )cp >= (unsigned int )ep) {
#line 247
                    BitsAvail = 11;
                  } else {
#line 247
                    tmp___0 = cp;
#line 247
                    cp ++;
#line 247
                    BitAcc |= (unsigned int )*(bitmap + *tmp___0) << BitsAvail;
#line 247
                    BitsAvail += 8;
                  }
                } else {

                }
              }
            } else {

            }
#line 247
            break;
          }
#line 247
          if ((BitAcc & (unsigned int )((1 << 11) - 1)) == 0U) {
#line 247
            break;
          } else {

          }
#line 247
          while (1) {
#line 247
            BitsAvail --;
#line 247
            BitAcc >>= 1;
#line 247
            break;
          }
        }
      } else {

      }
#line 247
      while (1) {
#line 247
        while (1) {
#line 247
          if (BitsAvail < 8) {
#line 247
            if ((unsigned int )cp >= (unsigned int )ep) {
#line 247
              if (BitsAvail == 0) {
                goto EOF1D;
              } else {

              }
#line 247
              BitsAvail = 8;
            } else {
#line 247
              tmp___1 = cp;
#line 247
              cp ++;
#line 247
              BitAcc |= (unsigned int )*(bitmap + *tmp___1) << BitsAvail;
#line 247
              BitsAvail += 8;
            }
          } else {

          }
#line 247
          break;
        }
#line 247
        if (BitAcc & (unsigned int )((1 << 8) - 1)) {
#line 247
          break;
        } else {

        }
#line 247
        while (1) {
#line 247
          BitsAvail -= 8;
#line 247
          BitAcc >>= 8;
#line 247
          break;
        }
      }
#line 247
      while ((BitAcc & (unsigned int )((1 << 1) - 1)) == 0U) {
#line 247
        while (1) {
#line 247
          BitsAvail --;
#line 247
          BitAcc >>= 1;
#line 247
          break;
        }
      }
#line 247
      while (1) {
#line 247
        BitsAvail --;
#line 247
        BitAcc >>= 1;
#line 247
        break;
      }
#line 247
      EOLcnt = 0;
#line 247
      break;
    }
#line 248
    while (1) {
#line 248
      while (1) {
#line 248
        while (1) {
#line 248
          while (1) {
#line 248
            while (1) {
#line 248
              if (BitsAvail < 12) {
#line 248
                if ((unsigned int )cp >= (unsigned int )ep) {
#line 248
                  if (BitsAvail == 0) {
                    goto eof1d;
                  } else {

                  }
#line 248
                  BitsAvail = 12;
                } else {
#line 248
                  tmp___2 = cp;
#line 248
                  cp ++;
#line 248
                  BitAcc |= (unsigned int )*(bitmap + *tmp___2) << BitsAvail;
#line 248
                  BitsAvail += 8;
#line 248
                  if (BitsAvail < 12) {
#line 248
                    if ((unsigned int )cp >= (unsigned int )ep) {
#line 248
                      BitsAvail = 12;
                    } else {
#line 248
                      tmp___3 = cp;
#line 248
                      cp ++;
#line 248
                      BitAcc |= (unsigned int )*(bitmap + *tmp___3) << BitsAvail;
#line 248
                      BitsAvail += 8;
                    }
                  } else {

                  }
                }
              } else {

              }
#line 248
              break;
            }
#line 248
            TabEnt = TIFFFaxWhiteTable + (BitAcc & (unsigned int )((1 << 12) - 1));
#line 248
            while (1) {
#line 248
              BitsAvail -= (int )TabEnt->Width;
#line 248
              BitAcc >>= (int const   )TabEnt->Width;
#line 248
              break;
            }
#line 248
            break;
          }
#line 248
          switch ((int )TabEnt->State) {
          case 12: 
#line 248
          EOLcnt = 1;
          goto done1d;
          case 7: 
#line 248
          while (1) {
#line 248
            tmp___4 = pa;
#line 248
            pa ++;
#line 248
            *tmp___4 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 248
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 248
            RunLength = 0;
#line 248
            break;
          }
          goto doneWhite1d;
          case 9: 
          case 11: 
#line 248
          a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 248
          RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 248
          break;
          default: 
#line 248
          Fax3Unexpected(module, tif, (unsigned int )sp->line, (unsigned int )a0);
          goto done1d;
          }
        }
        doneWhite1d: 
#line 248
        if (a0 >= lastx) {
          goto done1d;
        } else {

        }
#line 248
        while (1) {
#line 248
          while (1) {
#line 248
            while (1) {
#line 248
              if (BitsAvail < 13) {
#line 248
                if ((unsigned int )cp >= (unsigned int )ep) {
#line 248
                  if (BitsAvail == 0) {
                    goto eof1d;
                  } else {

                  }
#line 248
                  BitsAvail = 13;
                } else {
#line 248
                  tmp___5 = cp;
#line 248
                  cp ++;
#line 248
                  BitAcc |= (unsigned int )*(bitmap + *tmp___5) << BitsAvail;
#line 248
                  BitsAvail += 8;
#line 248
                  if (BitsAvail < 13) {
#line 248
                    if ((unsigned int )cp >= (unsigned int )ep) {
#line 248
                      BitsAvail = 13;
                    } else {
#line 248
                      tmp___6 = cp;
#line 248
                      cp ++;
#line 248
                      BitAcc |= (unsigned int )*(bitmap + *tmp___6) << BitsAvail;
#line 248
                      BitsAvail += 8;
                    }
                  } else {

                  }
                }
              } else {

              }
#line 248
              break;
            }
#line 248
            TabEnt = TIFFFaxBlackTable + (BitAcc & (unsigned int )((1 << 13) - 1));
#line 248
            while (1) {
#line 248
              BitsAvail -= (int )TabEnt->Width;
#line 248
              BitAcc >>= (int const   )TabEnt->Width;
#line 248
              break;
            }
#line 248
            break;
          }
#line 248
          switch ((int )TabEnt->State) {
          case 12: 
#line 248
          EOLcnt = 1;
          goto done1d;
          case 8: 
#line 248
          while (1) {
#line 248
            tmp___7 = pa;
#line 248
            pa ++;
#line 248
            *tmp___7 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 248
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 248
            RunLength = 0;
#line 248
            break;
          }
          goto doneBlack1d;
          case 10: 
          case 11: 
#line 248
          a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 248
          RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 248
          break;
          default: 
#line 248
          Fax3Unexpected(module, tif, (unsigned int )sp->line, (unsigned int )a0);
          goto done1d;
          }
        }
        doneBlack1d: 
#line 248
        if (a0 >= lastx) {
          goto done1d;
        } else {

        }
#line 248
        if (*(pa - 1) == 0U) {
#line 248
          if (*(pa - 2) == 0U) {
#line 248
            pa -= 2;
          } else {

          }
        } else {

        }
      }
      eof1d: 
#line 248
      Fax3PrematureEOF(module, tif, (unsigned int )sp->line, (unsigned int )a0);
#line 248
      while (1) {
#line 248
        if (RunLength) {
#line 248
          while (1) {
#line 248
            tmp___8 = pa;
#line 248
            pa ++;
#line 248
            *tmp___8 = (unsigned int )RunLength;
#line 248
            a0 = a0;
#line 248
            RunLength = 0;
#line 248
            break;
          }
        } else {

        }
#line 248
        if (a0 != lastx) {
#line 248
          Fax3BadLength(module, tif, (unsigned int )sp->line, (unsigned int )a0,
                        (unsigned int )lastx);
#line 248
          while (1) {
#line 248
            if (a0 > lastx) {
#line 248
              if ((unsigned int )pa > (unsigned int )thisrun) {

              } else {
#line 248
                break;
              }
            } else {
#line 248
              break;
            }
#line 248
            pa --;
#line 248
            a0 = (int )((uint32 )a0 - *pa);
          }
#line 248
          if (a0 < lastx) {
#line 248
            if (a0 < 0) {
#line 248
              a0 = 0;
            } else {

            }
#line 248
            if ((pa - thisrun) & 1) {
#line 248
              while (1) {
#line 248
                tmp___9 = pa;
#line 248
                pa ++;
#line 248
                *tmp___9 = (unsigned int )RunLength;
#line 248
                a0 = a0;
#line 248
                RunLength = 0;
#line 248
                break;
              }
            } else {

            }
#line 248
            while (1) {
#line 248
              tmp___10 = pa;
#line 248
              pa ++;
#line 248
              *tmp___10 = (unsigned int )(RunLength + (lastx - a0));
#line 248
              a0 += lastx - a0;
#line 248
              RunLength = 0;
#line 248
              break;
            }
          } else {
#line 248
            if (a0 > lastx) {
#line 248
              while (1) {
#line 248
                tmp___11 = pa;
#line 248
                pa ++;
#line 248
                *tmp___11 = (unsigned int )(RunLength + lastx);
#line 248
                a0 += lastx;
#line 248
                RunLength = 0;
#line 248
                break;
              }
#line 248
              while (1) {
#line 248
                tmp___12 = pa;
#line 248
                pa ++;
#line 248
                *tmp___12 = (unsigned int )RunLength;
#line 248
                a0 = a0;
#line 248
                RunLength = 0;
#line 248
                break;
              }
            } else {

            }
          }
        } else {

        }
#line 248
        break;
      }
      goto EOF1Da;
      done1d: 
#line 248
      while (1) {
#line 248
        if (RunLength) {
#line 248
          while (1) {
#line 248
            tmp___13 = pa;
#line 248
            pa ++;
#line 248
            *tmp___13 = (unsigned int )RunLength;
#line 248
            a0 = a0;
#line 248
            RunLength = 0;
#line 248
            break;
          }
        } else {

        }
#line 248
        if (a0 != lastx) {
#line 248
          Fax3BadLength(module, tif, (unsigned int )sp->line, (unsigned int )a0,
                        (unsigned int )lastx);
#line 248
          while (1) {
#line 248
            if (a0 > lastx) {
#line 248
              if ((unsigned int )pa > (unsigned int )thisrun) {

              } else {
#line 248
                break;
              }
            } else {
#line 248
              break;
            }
#line 248
            pa --;
#line 248
            a0 = (int )((uint32 )a0 - *pa);
          }
#line 248
          if (a0 < lastx) {
#line 248
            if (a0 < 0) {
#line 248
              a0 = 0;
            } else {

            }
#line 248
            if ((pa - thisrun) & 1) {
#line 248
              while (1) {
#line 248
                tmp___14 = pa;
#line 248
                pa ++;
#line 248
                *tmp___14 = (unsigned int )RunLength;
#line 248
                a0 = a0;
#line 248
                RunLength = 0;
#line 248
                break;
              }
            } else {

            }
#line 248
            while (1) {
#line 248
              tmp___15 = pa;
#line 248
              pa ++;
#line 248
              *tmp___15 = (unsigned int )(RunLength + (lastx - a0));
#line 248
              a0 += lastx - a0;
#line 248
              RunLength = 0;
#line 248
              break;
            }
          } else {
#line 248
            if (a0 > lastx) {
#line 248
              while (1) {
#line 248
                tmp___16 = pa;
#line 248
                pa ++;
#line 248
                *tmp___16 = (unsigned int )(RunLength + lastx);
#line 248
                a0 += lastx;
#line 248
                RunLength = 0;
#line 248
                break;
              }
#line 248
              while (1) {
#line 248
                tmp___17 = pa;
#line 248
                pa ++;
#line 248
                *tmp___17 = (unsigned int )RunLength;
#line 248
                a0 = a0;
#line 248
                RunLength = 0;
#line 248
                break;
              }
            } else {

            }
          }
        } else {

        }
#line 248
        break;
      }
#line 248
      break;
    }
#line 249
    (*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
#line 250
    buf += sp->b.rowbytes;
#line 251
    occ -= sp->b.rowbytes;
#line 252
    (sp->line) ++;
#line 253
    continue;
    EOF1D: 
#line 255
    while (1) {
#line 255
      if (RunLength) {
#line 255
        while (1) {
#line 255
          tmp___18 = pa;
#line 255
          pa ++;
#line 255
          *tmp___18 = (unsigned int )RunLength;
#line 255
          a0 = a0;
#line 255
          RunLength = 0;
#line 255
          break;
        }
      } else {

      }
#line 255
      if (a0 != lastx) {
#line 255
        Fax3BadLength(module, tif, (unsigned int )sp->line, (unsigned int )a0,
                      (unsigned int )lastx);
#line 255
        while (1) {
#line 255
          if (a0 > lastx) {
#line 255
            if ((unsigned int )pa > (unsigned int )thisrun) {

            } else {
#line 255
              break;
            }
          } else {
#line 255
            break;
          }
#line 255
          pa --;
#line 255
          a0 = (int )((uint32 )a0 - *pa);
        }
#line 255
        if (a0 < lastx) {
#line 255
          if (a0 < 0) {
#line 255
            a0 = 0;
          } else {

          }
#line 255
          if ((pa - thisrun) & 1) {
#line 255
            while (1) {
#line 255
              tmp___19 = pa;
#line 255
              pa ++;
#line 255
              *tmp___19 = (unsigned int )RunLength;
#line 255
              a0 = a0;
#line 255
              RunLength = 0;
#line 255
              break;
            }
          } else {

          }
#line 255
          while (1) {
#line 255
            tmp___20 = pa;
#line 255
            pa ++;
#line 255
            *tmp___20 = (unsigned int )(RunLength + (lastx - a0));
#line 255
            a0 += lastx - a0;
#line 255
            RunLength = 0;
#line 255
            break;
          }
        } else {
#line 255
          if (a0 > lastx) {
#line 255
            while (1) {
#line 255
              tmp___21 = pa;
#line 255
              pa ++;
#line 255
              *tmp___21 = (unsigned int )(RunLength + lastx);
#line 255
              a0 += lastx;
#line 255
              RunLength = 0;
#line 255
              break;
            }
#line 255
            while (1) {
#line 255
              tmp___22 = pa;
#line 255
              pa ++;
#line 255
              *tmp___22 = (unsigned int )RunLength;
#line 255
              a0 = a0;
#line 255
              RunLength = 0;
#line 255
              break;
            }
          } else {

          }
        }
      } else {

      }
#line 255
      break;
    }
    EOF1Da: 
#line 257
    (*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
#line 258
    while (1) {
#line 258
      sp->bit = BitsAvail;
#line 258
      sp->data = BitAcc;
#line 258
      sp->EOLcnt = EOLcnt;
#line 258
      tif->tif_rawcc -= (long )(cp - tif->tif_rawcp);
#line 258
      tif->tif_rawcp = cp;
#line 258
      break;
    }
#line 259
    return (-1);
  }
   6422: /* CIL Label */ 
#line 261
  while (1) {
#line 261
    sp->bit = BitsAvail;
#line 261
    sp->data = BitAcc;
#line 261
    sp->EOLcnt = EOLcnt;
#line 261
    tif->tif_rawcc -= (long )(cp - tif->tif_rawcp);
#line 261
    tif->tif_rawcp = cp;
#line 261
    break;
  }
   6423: /* CIL Label */ 
#line 262
  return (1);
}
}

cilRep: liveness failure for Fax3Decode1D: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: badMain2d: 
#line 303
Fax3Unexpected(module___0, tif, (unsigned int )sp->line, (unsigned int )a0);
Liveness failed on function:
 static int Fax3Decode2D(TIFF *tif , uint8 *buf , tmsize_t occ , uint16 s ) 
{ Fax3CodecState *sp ;
  int a0 ;
  int lastx ;
  uint32 BitAcc ;
  int BitsAvail ;
  int RunLength ;
  unsigned char *cp ;
  unsigned char *ep ;
  uint32 *pa ;
  uint32 *thisrun ;
  int EOLcnt ;
  unsigned char const   *bitmap ;
  TIFFFaxTabEnt const   *TabEnt ;
  int b1 ;
  uint32 *pb ;
  int is1D ;
  unsigned char *tmp ;
  unsigned char *tmp___0 ;
  unsigned char *tmp___1 ;
  unsigned char *tmp___2 ;
  uint32 *tmp___3 ;
  unsigned char *tmp___4 ;
  unsigned char *tmp___5 ;
  uint32 *tmp___6 ;
  unsigned char *tmp___7 ;
  unsigned char *tmp___8 ;
  uint32 *tmp___9 ;
  uint32 *tmp___10 ;
  uint32 *tmp___11 ;
  uint32 *tmp___12 ;
  uint32 *tmp___13 ;
  uint32 *tmp___14 ;
  uint32 *tmp___15 ;
  uint32 *tmp___16 ;
  uint32 *tmp___17 ;
  uint32 *tmp___18 ;
  uint32 *tmp___19 ;
  unsigned char *tmp___20 ;
  uint32 *tmp___21 ;
  uint32 *tmp___22 ;
  unsigned char *tmp___23 ;
  unsigned char *tmp___24 ;
  uint32 *tmp___25 ;
  unsigned char *tmp___26 ;
  unsigned char *tmp___27 ;
  uint32 *tmp___28 ;
  unsigned char *tmp___29 ;
  unsigned char *tmp___30 ;
  uint32 *tmp___31 ;
  unsigned char *tmp___32 ;
  unsigned char *tmp___33 ;
  uint32 *tmp___34 ;
  uint32 *tmp___35 ;
  uint32 *tmp___36 ;
  uint32 *tmp___37 ;
  uint32 *tmp___38 ;
  uint32 *tmp___39 ;
  uint32 *tmp___40 ;
  uint32 *tmp___41 ;
  unsigned char *tmp___42 ;
  uint32 *tmp___43 ;
  uint32 *tmp___44 ;
  uint32 *tmp___45 ;
  uint32 *tmp___46 ;
  uint32 *tmp___47 ;
  unsigned char *tmp___48 ;
  uint32 *tmp___49 ;
  uint32 *tmp___50 ;
  uint32 *tmp___51 ;
  uint32 *tmp___52 ;
  uint32 *tmp___53 ;
  uint32 *tmp___54 ;
  uint32 *tmp___55 ;
  uint32 *x ;
  uint32 *tmp___56 ;
  uint32 *tmp___57 ;
  uint32 *tmp___58 ;
  uint32 *tmp___59 ;
  uint32 *tmp___60 ;

  {
   7167: /* CIL Label */ 
#line 272
  sp = (Fax3CodecState *)((Fax3BaseState *)tif->tif_data);
   7168: /* CIL Label */ 
#line 272
  lastx = (int )sp->b.rowpixels;
   7169: /* CIL Label */ 
#line 272
  bitmap = sp->bitmap;
   7170: /* CIL Label */ 
#line 275
  if (occ % sp->b.rowbytes) {
#line 277
    TIFFErrorExt(tif->tif_clientdata, module___0,
                 "Fractional scanlines cannot be read");
#line 278
    return (-1);
  } else {

  }
   7171: /* CIL Label */ 
#line 280
  while (1) {
#line 280
    BitAcc = sp->data;
#line 280
    BitsAvail = sp->bit;
#line 280
    EOLcnt = sp->EOLcnt;
#line 280
    cp = tif->tif_rawcp;
#line 280
    ep = cp + tif->tif_rawcc;
#line 280
    break;
  }
   7172: /* CIL Label */ 
#line 281
  while (occ > 0L) {
#line 282
    a0 = 0;
#line 283
    RunLength = 0;
#line 284
    thisrun = sp->curruns;
#line 284
    pa = thisrun;
#line 289
    while (1) {
#line 289
      if (EOLcnt == 0) {
#line 289
        while (1) {
#line 289
          while (1) {
#line 289
            if (BitsAvail < 11) {
#line 289
              if ((unsigned int )cp >= (unsigned int )ep) {
#line 289
                if (BitsAvail == 0) {
                  goto EOF2D;
                } else {

                }
#line 289
                BitsAvail = 11;
              } else {
#line 289
                tmp = cp;
#line 289
                cp ++;
#line 289
                BitAcc |= (unsigned int )*(bitmap + *tmp) << BitsAvail;
#line 289
                BitsAvail += 8;
#line 289
                if (BitsAvail < 11) {
#line 289
                  if ((unsigned int )cp >= (unsigned int )ep) {
#line 289
                    BitsAvail = 11;
                  } else {
#line 289
                    tmp___0 = cp;
#line 289
                    cp ++;
#line 289
                    BitAcc |= (unsigned int )*(bitmap + *tmp___0) << BitsAvail;
#line 289
                    BitsAvail += 8;
                  }
                } else {

                }
              }
            } else {

            }
#line 289
            break;
          }
#line 289
          if ((BitAcc & (unsigned int )((1 << 11) - 1)) == 0U) {
#line 289
            break;
          } else {

          }
#line 289
          while (1) {
#line 289
            BitsAvail --;
#line 289
            BitAcc >>= 1;
#line 289
            break;
          }
        }
      } else {

      }
#line 289
      while (1) {
#line 289
        while (1) {
#line 289
          if (BitsAvail < 8) {
#line 289
            if ((unsigned int )cp >= (unsigned int )ep) {
#line 289
              if (BitsAvail == 0) {
                goto EOF2D;
              } else {

              }
#line 289
              BitsAvail = 8;
            } else {
#line 289
              tmp___1 = cp;
#line 289
              cp ++;
#line 289
              BitAcc |= (unsigned int )*(bitmap + *tmp___1) << BitsAvail;
#line 289
              BitsAvail += 8;
            }
          } else {

          }
#line 289
          break;
        }
#line 289
        if (BitAcc & (unsigned int )((1 << 8) - 1)) {
#line 289
          break;
        } else {

        }
#line 289
        while (1) {
#line 289
          BitsAvail -= 8;
#line 289
          BitAcc >>= 8;
#line 289
          break;
        }
      }
#line 289
      while ((BitAcc & (unsigned int )((1 << 1) - 1)) == 0U) {
#line 289
        while (1) {
#line 289
          BitsAvail --;
#line 289
          BitAcc >>= 1;
#line 289
          break;
        }
      }
#line 289
      while (1) {
#line 289
        BitsAvail --;
#line 289
        BitAcc >>= 1;
#line 289
        break;
      }
#line 289
      EOLcnt = 0;
#line 289
      break;
    }
#line 290
    while (1) {
#line 290
      if (BitsAvail < 1) {
#line 290
        if ((unsigned int )cp >= (unsigned int )ep) {
#line 290
          if (BitsAvail == 0) {
            goto EOF2D;
          } else {

          }
#line 290
          BitsAvail = 1;
        } else {
#line 290
          tmp___2 = cp;
#line 290
          cp ++;
#line 290
          BitAcc |= (unsigned int )*(bitmap + *tmp___2) << BitsAvail;
#line 290
          BitsAvail += 8;
        }
      } else {

      }
#line 290
      break;
    }
#line 291
    is1D = (int )(BitAcc & (unsigned int )((1 << 1) - 1));
#line 292
    while (1) {
#line 292
      BitsAvail --;
#line 292
      BitAcc >>= 1;
#line 292
      break;
    }
#line 298
    pb = sp->refruns;
#line 299
    tmp___3 = pb;
#line 299
    pb ++;
#line 299
    b1 = (int )*tmp___3;
#line 300
    if (is1D) {
#line 301
      while (1) {
#line 301
        while (1) {
#line 301
          while (1) {
#line 301
            while (1) {
#line 301
              while (1) {
#line 301
                if (BitsAvail < 12) {
#line 301
                  if ((unsigned int )cp >= (unsigned int )ep) {
#line 301
                    if (BitsAvail == 0) {
                      goto eof1d;
                    } else {

                    }
#line 301
                    BitsAvail = 12;
                  } else {
#line 301
                    tmp___4 = cp;
#line 301
                    cp ++;
#line 301
                    BitAcc |= (unsigned int )*(bitmap + *tmp___4) << BitsAvail;
#line 301
                    BitsAvail += 8;
#line 301
                    if (BitsAvail < 12) {
#line 301
                      if ((unsigned int )cp >= (unsigned int )ep) {
#line 301
                        BitsAvail = 12;
                      } else {
#line 301
                        tmp___5 = cp;
#line 301
                        cp ++;
#line 301
                        BitAcc |= (unsigned int )*(bitmap + *tmp___5) << BitsAvail;
#line 301
                        BitsAvail += 8;
                      }
                    } else {

                    }
                  }
                } else {

                }
#line 301
                break;
              }
#line 301
              TabEnt = TIFFFaxWhiteTable + (BitAcc & (unsigned int )((1 << 12) - 1));
#line 301
              while (1) {
#line 301
                BitsAvail -= (int )TabEnt->Width;
#line 301
                BitAcc >>= (int const   )TabEnt->Width;
#line 301
                break;
              }
#line 301
              break;
            }
#line 301
            switch ((int )TabEnt->State) {
            case 12: 
#line 301
            EOLcnt = 1;
            goto done1d;
            case 7: 
#line 301
            while (1) {
#line 301
              tmp___6 = pa;
#line 301
              pa ++;
#line 301
              *tmp___6 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 301
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 301
              RunLength = 0;
#line 301
              break;
            }
            goto doneWhite1d;
            case 9: 
            case 11: 
#line 301
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 301
            RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 301
            break;
            default: 
#line 301
            Fax3Unexpected(module___0, tif, (unsigned int )sp->line,
                           (unsigned int )a0);
            goto done1d;
            }
          }
          doneWhite1d: 
#line 301
          if (a0 >= lastx) {
            goto done1d;
          } else {

          }
#line 301
          while (1) {
#line 301
            while (1) {
#line 301
              while (1) {
#line 301
                if (BitsAvail < 13) {
#line 301
                  if ((unsigned int )cp >= (unsigned int )ep) {
#line 301
                    if (BitsAvail == 0) {
                      goto eof1d;
                    } else {

                    }
#line 301
                    BitsAvail = 13;
                  } else {
#line 301
                    tmp___7 = cp;
#line 301
                    cp ++;
#line 301
                    BitAcc |= (unsigned int )*(bitmap + *tmp___7) << BitsAvail;
#line 301
                    BitsAvail += 8;
#line 301
                    if (BitsAvail < 13) {
#line 301
                      if ((unsigned int )cp >= (unsigned int )ep) {
#line 301
                        BitsAvail = 13;
                      } else {
#line 301
                        tmp___8 = cp;
#line 301
                        cp ++;
#line 301
                        BitAcc |= (unsigned int )*(bitmap + *tmp___8) << BitsAvail;
#line 301
                        BitsAvail += 8;
                      }
                    } else {

                    }
                  }
                } else {

                }
#line 301
                break;
              }
#line 301
              TabEnt = TIFFFaxBlackTable + (BitAcc & (unsigned int )((1 << 13) - 1));
#line 301
              while (1) {
#line 301
                BitsAvail -= (int )TabEnt->Width;
#line 301
                BitAcc >>= (int const   )TabEnt->Width;
#line 301
                break;
              }
#line 301
              break;
            }
#line 301
            switch ((int )TabEnt->State) {
            case 12: 
#line 301
            EOLcnt = 1;
            goto done1d;
            case 8: 
#line 301
            while (1) {
#line 301
              tmp___9 = pa;
#line 301
              pa ++;
#line 301
              *tmp___9 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 301
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 301
              RunLength = 0;
#line 301
              break;
            }
            goto doneBlack1d;
            case 10: 
            case 11: 
#line 301
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 301
            RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 301
            break;
            default: 
#line 301
            Fax3Unexpected(module___0, tif, (unsigned int )sp->line,
                           (unsigned int )a0);
            goto done1d;
            }
          }
          doneBlack1d: 
#line 301
          if (a0 >= lastx) {
            goto done1d;
          } else {

          }
#line 301
          if (*(pa - 1) == 0U) {
#line 301
            if (*(pa - 2) == 0U) {
#line 301
              pa -= 2;
            } else {

            }
          } else {

          }
        }
        eof1d: 
#line 301
        Fax3PrematureEOF(module___0, tif, (unsigned int )sp->line,
                         (unsigned int )a0);
#line 301
        while (1) {
#line 301
          if (RunLength) {
#line 301
            while (1) {
#line 301
              tmp___10 = pa;
#line 301
              pa ++;
#line 301
              *tmp___10 = (unsigned int )RunLength;
#line 301
              a0 = a0;
#line 301
              RunLength = 0;
#line 301
              break;
            }
          } else {

          }
#line 301
          if (a0 != lastx) {
#line 301
            Fax3BadLength(module___0, tif, (unsigned int )sp->line,
                          (unsigned int )a0, (unsigned int )lastx);
#line 301
            while (1) {
#line 301
              if (a0 > lastx) {
#line 301
                if ((unsigned int )pa > (unsigned int )thisrun) {

                } else {
#line 301
                  break;
                }
              } else {
#line 301
                break;
              }
#line 301
              pa --;
#line 301
              a0 = (int )((uint32 )a0 - *pa);
            }
#line 301
            if (a0 < lastx) {
#line 301
              if (a0 < 0) {
#line 301
                a0 = 0;
              } else {

              }
#line 301
              if ((pa - thisrun) & 1) {
#line 301
                while (1) {
#line 301
                  tmp___11 = pa;
#line 301
                  pa ++;
#line 301
                  *tmp___11 = (unsigned int )RunLength;
#line 301
                  a0 = a0;
#line 301
                  RunLength = 0;
#line 301
                  break;
                }
              } else {

              }
#line 301
              while (1) {
#line 301
                tmp___12 = pa;
#line 301
                pa ++;
#line 301
                *tmp___12 = (unsigned int )(RunLength + (lastx - a0));
#line 301
                a0 += lastx - a0;
#line 301
                RunLength = 0;
#line 301
                break;
              }
            } else {
#line 301
              if (a0 > lastx) {
#line 301
                while (1) {
#line 301
                  tmp___13 = pa;
#line 301
                  pa ++;
#line 301
                  *tmp___13 = (unsigned int )(RunLength + lastx);
#line 301
                  a0 += lastx;
#line 301
                  RunLength = 0;
#line 301
                  break;
                }
#line 301
                while (1) {
#line 301
                  tmp___14 = pa;
#line 301
                  pa ++;
#line 301
                  *tmp___14 = (unsigned int )RunLength;
#line 301
                  a0 = a0;
#line 301
                  RunLength = 0;
#line 301
                  break;
                }
              } else {

              }
            }
          } else {

          }
#line 301
          break;
        }
        goto EOF2Da;
        done1d: 
#line 301
        while (1) {
#line 301
          if (RunLength) {
#line 301
            while (1) {
#line 301
              tmp___15 = pa;
#line 301
              pa ++;
#line 301
              *tmp___15 = (unsigned int )RunLength;
#line 301
              a0 = a0;
#line 301
              RunLength = 0;
#line 301
              break;
            }
          } else {

          }
#line 301
          if (a0 != lastx) {
#line 301
            Fax3BadLength(module___0, tif, (unsigned int )sp->line,
                          (unsigned int )a0, (unsigned int )lastx);
#line 301
            while (1) {
#line 301
              if (a0 > lastx) {
#line 301
                if ((unsigned int )pa > (unsigned int )thisrun) {

                } else {
#line 301
                  break;
                }
              } else {
#line 301
                break;
              }
#line 301
              pa --;
#line 301
              a0 = (int )((uint32 )a0 - *pa);
            }
#line 301
            if (a0 < lastx) {
#line 301
              if (a0 < 0) {
#line 301
                a0 = 0;
              } else {

              }
#line 301
              if ((pa - thisrun) & 1) {
#line 301
                while (1) {
#line 301
                  tmp___16 = pa;
#line 301
                  pa ++;
#line 301
                  *tmp___16 = (unsigned int )RunLength;
#line 301
                  a0 = a0;
#line 301
                  RunLength = 0;
#line 301
                  break;
                }
              } else {

              }
#line 301
              while (1) {
#line 301
                tmp___17 = pa;
#line 301
                pa ++;
#line 301
                *tmp___17 = (unsigned int )(RunLength + (lastx - a0));
#line 301
                a0 += lastx - a0;
#line 301
                RunLength = 0;
#line 301
                break;
              }
            } else {
#line 301
              if (a0 > lastx) {
#line 301
                while (1) {
#line 301
                  tmp___18 = pa;
#line 301
                  pa ++;
#line 301
                  *tmp___18 = (unsigned int )(RunLength + lastx);
#line 301
                  a0 += lastx;
#line 301
                  RunLength = 0;
#line 301
                  break;
                }
#line 301
                while (1) {
#line 301
                  tmp___19 = pa;
#line 301
                  pa ++;
#line 301
                  *tmp___19 = (unsigned int )RunLength;
#line 301
                  a0 = a0;
#line 301
                  RunLength = 0;
#line 301
                  break;
                }
              } else {

              }
            }
          } else {

          }
#line 301
          break;
        }
#line 301
        break;
      }
    } else {
#line 303
      while (1) {
#line 303
        while (a0 < lastx) {
#line 303
          while (1) {
#line 303
            while (1) {
#line 303
              if (BitsAvail < 7) {
#line 303
                if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                  if (BitsAvail == 0) {
                    goto eof2d;
                  } else {

                  }
#line 303
                  BitsAvail = 7;
                } else {
#line 303
                  tmp___20 = cp;
#line 303
                  cp ++;
#line 303
                  BitAcc |= (unsigned int )*(bitmap + *tmp___20) << BitsAvail;
#line 303
                  BitsAvail += 8;
                }
              } else {

              }
#line 303
              break;
            }
#line 303
            TabEnt = TIFFFaxMainTable + (BitAcc & (unsigned int )((1 << 7) - 1));
#line 303
            while (1) {
#line 303
              BitsAvail -= (int )TabEnt->Width;
#line 303
              BitAcc >>= (int const   )TabEnt->Width;
#line 303
              break;
            }
#line 303
            break;
          }
#line 303
          switch ((int )TabEnt->State) {
          case 1: 
#line 303
          while (1) {
#line 303
            if ((unsigned int )pa != (unsigned int )thisrun) {
#line 303
              while (1) {
#line 303
                if (b1 <= a0) {
#line 303
                  if (b1 < lastx) {

                  } else {
#line 303
                    break;
                  }
                } else {
#line 303
                  break;
                }
#line 303
                b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 303
                pb += 2;
              }
            } else {

            }
#line 303
            break;
          }
#line 303
          tmp___21 = pb;
#line 303
          pb ++;
#line 303
          b1 = (int )((uint32 )b1 + *tmp___21);
#line 303
          RunLength += b1 - a0;
#line 303
          a0 = b1;
#line 303
          tmp___22 = pb;
#line 303
          pb ++;
#line 303
          b1 = (int )((uint32 )b1 + *tmp___22);
#line 303
          break;
          case 2: 
#line 303
          if ((pa - thisrun) & 1) {
#line 303
            while (1) {
#line 303
              while (1) {
#line 303
                while (1) {
#line 303
                  if (BitsAvail < 13) {
#line 303
                    if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                      if (BitsAvail == 0) {
                        goto eof2d;
                      } else {

                      }
#line 303
                      BitsAvail = 13;
                    } else {
#line 303
                      tmp___23 = cp;
#line 303
                      cp ++;
#line 303
                      BitAcc |= (unsigned int )*(bitmap + *tmp___23) << BitsAvail;
#line 303
                      BitsAvail += 8;
#line 303
                      if (BitsAvail < 13) {
#line 303
                        if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                          BitsAvail = 13;
                        } else {
#line 303
                          tmp___24 = cp;
#line 303
                          cp ++;
#line 303
                          BitAcc |= (unsigned int )*(bitmap + *tmp___24) << BitsAvail;
#line 303
                          BitsAvail += 8;
                        }
                      } else {

                      }
                    }
                  } else {

                  }
#line 303
                  break;
                }
#line 303
                TabEnt = TIFFFaxBlackTable + (BitAcc & (unsigned int )((1 << 13) - 1));
#line 303
                while (1) {
#line 303
                  BitsAvail -= (int )TabEnt->Width;
#line 303
                  BitAcc >>= (int const   )TabEnt->Width;
#line 303
                  break;
                }
#line 303
                break;
              }
#line 303
              switch ((int )TabEnt->State) {
              case 8: 
#line 303
              while (1) {
#line 303
                tmp___25 = pa;
#line 303
                pa ++;
#line 303
                *tmp___25 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 303
                a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 303
                RunLength = 0;
#line 303
                break;
              }
              goto doneWhite2da;
              case 10: 
              case 11: 
#line 303
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 303
              RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 303
              break;
              default: ;
              goto badBlack2d;
              }
            }
            doneWhite2da: ;
#line 303
            while (1) {
#line 303
              while (1) {
#line 303
                while (1) {
#line 303
                  if (BitsAvail < 12) {
#line 303
                    if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                      if (BitsAvail == 0) {
                        goto eof2d;
                      } else {

                      }
#line 303
                      BitsAvail = 12;
                    } else {
#line 303
                      tmp___26 = cp;
#line 303
                      cp ++;
#line 303
                      BitAcc |= (unsigned int )*(bitmap + *tmp___26) << BitsAvail;
#line 303
                      BitsAvail += 8;
#line 303
                      if (BitsAvail < 12) {
#line 303
                        if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                          BitsAvail = 12;
                        } else {
#line 303
                          tmp___27 = cp;
#line 303
                          cp ++;
#line 303
                          BitAcc |= (unsigned int )*(bitmap + *tmp___27) << BitsAvail;
#line 303
                          BitsAvail += 8;
                        }
                      } else {

                      }
                    }
                  } else {

                  }
#line 303
                  break;
                }
#line 303
                TabEnt = TIFFFaxWhiteTable + (BitAcc & (unsigned int )((1 << 12) - 1));
#line 303
                while (1) {
#line 303
                  BitsAvail -= (int )TabEnt->Width;
#line 303
                  BitAcc >>= (int const   )TabEnt->Width;
#line 303
                  break;
                }
#line 303
                break;
              }
#line 303
              switch ((int )TabEnt->State) {
              case 7: 
#line 303
              while (1) {
#line 303
                tmp___28 = pa;
#line 303
                pa ++;
#line 303
                *tmp___28 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 303
                a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 303
                RunLength = 0;
#line 303
                break;
              }
              goto doneBlack2da;
              case 9: 
              case 11: 
#line 303
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 303
              RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 303
              break;
              default: ;
              goto badWhite2d;
              }
            }
            doneBlack2da: ;
          } else {
#line 303
            while (1) {
#line 303
              while (1) {
#line 303
                while (1) {
#line 303
                  if (BitsAvail < 12) {
#line 303
                    if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                      if (BitsAvail == 0) {
                        goto eof2d;
                      } else {

                      }
#line 303
                      BitsAvail = 12;
                    } else {
#line 303
                      tmp___29 = cp;
#line 303
                      cp ++;
#line 303
                      BitAcc |= (unsigned int )*(bitmap + *tmp___29) << BitsAvail;
#line 303
                      BitsAvail += 8;
#line 303
                      if (BitsAvail < 12) {
#line 303
                        if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                          BitsAvail = 12;
                        } else {
#line 303
                          tmp___30 = cp;
#line 303
                          cp ++;
#line 303
                          BitAcc |= (unsigned int )*(bitmap + *tmp___30) << BitsAvail;
#line 303
                          BitsAvail += 8;
                        }
                      } else {

                      }
                    }
                  } else {

                  }
#line 303
                  break;
                }
#line 303
                TabEnt = TIFFFaxWhiteTable + (BitAcc & (unsigned int )((1 << 12) - 1));
#line 303
                while (1) {
#line 303
                  BitsAvail -= (int )TabEnt->Width;
#line 303
                  BitAcc >>= (int const   )TabEnt->Width;
#line 303
                  break;
                }
#line 303
                break;
              }
#line 303
              switch ((int )TabEnt->State) {
              case 7: 
#line 303
              while (1) {
#line 303
                tmp___31 = pa;
#line 303
                pa ++;
#line 303
                *tmp___31 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 303
                a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 303
                RunLength = 0;
#line 303
                break;
              }
              goto doneWhite2db;
              case 9: 
              case 11: 
#line 303
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 303
              RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 303
              break;
              default: ;
              goto badWhite2d;
              }
            }
            doneWhite2db: ;
#line 303
            while (1) {
#line 303
              while (1) {
#line 303
                while (1) {
#line 303
                  if (BitsAvail < 13) {
#line 303
                    if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                      if (BitsAvail == 0) {
                        goto eof2d;
                      } else {

                      }
#line 303
                      BitsAvail = 13;
                    } else {
#line 303
                      tmp___32 = cp;
#line 303
                      cp ++;
#line 303
                      BitAcc |= (unsigned int )*(bitmap + *tmp___32) << BitsAvail;
#line 303
                      BitsAvail += 8;
#line 303
                      if (BitsAvail < 13) {
#line 303
                        if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                          BitsAvail = 13;
                        } else {
#line 303
                          tmp___33 = cp;
#line 303
                          cp ++;
#line 303
                          BitAcc |= (unsigned int )*(bitmap + *tmp___33) << BitsAvail;
#line 303
                          BitsAvail += 8;
                        }
                      } else {

                      }
                    }
                  } else {

                  }
#line 303
                  break;
                }
#line 303
                TabEnt = TIFFFaxBlackTable + (BitAcc & (unsigned int )((1 << 13) - 1));
#line 303
                while (1) {
#line 303
                  BitsAvail -= (int )TabEnt->Width;
#line 303
                  BitAcc >>= (int const   )TabEnt->Width;
#line 303
                  break;
                }
#line 303
                break;
              }
#line 303
              switch ((int )TabEnt->State) {
              case 8: 
#line 303
              while (1) {
#line 303
                tmp___34 = pa;
#line 303
                pa ++;
#line 303
                *tmp___34 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 303
                a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 303
                RunLength = 0;
#line 303
                break;
              }
              goto doneBlack2db;
              case 10: 
              case 11: 
#line 303
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 303
              RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 303
              break;
              default: ;
              goto badBlack2d;
              }
            }
            doneBlack2db: ;
          }
#line 303
          while (1) {
#line 303
            if ((unsigned int )pa != (unsigned int )thisrun) {
#line 303
              while (1) {
#line 303
                if (b1 <= a0) {
#line 303
                  if (b1 < lastx) {

                  } else {
#line 303
                    break;
                  }
                } else {
#line 303
                  break;
                }
#line 303
                b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 303
                pb += 2;
              }
            } else {

            }
#line 303
            break;
          }
#line 303
          break;
          case 3: 
#line 303
          while (1) {
#line 303
            if ((unsigned int )pa != (unsigned int )thisrun) {
#line 303
              while (1) {
#line 303
                if (b1 <= a0) {
#line 303
                  if (b1 < lastx) {

                  } else {
#line 303
                    break;
                  }
                } else {
#line 303
                  break;
                }
#line 303
                b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 303
                pb += 2;
              }
            } else {

            }
#line 303
            break;
          }
#line 303
          while (1) {
#line 303
            tmp___35 = pa;
#line 303
            pa ++;
#line 303
            *tmp___35 = (unsigned int )(RunLength + (b1 - a0));
#line 303
            a0 += b1 - a0;
#line 303
            RunLength = 0;
#line 303
            break;
          }
#line 303
          tmp___36 = pb;
#line 303
          pb ++;
#line 303
          b1 = (int )((uint32 )b1 + *tmp___36);
#line 303
          break;
          case 4: 
#line 303
          while (1) {
#line 303
            if ((unsigned int )pa != (unsigned int )thisrun) {
#line 303
              while (1) {
#line 303
                if (b1 <= a0) {
#line 303
                  if (b1 < lastx) {

                  } else {
#line 303
                    break;
                  }
                } else {
#line 303
                  break;
                }
#line 303
                b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 303
                pb += 2;
              }
            } else {

            }
#line 303
            break;
          }
#line 303
          while (1) {
#line 303
            tmp___37 = pa;
#line 303
            pa ++;
#line 303
            *tmp___37 = (unsigned int )((uint32 const   )RunLength + ((uint32 const   )(b1 - a0) + TabEnt->Param));
#line 303
            a0 = (int )((uint32 const   )a0 + ((uint32 const   )(b1 - a0) + TabEnt->Param));
#line 303
            RunLength = 0;
#line 303
            break;
          }
#line 303
          tmp___38 = pb;
#line 303
          pb ++;
#line 303
          b1 = (int )((uint32 )b1 + *tmp___38);
#line 303
          break;
          case 5: 
#line 303
          while (1) {
#line 303
            if ((unsigned int )pa != (unsigned int )thisrun) {
#line 303
              while (1) {
#line 303
                if (b1 <= a0) {
#line 303
                  if (b1 < lastx) {

                  } else {
#line 303
                    break;
                  }
                } else {
#line 303
                  break;
                }
#line 303
                b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 303
                pb += 2;
              }
            } else {

            }
#line 303
            break;
          }
#line 303
          while (1) {
#line 303
            tmp___39 = pa;
#line 303
            pa ++;
#line 303
            *tmp___39 = (unsigned int )((uint32 const   )RunLength + ((uint32 const   )(b1 - a0) - TabEnt->Param));
#line 303
            a0 = (int )((uint32 const   )a0 + ((uint32 const   )(b1 - a0) - TabEnt->Param));
#line 303
            RunLength = 0;
#line 303
            break;
          }
#line 303
          pb --;
#line 303
          b1 = (int )((uint32 )b1 - *pb);
#line 303
          break;
          case 6: 
#line 303
          tmp___40 = pa;
#line 303
          pa ++;
#line 303
          *tmp___40 = (unsigned int )(lastx - a0);
#line 303
          Fax3Extension(module___0, tif, (unsigned int )sp->line,
                        (unsigned int )a0);
          goto eol2d;
          case 12: 
#line 303
          tmp___41 = pa;
#line 303
          pa ++;
#line 303
          *tmp___41 = (unsigned int )(lastx - a0);
#line 303
          while (1) {
#line 303
            if (BitsAvail < 4) {
#line 303
              if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                if (BitsAvail == 0) {
                  goto eof2d;
                } else {

                }
#line 303
                BitsAvail = 4;
              } else {
#line 303
                tmp___42 = cp;
#line 303
                cp ++;
#line 303
                BitAcc |= (unsigned int )*(bitmap + *tmp___42) << BitsAvail;
#line 303
                BitsAvail += 8;
              }
            } else {

            }
#line 303
            break;
          }
#line 303
          if (BitAcc & (unsigned int )((1 << 4) - 1)) {
#line 303
            Fax3Unexpected(module___0, tif, (unsigned int )sp->line,
                           (unsigned int )a0);
          } else {

          }
#line 303
          while (1) {
#line 303
            BitsAvail -= 4;
#line 303
            BitAcc >>= 4;
#line 303
            break;
          }
#line 303
          EOLcnt = 1;
          goto eol2d;
          default: ;
          badMain2d: 
#line 303
          Fax3Unexpected(module___0, tif, (unsigned int )sp->line,
                         (unsigned int )a0);
          goto eol2d;
          badBlack2d: 
#line 303
          Fax3Unexpected(module___0, tif, (unsigned int )sp->line,
                         (unsigned int )a0);
          goto eol2d;
          badWhite2d: 
#line 303
          Fax3Unexpected(module___0, tif, (unsigned int )sp->line,
                         (unsigned int )a0);
          goto eol2d;
          eof2d: 
#line 303
          Fax3PrematureEOF(module___0, tif, (unsigned int )sp->line,
                           (unsigned int )a0);
#line 303
          while (1) {
#line 303
            if (RunLength) {
#line 303
              while (1) {
#line 303
                tmp___43 = pa;
#line 303
                pa ++;
#line 303
                *tmp___43 = (unsigned int )RunLength;
#line 303
                a0 = a0;
#line 303
                RunLength = 0;
#line 303
                break;
              }
            } else {

            }
#line 303
            if (a0 != lastx) {
#line 303
              Fax3BadLength(module___0, tif, (unsigned int )sp->line,
                            (unsigned int )a0, (unsigned int )lastx);
#line 303
              while (1) {
#line 303
                if (a0 > lastx) {
#line 303
                  if ((unsigned int )pa > (unsigned int )thisrun) {

                  } else {
#line 303
                    break;
                  }
                } else {
#line 303
                  break;
                }
#line 303
                pa --;
#line 303
                a0 = (int )((uint32 )a0 - *pa);
              }
#line 303
              if (a0 < lastx) {
#line 303
                if (a0 < 0) {
#line 303
                  a0 = 0;
                } else {

                }
#line 303
                if ((pa - thisrun) & 1) {
#line 303
                  while (1) {
#line 303
                    tmp___44 = pa;
#line 303
                    pa ++;
#line 303
                    *tmp___44 = (unsigned int )RunLength;
#line 303
                    a0 = a0;
#line 303
                    RunLength = 0;
#line 303
                    break;
                  }
                } else {

                }
#line 303
                while (1) {
#line 303
                  tmp___45 = pa;
#line 303
                  pa ++;
#line 303
                  *tmp___45 = (unsigned int )(RunLength + (lastx - a0));
#line 303
                  a0 += lastx - a0;
#line 303
                  RunLength = 0;
#line 303
                  break;
                }
              } else {
#line 303
                if (a0 > lastx) {
#line 303
                  while (1) {
#line 303
                    tmp___46 = pa;
#line 303
                    pa ++;
#line 303
                    *tmp___46 = (unsigned int )(RunLength + lastx);
#line 303
                    a0 += lastx;
#line 303
                    RunLength = 0;
#line 303
                    break;
                  }
#line 303
                  while (1) {
#line 303
                    tmp___47 = pa;
#line 303
                    pa ++;
#line 303
                    *tmp___47 = (unsigned int )RunLength;
#line 303
                    a0 = a0;
#line 303
                    RunLength = 0;
#line 303
                    break;
                  }
                } else {

                }
              }
            } else {

            }
#line 303
            break;
          }
          goto EOF2Da;
          }
        }
#line 303
        if (RunLength) {
#line 303
          if (RunLength + a0 < lastx) {
#line 303
            while (1) {
#line 303
              if (BitsAvail < 1) {
#line 303
                if ((unsigned int )cp >= (unsigned int )ep) {
#line 303
                  if (BitsAvail == 0) {
                    goto eof2d;
                  } else {

                  }
#line 303
                  BitsAvail = 1;
                } else {
#line 303
                  tmp___48 = cp;
#line 303
                  cp ++;
#line 303
                  BitAcc |= (unsigned int )*(bitmap + *tmp___48) << BitsAvail;
#line 303
                  BitsAvail += 8;
                }
              } else {

              }
#line 303
              break;
            }
#line 303
            if (! (BitAcc & (unsigned int )((1 << 1) - 1))) {
              goto badMain2d;
            } else {

            }
#line 303
            while (1) {
#line 303
              BitsAvail --;
#line 303
              BitAcc >>= 1;
#line 303
              break;
            }
          } else {

          }
#line 303
          while (1) {
#line 303
            tmp___49 = pa;
#line 303
            pa ++;
#line 303
            *tmp___49 = (unsigned int )RunLength;
#line 303
            a0 = a0;
#line 303
            RunLength = 0;
#line 303
            break;
          }
        } else {

        }
        eol2d: 
#line 303
        while (1) {
#line 303
          if (RunLength) {
#line 303
            while (1) {
#line 303
              tmp___50 = pa;
#line 303
              pa ++;
#line 303
              *tmp___50 = (unsigned int )RunLength;
#line 303
              a0 = a0;
#line 303
              RunLength = 0;
#line 303
              break;
            }
          } else {

          }
#line 303
          if (a0 != lastx) {
#line 303
            Fax3BadLength(module___0, tif, (unsigned int )sp->line,
                          (unsigned int )a0, (unsigned int )lastx);
#line 303
            while (1) {
#line 303
              if (a0 > lastx) {
#line 303
                if ((unsigned int )pa > (unsigned int )thisrun) {

                } else {
#line 303
                  break;
                }
              } else {
#line 303
                break;
              }
#line 303
              pa --;
#line 303
              a0 = (int )((uint32 )a0 - *pa);
            }
#line 303
            if (a0 < lastx) {
#line 303
              if (a0 < 0) {
#line 303
                a0 = 0;
              } else {

              }
#line 303
              if ((pa - thisrun) & 1) {
#line 303
                while (1) {
#line 303
                  tmp___51 = pa;
#line 303
                  pa ++;
#line 303
                  *tmp___51 = (unsigned int )RunLength;
#line 303
                  a0 = a0;
#line 303
                  RunLength = 0;
#line 303
                  break;
                }
              } else {

              }
#line 303
              while (1) {
#line 303
                tmp___52 = pa;
#line 303
                pa ++;
#line 303
                *tmp___52 = (unsigned int )(RunLength + (lastx - a0));
#line 303
                a0 += lastx - a0;
#line 303
                RunLength = 0;
#line 303
                break;
              }
            } else {
#line 303
              if (a0 > lastx) {
#line 303
                while (1) {
#line 303
                  tmp___53 = pa;
#line 303
                  pa ++;
#line 303
                  *tmp___53 = (unsigned int )(RunLength + lastx);
#line 303
                  a0 += lastx;
#line 303
                  RunLength = 0;
#line 303
                  break;
                }
#line 303
                while (1) {
#line 303
                  tmp___54 = pa;
#line 303
                  pa ++;
#line 303
                  *tmp___54 = (unsigned int )RunLength;
#line 303
                  a0 = a0;
#line 303
                  RunLength = 0;
#line 303
                  break;
                }
              } else {

              }
            }
          } else {

          }
#line 303
          break;
        }
#line 303
        break;
      }
    }
#line 304
    (*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
#line 305
    while (1) {
#line 305
      tmp___55 = pa;
#line 305
      pa ++;
#line 305
      *tmp___55 = (unsigned int )RunLength;
#line 305
      a0 = a0;
#line 305
      RunLength = 0;
#line 305
      break;
    }
#line 306
    x = sp->curruns;
#line 306
    sp->curruns = sp->refruns;
#line 306
    sp->refruns = x;
#line 307
    buf += sp->b.rowbytes;
#line 308
    occ -= sp->b.rowbytes;
#line 309
    (sp->line) ++;
#line 310
    continue;
    EOF2D: 
#line 312
    while (1) {
#line 312
      if (RunLength) {
#line 312
        while (1) {
#line 312
          tmp___56 = pa;
#line 312
          pa ++;
#line 312
          *tmp___56 = (unsigned int )RunLength;
#line 312
          a0 = a0;
#line 312
          RunLength = 0;
#line 312
          break;
        }
      } else {

      }
#line 312
      if (a0 != lastx) {
#line 312
        Fax3BadLength(module___0, tif, (unsigned int )sp->line,
                      (unsigned int )a0, (unsigned int )lastx);
#line 312
        while (1) {
#line 312
          if (a0 > lastx) {
#line 312
            if ((unsigned int )pa > (unsigned int )thisrun) {

            } else {
#line 312
              break;
            }
          } else {
#line 312
            break;
          }
#line 312
          pa --;
#line 312
          a0 = (int )((uint32 )a0 - *pa);
        }
#line 312
        if (a0 < lastx) {
#line 312
          if (a0 < 0) {
#line 312
            a0 = 0;
          } else {

          }
#line 312
          if ((pa - thisrun) & 1) {
#line 312
            while (1) {
#line 312
              tmp___57 = pa;
#line 312
              pa ++;
#line 312
              *tmp___57 = (unsigned int )RunLength;
#line 312
              a0 = a0;
#line 312
              RunLength = 0;
#line 312
              break;
            }
          } else {

          }
#line 312
          while (1) {
#line 312
            tmp___58 = pa;
#line 312
            pa ++;
#line 312
            *tmp___58 = (unsigned int )(RunLength + (lastx - a0));
#line 312
            a0 += lastx - a0;
#line 312
            RunLength = 0;
#line 312
            break;
          }
        } else {
#line 312
          if (a0 > lastx) {
#line 312
            while (1) {
#line 312
              tmp___59 = pa;
#line 312
              pa ++;
#line 312
              *tmp___59 = (unsigned int )(RunLength + lastx);
#line 312
              a0 += lastx;
#line 312
              RunLength = 0;
#line 312
              break;
            }
#line 312
            while (1) {
#line 312
              tmp___60 = pa;
#line 312
              pa ++;
#line 312
              *tmp___60 = (unsigned int )RunLength;
#line 312
              a0 = a0;
#line 312
              RunLength = 0;
#line 312
              break;
            }
          } else {

          }
        }
      } else {

      }
#line 312
      break;
    }
    EOF2Da: 
#line 314
    (*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
#line 315
    while (1) {
#line 315
      sp->bit = BitsAvail;
#line 315
      sp->data = BitAcc;
#line 315
      sp->EOLcnt = EOLcnt;
#line 315
      tif->tif_rawcc -= (long )(cp - tif->tif_rawcp);
#line 315
      tif->tif_rawcp = cp;
#line 315
      break;
    }
#line 316
    return (-1);
  }
   7173: /* CIL Label */ 
#line 318
  while (1) {
#line 318
    sp->bit = BitsAvail;
#line 318
    sp->data = BitAcc;
#line 318
    sp->EOLcnt = EOLcnt;
#line 318
    tif->tif_rawcc -= (long )(cp - tif->tif_rawcp);
#line 318
    tif->tif_rawcp = cp;
#line 318
    break;
  }
   7174: /* CIL Label */ 
#line 319
  return (1);
}
}

cilRep: liveness failure for Fax3Decode2D: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: badMain2d: 
#line 1382
Fax3Unexpected(module___4, tif, (unsigned int )sp->line, (unsigned int )a0);
Liveness failed on function:
 static int Fax4Decode(TIFF *tif , uint8 *buf , tmsize_t occ , uint16 s ) 
{ Fax3CodecState *sp ;
  int a0 ;
  int lastx ;
  uint32 BitAcc ;
  int BitsAvail ;
  int RunLength ;
  unsigned char *cp ;
  unsigned char *ep ;
  uint32 *pa ;
  uint32 *thisrun ;
  int EOLcnt ;
  unsigned char const   *bitmap ;
  TIFFFaxTabEnt const   *TabEnt ;
  int b1 ;
  uint32 *pb ;
  uint32 *tmp ;
  unsigned char *tmp___0 ;
  uint32 *tmp___1 ;
  uint32 *tmp___2 ;
  unsigned char *tmp___3 ;
  unsigned char *tmp___4 ;
  uint32 *tmp___5 ;
  unsigned char *tmp___6 ;
  unsigned char *tmp___7 ;
  uint32 *tmp___8 ;
  unsigned char *tmp___9 ;
  unsigned char *tmp___10 ;
  uint32 *tmp___11 ;
  unsigned char *tmp___12 ;
  unsigned char *tmp___13 ;
  uint32 *tmp___14 ;
  uint32 *tmp___15 ;
  uint32 *tmp___16 ;
  uint32 *tmp___17 ;
  uint32 *tmp___18 ;
  uint32 *tmp___19 ;
  uint32 *tmp___20 ;
  uint32 *tmp___21 ;
  unsigned char *tmp___22 ;
  uint32 *tmp___23 ;
  uint32 *tmp___24 ;
  uint32 *tmp___25 ;
  uint32 *tmp___26 ;
  uint32 *tmp___27 ;
  unsigned char *tmp___28 ;
  uint32 *tmp___29 ;
  uint32 *tmp___30 ;
  uint32 *tmp___31 ;
  uint32 *tmp___32 ;
  uint32 *tmp___33 ;
  uint32 *tmp___34 ;
  uint32 *tmp___35 ;
  uint32 *x ;
  unsigned char *tmp___36 ;
  unsigned char *tmp___37 ;

  {
   8513: /* CIL Label */ 
#line 1363
  sp = (Fax3CodecState *)((Fax3BaseState *)tif->tif_data);
   8514: /* CIL Label */ 
#line 1363
  lastx = (int )sp->b.rowpixels;
   8515: /* CIL Label */ 
#line 1363
  bitmap = sp->bitmap;
   8516: /* CIL Label */ 
#line 1365
  if (occ % sp->b.rowbytes) {
#line 1367
    TIFFErrorExt(tif->tif_clientdata, module___4,
                 "Fractional scanlines cannot be read");
#line 1368
    return (-1);
  } else {

  }
   8517: /* CIL Label */ 
#line 1370
  while (1) {
#line 1370
    BitAcc = sp->data;
#line 1370
    BitsAvail = sp->bit;
#line 1370
    EOLcnt = sp->EOLcnt;
#line 1370
    cp = tif->tif_rawcp;
#line 1370
    ep = cp + tif->tif_rawcc;
#line 1370
    break;
  }
   8518: /* CIL Label */ 
#line 1371
  while (occ > 0L) {
#line 1372
    a0 = 0;
#line 1373
    RunLength = 0;
#line 1374
    thisrun = sp->curruns;
#line 1374
    pa = thisrun;
#line 1375
    pb = sp->refruns;
#line 1376
    tmp = pb;
#line 1376
    pb ++;
#line 1376
    b1 = (int )*tmp;
#line 1382
    while (1) {
#line 1382
      while (a0 < lastx) {
#line 1382
        while (1) {
#line 1382
          while (1) {
#line 1382
            if (BitsAvail < 7) {
#line 1382
              if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                if (BitsAvail == 0) {
                  goto eof2d;
                } else {

                }
#line 1382
                BitsAvail = 7;
              } else {
#line 1382
                tmp___0 = cp;
#line 1382
                cp ++;
#line 1382
                BitAcc |= (unsigned int )*(bitmap + *tmp___0) << BitsAvail;
#line 1382
                BitsAvail += 8;
              }
            } else {

            }
#line 1382
            break;
          }
#line 1382
          TabEnt = TIFFFaxMainTable + (BitAcc & (unsigned int )((1 << 7) - 1));
#line 1382
          while (1) {
#line 1382
            BitsAvail -= (int )TabEnt->Width;
#line 1382
            BitAcc >>= (int const   )TabEnt->Width;
#line 1382
            break;
          }
#line 1382
          break;
        }
#line 1382
        switch ((int )TabEnt->State) {
        case 1: 
#line 1382
        while (1) {
#line 1382
          if ((unsigned int )pa != (unsigned int )thisrun) {
#line 1382
            while (1) {
#line 1382
              if (b1 <= a0) {
#line 1382
                if (b1 < lastx) {

                } else {
#line 1382
                  break;
                }
              } else {
#line 1382
                break;
              }
#line 1382
              b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 1382
              pb += 2;
            }
          } else {

          }
#line 1382
          break;
        }
#line 1382
        tmp___1 = pb;
#line 1382
        pb ++;
#line 1382
        b1 = (int )((uint32 )b1 + *tmp___1);
#line 1382
        RunLength += b1 - a0;
#line 1382
        a0 = b1;
#line 1382
        tmp___2 = pb;
#line 1382
        pb ++;
#line 1382
        b1 = (int )((uint32 )b1 + *tmp___2);
#line 1382
        break;
        case 2: 
#line 1382
        if ((pa - thisrun) & 1) {
#line 1382
          while (1) {
#line 1382
            while (1) {
#line 1382
              while (1) {
#line 1382
                if (BitsAvail < 13) {
#line 1382
                  if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                    if (BitsAvail == 0) {
                      goto eof2d;
                    } else {

                    }
#line 1382
                    BitsAvail = 13;
                  } else {
#line 1382
                    tmp___3 = cp;
#line 1382
                    cp ++;
#line 1382
                    BitAcc |= (unsigned int )*(bitmap + *tmp___3) << BitsAvail;
#line 1382
                    BitsAvail += 8;
#line 1382
                    if (BitsAvail < 13) {
#line 1382
                      if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                        BitsAvail = 13;
                      } else {
#line 1382
                        tmp___4 = cp;
#line 1382
                        cp ++;
#line 1382
                        BitAcc |= (unsigned int )*(bitmap + *tmp___4) << BitsAvail;
#line 1382
                        BitsAvail += 8;
                      }
                    } else {

                    }
                  }
                } else {

                }
#line 1382
                break;
              }
#line 1382
              TabEnt = TIFFFaxBlackTable + (BitAcc & (unsigned int )((1 << 13) - 1));
#line 1382
              while (1) {
#line 1382
                BitsAvail -= (int )TabEnt->Width;
#line 1382
                BitAcc >>= (int const   )TabEnt->Width;
#line 1382
                break;
              }
#line 1382
              break;
            }
#line 1382
            switch ((int )TabEnt->State) {
            case 8: 
#line 1382
            while (1) {
#line 1382
              tmp___5 = pa;
#line 1382
              pa ++;
#line 1382
              *tmp___5 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 1382
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1382
              RunLength = 0;
#line 1382
              break;
            }
            goto doneWhite2da;
            case 10: 
            case 11: 
#line 1382
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1382
            RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 1382
            break;
            default: ;
            goto badBlack2d;
            }
          }
          doneWhite2da: ;
#line 1382
          while (1) {
#line 1382
            while (1) {
#line 1382
              while (1) {
#line 1382
                if (BitsAvail < 12) {
#line 1382
                  if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                    if (BitsAvail == 0) {
                      goto eof2d;
                    } else {

                    }
#line 1382
                    BitsAvail = 12;
                  } else {
#line 1382
                    tmp___6 = cp;
#line 1382
                    cp ++;
#line 1382
                    BitAcc |= (unsigned int )*(bitmap + *tmp___6) << BitsAvail;
#line 1382
                    BitsAvail += 8;
#line 1382
                    if (BitsAvail < 12) {
#line 1382
                      if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                        BitsAvail = 12;
                      } else {
#line 1382
                        tmp___7 = cp;
#line 1382
                        cp ++;
#line 1382
                        BitAcc |= (unsigned int )*(bitmap + *tmp___7) << BitsAvail;
#line 1382
                        BitsAvail += 8;
                      }
                    } else {

                    }
                  }
                } else {

                }
#line 1382
                break;
              }
#line 1382
              TabEnt = TIFFFaxWhiteTable + (BitAcc & (unsigned int )((1 << 12) - 1));
#line 1382
              while (1) {
#line 1382
                BitsAvail -= (int )TabEnt->Width;
#line 1382
                BitAcc >>= (int const   )TabEnt->Width;
#line 1382
                break;
              }
#line 1382
              break;
            }
#line 1382
            switch ((int )TabEnt->State) {
            case 7: 
#line 1382
            while (1) {
#line 1382
              tmp___8 = pa;
#line 1382
              pa ++;
#line 1382
              *tmp___8 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 1382
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1382
              RunLength = 0;
#line 1382
              break;
            }
            goto doneBlack2da;
            case 9: 
            case 11: 
#line 1382
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1382
            RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 1382
            break;
            default: ;
            goto badWhite2d;
            }
          }
          doneBlack2da: ;
        } else {
#line 1382
          while (1) {
#line 1382
            while (1) {
#line 1382
              while (1) {
#line 1382
                if (BitsAvail < 12) {
#line 1382
                  if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                    if (BitsAvail == 0) {
                      goto eof2d;
                    } else {

                    }
#line 1382
                    BitsAvail = 12;
                  } else {
#line 1382
                    tmp___9 = cp;
#line 1382
                    cp ++;
#line 1382
                    BitAcc |= (unsigned int )*(bitmap + *tmp___9) << BitsAvail;
#line 1382
                    BitsAvail += 8;
#line 1382
                    if (BitsAvail < 12) {
#line 1382
                      if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                        BitsAvail = 12;
                      } else {
#line 1382
                        tmp___10 = cp;
#line 1382
                        cp ++;
#line 1382
                        BitAcc |= (unsigned int )*(bitmap + *tmp___10) << BitsAvail;
#line 1382
                        BitsAvail += 8;
                      }
                    } else {

                    }
                  }
                } else {

                }
#line 1382
                break;
              }
#line 1382
              TabEnt = TIFFFaxWhiteTable + (BitAcc & (unsigned int )((1 << 12) - 1));
#line 1382
              while (1) {
#line 1382
                BitsAvail -= (int )TabEnt->Width;
#line 1382
                BitAcc >>= (int const   )TabEnt->Width;
#line 1382
                break;
              }
#line 1382
              break;
            }
#line 1382
            switch ((int )TabEnt->State) {
            case 7: 
#line 1382
            while (1) {
#line 1382
              tmp___11 = pa;
#line 1382
              pa ++;
#line 1382
              *tmp___11 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 1382
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1382
              RunLength = 0;
#line 1382
              break;
            }
            goto doneWhite2db;
            case 9: 
            case 11: 
#line 1382
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1382
            RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 1382
            break;
            default: ;
            goto badWhite2d;
            }
          }
          doneWhite2db: ;
#line 1382
          while (1) {
#line 1382
            while (1) {
#line 1382
              while (1) {
#line 1382
                if (BitsAvail < 13) {
#line 1382
                  if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                    if (BitsAvail == 0) {
                      goto eof2d;
                    } else {

                    }
#line 1382
                    BitsAvail = 13;
                  } else {
#line 1382
                    tmp___12 = cp;
#line 1382
                    cp ++;
#line 1382
                    BitAcc |= (unsigned int )*(bitmap + *tmp___12) << BitsAvail;
#line 1382
                    BitsAvail += 8;
#line 1382
                    if (BitsAvail < 13) {
#line 1382
                      if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                        BitsAvail = 13;
                      } else {
#line 1382
                        tmp___13 = cp;
#line 1382
                        cp ++;
#line 1382
                        BitAcc |= (unsigned int )*(bitmap + *tmp___13) << BitsAvail;
#line 1382
                        BitsAvail += 8;
                      }
                    } else {

                    }
                  }
                } else {

                }
#line 1382
                break;
              }
#line 1382
              TabEnt = TIFFFaxBlackTable + (BitAcc & (unsigned int )((1 << 13) - 1));
#line 1382
              while (1) {
#line 1382
                BitsAvail -= (int )TabEnt->Width;
#line 1382
                BitAcc >>= (int const   )TabEnt->Width;
#line 1382
                break;
              }
#line 1382
              break;
            }
#line 1382
            switch ((int )TabEnt->State) {
            case 8: 
#line 1382
            while (1) {
#line 1382
              tmp___14 = pa;
#line 1382
              pa ++;
#line 1382
              *tmp___14 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 1382
              a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1382
              RunLength = 0;
#line 1382
              break;
            }
            goto doneBlack2db;
            case 10: 
            case 11: 
#line 1382
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1382
            RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 1382
            break;
            default: ;
            goto badBlack2d;
            }
          }
          doneBlack2db: ;
        }
#line 1382
        while (1) {
#line 1382
          if ((unsigned int )pa != (unsigned int )thisrun) {
#line 1382
            while (1) {
#line 1382
              if (b1 <= a0) {
#line 1382
                if (b1 < lastx) {

                } else {
#line 1382
                  break;
                }
              } else {
#line 1382
                break;
              }
#line 1382
              b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 1382
              pb += 2;
            }
          } else {

          }
#line 1382
          break;
        }
#line 1382
        break;
        case 3: 
#line 1382
        while (1) {
#line 1382
          if ((unsigned int )pa != (unsigned int )thisrun) {
#line 1382
            while (1) {
#line 1382
              if (b1 <= a0) {
#line 1382
                if (b1 < lastx) {

                } else {
#line 1382
                  break;
                }
              } else {
#line 1382
                break;
              }
#line 1382
              b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 1382
              pb += 2;
            }
          } else {

          }
#line 1382
          break;
        }
#line 1382
        while (1) {
#line 1382
          tmp___15 = pa;
#line 1382
          pa ++;
#line 1382
          *tmp___15 = (unsigned int )(RunLength + (b1 - a0));
#line 1382
          a0 += b1 - a0;
#line 1382
          RunLength = 0;
#line 1382
          break;
        }
#line 1382
        tmp___16 = pb;
#line 1382
        pb ++;
#line 1382
        b1 = (int )((uint32 )b1 + *tmp___16);
#line 1382
        break;
        case 4: 
#line 1382
        while (1) {
#line 1382
          if ((unsigned int )pa != (unsigned int )thisrun) {
#line 1382
            while (1) {
#line 1382
              if (b1 <= a0) {
#line 1382
                if (b1 < lastx) {

                } else {
#line 1382
                  break;
                }
              } else {
#line 1382
                break;
              }
#line 1382
              b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 1382
              pb += 2;
            }
          } else {

          }
#line 1382
          break;
        }
#line 1382
        while (1) {
#line 1382
          tmp___17 = pa;
#line 1382
          pa ++;
#line 1382
          *tmp___17 = (unsigned int )((uint32 const   )RunLength + ((uint32 const   )(b1 - a0) + TabEnt->Param));
#line 1382
          a0 = (int )((uint32 const   )a0 + ((uint32 const   )(b1 - a0) + TabEnt->Param));
#line 1382
          RunLength = 0;
#line 1382
          break;
        }
#line 1382
        tmp___18 = pb;
#line 1382
        pb ++;
#line 1382
        b1 = (int )((uint32 )b1 + *tmp___18);
#line 1382
        break;
        case 5: 
#line 1382
        while (1) {
#line 1382
          if ((unsigned int )pa != (unsigned int )thisrun) {
#line 1382
            while (1) {
#line 1382
              if (b1 <= a0) {
#line 1382
                if (b1 < lastx) {

                } else {
#line 1382
                  break;
                }
              } else {
#line 1382
                break;
              }
#line 1382
              b1 = (int )((uint32 )b1 + (*(pb + 0) + *(pb + 1)));
#line 1382
              pb += 2;
            }
          } else {

          }
#line 1382
          break;
        }
#line 1382
        while (1) {
#line 1382
          tmp___19 = pa;
#line 1382
          pa ++;
#line 1382
          *tmp___19 = (unsigned int )((uint32 const   )RunLength + ((uint32 const   )(b1 - a0) - TabEnt->Param));
#line 1382
          a0 = (int )((uint32 const   )a0 + ((uint32 const   )(b1 - a0) - TabEnt->Param));
#line 1382
          RunLength = 0;
#line 1382
          break;
        }
#line 1382
        pb --;
#line 1382
        b1 = (int )((uint32 )b1 - *pb);
#line 1382
        break;
        case 6: 
#line 1382
        tmp___20 = pa;
#line 1382
        pa ++;
#line 1382
        *tmp___20 = (unsigned int )(lastx - a0);
#line 1382
        Fax3Extension(module___4, tif, (unsigned int )sp->line,
                      (unsigned int )a0);
        goto eol2d;
        case 12: 
#line 1382
        tmp___21 = pa;
#line 1382
        pa ++;
#line 1382
        *tmp___21 = (unsigned int )(lastx - a0);
#line 1382
        while (1) {
#line 1382
          if (BitsAvail < 4) {
#line 1382
            if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
              if (BitsAvail == 0) {
                goto eof2d;
              } else {

              }
#line 1382
              BitsAvail = 4;
            } else {
#line 1382
              tmp___22 = cp;
#line 1382
              cp ++;
#line 1382
              BitAcc |= (unsigned int )*(bitmap + *tmp___22) << BitsAvail;
#line 1382
              BitsAvail += 8;
            }
          } else {

          }
#line 1382
          break;
        }
#line 1382
        if (BitAcc & (unsigned int )((1 << 4) - 1)) {
#line 1382
          Fax3Unexpected(module___4, tif, (unsigned int )sp->line,
                         (unsigned int )a0);
        } else {

        }
#line 1382
        while (1) {
#line 1382
          BitsAvail -= 4;
#line 1382
          BitAcc >>= 4;
#line 1382
          break;
        }
#line 1382
        EOLcnt = 1;
        goto eol2d;
        default: ;
        badMain2d: 
#line 1382
        Fax3Unexpected(module___4, tif, (unsigned int )sp->line,
                       (unsigned int )a0);
        goto eol2d;
        badBlack2d: 
#line 1382
        Fax3Unexpected(module___4, tif, (unsigned int )sp->line,
                       (unsigned int )a0);
        goto eol2d;
        badWhite2d: 
#line 1382
        Fax3Unexpected(module___4, tif, (unsigned int )sp->line,
                       (unsigned int )a0);
        goto eol2d;
        eof2d: 
#line 1382
        Fax3PrematureEOF(module___4, tif, (unsigned int )sp->line,
                         (unsigned int )a0);
#line 1382
        while (1) {
#line 1382
          if (RunLength) {
#line 1382
            while (1) {
#line 1382
              tmp___23 = pa;
#line 1382
              pa ++;
#line 1382
              *tmp___23 = (unsigned int )RunLength;
#line 1382
              a0 = a0;
#line 1382
              RunLength = 0;
#line 1382
              break;
            }
          } else {

          }
#line 1382
          if (a0 != lastx) {
#line 1382
            Fax3BadLength(module___4, tif, (unsigned int )sp->line,
                          (unsigned int )a0, (unsigned int )lastx);
#line 1382
            while (1) {
#line 1382
              if (a0 > lastx) {
#line 1382
                if ((unsigned int )pa > (unsigned int )thisrun) {

                } else {
#line 1382
                  break;
                }
              } else {
#line 1382
                break;
              }
#line 1382
              pa --;
#line 1382
              a0 = (int )((uint32 )a0 - *pa);
            }
#line 1382
            if (a0 < lastx) {
#line 1382
              if (a0 < 0) {
#line 1382
                a0 = 0;
              } else {

              }
#line 1382
              if ((pa - thisrun) & 1) {
#line 1382
                while (1) {
#line 1382
                  tmp___24 = pa;
#line 1382
                  pa ++;
#line 1382
                  *tmp___24 = (unsigned int )RunLength;
#line 1382
                  a0 = a0;
#line 1382
                  RunLength = 0;
#line 1382
                  break;
                }
              } else {

              }
#line 1382
              while (1) {
#line 1382
                tmp___25 = pa;
#line 1382
                pa ++;
#line 1382
                *tmp___25 = (unsigned int )(RunLength + (lastx - a0));
#line 1382
                a0 += lastx - a0;
#line 1382
                RunLength = 0;
#line 1382
                break;
              }
            } else {
#line 1382
              if (a0 > lastx) {
#line 1382
                while (1) {
#line 1382
                  tmp___26 = pa;
#line 1382
                  pa ++;
#line 1382
                  *tmp___26 = (unsigned int )(RunLength + lastx);
#line 1382
                  a0 += lastx;
#line 1382
                  RunLength = 0;
#line 1382
                  break;
                }
#line 1382
                while (1) {
#line 1382
                  tmp___27 = pa;
#line 1382
                  pa ++;
#line 1382
                  *tmp___27 = (unsigned int )RunLength;
#line 1382
                  a0 = a0;
#line 1382
                  RunLength = 0;
#line 1382
                  break;
                }
              } else {

              }
            }
          } else {

          }
#line 1382
          break;
        }
        goto EOFG4;
        }
      }
#line 1382
      if (RunLength) {
#line 1382
        if (RunLength + a0 < lastx) {
#line 1382
          while (1) {
#line 1382
            if (BitsAvail < 1) {
#line 1382
              if ((unsigned int )cp >= (unsigned int )ep) {
#line 1382
                if (BitsAvail == 0) {
                  goto eof2d;
                } else {

                }
#line 1382
                BitsAvail = 1;
              } else {
#line 1382
                tmp___28 = cp;
#line 1382
                cp ++;
#line 1382
                BitAcc |= (unsigned int )*(bitmap + *tmp___28) << BitsAvail;
#line 1382
                BitsAvail += 8;
              }
            } else {

            }
#line 1382
            break;
          }
#line 1382
          if (! (BitAcc & (unsigned int )((1 << 1) - 1))) {
            goto badMain2d;
          } else {

          }
#line 1382
          while (1) {
#line 1382
            BitsAvail --;
#line 1382
            BitAcc >>= 1;
#line 1382
            break;
          }
        } else {

        }
#line 1382
        while (1) {
#line 1382
          tmp___29 = pa;
#line 1382
          pa ++;
#line 1382
          *tmp___29 = (unsigned int )RunLength;
#line 1382
          a0 = a0;
#line 1382
          RunLength = 0;
#line 1382
          break;
        }
      } else {

      }
      eol2d: 
#line 1382
      while (1) {
#line 1382
        if (RunLength) {
#line 1382
          while (1) {
#line 1382
            tmp___30 = pa;
#line 1382
            pa ++;
#line 1382
            *tmp___30 = (unsigned int )RunLength;
#line 1382
            a0 = a0;
#line 1382
            RunLength = 0;
#line 1382
            break;
          }
        } else {

        }
#line 1382
        if (a0 != lastx) {
#line 1382
          Fax3BadLength(module___4, tif, (unsigned int )sp->line,
                        (unsigned int )a0, (unsigned int )lastx);
#line 1382
          while (1) {
#line 1382
            if (a0 > lastx) {
#line 1382
              if ((unsigned int )pa > (unsigned int )thisrun) {

              } else {
#line 1382
                break;
              }
            } else {
#line 1382
              break;
            }
#line 1382
            pa --;
#line 1382
            a0 = (int )((uint32 )a0 - *pa);
          }
#line 1382
          if (a0 < lastx) {
#line 1382
            if (a0 < 0) {
#line 1382
              a0 = 0;
            } else {

            }
#line 1382
            if ((pa - thisrun) & 1) {
#line 1382
              while (1) {
#line 1382
                tmp___31 = pa;
#line 1382
                pa ++;
#line 1382
                *tmp___31 = (unsigned int )RunLength;
#line 1382
                a0 = a0;
#line 1382
                RunLength = 0;
#line 1382
                break;
              }
            } else {

            }
#line 1382
            while (1) {
#line 1382
              tmp___32 = pa;
#line 1382
              pa ++;
#line 1382
              *tmp___32 = (unsigned int )(RunLength + (lastx - a0));
#line 1382
              a0 += lastx - a0;
#line 1382
              RunLength = 0;
#line 1382
              break;
            }
          } else {
#line 1382
            if (a0 > lastx) {
#line 1382
              while (1) {
#line 1382
                tmp___33 = pa;
#line 1382
                pa ++;
#line 1382
                *tmp___33 = (unsigned int )(RunLength + lastx);
#line 1382
                a0 += lastx;
#line 1382
                RunLength = 0;
#line 1382
                break;
              }
#line 1382
              while (1) {
#line 1382
                tmp___34 = pa;
#line 1382
                pa ++;
#line 1382
                *tmp___34 = (unsigned int )RunLength;
#line 1382
                a0 = a0;
#line 1382
                RunLength = 0;
#line 1382
                break;
              }
            } else {

            }
          }
        } else {

        }
#line 1382
        break;
      }
#line 1382
      break;
    }
#line 1383
    if (EOLcnt) {
      goto EOFG4;
    } else {

    }
#line 1385
    (*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
#line 1386
    while (1) {
#line 1386
      tmp___35 = pa;
#line 1386
      pa ++;
#line 1386
      *tmp___35 = (unsigned int )RunLength;
#line 1386
      a0 = a0;
#line 1386
      RunLength = 0;
#line 1386
      break;
    }
#line 1387
    x = sp->curruns;
#line 1387
    sp->curruns = sp->refruns;
#line 1387
    sp->refruns = x;
#line 1388
    buf += sp->b.rowbytes;
#line 1389
    occ -= sp->b.rowbytes;
#line 1390
    (sp->line) ++;
#line 1391
    continue;
    EOFG4: 
#line 1393
    while (1) {
#line 1393
      if (BitsAvail < 13) {
#line 1393
        if ((unsigned int )cp >= (unsigned int )ep) {
#line 1393
          if (BitsAvail == 0) {
            goto BADG4;
          } else {

          }
#line 1393
          BitsAvail = 13;
        } else {
#line 1393
          tmp___36 = cp;
#line 1393
          cp ++;
#line 1393
          BitAcc |= (unsigned int )*(bitmap + *tmp___36) << BitsAvail;
#line 1393
          BitsAvail += 8;
#line 1393
          if (BitsAvail < 13) {
#line 1393
            if ((unsigned int )cp >= (unsigned int )ep) {
#line 1393
              BitsAvail = 13;
            } else {
#line 1393
              tmp___37 = cp;
#line 1393
              cp ++;
#line 1393
              BitAcc |= (unsigned int )*(bitmap + *tmp___37) << BitsAvail;
#line 1393
              BitsAvail += 8;
            }
          } else {

          }
        }
      } else {

      }
#line 1393
      break;
    }
    BADG4: 
#line 1399
    while (1) {
#line 1399
      BitsAvail -= 13;
#line 1399
      BitAcc >>= 13;
#line 1399
      break;
    }
#line 1400
    (*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
#line 1401
    while (1) {
#line 1401
      sp->bit = BitsAvail;
#line 1401
      sp->data = BitAcc;
#line 1401
      sp->EOLcnt = EOLcnt;
#line 1401
      tif->tif_rawcc -= (long )(cp - tif->tif_rawcp);
#line 1401
      tif->tif_rawcp = cp;
#line 1401
      break;
    }
#line 1402
    return (-1);
  }
   8519: /* CIL Label */ 
#line 1404
  while (1) {
#line 1404
    sp->bit = BitsAvail;
#line 1404
    sp->data = BitAcc;
#line 1404
    sp->EOLcnt = EOLcnt;
#line 1404
    tif->tif_rawcc -= (long )(cp - tif->tif_rawcp);
#line 1404
    tif->tif_rawcp = cp;
#line 1404
    break;
  }
   8520: /* CIL Label */ 
#line 1405
  return (1);
}
}

cilRep: liveness failure for Fax4Decode: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: EOFRLE: 
#line 1525
(*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
Liveness failed on function:
 static int Fax3DecodeRLE(TIFF *tif , uint8 *buf , tmsize_t occ , uint16 s ) 
{ Fax3CodecState *sp ;
  int a0 ;
  int lastx ;
  uint32 BitAcc ;
  int BitsAvail ;
  int RunLength ;
  unsigned char *cp ;
  unsigned char *ep ;
  uint32 *pa ;
  uint32 *thisrun ;
  int EOLcnt ;
  unsigned char const   *bitmap ;
  TIFFFaxTabEnt const   *TabEnt ;
  int mode ;
  unsigned char *tmp ;
  unsigned char *tmp___0 ;
  uint32 *tmp___1 ;
  unsigned char *tmp___2 ;
  unsigned char *tmp___3 ;
  uint32 *tmp___4 ;
  uint32 *tmp___5 ;
  uint32 *tmp___6 ;
  uint32 *tmp___7 ;
  uint32 *tmp___8 ;
  uint32 *tmp___9 ;
  uint32 *tmp___10 ;
  uint32 *tmp___11 ;
  uint32 *tmp___12 ;
  uint32 *tmp___13 ;
  uint32 *tmp___14 ;
  int n ;
  int n___0 ;

  {
   8797: /* CIL Label */ 
#line 1487
  sp = (Fax3CodecState *)((Fax3BaseState *)tif->tif_data);
   8798: /* CIL Label */ 
#line 1487
  lastx = (int )sp->b.rowpixels;
   8799: /* CIL Label */ 
#line 1487
  bitmap = sp->bitmap;
   8800: /* CIL Label */ 
#line 1488
  mode = sp->b.mode;
   8801: /* CIL Label */ 
#line 1490
  if (occ % sp->b.rowbytes) {
#line 1492
    TIFFErrorExt(tif->tif_clientdata, module___6,
                 "Fractional scanlines cannot be read");
#line 1493
    return (-1);
  } else {

  }
   8802: /* CIL Label */ 
#line 1495
  while (1) {
#line 1495
    BitAcc = sp->data;
#line 1495
    BitsAvail = sp->bit;
#line 1495
    EOLcnt = sp->EOLcnt;
#line 1495
    cp = tif->tif_rawcp;
#line 1495
    ep = cp + tif->tif_rawcc;
#line 1495
    break;
  }
   8803: /* CIL Label */ 
#line 1496
  thisrun = sp->curruns;
   8804: /* CIL Label */ 
#line 1497
  while (occ > 0L) {
#line 1498
    a0 = 0;
#line 1499
    RunLength = 0;
#line 1500
    pa = thisrun;
#line 1506
    while (1) {
#line 1506
      while (1) {
#line 1506
        while (1) {
#line 1506
          while (1) {
#line 1506
            while (1) {
#line 1506
              if (BitsAvail < 12) {
#line 1506
                if ((unsigned int )cp >= (unsigned int )ep) {
#line 1506
                  if (BitsAvail == 0) {
                    goto eof1d;
                  } else {

                  }
#line 1506
                  BitsAvail = 12;
                } else {
#line 1506
                  tmp = cp;
#line 1506
                  cp ++;
#line 1506
                  BitAcc |= (unsigned int )*(bitmap + *tmp) << BitsAvail;
#line 1506
                  BitsAvail += 8;
#line 1506
                  if (BitsAvail < 12) {
#line 1506
                    if ((unsigned int )cp >= (unsigned int )ep) {
#line 1506
                      BitsAvail = 12;
                    } else {
#line 1506
                      tmp___0 = cp;
#line 1506
                      cp ++;
#line 1506
                      BitAcc |= (unsigned int )*(bitmap + *tmp___0) << BitsAvail;
#line 1506
                      BitsAvail += 8;
                    }
                  } else {

                  }
                }
              } else {

              }
#line 1506
              break;
            }
#line 1506
            TabEnt = TIFFFaxWhiteTable + (BitAcc & (unsigned int )((1 << 12) - 1));
#line 1506
            while (1) {
#line 1506
              BitsAvail -= (int )TabEnt->Width;
#line 1506
              BitAcc >>= (int const   )TabEnt->Width;
#line 1506
              break;
            }
#line 1506
            break;
          }
#line 1506
          switch ((int )TabEnt->State) {
          case 12: 
#line 1506
          EOLcnt = 1;
          goto done1d;
          case 7: 
#line 1506
          while (1) {
#line 1506
            tmp___1 = pa;
#line 1506
            pa ++;
#line 1506
            *tmp___1 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 1506
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1506
            RunLength = 0;
#line 1506
            break;
          }
          goto doneWhite1d;
          case 9: 
          case 11: 
#line 1506
          a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1506
          RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 1506
          break;
          default: 
#line 1506
          Fax3Unexpected(module___6, tif, (unsigned int )sp->line,
                         (unsigned int )a0);
          goto done1d;
          }
        }
        doneWhite1d: 
#line 1506
        if (a0 >= lastx) {
          goto done1d;
        } else {

        }
#line 1506
        while (1) {
#line 1506
          while (1) {
#line 1506
            while (1) {
#line 1506
              if (BitsAvail < 13) {
#line 1506
                if ((unsigned int )cp >= (unsigned int )ep) {
#line 1506
                  if (BitsAvail == 0) {
                    goto eof1d;
                  } else {

                  }
#line 1506
                  BitsAvail = 13;
                } else {
#line 1506
                  tmp___2 = cp;
#line 1506
                  cp ++;
#line 1506
                  BitAcc |= (unsigned int )*(bitmap + *tmp___2) << BitsAvail;
#line 1506
                  BitsAvail += 8;
#line 1506
                  if (BitsAvail < 13) {
#line 1506
                    if ((unsigned int )cp >= (unsigned int )ep) {
#line 1506
                      BitsAvail = 13;
                    } else {
#line 1506
                      tmp___3 = cp;
#line 1506
                      cp ++;
#line 1506
                      BitAcc |= (unsigned int )*(bitmap + *tmp___3) << BitsAvail;
#line 1506
                      BitsAvail += 8;
                    }
                  } else {

                  }
                }
              } else {

              }
#line 1506
              break;
            }
#line 1506
            TabEnt = TIFFFaxBlackTable + (BitAcc & (unsigned int )((1 << 13) - 1));
#line 1506
            while (1) {
#line 1506
              BitsAvail -= (int )TabEnt->Width;
#line 1506
              BitAcc >>= (int const   )TabEnt->Width;
#line 1506
              break;
            }
#line 1506
            break;
          }
#line 1506
          switch ((int )TabEnt->State) {
          case 12: 
#line 1506
          EOLcnt = 1;
          goto done1d;
          case 8: 
#line 1506
          while (1) {
#line 1506
            tmp___4 = pa;
#line 1506
            pa ++;
#line 1506
            *tmp___4 = (unsigned int )((uint32 const   )RunLength + TabEnt->Param);
#line 1506
            a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1506
            RunLength = 0;
#line 1506
            break;
          }
          goto doneBlack1d;
          case 10: 
          case 11: 
#line 1506
          a0 = (int )((uint32 const   )a0 + TabEnt->Param);
#line 1506
          RunLength = (int )((uint32 const   )RunLength + TabEnt->Param);
#line 1506
          break;
          default: 
#line 1506
          Fax3Unexpected(module___6, tif, (unsigned int )sp->line,
                         (unsigned int )a0);
          goto done1d;
          }
        }
        doneBlack1d: 
#line 1506
        if (a0 >= lastx) {
          goto done1d;
        } else {

        }
#line 1506
        if (*(pa - 1) == 0U) {
#line 1506
          if (*(pa - 2) == 0U) {
#line 1506
            pa -= 2;
          } else {

          }
        } else {

        }
      }
      eof1d: 
#line 1506
      Fax3PrematureEOF(module___6, tif, (unsigned int )sp->line,
                       (unsigned int )a0);
#line 1506
      while (1) {
#line 1506
        if (RunLength) {
#line 1506
          while (1) {
#line 1506
            tmp___5 = pa;
#line 1506
            pa ++;
#line 1506
            *tmp___5 = (unsigned int )RunLength;
#line 1506
            a0 = a0;
#line 1506
            RunLength = 0;
#line 1506
            break;
          }
        } else {

        }
#line 1506
        if (a0 != lastx) {
#line 1506
          Fax3BadLength(module___6, tif, (unsigned int )sp->line,
                        (unsigned int )a0, (unsigned int )lastx);
#line 1506
          while (1) {
#line 1506
            if (a0 > lastx) {
#line 1506
              if ((unsigned int )pa > (unsigned int )thisrun) {

              } else {
#line 1506
                break;
              }
            } else {
#line 1506
              break;
            }
#line 1506
            pa --;
#line 1506
            a0 = (int )((uint32 )a0 - *pa);
          }
#line 1506
          if (a0 < lastx) {
#line 1506
            if (a0 < 0) {
#line 1506
              a0 = 0;
            } else {

            }
#line 1506
            if ((pa - thisrun) & 1) {
#line 1506
              while (1) {
#line 1506
                tmp___6 = pa;
#line 1506
                pa ++;
#line 1506
                *tmp___6 = (unsigned int )RunLength;
#line 1506
                a0 = a0;
#line 1506
                RunLength = 0;
#line 1506
                break;
              }
            } else {

            }
#line 1506
            while (1) {
#line 1506
              tmp___7 = pa;
#line 1506
              pa ++;
#line 1506
              *tmp___7 = (unsigned int )(RunLength + (lastx - a0));
#line 1506
              a0 += lastx - a0;
#line 1506
              RunLength = 0;
#line 1506
              break;
            }
          } else {
#line 1506
            if (a0 > lastx) {
#line 1506
              while (1) {
#line 1506
                tmp___8 = pa;
#line 1506
                pa ++;
#line 1506
                *tmp___8 = (unsigned int )(RunLength + lastx);
#line 1506
                a0 += lastx;
#line 1506
                RunLength = 0;
#line 1506
                break;
              }
#line 1506
              while (1) {
#line 1506
                tmp___9 = pa;
#line 1506
                pa ++;
#line 1506
                *tmp___9 = (unsigned int )RunLength;
#line 1506
                a0 = a0;
#line 1506
                RunLength = 0;
#line 1506
                break;
              }
            } else {

            }
          }
        } else {

        }
#line 1506
        break;
      }
      goto EOFRLE;
      done1d: 
#line 1506
      while (1) {
#line 1506
        if (RunLength) {
#line 1506
          while (1) {
#line 1506
            tmp___10 = pa;
#line 1506
            pa ++;
#line 1506
            *tmp___10 = (unsigned int )RunLength;
#line 1506
            a0 = a0;
#line 1506
            RunLength = 0;
#line 1506
            break;
          }
        } else {

        }
#line 1506
        if (a0 != lastx) {
#line 1506
          Fax3BadLength(module___6, tif, (unsigned int )sp->line,
                        (unsigned int )a0, (unsigned int )lastx);
#line 1506
          while (1) {
#line 1506
            if (a0 > lastx) {
#line 1506
              if ((unsigned int )pa > (unsigned int )thisrun) {

              } else {
#line 1506
                break;
              }
            } else {
#line 1506
              break;
            }
#line 1506
            pa --;
#line 1506
            a0 = (int )((uint32 )a0 - *pa);
          }
#line 1506
          if (a0 < lastx) {
#line 1506
            if (a0 < 0) {
#line 1506
              a0 = 0;
            } else {

            }
#line 1506
            if ((pa - thisrun) & 1) {
#line 1506
              while (1) {
#line 1506
                tmp___11 = pa;
#line 1506
                pa ++;
#line 1506
                *tmp___11 = (unsigned int )RunLength;
#line 1506
                a0 = a0;
#line 1506
                RunLength = 0;
#line 1506
                break;
              }
            } else {

            }
#line 1506
            while (1) {
#line 1506
              tmp___12 = pa;
#line 1506
              pa ++;
#line 1506
              *tmp___12 = (unsigned int )(RunLength + (lastx - a0));
#line 1506
              a0 += lastx - a0;
#line 1506
              RunLength = 0;
#line 1506
              break;
            }
          } else {
#line 1506
            if (a0 > lastx) {
#line 1506
              while (1) {
#line 1506
                tmp___13 = pa;
#line 1506
                pa ++;
#line 1506
                *tmp___13 = (unsigned int )(RunLength + lastx);
#line 1506
                a0 += lastx;
#line 1506
                RunLength = 0;
#line 1506
                break;
              }
#line 1506
              while (1) {
#line 1506
                tmp___14 = pa;
#line 1506
                pa ++;
#line 1506
                *tmp___14 = (unsigned int )RunLength;
#line 1506
                a0 = a0;
#line 1506
                RunLength = 0;
#line 1506
                break;
              }
            } else {

            }
          }
        } else {

        }
#line 1506
        break;
      }
#line 1506
      break;
    }
#line 1507
    (*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
#line 1511
    if (mode & 0x0004) {
#line 1512
      n = BitsAvail - (BitsAvail & -8);
#line 1513
      while (1) {
#line 1513
        BitsAvail -= n;
#line 1513
        BitAcc >>= n;
#line 1513
        break;
      }
    } else {
#line 1514
      if (mode & 0x0008) {
#line 1515
        n___0 = BitsAvail - (BitsAvail & -16);
#line 1516
        while (1) {
#line 1516
          BitsAvail -= n___0;
#line 1516
          BitAcc >>= n___0;
#line 1516
          break;
        }
#line 1517
        if (BitsAvail == 0) {
#line 1517
          if (! (((unsigned int )cp & (sizeof(uint16 ) - 1U)) == 0U)) {
#line 1518
            cp ++;
          } else {

          }
        } else {

        }
      } else {

      }
    }
#line 1520
    buf += sp->b.rowbytes;
#line 1521
    occ -= sp->b.rowbytes;
#line 1522
    (sp->line) ++;
#line 1523
    continue;
    EOFRLE: 
#line 1525
    (*(sp->fill))(buf, thisrun, pa, (unsigned int )lastx);
#line 1526
    while (1) {
#line 1526
      sp->bit = BitsAvail;
#line 1526
      sp->data = BitAcc;
#line 1526
      sp->EOLcnt = EOLcnt;
#line 1526
      tif->tif_rawcc -= (long )(cp - tif->tif_rawcp);
#line 1526
      tif->tif_rawcp = cp;
#line 1526
      break;
    }
#line 1527
    return (-1);
  }
   8805: /* CIL Label */ 
#line 1529
  while (1) {
#line 1529
    sp->bit = BitsAvail;
#line 1529
    sp->data = BitAcc;
#line 1529
    sp->EOLcnt = EOLcnt;
#line 1529
    tif->tif_rawcc -= (long )(cp - tif->tif_rawcp);
#line 1529
    tif->tif_rawcp = cp;
#line 1529
    break;
  }
   8806: /* CIL Label */ 
#line 1530
  return (1);
}
}

cilRep: liveness failure for Fax3DecodeRLE: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_jpeg.c: parsing
cilRep: preprocessed/libtiff/tif_jpeg.c: parsed (0.0887966 MB)
cilRep: computing liveness
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_luv.c: parsing
cilRep: preprocessed/libtiff/tif_luv.c: parsed (0.246182 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 1639 "tif_luv.c"
TIFFErrorExt(tif->tif_clientdata, module___7,
             "%s: No space for LogLuv state block", tif->tif_name);
Liveness failed on function:
 int TIFFInitSGILog(TIFF *tif , int scheme ) 
{ LogLuvState *sp ;
  int tmp ;
  void *tmp___0 ;

  {
   10547: /* CIL Label */ 
#line 1590
  if (scheme == 34677) {

  } else {
#line 1590
    if (scheme == 34676) {

    } else {
#line 1590
      __assert_fail("scheme == 34677 || scheme == 34676", "tif_luv.c", 1590U,
                    "TIFFInitSGILog");
    }
  }
   10548: /* CIL Label */ 
#line 1595
  tmp = _TIFFMergeField(tif, LogLuvFields,
                        sizeof(LogLuvFields) / sizeof(LogLuvFields[0]));
   10549: /* CIL Label */ 
#line 1595
  if (tmp) {

  } else {
#line 1596
    TIFFErrorExt(tif->tif_clientdata, module___7,
                 "Merging SGILog codec-specific tags failed");
#line 1598
    return (0);
  }
   10550: /* CIL Label */ 
#line 1604
  tmp___0 = _TIFFmalloc((long )sizeof(LogLuvState ));
   10551: /* CIL Label */ 
#line 1604
  tif->tif_data = (uint8 *)tmp___0;
   10552: /* CIL Label */ 
#line 1605
  if ((unsigned int )tif->tif_data == (unsigned int )((void *)0)) {
    goto bad;
  } else {

  }
   10553: /* CIL Label */ 
#line 1607
  sp = (LogLuvState *)tif->tif_data;
   10554: /* CIL Label */ 
#line 1608
  _TIFFmemset((void *)sp, 0, (long )sizeof(*sp));
   10555: /* CIL Label */ 
#line 1609
  sp->user_datafmt = -1;
   10556: /* CIL Label */ 
#line 1610
  if (scheme == 34677) {
#line 1610
    sp->encode_meth = 1;
  } else {
#line 1610
    sp->encode_meth = 0;
  }
   10557: /* CIL Label */ 
#line 1612
  sp->tfunc = & _logLuvNop;
   10558: /* CIL Label */ 
#line 1619
  tif->tif_fixuptags = & LogLuvFixupTags;
   10559: /* CIL Label */ 
#line 1620
  tif->tif_setupdecode = & LogLuvSetupDecode;
   10560: /* CIL Label */ 
#line 1621
  tif->tif_decodestrip = & LogLuvDecodeStrip;
   10561: /* CIL Label */ 
#line 1622
  tif->tif_decodetile = & LogLuvDecodeTile;
   10562: /* CIL Label */ 
#line 1623
  tif->tif_setupencode = & LogLuvSetupEncode;
   10563: /* CIL Label */ 
#line 1624
  tif->tif_encodestrip = & LogLuvEncodeStrip;
   10564: /* CIL Label */ 
#line 1625
  tif->tif_encodetile = & LogLuvEncodeTile;
   10565: /* CIL Label */ 
#line 1626
  tif->tif_close = & LogLuvClose;
   10566: /* CIL Label */ 
#line 1627
  tif->tif_cleanup = & LogLuvCleanup;
   10567: /* CIL Label */ 
#line 1632
  sp->vgetparent = tif->tif_tagmethods.vgetfield;
   10568: /* CIL Label */ 
#line 1633
  tif->tif_tagmethods.vgetfield = & LogLuvVGetField;
   10569: /* CIL Label */ 
#line 1634
  sp->vsetparent = tif->tif_tagmethods.vsetfield;
   10570: /* CIL Label */ 
#line 1635
  tif->tif_tagmethods.vsetfield = & LogLuvVSetField;
   10571: /* CIL Label */ 
#line 1637
  return (1);
   10572: /* CIL Label */ 
  bad: 
#line 1639
  TIFFErrorExt(tif->tif_clientdata, module___7,
               "%s: No space for LogLuv state block", tif->tif_name);
   10573: /* CIL Label */ 
#line 1641
  return (0);
}
}

cilRep: liveness failure for TIFFInitSGILog: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_ojpeg.c: parsing
cilRep: preprocessed/libtiff/tif_ojpeg.c: parsed (0.0887985 MB)
cilRep: computing liveness
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_pixarlog.c: parsing
cilRep: preprocessed/libtiff/tif_pixarlog.c: parsed (0.271145 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 1409 "tif_pixarlog.c"
TIFFErrorExt(tif->tif_clientdata, (char const   *)(module___7),
             "No space for PixarLog state block");
Liveness failed on function:
 int TIFFInitPixarLog(TIFF *tif , int scheme ) 
{ char module___7[17] ;
  PixarLogState *sp ;
  int tmp ;
  void *tmp___0 ;

  {
   12472: /* CIL Label */ 
#line 1342
  module___7[0] = (char )'T';
   12473: /* CIL Label */ 
#line 1342
  module___7[1] = (char )'I';
   12474: /* CIL Label */ 
#line 1342
  module___7[2] = (char )'F';
   12475: /* CIL Label */ 
#line 1342
  module___7[3] = (char )'F';
   12476: /* CIL Label */ 
#line 1342
  module___7[4] = (char )'I';
   12477: /* CIL Label */ 
#line 1342
  module___7[5] = (char )'n';
   12478: /* CIL Label */ 
#line 1342
  module___7[6] = (char )'i';
   12479: /* CIL Label */ 
#line 1342
  module___7[7] = (char )'t';
   12480: /* CIL Label */ 
#line 1342
  module___7[8] = (char )'P';
   12481: /* CIL Label */ 
#line 1342
  module___7[9] = (char )'i';
   12482: /* CIL Label */ 
#line 1342
  module___7[10] = (char )'x';
   12483: /* CIL Label */ 
#line 1342
  module___7[11] = (char )'a';
   12484: /* CIL Label */ 
#line 1342
  module___7[12] = (char )'r';
   12485: /* CIL Label */ 
#line 1342
  module___7[13] = (char )'L';
   12486: /* CIL Label */ 
#line 1342
  module___7[14] = (char )'o';
   12487: /* CIL Label */ 
#line 1342
  module___7[15] = (char )'g';
   12488: /* CIL Label */ 
#line 1342
  module___7[16] = (char )'\000';
   12489: /* CIL Label */ 
#line 1346
  if (scheme == 32909) {

  } else {
#line 1346
    __assert_fail("scheme == 32909", "tif_pixarlog.c", 1346U, "TIFFInitPixarLog");
  }
   12490: /* CIL Label */ 
#line 1351
  tmp = _TIFFMergeField(tif, pixarlogFields,
                        sizeof(pixarlogFields) / sizeof(pixarlogFields[0]));
   12491: /* CIL Label */ 
#line 1351
  if (tmp) {

  } else {
#line 1353
    TIFFErrorExt(tif->tif_clientdata, (char const   *)(module___7),
                 "Merging PixarLog codec-specific tags failed");
#line 1355
    return (0);
  }
   12492: /* CIL Label */ 
#line 1361
  tmp___0 = _TIFFmalloc((long )sizeof(PixarLogState ));
   12493: /* CIL Label */ 
#line 1361
  tif->tif_data = (uint8 *)tmp___0;
   12494: /* CIL Label */ 
#line 1362
  if ((unsigned int )tif->tif_data == (unsigned int )((void *)0)) {
    goto bad;
  } else {

  }
   12495: /* CIL Label */ 
#line 1364
  sp = (PixarLogState *)tif->tif_data;
   12496: /* CIL Label */ 
#line 1365
  _TIFFmemset((void *)sp, 0, (long )sizeof(*sp));
   12497: /* CIL Label */ 
#line 1366
  sp->stream.data_type = 0;
   12498: /* CIL Label */ 
#line 1367
  sp->user_datafmt = -1;
   12499: /* CIL Label */ 
#line 1372
  tif->tif_fixuptags = & PixarLogFixupTags;
   12500: /* CIL Label */ 
#line 1373
  tif->tif_setupdecode = & PixarLogSetupDecode;
   12501: /* CIL Label */ 
#line 1374
  tif->tif_predecode = & PixarLogPreDecode;
   12502: /* CIL Label */ 
#line 1375
  tif->tif_decoderow = & PixarLogDecode;
   12503: /* CIL Label */ 
#line 1376
  tif->tif_decodestrip = & PixarLogDecode;
   12504: /* CIL Label */ 
#line 1377
  tif->tif_decodetile = & PixarLogDecode;
   12505: /* CIL Label */ 
#line 1378
  tif->tif_setupencode = & PixarLogSetupEncode;
   12506: /* CIL Label */ 
#line 1379
  tif->tif_preencode = & PixarLogPreEncode;
   12507: /* CIL Label */ 
#line 1380
  tif->tif_postencode = & PixarLogPostEncode;
   12508: /* CIL Label */ 
#line 1381
  tif->tif_encoderow = & PixarLogEncode;
   12509: /* CIL Label */ 
#line 1382
  tif->tif_encodestrip = & PixarLogEncode;
   12510: /* CIL Label */ 
#line 1383
  tif->tif_encodetile = & PixarLogEncode;
   12511: /* CIL Label */ 
#line 1384
  tif->tif_close = & PixarLogClose;
   12512: /* CIL Label */ 
#line 1385
  tif->tif_cleanup = & PixarLogCleanup;
   12513: /* CIL Label */ 
#line 1388
  sp->vgetparent = tif->tif_tagmethods.vgetfield;
   12514: /* CIL Label */ 
#line 1389
  tif->tif_tagmethods.vgetfield = & PixarLogVGetField;
   12515: /* CIL Label */ 
#line 1390
  sp->vsetparent = tif->tif_tagmethods.vsetfield;
   12516: /* CIL Label */ 
#line 1391
  tif->tif_tagmethods.vsetfield = & PixarLogVSetField;
   12517: /* CIL Label */ 
#line 1394
  sp->quality = -1;
   12518: /* CIL Label */ 
#line 1395
  sp->state = 0;
   12519: /* CIL Label */ 
#line 1400
  TIFFPredictorInit(tif);
   12520: /* CIL Label */ 
#line 1405
  PixarLogMakeTables(sp);
   12521: /* CIL Label */ 
#line 1407
  return (1);
   12522: /* CIL Label */ 
  bad: 
#line 1409
  TIFFErrorExt(tif->tif_clientdata, (char const   *)(module___7),
               "No space for PixarLog state block");
   12523: /* CIL Label */ 
#line 1411
  return (0);
}
}

cilRep: liveness failure for TIFFInitPixarLog: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_predict.c: parsing
cilRep: preprocessed/libtiff/tif_predict.c: parsed (0.12695 MB)
cilRep: computing liveness
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_print.c: parsing
cilRep: preprocessed/libtiff/tif_print.c: parsed (0.121388 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: __Cont: /* CIL Label */ 
#line 501 "tif_print.c"
i___0 ++;
Liveness failed on function:
 void TIFFPrintDirectory(TIFF *tif , FILE *fd , long flags ) 
{ TIFFDirectory *td ;
  char *sep ;
  uint16 i ;
  long l ;
  long n ;
  TIFFCodec const   *c ;
  TIFFCodec const   *tmp ;
  char *cp ;
  void *tmp___0 ;
  char *tmp___1 ;
  int i___0 ;
  short count ;
  int tmp___2 ;
  uint32 tag ;
  uint32 tmp___3 ;
  TIFFFieldInfo const   *fip ;
  uint32 value_count ;
  int mem_alloc ;
  void *raw_data ;
  int tmp___4 ;
  int tmp___5 ;
  int tmp___6 ;
  int tmp___7 ;
  char *tmp___8 ;
  int tmp___9 ;
  int tmp___10 ;
  int tmp___11 ;
  int tmp___12 ;
  uint32 s ;
  char const   *tmp___13 ;

  {
   13865: /* CIL Label */ 
#line 198
  td = & tif->tif_dir;
   13866: /* CIL Label */ 
#line 203
  fprintf((FILE */* __restrict  */)fd,
          (char const   */* __restrict  */)"TIFF Directory at offset 0x%llx (%llu)\n",
          tif->tif_diroff, tif->tif_diroff);
   13867: /* CIL Label */ 
#line 205
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 5)) {
#line 206
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Subfile Type:");
#line 207
    sep = (char *)" ";
#line 208
    if (td->td_subfiletype & 1U) {
#line 209
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%sreduced-resolution image", sep);
#line 210
      sep = (char *)"/";
    } else {

    }
#line 212
    if (td->td_subfiletype & 2U) {
#line 213
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%smulti-page document", sep);
#line 214
      sep = (char *)"/";
    } else {

    }
#line 216
    if (td->td_subfiletype & 4U) {
#line 217
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%stransparency mask", sep);
    } else {

    }
#line 218
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)" (%lu = 0x%lx)\n",
            (long )td->td_subfiletype, (long )td->td_subfiletype);
  } else {

  }
   13868: /* CIL Label */ 
#line 221
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 1)) {
#line 222
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Image Width: %lu Image Length: %lu",
            (unsigned long )td->td_imagewidth,
            (unsigned long )td->td_imagelength);
#line 224
    if (tif->tif_dir.td_fieldsset[1] & (1UL << 3)) {
#line 225
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)" Image Depth: %lu",
              (unsigned long )td->td_imagedepth);
    } else {

    }
#line 227
    fprintf((FILE */* __restrict  */)fd, (char const   */* __restrict  */)"\n");
  } else {

  }
   13869: /* CIL Label */ 
#line 229
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 2)) {
#line 230
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Tile Width: %lu Tile Length: %lu",
            (unsigned long )td->td_tilewidth, (unsigned long )td->td_tilelength);
#line 232
    if (tif->tif_dir.td_fieldsset[1] & (1UL << 4)) {
#line 233
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)" Tile Depth: %lu",
              (unsigned long )td->td_tiledepth);
    } else {

    }
#line 235
    fprintf((FILE */* __restrict  */)fd, (char const   */* __restrict  */)"\n");
  } else {

  }
   13870: /* CIL Label */ 
#line 237
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 3)) {
#line 238
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Resolution: %g, %g",
            td->td_xresolution, td->td_yresolution);
#line 240
    if (tif->tif_dir.td_fieldsset[0] & (1UL << 22)) {
#line 241
      switch ((int )td->td_resolutionunit) {
      case 1: 
#line 243
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)" (unitless)");
#line 244
      break;
      case 2: 
#line 246
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)" pixels/inch");
#line 247
      break;
      case 3: 
#line 249
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)" pixels/cm");
#line 250
      break;
      default: 
#line 252
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)" (unit %u = 0x%x)",
              td->td_resolutionunit, td->td_resolutionunit);
#line 255
      break;
      }
    } else {

    }
#line 258
    fprintf((FILE */* __restrict  */)fd, (char const   */* __restrict  */)"\n");
  } else {

  }
   13871: /* CIL Label */ 
#line 260
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 4)) {
#line 261
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Position: %g, %g\n",
            td->td_xposition, td->td_yposition);
  } else {

  }
   13872: /* CIL Label */ 
#line 263
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 6)) {
#line 264
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Bits/Sample: %u\n",
            td->td_bitspersample);
  } else {

  }
   13873: /* CIL Label */ 
#line 265
  if (tif->tif_dir.td_fieldsset[1] & 1UL) {
#line 266
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Sample Format: ");
#line 267
    switch ((int )td->td_sampleformat) {
    case 4: 
#line 269
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"void\n");
#line 270
    break;
    case 2: 
#line 272
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"signed integer\n");
#line 273
    break;
    case 1: 
#line 275
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"unsigned integer\n");
#line 276
    break;
    case 3: 
#line 278
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"IEEE floating point\n");
#line 279
    break;
    case 5: 
#line 281
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"complex signed integer\n");
#line 282
    break;
    case 6: 
#line 284
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"complex IEEE floating point\n");
#line 285
    break;
    default: 
#line 287
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"%u (0x%x)\n", td->td_sampleformat,
            td->td_sampleformat);
#line 289
    break;
    }
  } else {

  }
   13874: /* CIL Label */ 
#line 292
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 7)) {
#line 293
    tmp = TIFFFindCODEC(td->td_compression);
#line 293
    c = tmp;
#line 294
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Compression Scheme: ");
#line 295
    if (c) {
#line 296
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%s\n", c->name);
    } else {
#line 298
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%u (0x%x)\n",
              td->td_compression, td->td_compression);
    }
  } else {

  }
   13875: /* CIL Label */ 
#line 301
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 8)) {
#line 302
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Photometric Interpretation: ");
#line 303
    if ((unsigned int )td->td_photometric < sizeof(photoNames) / sizeof(photoNames[0])) {
#line 304
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%s\n",
              photoNames[td->td_photometric]);
    } else {
#line 306
      switch ((int )td->td_photometric) {
      case 32844: 
#line 308
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"CIE Log2(L)\n");
#line 309
      break;
      case 32845: 
#line 311
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"CIE Log2(L) (u\',v\')\n");
#line 312
      break;
      default: 
#line 314
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%u (0x%x)\n",
              td->td_photometric, td->td_photometric);
#line 316
      break;
      }
    }
  } else {

  }
   13876: /* CIL Label */ 
#line 320
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 31)) {
#line 320
    if (td->td_extrasamples) {
#line 321
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"  Extra Samples: %u<",
              td->td_extrasamples);
#line 322
      sep = (char *)"";
#line 323
      i = (unsigned short)0;
#line 323
      while ((int )i < (int )td->td_extrasamples) {
#line 324
        switch ((int )*(td->td_sampleinfo + i)) {
        case 0: 
#line 326
        fprintf((FILE */* __restrict  */)fd,
                (char const   */* __restrict  */)"%sunspecified", sep);
#line 327
        break;
        case 1: 
#line 329
        fprintf((FILE */* __restrict  */)fd,
                (char const   */* __restrict  */)"%sassoc-alpha", sep);
#line 330
        break;
        case 2: 
#line 332
        fprintf((FILE */* __restrict  */)fd,
                (char const   */* __restrict  */)"%sunassoc-alpha", sep);
#line 333
        break;
        default: 
#line 335
        fprintf((FILE */* __restrict  */)fd,
                (char const   */* __restrict  */)"%s%u (0x%x)", sep,
                *(td->td_sampleinfo + i), *(td->td_sampleinfo + i));
#line 337
        break;
        }
#line 339
        sep = (char *)", ";
#line 323
        i = (uint16 )((int )i + 1);
      }
#line 341
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)">\n");
    } else {

    }
  } else {

  }
   13877: /* CIL Label */ 
#line 343
  if (tif->tif_dir.td_fieldsset[1] & (1UL << 14)) {
#line 345
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Ink Names: ");
#line 346
    i = td->td_samplesperpixel;
#line 347
    sep = (char *)"";
#line 348
    cp = td->td_inknames;
#line 348
    while ((int )i > 0) {
#line 349
      fputs((char const   */* __restrict  */)sep, (FILE */* __restrict  */)fd);
#line 350
      _TIFFprintAscii(fd, (char const   *)cp);
#line 351
      sep = (char *)", ";
#line 348
      tmp___0 = __rawmemchr((void const   *)cp, '\000');
#line 348
      cp = (char *)tmp___0 + 1;
#line 348
      i = (uint16 )((int )i - 1);
    }
#line 353
    fputs((char const   */* __restrict  */)"\n", (FILE */* __restrict  */)fd);
  } else {

  }
   13878: /* CIL Label */ 
#line 355
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 9)) {
#line 356
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Thresholding: ");
#line 357
    switch ((int )td->td_threshholding) {
    case 1: 
#line 359
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"bilevel art scan\n");
#line 360
    break;
    case 2: 
#line 362
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"halftone or dithered scan\n");
#line 363
    break;
    case 3: 
#line 365
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"error diffused\n");
#line 366
    break;
    default: 
#line 368
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"%u (0x%x)\n",
            td->td_threshholding, td->td_threshholding);
#line 370
    break;
    }
  } else {

  }
   13879: /* CIL Label */ 
#line 373
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 10)) {
#line 374
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  FillOrder: ");
#line 375
    switch ((int )td->td_fillorder) {
    case 1: 
#line 377
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"msb-to-lsb\n");
#line 378
    break;
    case 2: 
#line 380
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"lsb-to-msb\n");
#line 381
    break;
    default: 
#line 383
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"%u (0x%x)\n", td->td_fillorder,
            td->td_fillorder);
#line 385
    break;
    }
  } else {

  }
   13880: /* CIL Label */ 
#line 388
  if (tif->tif_dir.td_fieldsset[1] & (1UL << 7)) {
#line 390
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  YCbCr Subsampling: %u, %u\n",
            td->td_ycbcrsubsampling[0], td->td_ycbcrsubsampling[1]);
  } else {

  }
   13881: /* CIL Label */ 
#line 393
  if (tif->tif_dir.td_fieldsset[1] & (1UL << 8)) {
#line 394
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  YCbCr Positioning: ");
#line 395
    switch ((int )td->td_ycbcrpositioning) {
    case 1: 
#line 397
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"centered\n");
#line 398
    break;
    case 2: 
#line 400
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"cosited\n");
#line 401
    break;
    default: 
#line 403
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"%u (0x%x)\n",
            td->td_ycbcrpositioning, td->td_ycbcrpositioning);
#line 405
    break;
    }
  } else {

  }
   13882: /* CIL Label */ 
#line 408
  if (tif->tif_dir.td_fieldsset[1] & (1UL << 5)) {
#line 409
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Halftone Hints: light %u dark %u\n",
            td->td_halftonehints[0], td->td_halftonehints[1]);
  } else {

  }
   13883: /* CIL Label */ 
#line 411
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 15)) {
#line 412
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Orientation: ");
#line 413
    if ((unsigned int )td->td_orientation < sizeof(orientNames) / sizeof(orientNames[0])) {
#line 414
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%s\n",
              orientNames[td->td_orientation]);
    } else {
#line 416
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%u (0x%x)\n",
              td->td_orientation, td->td_orientation);
    }
  } else {

  }
   13884: /* CIL Label */ 
#line 419
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 16)) {
#line 420
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Samples/Pixel: %u\n",
            td->td_samplesperpixel);
  } else {

  }
   13885: /* CIL Label */ 
#line 421
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 17)) {
#line 422
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Rows/Strip: ");
#line 423
    if (td->td_rowsperstrip == 4294967295U) {
#line 424
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"(infinite)\n");
    } else {
#line 426
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"%lu\n",
              (unsigned long )td->td_rowsperstrip);
    }
  } else {

  }
   13886: /* CIL Label */ 
#line 428
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 18)) {
#line 429
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Min Sample Value: %u\n",
            td->td_minsamplevalue);
  } else {

  }
   13887: /* CIL Label */ 
#line 430
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 19)) {
#line 431
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Max Sample Value: %u\n",
            td->td_maxsamplevalue);
  } else {

  }
   13888: /* CIL Label */ 
#line 432
  if (tif->tif_dir.td_fieldsset[1] & (1UL << 1)) {
#line 433
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  SMin Sample Value: %g\n",
            td->td_sminsamplevalue);
  } else {

  }
   13889: /* CIL Label */ 
#line 435
  if (tif->tif_dir.td_fieldsset[1] & (1UL << 2)) {
#line 436
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  SMax Sample Value: %g\n",
            td->td_smaxsamplevalue);
  } else {

  }
   13890: /* CIL Label */ 
#line 438
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 20)) {
#line 439
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Planar Configuration: ");
#line 440
    switch ((int )td->td_planarconfig) {
    case 1: 
#line 442
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"single image plane\n");
#line 443
    break;
    case 2: 
#line 445
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"separate image planes\n");
#line 446
    break;
    default: 
#line 448
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"%u (0x%x)\n", td->td_planarconfig,
            td->td_planarconfig);
#line 450
    break;
    }
  } else {

  }
   13891: /* CIL Label */ 
#line 453
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 23)) {
#line 454
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Page Number: %u-%u\n",
            td->td_pagenumber[0], td->td_pagenumber[1]);
  } else {

  }
   13892: /* CIL Label */ 
#line 456
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 26)) {
#line 457
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Color Map: ");
#line 458
    if (flags & 4L) {
#line 459
      fprintf((FILE */* __restrict  */)fd, (char const   */* __restrict  */)"\n");
#line 460
      n = 1L << (int )td->td_bitspersample;
#line 461
      l = 0L;
#line 461
      while (l < n) {
#line 462
        fprintf((FILE */* __restrict  */)fd,
                (char const   */* __restrict  */)"   %5lu: %5u %5u %5u\n", l,
                *(td->td_colormap[0] + l), *(td->td_colormap[1] + l),
                *(td->td_colormap[2] + l));
#line 461
        l ++;
      }
    } else {
#line 468
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"(present)\n");
    }
  } else {

  }
   13893: /* CIL Label */ 
#line 470
  if (tif->tif_dir.td_fieldsset[1] & (1UL << 12)) {
#line 471
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  Transfer Function: ");
#line 472
    if (flags & 2L) {
#line 473
      fprintf((FILE */* __restrict  */)fd, (char const   */* __restrict  */)"\n");
#line 474
      n = 1L << (int )td->td_bitspersample;
#line 475
      l = 0L;
#line 475
      while (l < n) {
#line 476
        fprintf((FILE */* __restrict  */)fd,
                (char const   */* __restrict  */)"    %2lu: %5u", l,
                *(td->td_transferfunction[0] + l));
#line 478
        i = (unsigned short)1;
#line 478
        while ((int )i < (int )td->td_samplesperpixel) {
#line 479
          fprintf((FILE */* __restrict  */)fd,
                  (char const   */* __restrict  */)" %5u",
                  *(td->td_transferfunction[i] + l));
#line 478
          i = (uint16 )((int )i + 1);
        }
#line 481
        fputc('\n', fd);
#line 475
        l ++;
      }
    } else {
#line 484
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"(present)\n");
    }
  } else {

  }
   13894: /* CIL Label */ 
#line 486
  if (tif->tif_dir.td_fieldsset[1] & (1UL << 17)) {
#line 487
    fprintf((FILE */* __restrict  */)fd,
            (char const   */* __restrict  */)"  SubIFD Offsets:");
#line 488
    i = (unsigned short)0;
#line 488
    while ((int )i < (int )td->td_nsubifd) {
#line 489
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)" %5llu", *(td->td_subifd + i));
#line 488
      i = (uint16 )((int )i + 1);
    }
#line 490
    fputc('\n', fd);
  } else {

  }
   13895: /* CIL Label */ 
#line 500
  tmp___2 = TIFFGetTagListCount(tif);
   13896: /* CIL Label */ 
#line 500
  count = (short )tmp___2;
   13897: /* CIL Label */ 
#line 501
  i___0 = 0;
   13898: /* CIL Label */ 
#line 501
  while (i___0 < (int )count) {
#line 502
    tmp___3 = TIFFGetTagListEntry(tif, i___0);
#line 502
    tag = tmp___3;
#line 505
    mem_alloc = 0;
#line 508
    fip = TIFFFieldWithTag(tif, tag);
#line 509
    if ((unsigned int )fip == (unsigned int )((void *)0)) {
      goto __Cont;
    } else {

    }
#line 512
    if (fip->field_passcount) {
#line 513
      tmp___4 = TIFFGetField(tif, tag, & value_count, & raw_data);
#line 513
      if (tmp___4 != 1) {
        goto __Cont;
      } else {

      }
    } else {
#line 516
      if ((int const   )fip->field_readcount == -1) {
#line 518
        value_count = 1U;
      } else {
#line 516
        if ((int const   )fip->field_readcount == -3) {
#line 518
          value_count = 1U;
        } else {
#line 519
          if ((int const   )fip->field_readcount == -2) {
#line 520
            value_count = (unsigned int )td->td_samplesperpixel;
          } else {
#line 522
            value_count = (unsigned int )fip->field_readcount;
          }
        }
      }
#line 523
      if ((unsigned int const   )fip->field_type == 2U) {
        goto _L___6;
      } else {
#line 523
        if ((int const   )fip->field_readcount == -1) {
          goto _L___6;
        } else {
#line 523
          if ((int const   )fip->field_readcount == -3) {
            goto _L___6;
          } else {
#line 523
            if ((int const   )fip->field_readcount == -2) {
              goto _L___6;
            } else {
#line 523
              if (value_count > 1U) {
                _L___6: /* CIL Label */ 
#line 523
                if (fip->field_tag != 297U) {
#line 523
                  if (fip->field_tag != 321U) {
#line 523
                    if (fip->field_tag != 530U) {
#line 523
                      if (fip->field_tag != 336U) {
#line 532
                        tmp___5 = TIFFGetField(tif, tag, & raw_data);
#line 532
                        if (tmp___5 != 1) {
                          goto __Cont;
                        } else {

                        }
                      } else {
                        goto _L___5;
                      }
                    } else {
                      goto _L___5;
                    }
                  } else {
                    goto _L___5;
                  }
                } else {
                  goto _L___5;
                }
              } else {
                _L___5: /* CIL Label */ 
                _L___4: /* CIL Label */ 
                _L___3: /* CIL Label */ 
                _L___2: /* CIL Label */ 
#line 534
                if (fip->field_tag != 297U) {
#line 534
                  if (fip->field_tag != 321U) {
#line 534
                    if (fip->field_tag != 530U) {
#line 534
                      if (fip->field_tag != 336U) {
#line 538
                        tmp___6 = _TIFFDataSize((enum __anonenum_TIFFDataType_21 )fip->field_type);
#line 538
                        raw_data = _TIFFmalloc((long )((uint32 )tmp___6 * value_count));
#line 541
                        mem_alloc = 1;
#line 542
                        tmp___7 = TIFFGetField(tif, tag, raw_data);
#line 542
                        if (tmp___7 != 1) {
#line 543
                          _TIFFfree(raw_data);
                          goto __Cont;
                        } else {

                        }
                      } else {
                        goto _L___1;
                      }
                    } else {
                      goto _L___1;
                    }
                  } else {
                    goto _L___1;
                  }
                } else {
                  _L___1: /* CIL Label */ 
                  _L___0: /* CIL Label */ 
                  _L: /* CIL Label */ 
#line 554
                  tmp___9 = _TIFFDataSize((enum __anonenum_TIFFDataType_21 )fip->field_type);
#line 554
                  raw_data = _TIFFmalloc((long )((uint32 )tmp___9 * value_count));
#line 557
                  tmp___8 = (char *)raw_data;
#line 558
                  mem_alloc = 1;
#line 559
                  tmp___10 = _TIFFDataSize((enum __anonenum_TIFFDataType_21 )fip->field_type);
#line 559
                  tmp___11 = TIFFGetField(tif, tag, tmp___8, tmp___8 + tmp___10);
#line 559
                  if (tmp___11 != 1) {
#line 561
                    _TIFFfree(raw_data);
                    goto __Cont;
                  } else {

                  }
                }
              }
            }
          }
        }
      }
    }
#line 573
    tmp___12 = _TIFFPrettyPrintField(tif, fd, tag, value_count, raw_data);
#line 573
    if (tmp___12) {
#line 574
      if (mem_alloc) {
#line 575
        _TIFFfree(raw_data);
      } else {

      }
      goto __Cont;
    } else {
#line 579
      _TIFFPrintField(fd, fip, value_count, raw_data);
    }
#line 581
    if (mem_alloc) {
#line 582
      _TIFFfree(raw_data);
    } else {

    }
    __Cont: /* CIL Label */ 
#line 501
    i___0 ++;
  }
   13899: /* CIL Label */ 
#line 586
  if (tif->tif_tagmethods.printdir) {
#line 587
    (*(tif->tif_tagmethods.printdir))(tif, fd, flags);
  } else {

  }
   13900: /* CIL Label */ 
#line 588
  if (flags & 1L) {
#line 588
    if (tif->tif_dir.td_fieldsset[0] & (1UL << 25)) {
#line 592
      if ((tif->tif_flags & 1024U) != 0U) {
#line 592
        tmp___13 = "Tiles";
      } else {
#line 592
        tmp___13 = "Strips";
      }
#line 592
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"  %lu %s:\n",
              (long )td->td_nstrips, tmp___13);
#line 595
      s = 0U;
#line 595
      while (s < td->td_nstrips) {
#line 596
        fprintf((FILE */* __restrict  */)fd,
                (char const   */* __restrict  */)"    %3lu: [%8llu, %8llu]\n",
                (unsigned long )s, *(td->td_stripoffset + s),
                *(td->td_stripbytecount + s));
#line 595
        s ++;
      }
    } else {

    }
  } else {

  }
   13901: /* CIL Label */ 
#line 601
  return;
}
}

cilRep: liveness failure for TIFFPrintDirectory: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: __Cont: /* CIL Label */ 
#line 606
cp ++;
Liveness failed on function:
 void _TIFFprintAscii(FILE *fd , char const   *cp ) 
{ char const   *tp ;
  unsigned short const   **tmp ;
  char const   *tmp___0 ;

  {
   13921: /* CIL Label */ 
#line 606
  while ((int const   )*cp != 0) {
#line 609
    tmp = __ctype_b_loc();
#line 609
    if ((int const   )*(*tmp + (int )*cp) & 16384) {
#line 610
      fputc((int )*cp, fd);
      goto __Cont;
    } else {

    }
#line 613
    tp = "\tt\bb\rr\nn\vv";
#line 613
    while (*tp) {
#line 614
      tmp___0 = tp;
#line 614
      tp ++;
#line 614
      if ((int const   )*tmp___0 == (int const   )*cp) {
#line 615
        break;
      } else {

      }
#line 613
      tp ++;
    }
#line 616
    if (*tp) {
#line 617
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"\\%c", *tp);
    } else {
#line 619
      fprintf((FILE */* __restrict  */)fd,
              (char const   */* __restrict  */)"\\%03o", (int const   )*cp & 255);
    }
    __Cont: /* CIL Label */ 
#line 606
    cp ++;
  }
   13922: /* CIL Label */ 
#line 621
  return;
}
}

cilRep: liveness failure for _TIFFprintAscii: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_zip.c: parsing
cilRep: preprocessed/libtiff/tif_zip.c: parsed (0.142136 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 449 "tif_zip.c"
TIFFErrorExt(tif->tif_clientdata, (char const   *)(module___7),
             "No space for ZIP state block");
Liveness failed on function:
 int TIFFInitZIP(TIFF *tif , int scheme ) 
{ char module___7[12] ;
  ZIPState *sp ;
  int tmp ;
  void *tmp___0 ;

  {
   14335: /* CIL Label */ 
#line 388
  module___7[0] = (char )'T';
   14336: /* CIL Label */ 
#line 388
  module___7[1] = (char )'I';
   14337: /* CIL Label */ 
#line 388
  module___7[2] = (char )'F';
   14338: /* CIL Label */ 
#line 388
  module___7[3] = (char )'F';
   14339: /* CIL Label */ 
#line 388
  module___7[4] = (char )'I';
   14340: /* CIL Label */ 
#line 388
  module___7[5] = (char )'n';
   14341: /* CIL Label */ 
#line 388
  module___7[6] = (char )'i';
   14342: /* CIL Label */ 
#line 388
  module___7[7] = (char )'t';
   14343: /* CIL Label */ 
#line 388
  module___7[8] = (char )'Z';
   14344: /* CIL Label */ 
#line 388
  module___7[9] = (char )'I';
   14345: /* CIL Label */ 
#line 388
  module___7[10] = (char )'P';
   14346: /* CIL Label */ 
#line 388
  module___7[11] = (char )'\000';
   14347: /* CIL Label */ 
#line 391
  if (scheme == 32946) {

  } else {
#line 391
    if (scheme == 8) {

    } else {
#line 391
      __assert_fail("(scheme == 32946) || (scheme == 8)", "tif_zip.c", 392U,
                    "TIFFInitZIP");
    }
  }
   14348: /* CIL Label */ 
#line 397
  tmp = _TIFFMergeField(tif, zipFields, sizeof(zipFields) / sizeof(zipFields[0]));
   14349: /* CIL Label */ 
#line 397
  if (tmp) {

  } else {
#line 398
    TIFFErrorExt(tif->tif_clientdata, (char const   *)(module___7),
                 "Merging Deflate codec-specific tags failed");
#line 400
    return (0);
  }
   14350: /* CIL Label */ 
#line 406
  tmp___0 = _TIFFmalloc((long )sizeof(ZIPState ));
   14351: /* CIL Label */ 
#line 406
  tif->tif_data = (uint8 *)tmp___0;
   14352: /* CIL Label */ 
#line 407
  if ((unsigned int )tif->tif_data == (unsigned int )((void *)0)) {
    goto bad;
  } else {

  }
   14353: /* CIL Label */ 
#line 409
  sp = (ZIPState *)tif->tif_data;
   14354: /* CIL Label */ 
#line 410
  sp->stream.zalloc = (voidpf (*)(voidpf opaque , uInt items , uInt size ))((void *)0);
   14355: /* CIL Label */ 
#line 411
  sp->stream.zfree = (void (*)(voidpf opaque , voidpf address ))((void *)0);
   14356: /* CIL Label */ 
#line 412
  sp->stream.opaque = (void *)0;
   14357: /* CIL Label */ 
#line 413
  sp->stream.data_type = 0;
   14358: /* CIL Label */ 
#line 418
  sp->vgetparent = tif->tif_tagmethods.vgetfield;
   14359: /* CIL Label */ 
#line 419
  tif->tif_tagmethods.vgetfield = & ZIPVGetField;
   14360: /* CIL Label */ 
#line 420
  sp->vsetparent = tif->tif_tagmethods.vsetfield;
   14361: /* CIL Label */ 
#line 421
  tif->tif_tagmethods.vsetfield = & ZIPVSetField;
   14362: /* CIL Label */ 
#line 424
  sp->zipquality = -1;
   14363: /* CIL Label */ 
#line 425
  sp->state = 0;
   14364: /* CIL Label */ 
#line 430
  tif->tif_fixuptags = & ZIPFixupTags;
   14365: /* CIL Label */ 
#line 431
  tif->tif_setupdecode = & ZIPSetupDecode;
   14366: /* CIL Label */ 
#line 432
  tif->tif_predecode = & ZIPPreDecode;
   14367: /* CIL Label */ 
#line 433
  tif->tif_decoderow = & ZIPDecode;
   14368: /* CIL Label */ 
#line 434
  tif->tif_decodestrip = & ZIPDecode;
   14369: /* CIL Label */ 
#line 435
  tif->tif_decodetile = & ZIPDecode;
   14370: /* CIL Label */ 
#line 436
  tif->tif_setupencode = & ZIPSetupEncode;
   14371: /* CIL Label */ 
#line 437
  tif->tif_preencode = & ZIPPreEncode;
   14372: /* CIL Label */ 
#line 438
  tif->tif_postencode = & ZIPPostEncode;
   14373: /* CIL Label */ 
#line 439
  tif->tif_encoderow = & ZIPEncode;
   14374: /* CIL Label */ 
#line 440
  tif->tif_encodestrip = & ZIPEncode;
   14375: /* CIL Label */ 
#line 441
  tif->tif_encodetile = & ZIPEncode;
   14376: /* CIL Label */ 
#line 442
  tif->tif_cleanup = & ZIPCleanup;
   14377: /* CIL Label */ 
#line 446
  TIFFPredictorInit(tif);
   14378: /* CIL Label */ 
#line 447
  return (1);
   14379: /* CIL Label */ 
  bad: 
#line 449
  TIFFErrorExt(tif->tif_clientdata, (char const   *)(module___7),
               "No space for ZIP state block");
   14380: /* CIL Label */ 
#line 451
  return (0);
}
}

cilRep: liveness failure for TIFFInitZIP: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 14380
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	n1: false (0)
	n2: false (0)
	n3: false (0)
	n4: false (0)
	n5: false (0)
	n6: false (0)
	n7: false (0)
	n8: false (0)
	n9: false (0)
	n10: false (0)
	n11: false (0)
	n12: false (0)
	n13: false (0)
	n14: false (0)
	n15: false (0)
	n16: false (0)
	n17: false (0)
	n18: false (0)
	n19: false (0)
	n20: false (0)
	n21: false (0)
	n22: false (0)
	n23: false (0)
	n24: false (0)
	n25: false (0)
	n26: false (0)
	n27: false (0)
	n28: false (0)
	n29: false (0)
	n30: false (0)
	n31: false (0)
	n32: false (0)
	n33: false (0)
	n34: false (0)
	n35: false (0)
	n36: false (0)
	n37: false (0)
	n38: false (0)
	n39: false (0)
	n40: false (0)
	n41: false (0)
	n42: false (0)
	n43: false (0)
	n44: false (0)
cachingRepresentation: sanity checking passed (time_taken = 32.1378)
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 14380
cilRep: stmts in weighted_path = 336
cilRep: total weight = 38.1
cilRep: stmts in weighted_path with weight >= 1.0 = 5
cilRep: libtiff/tif_dir.c (code bank/base file; atoms [1,1229])
cilRep: libtiff/tif_dirinfo.c (code bank/base file; atoms [1230,1899])
cilRep: libtiff/tif_dirread.c (code bank/base file; atoms [1900,5835])
cilRep: libtiff/tif_fax3.c (code bank/base file; atoms [5836,8822])
cilRep: libtiff/tif_jpeg.c (code bank/base file; atoms [8823,9035])
cilRep: libtiff/tif_luv.c (code bank/base file; atoms [9036,10573])
cilRep: libtiff/tif_ojpeg.c (code bank/base file; atoms [10574,10786])
cilRep: libtiff/tif_pixarlog.c (code bank/base file; atoms [10787,12523])
cilRep: libtiff/tif_predict.c (code bank/base file; atoms [12524,13305])
cilRep: libtiff/tif_print.c (code bank/base file; atoms [13306,13926])
cilRep: libtiff/tif_zip.c (code bank/base file; atoms [13927,14380])
cilRep: 11 file(s) total in representation
search: ww_adaptive_1 begins (time = 1368025352.440600)
cilRep: coverage ignores: /usr/local/include
cilRep: coverage ignores: /usr/lib/gcc/i686-redhat-linux/4.4.5/include
cilRep: coverage ignores: /usr/include
cilRep: atoms in standard headers: 2517
cilRep: fix-space quotient by string: 341 -> 268
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __builtin_expect
progeq: WARNING: cannot resolve call: __uflow
progeq: WARNING: cannot resolve call: __overflow
progeq: WARNING: cannot resolve call: _TIFFfree
progeq: WARNING: cannot resolve call: _TIFFmalloc
progeq: WARNING: cannot resolve call: _TIFFmemcpy
progeq: WARNING: cannot resolve call: __builtin_va_arg
progeq: WARNING: cannot resolve call: TIFFErrorExt
progeq: WARNING: cannot resolve call: __builtin_va_start
progeq: WARNING: cannot resolve call: *(tif->tif_tagmethods.vsetfield)
progeq: WARNING: cannot resolve call: __builtin_va_end
progeq: WARNING: cannot resolve call: *(tif->tif_tagmethods.vgetfield)
progeq: WARNING: cannot resolve call: _TIFFmemset
progeq: WARNING: cannot resolve call: __builtin_strcmp
progeq: WARNING: cannot resolve call: _TIFFCheckRealloc
progeq: WARNING: cannot resolve call: _TIFFCheckMalloc
progeq: WARNING: cannot resolve call: qsort
progeq: WARNING: cannot resolve call: *_TIFFextender
progeq: WARNING: cannot resolve call: TIFFSwabShort
progeq: WARNING: cannot resolve call: TIFFSwabLong
progeq: WARNING: cannot resolve call: TIFFSwabLong8
progeq: WARNING: cannot resolve call: *(tif->tif_seekproc)
progeq: WARNING: cannot resolve call: *(tif->tif_readproc)
progeq: WARNING: cannot resolve call: *(tif->tif_cleanup)
progeq: WARNING: cannot resolve call: __assert_fail
progeq: WARNING: cannot resolve call: TIFFWarningExt
progeq: WARNING: cannot resolve call: TIFFSwabArrayOfLong
progeq: WARNING: cannot resolve call: TIFFSwabArrayOfShort
progeq: WARNING: cannot resolve call: TIFFSwabArrayOfLong8
progeq: WARNING: cannot resolve call: sprintf
progeq: WARNING: cannot resolve call: TIFFNumberOfStrips
progeq: WARNING: cannot resolve call: TIFFNumberOfTiles
progeq: WARNING: cannot resolve call: *(tif->tif_sizeproc)
progeq: WARNING: cannot resolve call: TIFFTileSize64
progeq: WARNING: cannot resolve call: TIFFScanlineSize64
progeq: WARNING: cannot resolve call: *(tif->tif_fixuptags)
progeq: WARNING: cannot resolve call: TIFFVTileSize64
progeq: WARNING: cannot resolve call: TIFFScanlineSize
progeq: WARNING: cannot resolve call: TIFFTileSize
progeq: WARNING: cannot resolve call: TIFFStripSize
progeq: WARNING: cannot resolve call: *(tif->tif_writeproc)
progeq: WARNING: cannot resolve call: bsearch
progeq: WARNING: cannot resolve call: lfind
progeq: WARNING: cannot resolve call: TIFFGetBitRevTable
progeq: WARNING: cannot resolve call: *(sp->fill)
progeq: WARNING: cannot resolve call: TIFFTileRowSize
progeq: WARNING: cannot resolve call: TIFFFlushData1
progeq: WARNING: cannot resolve call: _TIFFSetDefaultCompressionState
progeq: WARNING: cannot resolve call: __builtin_atan2l
progeq: WARNING: cannot resolve call: __builtin_fabs
progeq: WARNING: cannot resolve call: __builtin_fabsf
progeq: WARNING: cannot resolve call: __builtin_fabsl
progeq: WARNING: cannot resolve call: *(sp->tfunc)
progeq: WARNING: cannot resolve call: *(tif->tif_decoderow)
progeq: WARNING: cannot resolve call: *(tif->tif_encoderow)
progeq: WARNING: cannot resolve call: rand
*** 3600m timeout
libtiff-bug-cb57a69f-740a6187.tar.gz
Fri May 10 23:01:48 EDT 2013
shutting down
