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 2
--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 33
--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__ __FITNESS_FILE__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-66-81-187 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:14 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/tmpfc13f9.c /tmp/tmp94718f.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.229753 MB)
cilRep: computing liveness
tiffcp.c:1071: Warning: Body of function readSeparateStripsIntoBuffer falls-through. Adding a return statement
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 753 "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 ;
  tsize_t tmp ;
  tdata_t tmp___0 ;
  uint32 row ;
  int tmp___1 ;
  int tmp___2 ;

  {
   994: /* CIL Label */ 
#line 740
  tmp = TIFFScanlineSize(in);
   995: /* CIL Label */ 
#line 740
  tmp___0 = _TIFFmalloc(tmp);
   996: /* CIL Label */ 
#line 740
  buf = tmp___0;
   997: /* CIL Label */ 
#line 744
  row = 0U;
   998: /* CIL Label */ 
#line 744
  while (row < imagelength) {
#line 745
    tmp___1 = TIFFReadScanline(in, buf, row, (unsigned short)0);
#line 745
    if (tmp___1 < 0) {
#line 745
      if (! ignore) {
        goto bad;
      } else {

      }
    } else {

    }
#line 747
    tmp___2 = TIFFWriteScanline(out, buf, row, (unsigned short)0);
#line 747
    if (tmp___2 < 0) {
      goto bad;
    } else {

    }
#line 744
    row ++;
  }
   999: /* CIL Label */ 
#line 750
  _TIFFfree(buf);
   1000: /* CIL Label */ 
#line 751
  return (1);
   1001: /* CIL Label */ 
  bad: 
#line 753
  _TIFFfree(buf);
   1002: /* CIL Label */ 
#line 754
  return (0);
}
}

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

  {
   1105: /* CIL Label */ 
#line 790
  if ((int )spp == 1) {
#line 791
    tmp = TIFFScanlineSize(bias);
#line 791
    biasSize = tmp;
#line 792
    tmp___0 = TIFFScanlineSize(in);
#line 792
    bufSize = tmp___0;
#line 794
    biasWidth = (uint32 )0;
#line 794
    biasLength = (uint32 )0;
#line 795
    TIFFGetField(bias, 256U, & biasWidth);
#line 796
    TIFFGetField(bias, 257U, & biasLength);
#line 797
    if (biasSize == bufSize) {
#line 797
      if (imagelength == biasLength) {
#line 797
        if (imagewidth == biasWidth) {
#line 799
          sampleBits = (uint16 )0;
#line 801
          TIFFGetField(in, 258U, & sampleBits);
#line 802
          subtractLine = lineSubtractFn((unsigned int )sampleBits);
#line 803
          if (subtractLine) {
#line 805
            buf = _TIFFmalloc(bufSize);
#line 806
            biasBuf = _TIFFmalloc(bufSize);
#line 807
            row = 0U;
#line 807
            while (row < imagelength) {
#line 808
              tmp___1 = TIFFReadScanline(in, buf, row, (unsigned short)0);
#line 808
              if (tmp___1 < 0) {
#line 808
                if (! ignore) {
                  goto bad;
                } else {

                }
              } else {

              }
#line 811
              tmp___2 = TIFFReadScanline(bias, biasBuf, row, (unsigned short)0);
#line 811
              if (tmp___2 < 0) {
#line 811
                if (! ignore) {
                  goto bad;
                } else {

                }
              } else {

              }
#line 814
              (*subtractLine)(buf, biasBuf, imagewidth);
#line 815
              tmp___3 = TIFFWriteScanline(out, buf, row, (unsigned short)0);
#line 815
              if (tmp___3 < 0) {
                goto bad;
              } else {

              }
#line 807
              row ++;
            }
#line 819
            _TIFFfree(buf);
#line 820
            _TIFFfree(biasBuf);
#line 821
            tmp___4 = TIFFCurrentDirectory(bias);
#line 821
            TIFFSetDirectory(bias, tmp___4);
#line 823
            return (1);
            bad: 
#line 825
            _TIFFfree(buf);
#line 826
            _TIFFfree(biasBuf);
#line 827
            return (0);
          } else {
#line 829
            fprintf((FILE */* __restrict  */)stderr,
                    (char const   */* __restrict  */)"No support for biasing %d bit pixels\n",
                    sampleBits);
#line 831
            return (0);
          }
        } else {

        }
      } else {

      }
    } else {

    }
#line 834
    tmp___5 = TIFFCurrentDirectory(in);
#line 834
    tmp___6 = TIFFFileName(in);
#line 834
    tmp___7 = TIFFCurrentDirectory(bias);
#line 834
    tmp___8 = TIFFFileName(bias);
#line 834
    fprintf((FILE */* __restrict  */)stderr,
            (char const   */* __restrict  */)"Bias image %s,%d\nis not the same size as %s,%d\n",
            tmp___8, tmp___7, tmp___6, tmp___5);
#line 837
    return (0);
  } else {
#line 839
    tmp___9 = TIFFCurrentDirectory(in);
#line 839
    tmp___10 = TIFFFileName(in);
#line 839
    fprintf((FILE */* __restrict  */)stderr,
            (char const   */* __restrict  */)"Can\'t bias %s,%d as it has >1 Sample/Pixel\n",
            tmp___10, tmp___9);
#line 841
    return (0);
  }
}
}

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

  {
   1131: /* CIL Label */ 
#line 852
  tmp = TIFFStripSize(in);
   1132: /* CIL Label */ 
#line 852
  stripsize = tmp;
   1133: /* CIL Label */ 
#line 853
  tmp___0 = _TIFFmalloc(stripsize);
   1134: /* CIL Label */ 
#line 853
  buf = tmp___0;
   1135: /* CIL Label */ 
#line 856
  if (buf) {
#line 857
    tmp___1 = TIFFNumberOfStrips(in);
#line 857
    ns = tmp___1;
#line 858
    row = (uint32 )0;
#line 859
    s = 0U;
#line 859
    while (s < ns) {
#line 860
      if (row + rowsperstrip > imagelength) {
#line 860
        tmp___2 = TIFFVStripSize(in, imagelength - row);
#line 860
        tmp___3 = tmp___2;
      } else {
#line 860
        tmp___3 = stripsize;
      }
#line 860
      cc = tmp___3;
#line 862
      tmp___4 = TIFFReadEncodedStrip(in, s, buf, cc);
#line 862
      if (tmp___4 < 0) {
#line 862
        if (! ignore) {
          goto bad;
        } else {

        }
      } else {

      }
#line 864
      tmp___5 = TIFFWriteEncodedStrip(out, s, buf, cc);
#line 864
      if (tmp___5 < 0) {
        goto bad;
      } else {

      }
#line 866
      row += rowsperstrip;
#line 859
      s ++;
    }
#line 868
    _TIFFfree(buf);
#line 869
    return (1);
  } else {

  }
   1136: /* CIL Label */ 
#line 871
  return (0);
   1137: /* CIL Label */ 
  bad: 
#line 874
  _TIFFfree(buf);
   1138: /* CIL Label */ 
#line 875
  return (0);
}
}

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

  {
   1155: /* CIL Label */ 
#line 883
  tmp = TIFFScanlineSize(in);
   1156: /* CIL Label */ 
#line 883
  tmp___0 = _TIFFmalloc(tmp);
   1157: /* CIL Label */ 
#line 883
  buf = tmp___0;
   1158: /* CIL Label */ 
#line 888
  s = (unsigned short)0;
   1159: /* CIL Label */ 
#line 888
  while ((int )s < (int )spp) {
#line 889
    row = 0U;
#line 889
    while (row < imagelength) {
#line 890
      tmp___1 = TIFFReadScanline(in, buf, row, s);
#line 890
      if (tmp___1 < 0) {
#line 890
        if (! ignore) {
          goto bad;
        } else {

        }
      } else {

      }
#line 892
      tmp___2 = TIFFWriteScanline(out, buf, row, s);
#line 892
      if (tmp___2 < 0) {
        goto bad;
      } else {

      }
#line 889
      row ++;
    }
#line 888
    s = (tsample_t )((int )s + 1);
  }
   1160: /* CIL Label */ 
#line 896
  _TIFFfree(buf);
   1161: /* CIL Label */ 
#line 897
  return (1);
   1162: /* CIL Label */ 
  bad: 
#line 899
  _TIFFfree(buf);
   1163: /* CIL Label */ 
#line 900
  return (0);
}
}

cilRep: liveness failure for cpSeparate2SeparateByRow: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: done: 
#line 1094
_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 ;
  tsize_t tmp ;
  tdata_t scanline ;
  tdata_t tmp___0 ;
  uint8 *bufp ;
  uint32 row ;
  tsample_t s ;
  uint8 *bp ;
  tsize_t n ;
  uint8 *sbuf ;
  int tmp___1 ;
  uint8 *tmp___2 ;
  tsize_t tmp___3 ;

  {
   1398: /* CIL Label */ 
#line 1064
  status = 1;
   1399: /* CIL Label */ 
#line 1065
  tmp = TIFFScanlineSize(in);
   1400: /* CIL Label */ 
#line 1065
  scanlinesize = tmp;
   1401: /* CIL Label */ 
#line 1066
  tmp___0 = _TIFFmalloc(scanlinesize);
   1402: /* CIL Label */ 
#line 1066
  scanline = tmp___0;
   1403: /* CIL Label */ 
#line 1067
  if (! scanlinesize) {
#line 1068
    return (0);
  } else {

  }
   1404: /* CIL Label */ 
#line 1071
  if (scanline) {
#line 1072
    bufp = buf;
#line 1075
    row = 0U;
#line 1075
    while (row < imagelength) {
#line 1077
      s = (unsigned short)0;
#line 1077
      while ((int )s < (int )spp) {
#line 1078
        bp = bufp + (int )s;
#line 1079
        n = scanlinesize;
#line 1080
        sbuf = (uint8 *)scanline;
#line 1082
        tmp___1 = TIFFReadScanline(in, scanline, row, s);
#line 1082
        if (tmp___1 < 0) {
#line 1082
          if (! ignore) {
#line 1084
            status = 0;
            goto done;
          } else {

          }
        } else {

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

          } else {
#line 1087
            break;
          }
#line 1088
          tmp___2 = sbuf;
#line 1088
          sbuf ++;
#line 1088
          *bp = *tmp___2;
#line 1088
          bp += (int )spp;
        }
#line 1077
        s = (tsample_t )((int )s + 1);
      }
#line 1090
      bufp += scanlinesize * (tsize_t )spp;
#line 1075
      row ++;
    }
    done: 
#line 1094
    _TIFFfree(scanline);
#line 1095
    return (status);
  } else {

  }
   1405: /* CIL Label */ 
#line 1097
  return (0);
}
}

cilRep: liveness failure for readSeparateStripsIntoBuffer: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: done: 
#line 1142
_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 ;
  tsize_t tmp ;
  tdata_t tmp___0 ;
  uint32 imagew ;
  tsize_t tmp___1 ;
  uint32 tilew ;
  tsize_t tmp___2 ;
  int iskew ;
  uint8 *bufp ;
  uint32 tw ;
  uint32 tl ;
  uint32 row ;
  uint32 nrow ;
  uint32 tmp___3 ;
  uint32 colb ;
  uint32 col ;
  tsize_t tmp___4 ;
  uint32 width ;
  uint32 oskew ;

  {
   1434: /* CIL Label */ 
#line 1101
  status = 1;
   1435: /* CIL Label */ 
#line 1102
  tmp = TIFFTileSize(in);
   1436: /* CIL Label */ 
#line 1102
  tmp___0 = _TIFFmalloc(tmp);
   1437: /* CIL Label */ 
#line 1102
  tilebuf = tmp___0;
   1438: /* CIL Label */ 
#line 1103
  tmp___1 = TIFFScanlineSize(in);
   1439: /* CIL Label */ 
#line 1103
  imagew = (uint32 )tmp___1;
   1440: /* CIL Label */ 
#line 1104
  tmp___2 = TIFFTileRowSize(in);
   1441: /* CIL Label */ 
#line 1104
  tilew = (uint32 )tmp___2;
   1442: /* CIL Label */ 
#line 1105
  iskew = (int )(imagew - tilew);
   1443: /* CIL Label */ 
#line 1106
  bufp = buf;
   1444: /* CIL Label */ 
#line 1111
  if ((unsigned int )tilebuf == (unsigned int )((tdata_t )0)) {
#line 1112
    return (0);
  } else {

  }
   1445: /* CIL Label */ 
#line 1113
  TIFFGetField(in, 322U, & tw);
   1446: /* CIL Label */ 
#line 1114
  TIFFGetField(in, 323U, & tl);
   1447: /* CIL Label */ 
#line 1116
  row = 0U;
   1448: /* CIL Label */ 
#line 1116
  while (row < imagelength) {
#line 1117
    if (row + tl > imagelength) {
#line 1117
      tmp___3 = imagelength - row;
    } else {
#line 1117
      tmp___3 = tl;
    }
#line 1117
    nrow = tmp___3;
#line 1118
    colb = (uint32 )0;
#line 1121
    col = 0U;
#line 1121
    while (col < imagewidth) {
#line 1122
      tmp___4 = TIFFReadTile(in, tilebuf, col, row, 0U, (unsigned short)0);
#line 1122
      if (tmp___4 < 0) {
#line 1122
        if (! ignore) {
#line 1124
          status = 0;
          goto done;
        } else {

        }
      } else {

      }
#line 1127
      if (colb + tilew > imagew) {
#line 1128
        width = imagew - colb;
#line 1129
        oskew = tilew - width;
#line 1130
        cpStripToTile(bufp + colb, (uint8 *)tilebuf, nrow, width,
                      (int )(oskew + (uint32 )iskew), (int )oskew);
      } else {
#line 1134
        cpStripToTile(bufp + colb, (uint8 *)tilebuf, nrow, tilew, iskew, 0);
      }
#line 1137
      colb += tilew;
#line 1121
      col += tw;
    }
#line 1139
    bufp += imagew * nrow;
#line 1116
    row += tl;
  }
   1449: /* CIL Label */ 
  done: 
#line 1142
  _TIFFfree(tilebuf);
   1450: /* CIL Label */ 
#line 1143
  return (status);
}
}

cilRep: liveness failure for readContigTilesIntoBuffer: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: done: 
#line 1206
_TIFFfree(tilebuf);
Liveness failed on function:
 static int readSeparateTilesIntoBuffer(TIFF *in , uint8 *buf ,
                                        uint32 imagelength , uint32 imagewidth ,
                                        tsample_t spp ) 
{ int status ;
  uint32 imagew ;
  tsize_t tmp ;
  uint32 tilew ;
  tsize_t tmp___0 ;
  int iskew ;
  tdata_t tilebuf ;
  tsize_t tmp___1 ;
  tdata_t 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 ;
  tsize_t tmp___4 ;
  uint32 width ;
  int oskew ;

  {
   1486: /* CIL Label */ 
#line 1148
  status = 1;
   1487: /* CIL Label */ 
#line 1149
  tmp = TIFFRasterScanlineSize(in);
   1488: /* CIL Label */ 
#line 1149
  imagew = (uint32 )tmp;
   1489: /* CIL Label */ 
#line 1150
  tmp___0 = TIFFTileRowSize(in);
   1490: /* CIL Label */ 
#line 1150
  tilew = (uint32 )tmp___0;
   1491: /* CIL Label */ 
#line 1151
  iskew = (int )(imagew - tilew * (uint32 )spp);
   1492: /* CIL Label */ 
#line 1152
  tmp___1 = TIFFTileSize(in);
   1493: /* CIL Label */ 
#line 1152
  tmp___2 = _TIFFmalloc(tmp___1);
   1494: /* CIL Label */ 
#line 1152
  tilebuf = tmp___2;
   1495: /* CIL Label */ 
#line 1153
  bufp = buf;
   1496: /* CIL Label */ 
#line 1158
  if ((unsigned int )tilebuf == (unsigned int )((tdata_t )0)) {
#line 1159
    return (0);
  } else {

  }
   1497: /* CIL Label */ 
#line 1160
  TIFFGetField(in, 322U, & tw);
   1498: /* CIL Label */ 
#line 1161
  TIFFGetField(in, 323U, & tl);
   1499: /* CIL Label */ 
#line 1162
  TIFFGetField(in, 258U, & bps);
   1500: /* CIL Label */ 
#line 1163
  if ((int )bps % 8 == 0) {

  } else {
#line 1163
    __assert_fail("bps % 8 == 0", "tiffcp.c", 1163U,
                  "readSeparateTilesIntoBuffer");
  }
   1501: /* CIL Label */ 
#line 1164
  bytes_per_sample = (unsigned short )((int )bps / 8);
   1502: /* CIL Label */ 
#line 1166
  row = 0U;
   1503: /* CIL Label */ 
#line 1166
  while (row < imagelength) {
#line 1167
    if (row + tl > imagelength) {
#line 1167
      tmp___3 = imagelength - row;
    } else {
#line 1167
      tmp___3 = tl;
    }
#line 1167
    nrow = tmp___3;
#line 1168
    colb = (uint32 )0;
#line 1171
    col = 0U;
#line 1171
    while (col < imagewidth) {
#line 1174
      s = (unsigned short)0;
#line 1174
      while ((int )s < (int )spp) {
#line 1175
        tmp___4 = TIFFReadTile(in, tilebuf, col, row, 0U, s);
#line 1175
        if (tmp___4 < 0) {
#line 1175
          if (! ignore) {
#line 1177
            status = 0;
            goto done;
          } else {

          }
        } else {

        }
#line 1184
        if (colb + tilew * (uint32 )spp > imagew) {
#line 1185
          width = imagew - colb;
#line 1186
          oskew = (int )(tilew * (uint32 )spp - width);
#line 1187
          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 1195
          cpSeparateBufToContigBuf((bufp + colb) + (int )s * (int )bytes_per_sample,
                                   (uint8 *)tilebuf, nrow, tw, iskew, 0, spp,
                                   (int )bytes_per_sample);
        }
#line 1174
        s = (tsample_t )((int )s + 1);
      }
#line 1201
      colb += tilew * (uint32 )spp;
#line 1171
      col += tw;
    }
#line 1203
    bufp += imagew * nrow;
#line 1166
    row += tl;
  }
   1504: /* CIL Label */ 
  done: 
#line 1206
  _TIFFfree(tilebuf);
   1505: /* CIL Label */ 
#line 1207
  return (status);
}
}

cilRep: liveness failure for readSeparateTilesIntoBuffer: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 1761
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)
	n1: false (0)
	n2: false (0)
cachingRepresentation: sanity checking passed (time_taken = 8.87136)
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 = 1761
cilRep: stmts in weighted_path = 199
cilRep: total weight = 32.5
cilRep: stmts in weighted_path with weight >= 1.0 = 14
cilRep: tools/tiffcp.c (code bank/base file; atoms [1,1761])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1367977103.804441)
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: 271 -> 236
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 = 10.4308)
search: ww_adaptive: 199 deletes
search: ww_adaptive: 7483 appends
search: ww_adaptive: 7682 possible edits
search: ready to start (time_taken = 48.7357)
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.478385)
search: ww_adaptive: found best (time_taken = 0.00127292)
	variant     1/ 7682 = ?(1,a(1111,461)) ?(2,a(1111,472)) ?(3,a(1111,491)) ?(4,a(1111,492)) ?(5,a(1111,515)) ?(6,a(1111,537)) ?(7,a(1111,559)) ?(8,a(1111,572)) ?(9,a(1111,673)) ?(10,a(1111,691)) ?(11,a(1111,871)) ?(12,a(1111,943)) ?(13,a(1111,1107)) ?(14,a(1111,1108)) ?(15,a(1111,1109)) ?(16,a(1111,1111)) ?(17,a(1111,1114)) ?(18,a(1111,1115)) ?(19,a(1111,1116)) ?(20,a(1111,1117)) ?(21,a(1111,1118)) ?(22,a(1111,1119)) ?(23,a(1111,1120)) ?(24,a(1111,1121)) ?(25,a(1111,1122)) ?(26,a(1111,1123)) ?(27,a(1111,1124)) ?(28,a(1111,1125)) ?(29,a(1111,1126)) ?(30,a(1111,1127)) ?(31,a(1111,1128)) ?(32,a(1111,1131)) ?(33,a(1111,1132)) ?(34,a(1111,1133)) ?(35,a(1111,1134)) ?(36,a(1111,1135)) ?(37,d(429)) ?(38,d(446)) ?(39,d(447)) ?(40,d(782)) ?(41,d(837)) ?(42,d(839)) ?(43,d(840)) ?(44,d(871)) ?(45,d(942)) ?(46,d(943)) ?(47,d(944)) ?(48,d(1109)) ?(49,d(1111)) ?(50,d(1138))  (35 tests, cond 1)
		n1 false (test_time = 1.82964)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00207901)
	variant     2/ 7682 = ?(1,a(1111,461)) ?(2,a(1111,472)) ?(3,a(1111,491)) ?(4,a(1111,492)) ?(5,a(1111,515)) ?(6,a(1111,537)) ?(7,a(1111,559)) ?(8,a(1111,572)) ?(9,a(1111,673)) ?(10,a(1111,691)) ?(11,a(1111,871)) ?(12,a(1111,943)) ?(13,a(1111,1107)) ?(14,a(1111,1108)) ?(15,a(1111,1109)) ?(16,a(1111,1111)) ?(17,a(1111,1114)) ?(18,a(1111,1115)) ?(19,a(1111,1116)) ?(20,a(1111,1117)) ?(21,a(1111,1118)) ?(22,a(1111,1119)) ?(23,a(1111,1120)) ?(24,a(1111,1121)) ?(25,a(1111,1122)) ?(26,a(1111,1123)) ?(27,a(1111,1124)) ?(28,a(1111,1125)) ?(29,a(1111,1126)) ?(30,a(1111,1127)) ?(31,a(1111,1128)) ?(32,a(1111,1131)) ?(33,a(1111,1132)) ?(34,a(1111,1133)) ?(35,a(1111,1134)) ?(36,a(1111,1135)) ?(37,d(429)) ?(38,d(446)) ?(39,d(447)) ?(40,d(782)) ?(41,d(837)) ?(42,d(839)) ?(43,d(840)) ?(44,d(871)) ?(45,d(942)) ?(46,d(943)) ?(47,d(944)) ?(48,d(1109)) ?(49,d(1111)) ?(50,d(1138))  (35 tests, cond 50)
		n1 true (test_time = 1.74386)
		n2 true (test_time = 0.193018)
		p1 true (test_time = 0.0995622)
		p2 true (test_time = 0.0981629)
		p3 true (test_time = 0.110556)
		p4 true (test_time = 0.0323441)
		p5 true (test_time = 0.144341)
		p6 true (test_time = 0.137804)
		p7 true (test_time = 0.162856)
		p8 true (test_time = 0.144794)
		p9 true (test_time = 0.146989)
		p10 true (test_time = 0.116973)
		p11 true (test_time = 0.110869)
		p12 true (test_time = 0.109037)
		p13 true (test_time = 0.112841)
		p14 true (test_time = 0.109569)
		p15 true (test_time = 0.116888)
		p16 true (test_time = 0.152802)
		p17 true (test_time = 0.113727)
		p18 true (test_time = 0.121548)
		p19 true (test_time = 0.110422)
		p20 true (test_time = 0.109327)
		p21 true (test_time = 0.114336)
		p22 true (test_time = 0.111729)
		p23 true (test_time = 0.116904)
		p24 true (test_time = 0.146142)
		p25 true (test_time = 0.1484)
		p26 true (test_time = 0.14819)
		p27 true (test_time = 0.145884)
		p28 true (test_time = 0.147014)
		p29 true (test_time = 0.138114)
		p30 true (test_time = 0.143735)
		p31 true (test_time = 0.152498)
		p32 true (test_time = 0.1441)
		p33 true (test_time = 0.146614)
search: ww_adaptive: ends (yes repair)

Repair Found: d(1138)
Repair Name: ?(1,a(1111,461)) ?(2,a(1111,472)) ?(3,a(1111,491)) ?(4,a(1111,492)) ?(5,a(1111,515)) ?(6,a(1111,537)) ?(7,a(1111,559)) ?(8,a(1111,572)) ?(9,a(1111,673)) ?(10,a(1111,691)) ?(11,a(1111,871)) ?(12,a(1111,943)) ?(13,a(1111,1107)) ?(14,a(1111,1108)) ?(15,a(1111,1109)) ?(16,a(1111,1111)) ?(17,a(1111,1114)) ?(18,a(1111,1115)) ?(19,a(1111,1116)) ?(20,a(1111,1117)) ?(21,a(1111,1118)) ?(22,a(1111,1119)) ?(23,a(1111,1120)) ?(24,a(1111,1121)) ?(25,a(1111,1122)) ?(26,a(1111,1123)) ?(27,a(1111,1124)) ?(28,a(1111,1125)) ?(29,a(1111,1126)) ?(30,a(1111,1127)) ?(31,a(1111,1128)) ?(32,a(1111,1131)) ?(33,a(1111,1132)) ?(34,a(1111,1133)) ?(35,a(1111,1134)) ?(36,a(1111,1135)) ?(37,d(429)) ?(38,d(446)) ?(39,d(447)) ?(40,d(782)) ?(41,d(837)) ?(42,d(839)) ?(43,d(840)) ?(44,d(871)) ?(45,d(942)) ?(46,d(943)) ?(47,d(944)) ?(48,d(1109)) ?(49,d(1111)) ?(50,d(1138)) 
Test Condition: 50
Test Cases Skipped: ""
Current Time: 1367977171.435055
Rep: saving test cache

Variant Test Case Queries: 36
"Test Suite Evaluations": 1.02857

Compile Failures: 0
Wall-Clock Seconds Elapsed: 77.1444
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.302 = 0.40387%
  find_k_best_edits                     1   0.478 = 0.640697%
  compile                               3   7.184 = 9.62208%
  progeq partition                    236   8.773 = 11.7493%
  test                                 71   9.195 = 12.3149%
  append_sources                      199  48.730 = 65.2647%
  TOTAL                                    74.665 = 96.7766% (avg CPU usage)
libtiff-bug-10a4985-5362170.tar.gz
Tue May  7 21:39:32 EDT 2013
shutting down
