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 ip-10-8-241-171 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Tue May  7 21:38:21 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           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmpd71a38.c /tmp/tmp8d894e.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_close.c: parsing
cilRep: preprocessed/libtiff/tif_close.c: parsed (0.0926485 MB)
cilRep: computing liveness
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 ;

  {
   3758: /* CIL Label */ 
#line 3285
  tif->tif_diroff = tif->tif_nextdiroff;
   3759: /* CIL Label */ 
#line 3286
  tmp = TIFFCheckDirOffset(tif, tif->tif_nextdiroff);
   3760: /* CIL Label */ 
#line 3286
  if (tmp) {

  } else {
#line 3287
    return (0);
  }
   3761: /* CIL Label */ 
#line 3288
  (*(tif->tif_cleanup))(tif);
   3762: /* CIL Label */ 
#line 3289
  tif->tif_curdir = (uint16 )((int )tif->tif_curdir + 1);
   3763: /* CIL Label */ 
#line 3290
  dircount = TIFFFetchDirectory(tif, tif->tif_nextdiroff, & dir,
                                & tif->tif_nextdiroff);
   3764: /* 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 {

  }
   3765: /* CIL Label */ 
#line 3297
  TIFFReadDirectoryCheckOrder(tif, dir, dircount);
   3766: /* CIL Label */ 
#line 3298
  tif->tif_flags &= 4294967231U;
   3767: /* CIL Label */ 
#line 3300
  TIFFFreeDirectory(tif);
   3768: /* CIL Label */ 
#line 3301
  TIFFDefaultDirectory(tif);
   3769: /* CIL Label */ 
#line 3308
  TIFFSetField(tif, 284U, 1);
   3770: /* CIL Label */ 
#line 3326
  dp = TIFFReadDirectoryFindEntry(tif, dir, dircount, (unsigned short)277);
   3771: /* CIL Label */ 
#line 3327
  if (dp) {
#line 3329
    tmp___0 = TIFFFetchNormalTag(tif, dp, 0);
#line 3329
    if (tmp___0) {

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

  }
   3772: /* CIL Label */ 
#line 3333
  dp = TIFFReadDirectoryFindEntry(tif, dir, dircount, (unsigned short)259);
   3773: /* 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  3804;
    } else {

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

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

    } else {
      goto  3804;
    }
  }
   3774: /* CIL Label */ 
#line 3364
  di = (unsigned short)0;
   3775: /* CIL Label */ 
#line 3364
  dp = dir;
   3776: /* 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  3804;
        }
#line 3417
        dp->tdir_tag = (unsigned short)0;
#line 3418
        break;
        }
      }
    } else {

    }
#line 3364
    di = (uint16 )((int )di + 1);
#line 3364
    dp ++;
  }
   3777: /* 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 {

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

  }
   3779: /* 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;
  }
   3780: /* 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  3804;
  } else {

  }
   3781: /* CIL Label */ 
#line 3475
  tif->tif_dir.td_stripsperimage = tif->tif_dir.td_nstrips;
   3782: /* 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 {

  }
   3783: /* 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  3804;
    }
  } else {

  }
   3784: /* CIL Label */ 
#line 3500
  di = (unsigned short)0;
   3785: /* CIL Label */ 
#line 3500
  dp = dir;
   3786: /* 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  3804;
    } else {

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

    } else {
      goto  3804;
    }
#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  3804;
    } else {

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

    } else {
      goto  3804;
    }
#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  3804;
    }
#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  3804;
    }
#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 ++;
  }
   3787: /* 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  3804;
      }
    } 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  3804;
      }
    } 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  3804;
          }
        } 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  3804;
              }
            } else {

            }
          }
        }
      }
    } else {

    }
  } else {

  }
   3788: /* 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  3804;
    } else {

    }
  } else {

  }
   3789: /* 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  3804;
        } 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  3804;
          } 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  3804;
      } 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  3804;
                    } 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  3804;
                    } else {

                    }
                  } else {

                  }
                } else {

                }
              } else {

              }
            } else {

            }
          } else {

          }
        } else {

        }
      }
    }
  } else {

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

  }
   3791: /* 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 {

  }
   3792: /* 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 {

  }
   3793: /* CIL Label */ 
#line 3796
  (*(tif->tif_fixuptags))(tif);
   3794: /* 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 {

  }
   3795: /* CIL Label */ 
#line 3814
  tif->tif_row = 4294967295U;
   3796: /* CIL Label */ 
#line 3815
  tif->tif_curstrip = 4294967295U;
   3797: /* CIL Label */ 
#line 3816
  tif->tif_col = 4294967295U;
   3798: /* CIL Label */ 
#line 3817
  tif->tif_curtile = 4294967295U;
   3799: /* CIL Label */ 
#line 3818
  tif->tif_tilesize = -1L;
   3800: /* CIL Label */ 
#line 3820
  tif->tif_scanlinesize = TIFFScanlineSize(tif);
   3801: /* 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 {

  }
   3802: /* 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);
    }
  }
   3803: /* CIL Label */ 
#line 3841
  return (1);
   3804: /* CIL Label */ 
  bad: 
#line 3843
  if (dir) {
#line 3844
    _TIFFfree((void *)dir);
  } else {

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

cilRep: liveness failure for TIFFReadDirectory: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_dirwrite.c: parsing
Error: There were parsing errors in preprocessed/libtiff/tif_dirwrite.c
/root/repair aborting: Errormsg.Error
Rep: saving test cache

Variant Test Case Queries: 0
"Test Suite Evaluations": 0

Compile Failures: 0
Wall-Clock Seconds Elapsed: 5.78197
  Activity Name                     Count Seconds = Percent of Total Time
  TOTAL                                     0.000 = 0% (avg CPU usage)
Fatal error: exception Errormsg.Error
libtiff-bug-b675f33d-5d9d496d.tar.gz
Tue May  7 21:38:28 EDT 2013
shutting down
