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 1
--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 73
--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-09-B0-C9 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:16 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/tmpb491b0.c /tmp/tmpeb9962.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/tiffcp.c: parsing
cilRep: preprocessed/tools/tiffcp.c: parsed (0.23936 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 791 "tiffcp.c"
_TIFFfree(buf);
Liveness failed on function:
 static int cpContig2ContigByRow(TIFF *in , TIFF *out , uint32 imagelength ,
                                 uint32 imagewidth , tsample_t spp ) 
{ tdata_t buf ;
  tmsize_t tmp ;
  void *tmp___0 ;
  uint32 row ;
  char const   *tmp___1 ;
  int tmp___2 ;
  char const   *tmp___3 ;
  int tmp___4 ;

  {
   1032: /* CIL Label */ 
#line 770
  tmp = TIFFScanlineSize(in);
   1033: /* CIL Label */ 
#line 770
  tmp___0 = _TIFFmalloc(tmp);
   1034: /* CIL Label */ 
#line 770
  buf = tmp___0;
   1035: /* CIL Label */ 
#line 774
  row = 0U;
   1036: /* CIL Label */ 
#line 774
  while (row < imagelength) {
#line 775
    tmp___2 = TIFFReadScanline(in, buf, row, (unsigned short)0);
#line 775
    if (tmp___2 < 0) {
#line 775
      if (! ignore) {
#line 776
        tmp___1 = TIFFFileName(in);
#line 776
        TIFFError(tmp___1, "Error, can\'t read scanline %lu",
                  (unsigned long )row);
        goto bad;
      } else {

      }
    } else {

    }
#line 781
    tmp___4 = TIFFWriteScanline(out, buf, row, (unsigned short)0);
#line 781
    if (tmp___4 < 0) {
#line 782
      tmp___3 = TIFFFileName(out);
#line 782
      TIFFError(tmp___3, "Error, can\'t write scanline %lu", (unsigned long )row);
      goto bad;
    } else {

    }
#line 774
    row ++;
  }
   1037: /* CIL Label */ 
#line 788
  _TIFFfree(buf);
   1038: /* CIL Label */ 
#line 789
  return (1);
   1039: /* CIL Label */ 
  bad: 
#line 791
  _TIFFfree(buf);
   1040: /* CIL Label */ 
#line 792
  return (0);
}
}

cilRep: liveness failure for cpContig2ContigByRow: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 875
_TIFFfree(buf);
#line 876
_TIFFfree(biasBuf);
Liveness failed on function:
 static int cpBiasedContig2Contig(TIFF *in , TIFF *out , uint32 imagelength ,
                                  uint32 imagewidth , tsample_t spp ) 
{ tsize_t biasSize ;
  tmsize_t tmp ;
  tsize_t bufSize ;
  tmsize_t tmp___0 ;
  tdata_t buf ;
  tdata_t biasBuf ;
  uint32 biasWidth ;
  uint32 biasLength ;
  uint16 sampleBits ;
  biasFn *subtractLine ;
  uint32 row ;
  char const   *tmp___1 ;
  int tmp___2 ;
  char const   *tmp___3 ;
  int tmp___4 ;
  char const   *tmp___5 ;
  int tmp___6 ;
  uint16 tmp___7 ;
  char const   *tmp___8 ;
  uint16 tmp___9 ;
  char const   *tmp___10 ;
  uint16 tmp___11 ;
  char const   *tmp___12 ;
  char const   *tmp___13 ;
  uint16 tmp___14 ;
  char const   *tmp___15 ;
  char const   *tmp___16 ;

  {
   1152: /* CIL Label */ 
#line 828
  if ((int )spp == 1) {
#line 829
    tmp = TIFFScanlineSize(bias);
#line 829
    biasSize = tmp;
#line 830
    tmp___0 = TIFFScanlineSize(in);
#line 830
    bufSize = tmp___0;
#line 832
    biasWidth = (uint32 )0;
#line 832
    biasLength = (uint32 )0;
#line 833
    TIFFGetField(bias, 256U, & biasWidth);
#line 834
    TIFFGetField(bias, 257U, & biasLength);
#line 835
    if (biasSize == bufSize) {
#line 835
      if (imagelength == biasLength) {
#line 835
        if (imagewidth == biasWidth) {
#line 837
          sampleBits = (uint16 )0;
#line 839
          TIFFGetField(in, 258U, & sampleBits);
#line 840
          subtractLine = lineSubtractFn((unsigned int )sampleBits);
#line 841
          if (subtractLine) {
#line 843
            buf = _TIFFmalloc(bufSize);
#line 844
            biasBuf = _TIFFmalloc(bufSize);
#line 845
            row = 0U;
#line 845
            while (row < imagelength) {
#line 846
              tmp___2 = TIFFReadScanline(in, buf, row, (unsigned short)0);
#line 846
              if (tmp___2 < 0) {
#line 846
                if (! ignore) {
#line 848
                  tmp___1 = TIFFFileName(in);
#line 848
                  TIFFError(tmp___1, "Error, can\'t read scanline %lu",
                            (unsigned long )row);
                  goto bad;
                } else {

                }
              } else {

              }
#line 853
              tmp___4 = TIFFReadScanline(bias, biasBuf, row, (unsigned short)0);
#line 853
              if (tmp___4 < 0) {
#line 853
                if (! ignore) {
#line 855
                  tmp___3 = TIFFFileName(in);
#line 855
                  TIFFError(tmp___3, "Error, can\'t read biased scanline %lu",
                            (unsigned long )row);
                  goto bad;
                } else {

                }
              } else {

              }
#line 860
              (*subtractLine)(buf, biasBuf, imagewidth);
#line 861
              tmp___6 = TIFFWriteScanline(out, buf, row, (unsigned short)0);
#line 861
              if (tmp___6 < 0) {
#line 862
                tmp___5 = TIFFFileName(out);
#line 862
                TIFFError(tmp___5, "Error, can\'t write scanline %lu",
                          (unsigned long )row);
                goto bad;
              } else {

              }
#line 845
              row ++;
            }
#line 869
            _TIFFfree(buf);
#line 870
            _TIFFfree(biasBuf);
#line 871
            tmp___7 = TIFFCurrentDirectory(bias);
#line 871
            TIFFSetDirectory(bias, tmp___7);
#line 873
            return (1);
            bad: 
#line 875
            _TIFFfree(buf);
#line 876
            _TIFFfree(biasBuf);
#line 877
            return (0);
          } else {
#line 879
            tmp___8 = TIFFFileName(in);
#line 879
            TIFFError(tmp___8, "No support for biasing %d bit pixels\n",
                      sampleBits);
#line 882
            return (0);
          }
        } else {

        }
      } else {

      }
    } else {

    }
#line 885
    tmp___9 = TIFFCurrentDirectory(in);
#line 885
    tmp___10 = TIFFFileName(in);
#line 885
    tmp___11 = TIFFCurrentDirectory(bias);
#line 885
    tmp___12 = TIFFFileName(bias);
#line 885
    tmp___13 = TIFFFileName(in);
#line 885
    TIFFError(tmp___13, "Bias image %s,%d\nis not the same size as %s,%d\n",
              tmp___12, tmp___11, tmp___10, tmp___9);
#line 889
    return (0);
  } else {
#line 891
    tmp___14 = TIFFCurrentDirectory(in);
#line 891
    tmp___15 = TIFFFileName(in);
#line 891
    tmp___16 = TIFFFileName(in);
#line 891
    TIFFError(tmp___16, "Can\'t bias %s,%d as it has >1 Sample/Pixel\n",
              tmp___15, tmp___14);
#line 894
    return (0);
  }
}
}

cilRep: liveness failure for cpBiasedContig2Contig: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 940
_TIFFfree(buf);
Liveness failed on function:
 static int cpDecodedStrips(TIFF *in , TIFF *out , uint32 imagelength ,
                            uint32 imagewidth , tsample_t spp ) 
{ tsize_t stripsize ;
  tmsize_t tmp ;
  tdata_t buf ;
  void *tmp___0 ;
  tstrip_t s ;
  tstrip_t ns ;
  uint32 tmp___1 ;
  uint32 row ;
  tsize_t cc ;
  tmsize_t tmp___2 ;
  tmsize_t tmp___3 ;
  char const   *tmp___4 ;
  tmsize_t tmp___5 ;
  char const   *tmp___6 ;
  tmsize_t tmp___7 ;
  char const   *tmp___8 ;

  {
   1184: /* CIL Label */ 
#line 905
  tmp = TIFFStripSize(in);
   1185: /* CIL Label */ 
#line 905
  stripsize = tmp;
   1186: /* CIL Label */ 
#line 906
  tmp___0 = _TIFFmalloc(stripsize);
   1187: /* CIL Label */ 
#line 906
  buf = tmp___0;
   1188: /* CIL Label */ 
#line 909
  if (buf) {
#line 910
    tmp___1 = TIFFNumberOfStrips(in);
#line 910
    ns = tmp___1;
#line 911
    row = (uint32 )0;
#line 912
    s = 0U;
#line 912
    while (s < ns) {
#line 913
      if (row + rowsperstrip > imagelength) {
#line 913
        tmp___2 = TIFFVStripSize(in, imagelength - row);
#line 913
        tmp___3 = tmp___2;
      } else {
#line 913
        tmp___3 = stripsize;
      }
#line 913
      cc = tmp___3;
#line 915
      tmp___5 = TIFFReadEncodedStrip(in, s, buf, cc);
#line 915
      if (tmp___5 < 0L) {
#line 915
        if (! ignore) {
#line 917
          tmp___4 = TIFFFileName(in);
#line 917
          TIFFError(tmp___4, "Error, can\'t read strip %lu", (unsigned long )s);
          goto bad;
        } else {

        }
      } else {

      }
#line 922
      tmp___7 = TIFFWriteEncodedStrip(out, s, buf, cc);
#line 922
      if (tmp___7 < 0L) {
#line 923
        tmp___6 = TIFFFileName(out);
#line 923
        TIFFError(tmp___6, "Error, can\'t write strip %lu", (unsigned long )s);
        goto bad;
      } else {

      }
#line 928
      row += rowsperstrip;
#line 912
      s ++;
    }
#line 930
    _TIFFfree(buf);
#line 931
    return (1);
  } else {
#line 933
    tmp___8 = TIFFFileName(in);
#line 933
    TIFFError(tmp___8,
              "Error, can\'t allocate memory buffer of size %lu to read strips",
              (unsigned long )stripsize);
#line 936
    return (0);
  }
   1189: /* CIL Label */ 
  bad: 
#line 940
  _TIFFfree(buf);
   1190: /* CIL Label */ 
#line 941
  return (0);
}
}

cilRep: liveness failure for cpDecodedStrips: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 973
_TIFFfree(buf);
Liveness failed on function:
 static int cpSeparate2SeparateByRow(TIFF *in , TIFF *out , uint32 imagelength ,
                                     uint32 imagewidth , tsample_t spp ) 
{ tdata_t buf ;
  tmsize_t tmp ;
  void *tmp___0 ;
  uint32 row ;
  tsample_t s ;
  char const   *tmp___1 ;
  int tmp___2 ;
  char const   *tmp___3 ;
  int tmp___4 ;

  {
   1211: /* CIL Label */ 
#line 949
  tmp = TIFFScanlineSize(in);
   1212: /* CIL Label */ 
#line 949
  tmp___0 = _TIFFmalloc(tmp);
   1213: /* CIL Label */ 
#line 949
  buf = tmp___0;
   1214: /* CIL Label */ 
#line 954
  s = (unsigned short)0;
   1215: /* CIL Label */ 
#line 954
  while ((int )s < (int )spp) {
#line 955
    row = 0U;
#line 955
    while (row < imagelength) {
#line 956
      tmp___2 = TIFFReadScanline(in, buf, row, s);
#line 956
      if (tmp___2 < 0) {
#line 956
        if (! ignore) {
#line 957
          tmp___1 = TIFFFileName(in);
#line 957
          TIFFError(tmp___1, "Error, can\'t read scanline %lu",
                    (unsigned long )row);
          goto bad;
        } else {

        }
      } else {

      }
#line 962
      tmp___4 = TIFFWriteScanline(out, buf, row, s);
#line 962
      if (tmp___4 < 0) {
#line 963
        tmp___3 = TIFFFileName(out);
#line 963
        TIFFError(tmp___3, "Error, can\'t write scanline %lu",
                  (unsigned long )row);
        goto bad;
      } else {

      }
#line 955
      row ++;
    }
#line 954
    s = (tsample_t )((int )s + 1);
  }
   1216: /* CIL Label */ 
#line 970
  _TIFFfree(buf);
   1217: /* CIL Label */ 
#line 971
  return (1);
   1218: /* CIL Label */ 
  bad: 
#line 973
  _TIFFfree(buf);
   1219: /* CIL Label */ 
#line 974
  return (0);
}
}

cilRep: liveness failure for cpSeparate2SeparateByRow: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: done: 
#line 1213
_TIFFfree(scanline);
Liveness failed on function:
 static int readSeparateStripsIntoBuffer(TIFF *in , uint8 *buf ,
                                         uint32 imagelength ,
                                         uint32 imagewidth , tsample_t spp ) 
{ int status ;
  tsize_t scanlinesize ;
  tmsize_t tmp ;
  tdata_t scanline ;
  uint8 *bufp ;
  uint32 row ;
  tsample_t s ;
  uint8 *bp ;
  tsize_t n ;
  uint8 *sbuf ;
  char const   *tmp___0 ;
  int tmp___1 ;
  uint8 *tmp___2 ;
  tsize_t tmp___3 ;

  {
   1476: /* CIL Label */ 
#line 1177
  status = 1;
   1477: /* CIL Label */ 
#line 1178
  tmp = TIFFScanlineSize(in);
   1478: /* CIL Label */ 
#line 1178
  scanlinesize = tmp;
   1479: /* CIL Label */ 
#line 1180
  if (! scanlinesize) {
#line 1181
    return (0);
  } else {

  }
   1480: /* CIL Label */ 
#line 1183
  scanline = _TIFFmalloc(scanlinesize);
   1481: /* CIL Label */ 
#line 1186
  if (scanline) {
#line 1187
    bufp = buf;
#line 1190
    row = 0U;
#line 1190
    while (row < imagelength) {
#line 1192
      s = (unsigned short)0;
#line 1192
      while ((int )s < (int )spp) {
#line 1193
        bp = bufp + (int )s;
#line 1194
        n = scanlinesize;
#line 1195
        sbuf = (uint8 *)scanline;
#line 1197
        tmp___1 = TIFFReadScanline(in, scanline, row, s);
#line 1197
        if (tmp___1 < 0) {
#line 1197
          if (! ignore) {
#line 1199
            tmp___0 = TIFFFileName(in);
#line 1199
            TIFFError(tmp___0, "Error, can\'t read scanline %lu",
                      (unsigned long )row);
#line 1202
            status = 0;
            goto done;
          } else {

          }
        } else {

        }
#line 1205
        while (1) {
#line 1205
          tmp___3 = n;
#line 1205
          n --;
#line 1205
          if (tmp___3 > 0L) {

          } else {
#line 1205
            break;
          }
#line 1206
          tmp___2 = sbuf;
#line 1206
          sbuf ++;
#line 1206
          *bp = *tmp___2;
#line 1206
          bp += (int )spp;
        }
#line 1192
        s = (tsample_t )((int )s + 1);
      }
#line 1208
      bufp += scanlinesize * (tsize_t )spp;
#line 1190
      row ++;
    }
  } else {

  }
   1482: /* CIL Label */ 
  done: 
#line 1213
  _TIFFfree(scanline);
   1483: /* CIL Label */ 
#line 1214
  return (status);
}
}

cilRep: liveness failure for readSeparateStripsIntoBuffer: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: done: 
#line 1264
_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 ;

  {
   1514: /* CIL Label */ 
#line 1219
  status = 1;
   1515: /* CIL Label */ 
#line 1220
  tmp = TIFFTileSize(in);
   1516: /* CIL Label */ 
#line 1220
  tmp___0 = _TIFFmalloc(tmp);
   1517: /* CIL Label */ 
#line 1220
  tilebuf = tmp___0;
   1518: /* CIL Label */ 
#line 1221
  tmp___1 = TIFFScanlineSize(in);
   1519: /* CIL Label */ 
#line 1221
  imagew = (uint32 )tmp___1;
   1520: /* CIL Label */ 
#line 1222
  tmp___2 = TIFFTileRowSize(in);
   1521: /* CIL Label */ 
#line 1222
  tilew = (uint32 )tmp___2;
   1522: /* CIL Label */ 
#line 1223
  iskew = (int )(imagew - tilew);
   1523: /* CIL Label */ 
#line 1224
  bufp = buf;
   1524: /* CIL Label */ 
#line 1229
  if ((unsigned int )tilebuf == (unsigned int )((tdata_t )0)) {
#line 1230
    return (0);
  } else {

  }
   1525: /* CIL Label */ 
#line 1231
  TIFFGetField(in, 322U, & tw);
   1526: /* CIL Label */ 
#line 1232
  TIFFGetField(in, 323U, & tl);
   1527: /* CIL Label */ 
#line 1234
  row = 0U;
   1528: /* CIL Label */ 
#line 1234
  while (row < imagelength) {
#line 1235
    if (row + tl > imagelength) {
#line 1235
      tmp___3 = imagelength - row;
    } else {
#line 1235
      tmp___3 = tl;
    }
#line 1235
    nrow = tmp___3;
#line 1236
    colb = (uint32 )0;
#line 1239
    col = 0U;
#line 1239
    while (col < imagewidth) {
#line 1240
      tmp___5 = TIFFReadTile(in, tilebuf, col, row, 0U, (unsigned short)0);
#line 1240
      if (tmp___5 < 0L) {
#line 1240
        if (! ignore) {
#line 1242
          tmp___4 = TIFFFileName(in);
#line 1242
          TIFFError(tmp___4, "Error, can\'t read tile at %lu %lu",
                    (unsigned long )col, (unsigned long )row);
#line 1246
          status = 0;
          goto done;
        } else {

        }
      } else {

      }
#line 1249
      if (colb + tilew > imagew) {
#line 1250
        width = imagew - colb;
#line 1251
        oskew = tilew - width;
#line 1252
        cpStripToTile(bufp + colb, (uint8 *)tilebuf, nrow, width,
                      (int )(oskew + (uint32 )iskew), (int )oskew);
      } else {
#line 1256
        cpStripToTile(bufp + colb, (uint8 *)tilebuf, nrow, tilew, iskew, 0);
      }
#line 1259
      colb += tilew;
#line 1239
      col += tw;
    }
#line 1261
    bufp += imagew * nrow;
#line 1234
    row += tl;
  }
   1529: /* CIL Label */ 
  done: 
#line 1264
  _TIFFfree(tilebuf);
   1530: /* CIL Label */ 
#line 1265
  return (status);
}
}

cilRep: liveness failure for readContigTilesIntoBuffer: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: done: 
#line 1334
_TIFFfree(tilebuf);
Liveness failed on function:
 static int readSeparateTilesIntoBuffer(TIFF *in , uint8 *buf ,
                                        uint32 imagelength , uint32 imagewidth ,
                                        tsample_t 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 ;

  {
   1568: /* CIL Label */ 
#line 1270
  status = 1;
   1569: /* CIL Label */ 
#line 1271
  tmp = TIFFRasterScanlineSize(in);
   1570: /* CIL Label */ 
#line 1271
  imagew = (uint32 )tmp;
   1571: /* CIL Label */ 
#line 1272
  tmp___0 = TIFFTileRowSize(in);
   1572: /* CIL Label */ 
#line 1272
  tilew = (uint32 )tmp___0;
   1573: /* CIL Label */ 
#line 1273
  iskew = (int )(imagew - tilew * (uint32 )spp);
   1574: /* CIL Label */ 
#line 1274
  tmp___1 = TIFFTileSize(in);
   1575: /* CIL Label */ 
#line 1274
  tmp___2 = _TIFFmalloc(tmp___1);
   1576: /* CIL Label */ 
#line 1274
  tilebuf = tmp___2;
   1577: /* CIL Label */ 
#line 1275
  bufp = buf;
   1578: /* CIL Label */ 
#line 1280
  if ((unsigned int )tilebuf == (unsigned int )((tdata_t )0)) {
#line 1281
    return (0);
  } else {

  }
   1579: /* CIL Label */ 
#line 1282
  TIFFGetField(in, 322U, & tw);
   1580: /* CIL Label */ 
#line 1283
  TIFFGetField(in, 323U, & tl);
   1581: /* CIL Label */ 
#line 1284
  TIFFGetField(in, 258U, & bps);
   1582: /* CIL Label */ 
#line 1285
  if ((int )bps % 8 == 0) {

  } else {
#line 1285
    __assert_fail("bps % 8 == 0", "tiffcp.c", 1285U,
                  "readSeparateTilesIntoBuffer");
  }
   1583: /* CIL Label */ 
#line 1286
  bytes_per_sample = (unsigned short )((int )bps / 8);
   1584: /* CIL Label */ 
#line 1288
  row = 0U;
   1585: /* CIL Label */ 
#line 1288
  while (row < imagelength) {
#line 1289
    if (row + tl > imagelength) {
#line 1289
      tmp___3 = imagelength - row;
    } else {
#line 1289
      tmp___3 = tl;
    }
#line 1289
    nrow = tmp___3;
#line 1290
    colb = (uint32 )0;
#line 1293
    col = 0U;
#line 1293
    while (col < imagewidth) {
#line 1296
      s = (unsigned short)0;
#line 1296
      while ((int )s < (int )spp) {
#line 1297
        tmp___5 = TIFFReadTile(in, tilebuf, col, row, 0U, s);
#line 1297
        if (tmp___5 < 0L) {
#line 1297
          if (! ignore) {
#line 1299
            tmp___4 = TIFFFileName(in);
#line 1299
            TIFFError(tmp___4, "Error, can\'t read tile at %lu %lu, sample %lu",
                      (unsigned long )col, (unsigned long )row,
                      (unsigned long )s);
#line 1305
            status = 0;
            goto done;
          } else {

          }
        } else {

        }
#line 1312
        if (colb + tilew * (uint32 )spp > imagew) {
#line 1313
          width = imagew - colb;
#line 1314
          oskew = (int )(tilew * (uint32 )spp - width);
#line 1315
          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 1323
          cpSeparateBufToContigBuf((bufp + colb) + (int )s * (int )bytes_per_sample,
                                   (uint8 *)tilebuf, nrow, tw, iskew, 0, spp,
                                   (int )bytes_per_sample);
        }
#line 1296
        s = (tsample_t )((int )s + 1);
      }
#line 1329
      colb += tilew * (uint32 )spp;
#line 1293
      col += tw;
    }
#line 1331
    bufp += imagew * nrow;
#line 1288
    row += tl;
  }
   1586: /* CIL Label */ 
  done: 
#line 1334
  _TIFFfree(tilebuf);
   1587: /* CIL Label */ 
#line 1335
  return (status);
}
}

cilRep: liveness failure for readSeparateTilesIntoBuffer: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 1851
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)
	p65: true (1)
	p66: true (1)
	p67: true (1)
	p68: true (1)
	p69: true (1)
	p70: true (1)
	p71: true (1)
	p72: true (1)
	p73: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 19.0699)
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 = 1851
cilRep: stmts in weighted_path = 60
cilRep: total weight = 27.6
cilRep: stmts in weighted_path with weight >= 1.0 = 24
cilRep: tools/tiffcp.c (code bank/base file; atoms [1,1851])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1367977116.072241)
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: 235
cilRep: fix-space quotient by string: 314 -> 273
progeq: computing alias analysis information
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_strchr
progeq: WARNING: cannot resolve call: __ctype_tolower_loc
progeq: WARNING: cannot resolve call: __ctype_toupper_loc
progeq: WARNING: cannot resolve call: TIFFCurrentDirectory
progeq: WARNING: cannot resolve call: TIFFFileName
progeq: WARNING: cannot resolve call: TIFFSetDirectory
progeq: WARNING: cannot resolve call: TIFFOpen
progeq: WARNING: cannot resolve call: TIFFClose
progeq: WARNING: cannot resolve call: getopt
progeq: WARNING: cannot resolve call: TIFFGetVersion
progeq: WARNING: cannot resolve call: TIFFIsTiled
progeq: WARNING: cannot resolve call: TIFFGetField
progeq: WARNING: cannot resolve call: __builtin_strcmp
progeq: WARNING: cannot resolve call: TIFFSetSubDirectory
progeq: WARNING: cannot resolve call: TIFFError
progeq: WARNING: cannot resolve call: TIFFSetField
progeq: WARNING: cannot resolve call: TIFFGetFieldDefaulted
progeq: WARNING: cannot resolve call: TIFFWarning
progeq: WARNING: cannot resolve call: TIFFDefaultTileSize
progeq: WARNING: cannot resolve call: TIFFDefaultStripSize
progeq: WARNING: cannot resolve call: __rawmemchr
progeq: WARNING: cannot resolve call: *cf
progeq: WARNING: cannot resolve call: TIFFWriteDirectory
progeq: WARNING: cannot resolve call: TIFFReadDirectory
progeq: WARNING: cannot resolve call: TIFFScanlineSize
progeq: WARNING: cannot resolve call: _TIFFmalloc
progeq: WARNING: cannot resolve call: TIFFReadScanline
progeq: WARNING: cannot resolve call: TIFFWriteScanline
progeq: WARNING: cannot resolve call: _TIFFfree
progeq: WARNING: cannot resolve call: *subtractLine
progeq: WARNING: cannot resolve call: TIFFStripSize
progeq: WARNING: cannot resolve call: TIFFNumberOfStrips
progeq: WARNING: cannot resolve call: TIFFVStripSize
progeq: WARNING: cannot resolve call: TIFFReadEncodedStrip
progeq: WARNING: cannot resolve call: TIFFWriteEncodedStrip
progeq: WARNING: cannot resolve call: TIFFRasterScanlineSize
progeq: WARNING: cannot resolve call: *fin
progeq: WARNING: cannot resolve call: *fout
progeq: WARNING: cannot resolve call: TIFFTileSize
progeq: WARNING: cannot resolve call: TIFFTileRowSize
progeq: WARNING: cannot resolve call: TIFFReadTile
progeq: WARNING: cannot resolve call: __assert_fail
progeq: WARNING: cannot resolve call: TIFFWriteTile
search: fix space reduced (time_taken = 15.0569)
search: ww_adaptive: 60 deletes
search: ww_adaptive: 890 appends
search: ww_adaptive: 950 possible edits
search: ready to start (time_taken = 12.1745)
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.510673)
search: ww_adaptive: found best (time_taken = 0.00310993)
	variant     1/  950 = ?(1,a(798,295)) ?(2,a(798,793)) ?(3,a(798,794)) ?(4,a(798,795)) ?(5,a(798,796)) ?(6,a(798,797)) ?(7,a(798,798)) ?(8,a(798,799)) ?(9,a(798,800)) ?(10,a(799,295)) ?(11,a(799,793)) ?(12,a(799,795)) ?(13,a(799,796)) ?(14,a(799,797)) ?(15,a(799,799)) ?(16,a(799,800)) ?(17,a(800,295)) ?(18,a(800,576)) ?(19,a(800,793)) ?(20,a(800,795)) ?(21,a(800,796)) ?(22,a(800,797)) ?(23,a(800,799)) ?(24,a(800,800)) ?(25,a(800,854)) ?(26,a(800,1025)) ?(27,d(295)) ?(28,d(714)) ?(29,d(715)) ?(30,d(742)) ?(31,d(743)) ?(32,d(770)) ?(33,d(771)) ?(34,d(773)) ?(35,d(774)) ?(36,d(775)) ?(37,d(776)) ?(38,d(777)) ?(39,d(778)) ?(40,d(779)) ?(41,d(791)) ?(42,d(792)) ?(43,d(793)) ?(44,d(794)) ?(45,d(795)) ?(46,d(796)) ?(47,d(797)) ?(48,d(798)) ?(49,d(799)) ?(50,d(800))  (74 tests, cond 1)
		n1 false (test_time = 1.73119)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.004421)
	variant     2/  950 = ?(1,a(798,295)) ?(2,a(798,793)) ?(3,a(798,794)) ?(4,a(798,795)) ?(5,a(798,796)) ?(6,a(798,797)) ?(7,a(798,798)) ?(8,a(798,799)) ?(9,a(798,800)) ?(10,a(799,295)) ?(11,a(799,793)) ?(12,a(799,795)) ?(13,a(799,796)) ?(14,a(799,797)) ?(15,a(799,799)) ?(16,a(799,800)) ?(17,a(800,295)) ?(18,a(800,576)) ?(19,a(800,793)) ?(20,a(800,795)) ?(21,a(800,796)) ?(22,a(800,797)) ?(23,a(800,799)) ?(24,a(800,800)) ?(25,a(800,854)) ?(26,a(800,1025)) ?(27,d(295)) ?(28,d(714)) ?(29,d(715)) ?(30,d(742)) ?(31,d(743)) ?(32,d(770)) ?(33,d(771)) ?(34,d(773)) ?(35,d(774)) ?(36,d(775)) ?(37,d(776)) ?(38,d(777)) ?(39,d(778)) ?(40,d(779)) ?(41,d(791)) ?(42,d(792)) ?(43,d(793)) ?(44,d(794)) ?(45,d(795)) ?(46,d(796)) ?(47,d(797)) ?(48,d(798)) ?(49,d(799)) ?(50,d(800))  (74 tests, cond 50)
		n1 true (test_time = 1.6304)
		p1 true (test_time = 0.119539)
		p2 true (test_time = 0.120558)
		p3 true (test_time = 0.118096)
		p4 true (test_time = 0.13129)
		p5 true (test_time = 0.128769)
		p6 true (test_time = 0.178617)
		p7 true (test_time = 0.179926)
		p8 true (test_time = 0.229374)
		p9 true (test_time = 0.176369)
		p10 true (test_time = 0.171857)
		p11 true (test_time = 0.177092)
		p12 true (test_time = 0.136826)
		p13 true (test_time = 0.137793)
		p14 true (test_time = 0.127429)
		p15 true (test_time = 0.142645)
		p16 true (test_time = 0.126851)
		p17 true (test_time = 0.137364)
		p18 true (test_time = 0.179794)
		p19 true (test_time = 0.125623)
		p20 true (test_time = 0.144955)
		p21 true (test_time = 0.193965)
		p22 true (test_time = 0.225748)
		p23 true (test_time = 0.132367)
		p24 true (test_time = 0.139091)
		p25 true (test_time = 0.135197)
		p26 true (test_time = 0.133682)
		p27 true (test_time = 0.132429)
		p28 true (test_time = 0.169626)
		p29 true (test_time = 0.176884)
		p30 true (test_time = 0.170673)
		p31 true (test_time = 0.163653)
		p32 true (test_time = 0.168089)
		p33 true (test_time = 0.181215)
		p34 true (test_time = 0.178204)
		p35 true (test_time = 0.164842)
		p36 true (test_time = 0.18324)
		p37 true (test_time = 0.178237)
		p38 true (test_time = 0.226252)
		p39 true (test_time = 0.180112)
		p40 true (test_time = 0.182031)
		p41 true (test_time = 0.180899)
		p42 true (test_time = 0.175863)
		p43 true (test_time = 0.166922)
		p44 true (test_time = 0.176305)
		p45 true (test_time = 0.170598)
		p46 true (test_time = 0.178779)
		p47 true (test_time = 0.174804)
		p48 true (test_time = 0.176101)
		p49 true (test_time = 0.177045)
		p50 true (test_time = 0.179755)
		p51 true (test_time = 0.17387)
		p52 true (test_time = 0.176759)
		p53 true (test_time = 0.171917)
		p54 true (test_time = 0.175028)
		p55 true (test_time = 0.156495)
		p56 true (test_time = 0.181958)
		p57 true (test_time = 0.178786)
		p58 true (test_time = 0.171928)
		p59 true (test_time = 0.179717)
		p60 true (test_time = 0.179089)
		p61 true (test_time = 0.183457)
		p62 true (test_time = 0.181015)
		p63 true (test_time = 0.173053)
		p64 true (test_time = 0.175397)
		p65 true (test_time = 0.178791)
		p66 true (test_time = 0.254566)
		p67 true (test_time = 0.177765)
		p68 true (test_time = 0.176963)
		p69 true (test_time = 0.181323)
		p70 true (test_time = 0.178952)
		p71 true (test_time = 0.170414)
		p72 true (test_time = 0.181503)
		p73 true (test_time = 0.176115)
search: ww_adaptive: ends (yes repair)

Repair Found: d(800)
Repair Name: ?(1,a(798,295)) ?(2,a(798,793)) ?(3,a(798,794)) ?(4,a(798,795)) ?(5,a(798,796)) ?(6,a(798,797)) ?(7,a(798,798)) ?(8,a(798,799)) ?(9,a(798,800)) ?(10,a(799,295)) ?(11,a(799,793)) ?(12,a(799,795)) ?(13,a(799,796)) ?(14,a(799,797)) ?(15,a(799,799)) ?(16,a(799,800)) ?(17,a(800,295)) ?(18,a(800,576)) ?(19,a(800,793)) ?(20,a(800,795)) ?(21,a(800,796)) ?(22,a(800,797)) ?(23,a(800,799)) ?(24,a(800,800)) ?(25,a(800,854)) ?(26,a(800,1025)) ?(27,d(295)) ?(28,d(714)) ?(29,d(715)) ?(30,d(742)) ?(31,d(743)) ?(32,d(770)) ?(33,d(771)) ?(34,d(773)) ?(35,d(774)) ?(36,d(775)) ?(37,d(776)) ?(38,d(777)) ?(39,d(778)) ?(40,d(779)) ?(41,d(791)) ?(42,d(792)) ?(43,d(793)) ?(44,d(794)) ?(45,d(795)) ?(46,d(796)) ?(47,d(797)) ?(48,d(798)) ?(49,d(799)) ?(50,d(800)) 
Test Condition: 50
Test Cases Skipped: ""
Current Time: 1367977159.677609
Rep: saving test cache

Variant Test Case Queries: 75
"Test Suite Evaluations": 1.01351

Compile Failures: 0
Wall-Clock Seconds Elapsed: 63.4676
  Activity Name                     Count Seconds = Percent of Total Time
  find_best_edit                        2   0.008 = 0.0124091%
  sanity_check                          1   0.379 = 0.625323%
  find_k_best_edits                     1   0.511 = 0.842357%
  compile                               3   7.713 = 12.7234%
  append_sources                       60  12.173 = 20.0799%
  progeq partition                    273  13.309 = 21.9533%
  test                                149  26.531 = 43.7633%
  TOTAL                                    60.623 = 95.507% (avg CPU usage)
libtiff-bug-01209c9-aaf9eb3.tar.gz
Tue May  7 21:39:20 EDT 2013
shutting down
