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 9
--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 64
--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-0E-4C-E4 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:20 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/tmp651984.c /tmp/tmpff6527.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/tools/tiffcrop.c: parsing
cilRep: preprocessed/tools/tiffcrop.c: parsed (0.643206 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: done: 
#line 778 "tiffcrop.c"
_TIFFfree(tilebuf);
Liveness failed on function:
 static int readContigTilesIntoBuffer(TIFF *in , uint8 *buf ,
                                      uint32 imagelength , uint32 imagewidth ,
                                      tsample_t spp ) 
{ int status ;
  tdata_t tilebuf ;
  tmsize_t tmp ;
  void *tmp___0 ;
  uint32 imagew ;
  tmsize_t tmp___1 ;
  uint32 tilew ;
  tmsize_t tmp___2 ;
  int iskew ;
  uint8 *bufp ;
  uint32 tw ;
  uint32 tl ;
  uint32 row ;
  uint32 nrow ;
  uint32 tmp___3 ;
  uint32 colb ;
  uint32 col ;
  char const   *tmp___4 ;
  tmsize_t tmp___5 ;
  uint32 width ;
  uint32 oskew ;

  {
   346: /* CIL Label */ 
#line 733
  status = 1;
   347: /* CIL Label */ 
#line 734
  tmp = TIFFTileSize(in);
   348: /* CIL Label */ 
#line 734
  tmp___0 = _TIFFmalloc(tmp);
   349: /* CIL Label */ 
#line 734
  tilebuf = tmp___0;
   350: /* CIL Label */ 
#line 735
  tmp___1 = TIFFScanlineSize(in);
   351: /* CIL Label */ 
#line 735
  imagew = (uint32 )tmp___1;
   352: /* CIL Label */ 
#line 736
  tmp___2 = TIFFTileRowSize(in);
   353: /* CIL Label */ 
#line 736
  tilew = (uint32 )tmp___2;
   354: /* CIL Label */ 
#line 737
  iskew = (int )(imagew - tilew);
   355: /* CIL Label */ 
#line 738
  bufp = buf;
   356: /* CIL Label */ 
#line 743
  if ((unsigned int )tilebuf == (unsigned int )((tdata_t )0)) {
#line 744
    return (0);
  } else {

  }
   357: /* CIL Label */ 
#line 745
  TIFFGetField(in, 322U, & tw);
   358: /* CIL Label */ 
#line 746
  TIFFGetField(in, 323U, & tl);
   359: /* CIL Label */ 
#line 748
  row = 0U;
   360: /* CIL Label */ 
#line 748
  while (row < imagelength) {
#line 749
    if (row + tl > imagelength) {
#line 749
      tmp___3 = imagelength - row;
    } else {
#line 749
      tmp___3 = tl;
    }
#line 749
    nrow = tmp___3;
#line 750
    colb = (uint32 )0;
#line 753
    col = 0U;
#line 753
    while (col < imagewidth) {
#line 754
      tmp___5 = TIFFReadTile(in, tilebuf, col, row, 0U, (unsigned short)0);
#line 754
      if (tmp___5 < 0L) {
#line 754
        if (! ignore) {
#line 756
          tmp___4 = TIFFFileName(in);
#line 756
          TIFFError(tmp___4, "Error, can\'t read tile at %lu %lu",
                    (unsigned long )col, (unsigned long )row);
#line 760
          status = 0;
          goto done;
        } else {

        }
      } else {

      }
#line 763
      if (colb + tilew > imagew) {
#line 764
        width = imagew - colb;
#line 765
        oskew = tilew - width;
#line 766
        cpStripToTile(bufp + colb, (uint8 *)tilebuf, nrow, width,
                      (int )(oskew + (uint32 )iskew), (int )oskew);
      } else {
#line 770
        cpStripToTile(bufp + colb, (uint8 *)tilebuf, nrow, tilew, iskew, 0);
      }
#line 773
      colb += tilew;
#line 753
      col += tw;
    }
#line 775
    bufp += imagew * nrow;
#line 748
    row += tl;
  }
   361: /* CIL Label */ 
  done: 
#line 778
  _TIFFfree(tilebuf);
   362: /* CIL Label */ 
#line 779
  return (status);
}
}

cilRep: liveness failure for readContigTilesIntoBuffer: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: done: 
#line 849
_TIFFfree(tilebuf);
Liveness failed on function:
 static int readSeparateTilesIntoBuffer(TIFF *in , uint8 *buf ,
                                        uint32 imagelength , uint32 imagewidth ,
                                        unsigned short spp ) 
{ int status ;
  uint32 imagew ;
  tmsize_t tmp ;
  uint32 tilew ;
  tmsize_t tmp___0 ;
  int iskew ;
  tdata_t tilebuf ;
  tmsize_t tmp___1 ;
  void *tmp___2 ;
  uint8 *bufp ;
  uint32 tw ;
  uint32 tl ;
  uint32 row ;
  uint16 bps ;
  uint16 bytes_per_sample ;
  uint32 nrow ;
  uint32 tmp___3 ;
  uint32 colb ;
  uint32 col ;
  tsample_t s ;
  char const   *tmp___4 ;
  tmsize_t tmp___5 ;
  uint32 width ;
  int oskew ;

  {
   400: /* CIL Label */ 
#line 785
  status = 1;
   401: /* CIL Label */ 
#line 786
  tmp = TIFFRasterScanlineSize(in);
   402: /* CIL Label */ 
#line 786
  imagew = (uint32 )tmp;
   403: /* CIL Label */ 
#line 787
  tmp___0 = TIFFTileRowSize(in);
   404: /* CIL Label */ 
#line 787
  tilew = (uint32 )tmp___0;
   405: /* CIL Label */ 
#line 788
  iskew = (int )(imagew - tilew * (uint32 )spp);
   406: /* CIL Label */ 
#line 789
  tmp___1 = TIFFTileSize(in);
   407: /* CIL Label */ 
#line 789
  tmp___2 = _TIFFmalloc(tmp___1);
   408: /* CIL Label */ 
#line 789
  tilebuf = tmp___2;
   409: /* CIL Label */ 
#line 790
  bufp = buf;
   410: /* CIL Label */ 
#line 795
  if ((unsigned int )tilebuf == (unsigned int )((tdata_t )0)) {
#line 796
    return (0);
  } else {

  }
   411: /* CIL Label */ 
#line 797
  TIFFGetField(in, 322U, & tw);
   412: /* CIL Label */ 
#line 798
  TIFFGetField(in, 323U, & tl);
   413: /* CIL Label */ 
#line 799
  TIFFGetField(in, 258U, & bps);
   414: /* CIL Label */ 
#line 800
  if ((int )bps % 8 == 0) {

  } else {
#line 800
    __assert_fail("bps % 8 == 0", "tiffcrop.c", 800U,
                  "readSeparateTilesIntoBuffer");
  }
   415: /* CIL Label */ 
#line 801
  bytes_per_sample = (unsigned short )((int )bps / 8);
   416: /* CIL Label */ 
#line 803
  row = 0U;
   417: /* CIL Label */ 
#line 803
  while (row < imagelength) {
#line 804
    if (row + tl > imagelength) {
#line 804
      tmp___3 = imagelength - row;
    } else {
#line 804
      tmp___3 = tl;
    }
#line 804
    nrow = tmp___3;
#line 805
    colb = (uint32 )0;
#line 808
    col = 0U;
#line 808
    while (col < imagewidth) {
#line 811
      s = (unsigned short)0;
#line 811
      while ((int )s < (int )spp) {
#line 812
        tmp___5 = TIFFReadTile(in, tilebuf, col, row, 0U, s);
#line 812
        if (tmp___5 < 0L) {
#line 812
          if (! ignore) {
#line 814
            tmp___4 = TIFFFileName(in);
#line 814
            TIFFError(tmp___4, "Error, can\'t read tile at %lu %lu, sample %lu",
                      (unsigned long )col, (unsigned long )row,
                      (unsigned long )s);
#line 820
            status = 0;
            goto done;
          } else {

          }
        } else {

        }
#line 827
        if (colb + tilew * (uint32 )spp > imagew) {
#line 828
          width = imagew - colb;
#line 829
          oskew = (int )(tilew * (uint32 )spp - width);
#line 830
          cpSeparateBufToContigBuf((bufp + colb) + (int )s * (int )bytes_per_sample,
                                   (uint8 *)tilebuf, nrow,
                                   width / (uint32 )((int )spp * (int )bytes_per_sample),
                                   oskew + iskew, oskew / (int )spp, spp,
                                   (int )bytes_per_sample);
        } else {
#line 838
          cpSeparateBufToContigBuf((bufp + colb) + (int )s * (int )bytes_per_sample,
                                   (uint8 *)tilebuf, nrow, tw, iskew, 0, spp,
                                   (int )bytes_per_sample);
        }
#line 811
        s = (tsample_t )((int )s + 1);
      }
#line 844
      colb += tilew * (uint32 )spp;
#line 808
      col += tw;
    }
#line 846
    bufp += imagew * nrow;
#line 803
    row += tl;
  }
   418: /* CIL Label */ 
  done: 
#line 849
  _TIFFfree(tilebuf);
   419: /* CIL Label */ 
#line 850
  return (status);
}
}

cilRep: liveness failure for readSeparateTilesIntoBuffer: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 4541
tmp = computeInputPixelOffsets(crop, image, & offsets);
Liveness failed on function:
 static int getCropOffsets(struct image_data *image , struct crop_mask *crop ,
                           struct dump_opts *dump ) 
{ struct offset offsets ;
  int i ;
  int32 test2 ;
  uint32 test ;
  uint32 seg ;
  uint32 total ;
  uint32 need_buff ;
  uint32 buffsize ;
  uint32 zwidth ;
  uint32 zlength ;
  int tmp ;

  {
   4149: /* CIL Label */ 
#line 4525
  need_buff = (uint32 )0;
   4150: /* CIL Label */ 
#line 4529
  memset((void *)(& offsets), '\000', sizeof(struct offset ));
   4151: /* CIL Label */ 
#line 4530
  crop->bufftotal = 0U;
   4152: /* CIL Label */ 
#line 4531
  crop->combined_width = 0U;
   4153: /* CIL Label */ 
#line 4532
  crop->combined_length = 0U;
   4154: /* CIL Label */ 
#line 4533
  crop->selections = (unsigned short)0;
   4155: /* CIL Label */ 
#line 4536
  if ((int )crop->crop_mode & 1) {
    goto _L;
  } else {
#line 4536
    if ((int )crop->crop_mode & 16) {
      goto _L;
    } else {
#line 4536
      if ((int )crop->crop_mode & 4) {
        goto _L;
      } else {
#line 4536
        if ((int )crop->crop_mode & 2) {
          _L: /* CIL Label */ 
#line 4541
          tmp = computeInputPixelOffsets(crop, image, & offsets);
#line 4541
          if (tmp) {
#line 4543
            TIFFError("getCropOffsets", "Unable to compute crop margins");
#line 4544
            return (-1);
          } else {

          }
#line 4546
          need_buff = 1U;
#line 4547
          crop->selections = crop->regions;
#line 4549
          if ((int )crop->crop_mode & 16) {
#line 4550
            return (0);
          } else {

          }
        } else {
#line 4554
          offsets.tmargin = 0U;
#line 4555
          offsets.lmargin = 0U;
#line 4556
          offsets.bmargin = 0U;
#line 4557
          offsets.rmargin = 0U;
#line 4558
          offsets.crop_width = image->width;
#line 4559
          offsets.crop_length = image->length;
#line 4560
          offsets.startx = 0U;
#line 4561
          offsets.endx = image->width - 1U;
#line 4562
          offsets.starty = 0U;
#line 4563
          offsets.endy = image->length - 1U;
#line 4564
          need_buff = 0U;
        }
      }
    }
  }
   4156: /* CIL Label */ 
#line 4567
  if ((unsigned int )dump->outfile != (unsigned int )((void *)0)) {
#line 4569
    dump_info(dump->outfile, dump->format, (char *)"",
              (char *)"Margins: Top: %d  Left: %d  Bottom: %d  Right: %d",
              offsets.tmargin, offsets.lmargin, offsets.bmargin, offsets.rmargin);
#line 4571
    dump_info(dump->outfile, dump->format, (char *)"",
              (char *)"Crop region within margins: Adjusted Width:  %6d  Length: %6d",
              offsets.crop_width, offsets.crop_length);
  } else {

  }
   4157: /* CIL Label */ 
#line 4575
  if (! ((int )crop->crop_mode & 8)) {
#line 4577
    if (need_buff == 0U) {
#line 4579
      crop->selections = (unsigned short)0;
#line 4580
      crop->combined_width = image->width;
#line 4581
      crop->combined_length = image->length;
#line 4582
      return (0);
    } else {
#line 4589
      crop->selections = (unsigned short)1;
#line 4590
      crop->zones = (unsigned short)1;
#line 4591
      crop->zonelist[0].total = 1;
#line 4592
      crop->zonelist[0].position = 1;
    }
  } else {
#line 4596
    crop->selections = crop->zones;
  }
   4158: /* CIL Label */ 
#line 4598
  i = 0;
   4159: /* CIL Label */ 
#line 4598
  while (i < (int )crop->zones) {
#line 4600
    seg = (unsigned int )crop->zonelist[i].position;
#line 4601
    total = (unsigned int )crop->zonelist[i].total;
#line 4603
    switch ((int )crop->edge_ref) {
    case 2: 
#line 4606
    zlength = offsets.crop_length;
#line 4607
    crop->regionlist[i].y1 = offsets.starty;
#line 4608
    crop->regionlist[i].y2 = offsets.endy;
#line 4610
    crop->regionlist[i].x1 = offsets.startx + (unsigned int )((((double )offsets.crop_width * 1.0) * (double )(seg - 1U)) / (double )total);
#line 4612
    test = offsets.startx + (unsigned int )((((double )offsets.crop_width * 1.0) * (double )seg) / (double )total);
#line 4614
    if (test > image->width - 1U) {
#line 4615
      crop->regionlist[i].x2 = image->width - 1U;
    } else {
#line 4617
      crop->regionlist[i].x2 = test - 1U;
    }
#line 4618
    zwidth = (crop->regionlist[i].x2 - crop->regionlist[i].x1) + 1U;
#line 4621
    crop->combined_length = zlength;
#line 4622
    if ((int )crop->exp_mode == 0) {
#line 4623
      crop->combined_width += zwidth;
    } else {
#line 4625
      crop->combined_width = zwidth;
    }
#line 4626
    break;
    case 3: 
#line 4628
    zwidth = offsets.crop_width;
#line 4629
    crop->regionlist[i].x1 = offsets.startx;
#line 4630
    crop->regionlist[i].x2 = offsets.endx;
#line 4632
    test2 = (int )(offsets.endy - (unsigned int )((((double )offsets.crop_length * 1.0) * (double )seg) / (double )total));
#line 4633
    if (test2 < 1) {
#line 4634
      crop->regionlist[i].y1 = 0U;
    } else {
#line 4636
      crop->regionlist[i].y1 = (unsigned int )(test2 + 1);
    }
#line 4638
    test = offsets.endy - (unsigned int )((((double )offsets.crop_length * 1.0) * (double )(seg - 1U)) / (double )total);
#line 4639
    if (test > image->length - 1U) {
#line 4640
      crop->regionlist[i].y2 = image->length - 1U;
    } else {
#line 4642
      crop->regionlist[i].y2 = test;
    }
#line 4643
    zlength = (crop->regionlist[i].y2 - crop->regionlist[i].y1) + 1U;
#line 4646
    if ((int )crop->exp_mode == 0) {
#line 4647
      crop->combined_length += zlength;
    } else {
#line 4649
      crop->combined_length = zlength;
    }
#line 4650
    crop->combined_width = zwidth;
#line 4651
    break;
    case 4: 
#line 4653
    zlength = offsets.crop_length;
#line 4654
    crop->regionlist[i].y1 = offsets.starty;
#line 4655
    crop->regionlist[i].y2 = offsets.endy;
#line 4657
    crop->regionlist[i].x1 = offsets.startx + (unsigned int )(((double )(offsets.crop_width * (total - seg)) * 1.0) / (double )total);
#line 4659
    test = offsets.startx + (unsigned int )(((double )(offsets.crop_width * ((total - seg) + 1U)) * 1.0) / (double )total);
#line 4662
    if (test > image->width - 1U) {
#line 4663
      crop->regionlist[i].x2 = image->width - 1U;
    } else {
#line 4665
      crop->regionlist[i].x2 = test - 1U;
    }
#line 4666
    zwidth = (crop->regionlist[i].x2 - crop->regionlist[i].x1) + 1U;
#line 4669
    crop->combined_length = zlength;
#line 4670
    if ((int )crop->exp_mode == 0) {
#line 4671
      crop->combined_width += zwidth;
    } else {
#line 4673
      crop->combined_width = zwidth;
    }
#line 4674
    break;
    case 1: 
    default: 
#line 4677
    zwidth = offsets.crop_width;
#line 4678
    crop->regionlist[i].x1 = offsets.startx;
#line 4679
    crop->regionlist[i].x2 = offsets.endx;
#line 4681
    crop->regionlist[i].y1 = offsets.starty + (unsigned int )((((double )offsets.crop_length * 1.0) * (double )(seg - 1U)) / (double )total);
#line 4682
    test = offsets.starty + (unsigned int )((((double )offsets.crop_length * 1.0) * (double )seg) / (double )total);
#line 4683
    if (test > image->length - 1U) {
#line 4684
      crop->regionlist[i].y2 = image->length - 1U;
    } else {
#line 4686
      crop->regionlist[i].y2 = test - 1U;
    }
#line 4687
    zlength = (crop->regionlist[i].y2 - crop->regionlist[i].y1) + 1U;
#line 4690
    if ((int )crop->exp_mode == 0) {
#line 4691
      crop->combined_length += zlength;
    } else {
#line 4693
      crop->combined_length = zlength;
    }
#line 4694
    crop->combined_width = zwidth;
#line 4695
    break;
    }
#line 4698
    buffsize = (((zwidth * (uint32 )image->bps) * (uint32 )image->spp + 7U) / 8U) * (zlength + 1U);
#line 4700
    crop->regionlist[i].width = zwidth;
#line 4701
    crop->regionlist[i].length = zlength;
#line 4702
    crop->regionlist[i].buffsize = buffsize;
#line 4703
    crop->bufftotal += buffsize;
#line 4706
    if ((unsigned int )dump->outfile != (unsigned int )((void *)0)) {
#line 4707
      dump_info(dump->outfile, dump->format, (char *)"",
                (char *)"Zone %d, width: %4d, length: %4d, x1: %4d  x2: %4d  y1: %4d  y2: %4d",
                i + 1, zwidth, zlength, crop->regionlist[i].x1,
                crop->regionlist[i].x2, crop->regionlist[i].y1,
                crop->regionlist[i].y2);
    } else {

    }
#line 4598
    i ++;
  }
   4160: /* CIL Label */ 
#line 4713
  return (0);
}
}

cilRep: liveness failure for getCropOffsets: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 5147
mirror = (unsigned short )((int )image->adjustments & 3);
#line 5148
tmp = mirrorImage(image->spp, image->bps, mirror, image->width, image->length,
                  work_buff);
Liveness failed on function:
 static int correct_orientation(struct image_data *image ,
                                unsigned char **work_buff_ptr ) 
{ uint16 mirror ;
  uint16 rotation ;
  unsigned char *work_buff ;
  int tmp ;
  int tmp___0 ;
  int tmp___1 ;

  {
   4466: /* CIL Label */ 
#line 5138
  work_buff = *work_buff_ptr;
   4467: /* CIL Label */ 
#line 5139
  if ((unsigned int )image == (unsigned int )((void *)0)) {
#line 5141
    TIFFError("correct_orientatin", "Invalid image or buffer pointer");
#line 5142
    return (-1);
  } else {
#line 5139
    if ((unsigned int )work_buff == (unsigned int )((void *)0)) {
#line 5141
      TIFFError("correct_orientatin", "Invalid image or buffer pointer");
#line 5142
      return (-1);
    } else {

    }
  }
   4468: /* CIL Label */ 
#line 5145
  if ((int )image->adjustments & 1) {
    goto _L;
  } else {
#line 5145
    if ((int )image->adjustments & 2) {
      _L: /* CIL Label */ 
#line 5147
      mirror = (unsigned short )((int )image->adjustments & 3);
#line 5148
      tmp = mirrorImage(image->spp, image->bps, mirror, image->width,
                        image->length, work_buff);
#line 5148
      if (tmp) {
#line 5151
        TIFFError("correct_orientation", "Unable to mirror image");
#line 5152
        return (-1);
      } else {

      }
    } else {

    }
  }
   4469: /* CIL Label */ 
#line 5156
  if ((int )image->adjustments & 8) {
    goto _L___0;
  } else {
#line 5156
    if (16) {
      goto _L___0;
    } else {
      _L___0: /* CIL Label */ 
#line 5158
      if ((int )image->adjustments & 8) {
#line 5159
        rotation = (unsigned short)90;
      } else {
#line 5161
        if ((int )image->adjustments & 16) {
#line 5162
          rotation = (unsigned short)180;
        } else {
#line 5164
          if ((int )image->adjustments & 32) {
#line 5165
            rotation = (unsigned short)270;
          } else {
#line 5168
            if ((int )image->adjustments & 8) {
#line 5168
              tmp___0 = 1;
            } else {
#line 5168
              tmp___0 = 1;
            }
#line 5168
            TIFFError("correct_orientation", "Invalid rotation value: %d",
                      tmp___0);
#line 5170
            return (-1);
          }
        }
      }
#line 5173
      tmp___1 = rotateImage(rotation, image, & image->width, & image->length,
                            work_buff_ptr);
#line 5173
      if (tmp___1) {
#line 5175
        TIFFError("correct_orientation", "Unable to rotate image");
#line 5176
        return (-1);
      } else {

      }
#line 5178
      image->orientation = (unsigned short)1;
    }
  }
   4470: /* CIL Label */ 
#line 5181
  return (0);
}
}

cilRep: liveness failure for correct_orientation: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 6458
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)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	p63: true (1)
	p64: 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)
cachingRepresentation: sanity checking passed (time_taken = 19.0483)
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 = 6458
cilRep: stmts in weighted_path = 289
cilRep: total weight = 55
cilRep: stmts in weighted_path with weight >= 1.0 = 29
cilRep: tools/tiffcrop.c (code bank/base file; atoms [1,6458])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1367977123.362069)
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: 315
cilRep: fix-space quotient by string: 977 -> 712
progeq: WARNING: cannot resolve call: _TIFFfree
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: __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: __ctype_tolower_loc
progeq: WARNING: cannot resolve call: __ctype_toupper_loc
progeq: WARNING: cannot resolve call: __xstat
progeq: WARNING: cannot resolve call: __lxstat
progeq: WARNING: cannot resolve call: __fxstat
progeq: WARNING: cannot resolve call: __fxstatat
progeq: WARNING: cannot resolve call: __xmknod
progeq: WARNING: cannot resolve call: __xmknodat
progeq: WARNING: cannot resolve call: TIFFTileSize
progeq: WARNING: cannot resolve call: _TIFFmalloc
progeq: WARNING: cannot resolve call: TIFFScanlineSize
progeq: WARNING: cannot resolve call: TIFFTileRowSize
progeq: WARNING: cannot resolve call: TIFFGetField
progeq: WARNING: cannot resolve call: TIFFReadTile
progeq: WARNING: cannot resolve call: TIFFFileName
progeq: WARNING: cannot resolve call: TIFFError
progeq: WARNING: cannot resolve call: TIFFRasterScanlineSize
progeq: WARNING: cannot resolve call: __assert_fail
progeq: WARNING: cannot resolve call: TIFFGetFieldDefaulted
progeq: WARNING: cannot resolve call: TIFFVStripSize
progeq: WARNING: cannot resolve call: TIFFWriteEncodedStrip
progeq: WARNING: cannot resolve call: TIFFStripSize
progeq: WARNING: cannot resolve call: memset
progeq: WARNING: cannot resolve call: __builtin_va_start
progeq: WARNING: cannot resolve call: _TIFFmemcpy
progeq: WARNING: cannot resolve call: sprintf
progeq: WARNING: cannot resolve call: TIFFWriteTile
progeq: WARNING: cannot resolve call: __builtin_strcmp
progeq: WARNING: cannot resolve call: TIFFGetVersion
progeq: WARNING: cannot resolve call: getopt
progeq: WARNING: cannot resolve call: strtok
progeq: WARNING: cannot resolve call: sscanf
progeq: WARNING: cannot resolve call: __builtin_strpbrk
progeq: WARNING: cannot resolve call: strcpy
progeq: WARNING: cannot resolve call: __builtin_strncpy
progeq: WARNING: cannot resolve call: TIFFClose
progeq: WARNING: cannot resolve call: __builtin_strncat
progeq: WARNING: cannot resolve call: TIFFOpen
progeq: WARNING: cannot resolve call: TIFFNumberOfDirectories
progeq: WARNING: cannot resolve call: TIFFSetDirectory
progeq: WARNING: cannot resolve call: TIFFIsTiled
progeq: WARNING: cannot resolve call: TIFFNumberOfTiles
progeq: WARNING: cannot resolve call: TIFFNumberOfStrips
progeq: WARNING: cannot resolve call: _TIFFrealloc
progeq: WARNING: cannot resolve call: free
progeq: WARNING: cannot resolve call: _TIFFmemset
progeq: WARNING: cannot resolve call: TIFFReadScanline
progeq: WARNING: cannot resolve call: TIFFSetField
progeq: WARNING: cannot resolve call: TIFFDefaultTileSize
progeq: WARNING: cannot resolve call: TIFFDefaultStripSize
progeq: WARNING: cannot resolve call: __rawmemchr
progeq: WARNING: cannot resolve call: TIFFWriteDirectory
search: fix space reduced (time_taken = 911.642)
search: ww_adaptive: 287 deletes
search: ww_adaptive: 10695 appends
search: ww_adaptive: 10982 possible edits
search: ready to start (time_taken = 201.161)
search: ww_adaptive: finding best
	from new super-mutant
search: ww_adaptive: finding 50 best for super-mutant
rep: WARNING: test_visiting_atoms: no data available
	try using --coverage-per-test and/or --regen-paths
	defaulting to 'all tests'
search: ww_adaptive: found 50 best (time_taken = 0.789741)
search: ww_adaptive: found best (time_taken = 0.00619006)
	variant     1/10982 = ?(1,a(4050,4107)) ?(2,a(4050,4108)) ?(3,a(4050,4140)) ?(4,a(4050,4141)) ?(5,a(4050,4142)) ?(6,a(4050,4143)) ?(7,a(4050,4144)) ?(8,a(4050,4145)) ?(9,a(4050,4146)) ?(10,a(4050,4147)) ?(11,a(4050,4148)) ?(12,a(4050,4149)) ?(13,a(4050,4150)) ?(14,a(4050,4151)) ?(15,a(4050,4152)) ?(16,a(4050,4153)) ?(17,a(4050,4154)) ?(18,a(4050,4156)) ?(19,a(4050,4157)) ?(20,a(4050,4158)) ?(21,a(4050,4159)) ?(22,a(4050,4160)) ?(23,a(4050,6296)) ?(24,d(1604)) ?(25,d(1605)) ?(26,d(1623)) ?(27,d(1624)) ?(28,d(1642)) ?(29,d(1643)) ?(30,d(1644)) ?(31,d(1645)) ?(32,d(1649)) ?(33,d(1650)) ?(34,d(1651)) ?(35,d(1652)) ?(36,d(1764)) ?(37,d(1768)) ?(38,d(1770)) ?(39,d(1908)) ?(40,d(1909)) ?(41,d(3870)) ?(42,d(3871)) ?(43,d(3872)) ?(44,d(3878)) ?(45,d(3879)) ?(46,d(3883)) ?(47,d(4022)) ?(48,d(4044)) ?(49,d(4045)) ?(50,d(4050))  (73 tests, cond 1)
		n1 false (test_time = 4.60825)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.020798)
	variant     2/10982 = ?(1,a(4050,4107)) ?(2,a(4050,4108)) ?(3,a(4050,4140)) ?(4,a(4050,4141)) ?(5,a(4050,4142)) ?(6,a(4050,4143)) ?(7,a(4050,4144)) ?(8,a(4050,4145)) ?(9,a(4050,4146)) ?(10,a(4050,4147)) ?(11,a(4050,4148)) ?(12,a(4050,4149)) ?(13,a(4050,4150)) ?(14,a(4050,4151)) ?(15,a(4050,4152)) ?(16,a(4050,4153)) ?(17,a(4050,4154)) ?(18,a(4050,4156)) ?(19,a(4050,4157)) ?(20,a(4050,4158)) ?(21,a(4050,4159)) ?(22,a(4050,4160)) ?(23,a(4050,6296)) ?(24,d(1604)) ?(25,d(1605)) ?(26,d(1623)) ?(27,d(1624)) ?(28,d(1642)) ?(29,d(1643)) ?(30,d(1644)) ?(31,d(1645)) ?(32,d(1649)) ?(33,d(1650)) ?(34,d(1651)) ?(35,d(1652)) ?(36,d(1764)) ?(37,d(1768)) ?(38,d(1770)) ?(39,d(1908)) ?(40,d(1909)) ?(41,d(3870)) ?(42,d(3871)) ?(43,d(3872)) ?(44,d(3878)) ?(45,d(3879)) ?(46,d(3883)) ?(47,d(4022)) ?(48,d(4044)) ?(49,d(4045)) ?(50,d(4050))  (73 tests, cond 50)
		n1 false (test_time = 3.78298)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0216539)
	variant     3/10982 = ?(1,a(4050,4107)) ?(2,a(4050,4108)) ?(3,a(4050,4140)) ?(4,a(4050,4141)) ?(5,a(4050,4142)) ?(6,a(4050,4143)) ?(7,a(4050,4144)) ?(8,a(4050,4145)) ?(9,a(4050,4146)) ?(10,a(4050,4147)) ?(11,a(4050,4148)) ?(12,a(4050,4149)) ?(13,a(4050,4150)) ?(14,a(4050,4151)) ?(15,a(4050,4152)) ?(16,a(4050,4153)) ?(17,a(4050,4154)) ?(18,a(4050,4156)) ?(19,a(4050,4157)) ?(20,a(4050,4158)) ?(21,a(4050,4159)) ?(22,a(4050,4160)) ?(23,a(4050,6296)) ?(24,d(1604)) ?(25,d(1605)) ?(26,d(1623)) ?(27,d(1624)) ?(28,d(1642)) ?(29,d(1643)) ?(30,d(1644)) ?(31,d(1645)) ?(32,d(1649)) ?(33,d(1650)) ?(34,d(1651)) ?(35,d(1652)) ?(36,d(1764)) ?(37,d(1768)) ?(38,d(1770)) ?(39,d(1908)) ?(40,d(1909)) ?(41,d(3870)) ?(42,d(3871)) ?(43,d(3872)) ?(44,d(3878)) ?(45,d(3879)) ?(46,d(3883)) ?(47,d(4022)) ?(48,d(4044)) ?(49,d(4045)) ?(50,d(4050))  (73 tests, cond 49)
		n1 false (test_time = 3.72314)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0256999)
	variant     4/10982 = ?(1,a(4050,4107)) ?(2,a(4050,4108)) ?(3,a(4050,4140)) ?(4,a(4050,4141)) ?(5,a(4050,4142)) ?(6,a(4050,4143)) ?(7,a(4050,4144)) ?(8,a(4050,4145)) ?(9,a(4050,4146)) ?(10,a(4050,4147)) ?(11,a(4050,4148)) ?(12,a(4050,4149)) ?(13,a(4050,4150)) ?(14,a(4050,4151)) ?(15,a(4050,4152)) ?(16,a(4050,4153)) ?(17,a(4050,4154)) ?(18,a(4050,4156)) ?(19,a(4050,4157)) ?(20,a(4050,4158)) ?(21,a(4050,4159)) ?(22,a(4050,4160)) ?(23,a(4050,6296)) ?(24,d(1604)) ?(25,d(1605)) ?(26,d(1623)) ?(27,d(1624)) ?(28,d(1642)) ?(29,d(1643)) ?(30,d(1644)) ?(31,d(1645)) ?(32,d(1649)) ?(33,d(1650)) ?(34,d(1651)) ?(35,d(1652)) ?(36,d(1764)) ?(37,d(1768)) ?(38,d(1770)) ?(39,d(1908)) ?(40,d(1909)) ?(41,d(3870)) ?(42,d(3871)) ?(43,d(3872)) ?(44,d(3878)) ?(45,d(3879)) ?(46,d(3883)) ?(47,d(4022)) ?(48,d(4044)) ?(49,d(4045)) ?(50,d(4050))  (73 tests, cond 48)
		n1 false (test_time = 3.75932)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0125539)
	variant     5/10982 = ?(1,a(4050,4107)) ?(2,a(4050,4108)) ?(3,a(4050,4140)) ?(4,a(4050,4141)) ?(5,a(4050,4142)) ?(6,a(4050,4143)) ?(7,a(4050,4144)) ?(8,a(4050,4145)) ?(9,a(4050,4146)) ?(10,a(4050,4147)) ?(11,a(4050,4148)) ?(12,a(4050,4149)) ?(13,a(4050,4150)) ?(14,a(4050,4151)) ?(15,a(4050,4152)) ?(16,a(4050,4153)) ?(17,a(4050,4154)) ?(18,a(4050,4156)) ?(19,a(4050,4157)) ?(20,a(4050,4158)) ?(21,a(4050,4159)) ?(22,a(4050,4160)) ?(23,a(4050,6296)) ?(24,d(1604)) ?(25,d(1605)) ?(26,d(1623)) ?(27,d(1624)) ?(28,d(1642)) ?(29,d(1643)) ?(30,d(1644)) ?(31,d(1645)) ?(32,d(1649)) ?(33,d(1650)) ?(34,d(1651)) ?(35,d(1652)) ?(36,d(1764)) ?(37,d(1768)) ?(38,d(1770)) ?(39,d(1908)) ?(40,d(1909)) ?(41,d(3870)) ?(42,d(3871)) ?(43,d(3872)) ?(44,d(3878)) ?(45,d(3879)) ?(46,d(3883)) ?(47,d(4022)) ?(48,d(4044)) ?(49,d(4045)) ?(50,d(4050))  (73 tests, cond 47)
		n1 true (test_time = 3.80163)
		n2 true (test_time = 0.393417)
		n3 true (test_time = 0.392944)
		n4 true (test_time = 0.394287)
		n5 true (test_time = 0.392444)
		n6 true (test_time = 0.394279)
		n7 true (test_time = 0.395689)
		n8 true (test_time = 0.400693)
		n9 true (test_time = 0.394719)
		p1 true (test_time = 0.347049)
		p2 true (test_time = 0.353128)
		p3 true (test_time = 0.350072)
		p4 true (test_time = 0.353327)
		p5 true (test_time = 0.353433)
		p6 true (test_time = 0.395802)
		p7 true (test_time = 0.39585)
		p8 true (test_time = 0.392813)
		p9 true (test_time = 0.393873)
		p10 true (test_time = 0.394966)
		p11 true (test_time = 0.40786)
		p12 true (test_time = 0.370158)
		p13 true (test_time = 0.36235)
		p14 true (test_time = 0.366023)
		p15 true (test_time = 0.377831)
		p16 true (test_time = 0.375167)
		p17 true (test_time = 0.374973)
		p18 true (test_time = 0.396895)
		p19 true (test_time = 0.384815)
		p20 true (test_time = 0.380855)
		p21 true (test_time = 0.410655)
		p22 true (test_time = 0.462362)
		p23 true (test_time = 0.363984)
		p24 true (test_time = 0.371303)
		p25 true (test_time = 0.368102)
		p26 true (test_time = 0.368099)
		p27 true (test_time = 0.381796)
		p28 true (test_time = 0.419911)
		p29 true (test_time = 0.41025)
		p30 true (test_time = 0.41991)
		p31 true (test_time = 0.413829)
		p32 true (test_time = 0.405424)
		p33 true (test_time = 0.404564)
		p34 true (test_time = 0.404361)
		p35 true (test_time = 0.407043)
		p36 true (test_time = 0.404936)
		p37 true (test_time = 0.420667)
		p38 true (test_time = 0.408825)
		p39 true (test_time = 0.421339)
		p40 true (test_time = 0.408521)
		p41 true (test_time = 0.404705)
		p42 true (test_time = 0.421277)
		p43 true (test_time = 0.404459)
		p44 true (test_time = 0.405221)
		p45 true (test_time = 0.406856)
		p46 true (test_time = 0.42578)
		p47 true (test_time = 0.422199)
		p48 true (test_time = 0.469199)
		p49 true (test_time = 0.407566)
		p50 true (test_time = 0.417273)
		p51 true (test_time = 0.402892)
		p52 true (test_time = 0.408756)
		p53 true (test_time = 0.407283)
		p54 true (test_time = 0.449921)
		p55 true (test_time = 0.419485)
		p56 true (test_time = 0.411156)
		p57 true (test_time = 0.406074)
		p58 true (test_time = 0.446155)
		p59 true (test_time = 0.406174)
		p60 true (test_time = 0.406059)
		p61 true (test_time = 0.405763)
		p62 true (test_time = 0.39868)
		p63 true (test_time = 0.429151)
		p64 true (test_time = 0.406891)
search: ww_adaptive: ends (yes repair)

Repair Found: d(4022)
Repair Name: ?(1,a(4050,4107)) ?(2,a(4050,4108)) ?(3,a(4050,4140)) ?(4,a(4050,4141)) ?(5,a(4050,4142)) ?(6,a(4050,4143)) ?(7,a(4050,4144)) ?(8,a(4050,4145)) ?(9,a(4050,4146)) ?(10,a(4050,4147)) ?(11,a(4050,4148)) ?(12,a(4050,4149)) ?(13,a(4050,4150)) ?(14,a(4050,4151)) ?(15,a(4050,4152)) ?(16,a(4050,4153)) ?(17,a(4050,4154)) ?(18,a(4050,4156)) ?(19,a(4050,4157)) ?(20,a(4050,4158)) ?(21,a(4050,4159)) ?(22,a(4050,4160)) ?(23,a(4050,6296)) ?(24,d(1604)) ?(25,d(1605)) ?(26,d(1623)) ?(27,d(1624)) ?(28,d(1642)) ?(29,d(1643)) ?(30,d(1644)) ?(31,d(1645)) ?(32,d(1649)) ?(33,d(1650)) ?(34,d(1651)) ?(35,d(1652)) ?(36,d(1764)) ?(37,d(1768)) ?(38,d(1770)) ?(39,d(1908)) ?(40,d(1909)) ?(41,d(3870)) ?(42,d(3871)) ?(43,d(3872)) ?(44,d(3878)) ?(45,d(3879)) ?(46,d(3883)) ?(47,d(4022)) ?(48,d(4044)) ?(49,d(4045)) ?(50,d(4050)) 
Test Condition: 47
Test Cases Skipped: ""
Current Time: 1367978288.107228
Rep: saving test cache

Variant Test Case Queries: 77
"Test Suite Evaluations": 1.05479

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1187.94
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.690 = 0.0593212%
  find_k_best_edits                     1   0.790 = 0.0679446%
  compile                               6  23.520 = 2.02354%
  test                                150  42.220 = 3.63236%
  append_sources                      287 201.152 = 17.3061%
  progeq partition                    712 893.861 = 76.9033%
  TOTAL                                   1162.319 = 97.8428% (avg CPU usage)
libtiff-bug-5b02179-3dfb33b.tar.gz
Tue May  7 21:58:09 EDT 2013
shutting down
