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 63
--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-90-41 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:23 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/tmpcfd80b.c /tmp/tmp9854e1.c
cilRep: done preprocessing IO function signatures
Exception in loading: Sys_error("default.cache: No such file or directory")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/libtiff/tif_dirwrite.c: parsing
cilRep: preprocessed/libtiff/tif_dirwrite.c: parsed (0.244262 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 2636 "tif_dirwrite.c"
i___0 = 0L;
Liveness failed on function:
 int _TIFFRewriteField(TIFF *tif , uint16 tag , TIFFDataType in_datatype ,
                       tmsize_t count , void *data ) 
{ TIFFField const   *fip ;
  uint16 dircount ;
  tmsize_t dirsize ;
  uint8 direntry_raw[20] ;
  uint16 entry_tag ;
  uint16 entry_type ;
  uint64 entry_count ;
  uint64 entry_offset ;
  int value_in_entry ;
  uint64 read_offset ;
  uint8 *buf_to_write ;
  TIFFDataType datatype ;
  toff_t tmp ;
  tmsize_t tmp___0 ;
  uint64 dircount64 ;
  tmsize_t tmp___1 ;
  tmsize_t tmp___2 ;
  uint32 value ;
  int tmp___3 ;
  int tmp___4 ;
  void *tmp___5 ;
  int tmp___6 ;
  tmsize_t i ;
  tmsize_t i___0 ;
  int tmp___7 ;
  int tmp___8 ;
  int tmp___9 ;
  int tmp___10 ;
  int tmp___11 ;
  int tmp___12 ;
  toff_t tmp___13 ;
  int tmp___14 ;
  tmsize_t tmp___15 ;
  int tmp___16 ;
  int tmp___17 ;
  tmsize_t tmp___18 ;
  int tmp___19 ;
  int tmp___20 ;
  uint32 value___0 ;
  toff_t tmp___21 ;
  tmsize_t tmp___22 ;

  {
   1939: /* CIL Label */ 
#line 2449
  fip = (TIFFField const   *)((void *)0);
   1940: /* CIL Label */ 
#line 2453
  entry_tag = (uint16 )0;
   1941: /* CIL Label */ 
#line 2454
  entry_type = (uint16 )0;
   1942: /* CIL Label */ 
#line 2455
  entry_count = (uint64 )0;
   1943: /* CIL Label */ 
#line 2456
  entry_offset = (uint64 )0;
   1944: /* CIL Label */ 
#line 2457
  value_in_entry = 0;
   1945: /* CIL Label */ 
#line 2459
  buf_to_write = (uint8 *)((void *)0);
   1946: /* CIL Label */ 
#line 2465
  fip = TIFFFindField(tif, (unsigned int )tag,
                      (enum __anonenum_TIFFDataType_21 )0);
   1947: /* CIL Label */ 
#line 2470
  if ((tif->tif_flags & 2048U) != 0U) {
#line 2472
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "Memory mapped files not currently supported for this operation.");
#line 2474
    return (0);
  } else {

  }
   1948: /* CIL Label */ 
#line 2477
  if (tif->tif_diroff == 0ULL) {
#line 2479
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "Attempt to reset field on directory not already on disk.");
#line 2481
    return (0);
  } else {

  }
   1949: /* CIL Label */ 
#line 2487
  tmp = (*(tif->tif_seekproc))(tif->tif_clientdata, tif->tif_diroff, 0);
   1950: /* CIL Label */ 
#line 2487
  if (tmp == tif->tif_diroff) {

  } else {
#line 2488
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "%s: Seek error accessing TIFF directory", tif->tif_name);
#line 2491
    return (0);
  }
   1951: /* CIL Label */ 
#line 2494
  read_offset = tif->tif_diroff;
   1952: /* CIL Label */ 
#line 2496
  if (! (tif->tif_flags & 524288U)) {
#line 2498
    tmp___0 = (*(tif->tif_readproc))(tif->tif_clientdata, (void *)(& dircount),
                                     (long )sizeof(uint16 ));
#line 2498
    if ((unsigned long )tmp___0 == (unsigned long )sizeof(uint16 )) {

    } else {
#line 2499
      TIFFErrorExt(tif->tif_clientdata, module___18,
                   "%s: Can not read TIFF directory count", tif->tif_name);
#line 2502
      return (0);
    }
#line 2504
    if (tif->tif_flags & 128U) {
#line 2505
      TIFFSwabShort(& dircount);
    } else {

    }
#line 2506
    dirsize = 12L;
#line 2507
    read_offset += 2ULL;
  } else {
#line 2510
    tmp___1 = (*(tif->tif_readproc))(tif->tif_clientdata,
                                     (void *)(& dircount64),
                                     (long )sizeof(uint64 ));
#line 2510
    if ((unsigned long )tmp___1 == (unsigned long )sizeof(uint64 )) {

    } else {
#line 2511
      TIFFErrorExt(tif->tif_clientdata, module___18,
                   "%s: Can not read TIFF directory count", tif->tif_name);
#line 2514
      return (0);
    }
#line 2516
    if (tif->tif_flags & 128U) {
#line 2517
      TIFFSwabLong8(& dircount64);
    } else {

    }
#line 2518
    dircount = (unsigned short )dircount64;
#line 2519
    dirsize = 20L;
#line 2520
    read_offset += 8ULL;
  }
   1953: /* CIL Label */ 
#line 2526
  while ((int )dircount > 0) {
#line 2528
    tmp___2 = (*(tif->tif_readproc))(tif->tif_clientdata,
                                     (void *)(direntry_raw), dirsize);
#line 2528
    if (tmp___2 == dirsize) {

    } else {
#line 2529
      TIFFErrorExt(tif->tif_clientdata, module___18,
                   "%s: Can not read TIFF directory entry.", tif->tif_name);
#line 2532
      return (0);
    }
#line 2535
    memcpy((void */* __restrict  */)(& entry_tag),
           (void const   */* __restrict  */)(direntry_raw + 0), sizeof(uint16 ));
#line 2536
    if (tif->tif_flags & 128U) {
#line 2537
      TIFFSwabShort(& entry_tag);
    } else {

    }
#line 2539
    if ((int )entry_tag == (int )tag) {
#line 2540
      break;
    } else {

    }
#line 2542
    read_offset += (uint64 )dirsize;
  }
   1954: /* CIL Label */ 
#line 2545
  if ((int )entry_tag != (int )tag) {
#line 2547
    TIFFErrorExt(tif->tif_clientdata, module___18, "%s: Could not find tag %d.",
                 tif->tif_name, tag);
#line 2550
    return (0);
  } else {

  }
   1955: /* CIL Label */ 
#line 2556
  memcpy((void */* __restrict  */)(& entry_type),
         (void const   */* __restrict  */)(direntry_raw + 2), sizeof(uint16 ));
   1956: /* CIL Label */ 
#line 2557
  if (tif->tif_flags & 128U) {
#line 2558
    TIFFSwabShort(& entry_type);
  } else {

  }
   1957: /* CIL Label */ 
#line 2560
  if (! (tif->tif_flags & 524288U)) {
#line 2564
    memcpy((void */* __restrict  */)(& value),
           (void const   */* __restrict  */)(direntry_raw + 4), sizeof(uint32 ));
#line 2565
    if (tif->tif_flags & 128U) {
#line 2566
      TIFFSwabLong(& value);
    } else {

    }
#line 2567
    entry_count = (unsigned long long )value;
#line 2569
    memcpy((void */* __restrict  */)(& value),
           (void const   */* __restrict  */)(direntry_raw + 8), sizeof(uint32 ));
#line 2570
    if (tif->tif_flags & 128U) {
#line 2571
      TIFFSwabLong(& value);
    } else {

    }
#line 2572
    entry_offset = (unsigned long long )value;
  } else {
#line 2576
    memcpy((void */* __restrict  */)(& entry_count),
           (void const   */* __restrict  */)(direntry_raw + 4), sizeof(uint64 ));
#line 2577
    if (tif->tif_flags & 128U) {
#line 2578
      TIFFSwabLong8(& entry_count);
    } else {

    }
#line 2580
    memcpy((void */* __restrict  */)(& entry_offset),
           (void const   */* __restrict  */)(direntry_raw + 12), sizeof(uint64 ));
#line 2581
    if (tif->tif_flags & 128U) {
#line 2582
      TIFFSwabLong8(& entry_offset);
    } else {

    }
  }
   1958: /* CIL Label */ 
#line 2588
  tmp___3 = TIFFDataWidth(in_datatype);
   1959: /* CIL Label */ 
#line 2588
  if (tmp___3 == 8) {
#line 2588
    if (! (tif->tif_flags & 524288U)) {
#line 2590
      if ((unsigned int )in_datatype == 16U) {
#line 2591
        datatype = (enum __anonenum_TIFFDataType_21 )4;
      } else {
#line 2592
        if ((unsigned int )in_datatype == 17U) {
#line 2593
          datatype = (enum __anonenum_TIFFDataType_21 )9;
        } else {
#line 2594
          if ((unsigned int )in_datatype == 18U) {
#line 2595
            datatype = (enum __anonenum_TIFFDataType_21 )13;
          } else {
#line 2597
            datatype = in_datatype;
          }
        }
      }
    } else {
#line 2600
      datatype = in_datatype;
    }
  } else {
#line 2600
    datatype = in_datatype;
  }
   1960: /* CIL Label */ 
#line 2606
  tmp___4 = TIFFDataWidth(datatype);
   1961: /* CIL Label */ 
#line 2606
  tmp___5 = _TIFFCheckMalloc(tif, count, (long )tmp___4, "for field buffer.");
   1962: /* CIL Label */ 
#line 2606
  buf_to_write = (uint8 *)tmp___5;
   1963: /* CIL Label */ 
#line 2609
  if (! buf_to_write) {
#line 2610
    return (0);
  } else {

  }
   1964: /* CIL Label */ 
#line 2612
  if ((unsigned int )datatype == (unsigned int )in_datatype) {
#line 2613
    tmp___6 = TIFFDataWidth(datatype);
#line 2613
    memcpy((void */* __restrict  */)buf_to_write,
           (void const   */* __restrict  */)data,
           (unsigned int )(count * (tmsize_t )tmp___6));
  } else {
#line 2614
    if ((unsigned int )datatype == 9U) {
#line 2614
      if ((unsigned int )in_datatype == 17U) {
#line 2618
        i = 0L;
#line 2618
        while (i < count) {
#line 2620
          *((int32 *)buf_to_write + i) = (int )*((int64 *)data + i);
#line 2622
          if ((long long )*((int32 *)buf_to_write + i) != *((int64 *)data + i)) {
#line 2624
            _TIFFfree((void *)buf_to_write);
#line 2625
            TIFFErrorExt(tif->tif_clientdata, module___18,
                         "Value exceeds 32bit range of output type.");
#line 2627
            return (0);
          } else {

          }
#line 2618
          i ++;
        }
      } else {
        goto _L___1;
      }
    } else {
      _L___1: /* CIL Label */ 
#line 2631
      if ((unsigned int )datatype == 4U) {
#line 2631
        if ((unsigned int )in_datatype == 16U) {
          goto _L;
        } else {
          goto _L___0;
        }
      } else {
        _L___0: /* CIL Label */ 
#line 2631
        if ((unsigned int )datatype == 13U) {
#line 2631
          if ((unsigned int )in_datatype == 18U) {
            _L: /* CIL Label */ 
#line 2636
            i___0 = 0L;
#line 2636
            while (i___0 < count) {
#line 2638
              *((uint32 *)buf_to_write + i___0) = (unsigned int )*((uint64 *)data + i___0);
#line 2640
              if ((unsigned long long )*((uint32 *)buf_to_write + i___0) != *((uint64 *)data + i___0)) {
#line 2642
                _TIFFfree((void *)buf_to_write);
#line 2643
                TIFFErrorExt(tif->tif_clientdata, module___18,
                             "Value exceeds 32bit range of output type.");
#line 2645
                return (0);
              } else {

              }
#line 2636
              i___0 ++;
            }
          } else {

          }
        } else {

        }
      }
    }
  }
   1965: /* CIL Label */ 
#line 2650
  tmp___10 = TIFFDataWidth(datatype);
   1966: /* CIL Label */ 
#line 2650
  if (tmp___10 > 1) {
#line 2650
    if (tif->tif_flags & 128U) {
#line 2652
      tmp___9 = TIFFDataWidth(datatype);
#line 2652
      if (tmp___9 == 2) {
#line 2653
        TIFFSwabArrayOfShort((uint16 *)buf_to_write, count);
      } else {
#line 2654
        tmp___8 = TIFFDataWidth(datatype);
#line 2654
        if (tmp___8 == 4) {
#line 2655
          TIFFSwabArrayOfLong((uint32 *)buf_to_write, count);
        } else {
#line 2656
          tmp___7 = TIFFDataWidth(datatype);
#line 2656
          if (tmp___7 == 8) {
#line 2657
            TIFFSwabArrayOfLong8((uint64 *)buf_to_write, count);
          } else {

          }
        }
      }
    } else {

    }
  } else {

  }
   1967: /* CIL Label */ 
#line 2663
  if (! (tif->tif_flags & 524288U)) {
#line 2665
    tmp___11 = TIFFDataWidth(datatype);
#line 2665
    if ((tmsize_t )tmp___11 * count <= 4L) {
#line 2667
      entry_offset = read_offset + 8ULL;
#line 2668
      value_in_entry = 1;
    } else {

    }
  } else {
#line 2673
    tmp___12 = TIFFDataWidth(datatype);
#line 2673
    if ((tmsize_t )tmp___12 * count <= 8L) {
#line 2675
      entry_offset = read_offset + 12ULL;
#line 2676
      value_in_entry = 1;
    } else {

    }
  }
   1968: /* CIL Label */ 
#line 2685
  if (entry_count == (unsigned long long )count) {
#line 2685
    if ((int )entry_type == (int )((unsigned short )datatype)) {
#line 2687
      tmp___13 = (*(tif->tif_seekproc))(tif->tif_clientdata, entry_offset, 0);
#line 2687
      if (tmp___13 == entry_offset) {

      } else {
#line 2688
        _TIFFfree((void *)buf_to_write);
#line 2689
        TIFFErrorExt(tif->tif_clientdata, module___18,
                     "%s: Seek error accessing TIFF directory", tif->tif_name);
#line 2692
        return (0);
      }
#line 2694
      tmp___14 = TIFFDataWidth(datatype);
#line 2694
      tmp___15 = (*(tif->tif_writeproc))(tif->tif_clientdata,
                                         (void *)buf_to_write,
                                         count * (tmsize_t )tmp___14);
#line 2694
      tmp___16 = TIFFDataWidth(datatype);
#line 2694
      if (tmp___15 == count * (tmsize_t )tmp___16) {

      } else {
#line 2695
        _TIFFfree((void *)buf_to_write);
#line 2696
        TIFFErrorExt(tif->tif_clientdata, module___18,
                     "Error writing directory link");
#line 2698
        return (0);
      }
#line 2701
      _TIFFfree((void *)buf_to_write);
#line 2702
      return (1);
    } else {

    }
  } else {

  }
   1969: /* CIL Label */ 
#line 2708
  if (! value_in_entry) {
#line 2710
    entry_offset = (*(tif->tif_seekproc))(tif->tif_clientdata, 0ULL, 2);
#line 2712
    tmp___17 = TIFFDataWidth(datatype);
#line 2712
    tmp___18 = (*(tif->tif_writeproc))(tif->tif_clientdata,
                                       (void *)buf_to_write,
                                       count * (tmsize_t )tmp___17);
#line 2712
    tmp___19 = TIFFDataWidth(datatype);
#line 2712
    if (tmp___18 == count * (tmsize_t )tmp___19) {

    } else {
#line 2713
      _TIFFfree((void *)buf_to_write);
#line 2714
      TIFFErrorExt(tif->tif_clientdata, module___18,
                   "Error writing directory link");
#line 2716
      return (0);
    }
#line 2719
    _TIFFfree((void *)buf_to_write);
  } else {
#line 2723
    tmp___20 = TIFFDataWidth(datatype);
#line 2723
    memcpy((void */* __restrict  */)(& entry_offset),
           (void const   */* __restrict  */)buf_to_write,
           (unsigned int )(count * (tmsize_t )tmp___20));
  }
   1970: /* CIL Label */ 
#line 2729
  entry_type = (unsigned short )datatype;
   1971: /* CIL Label */ 
#line 2730
  memcpy((void */* __restrict  */)(direntry_raw + 2),
         (void const   */* __restrict  */)(& entry_type), sizeof(uint16 ));
   1972: /* CIL Label */ 
#line 2731
  if (tif->tif_flags & 128U) {
#line 2732
    TIFFSwabShort((uint16 *)(direntry_raw + 2));
  } else {

  }
   1973: /* CIL Label */ 
#line 2734
  if (! (tif->tif_flags & 524288U)) {
#line 2738
    value___0 = (unsigned int )entry_count;
#line 2739
    memcpy((void */* __restrict  */)(direntry_raw + 4),
           (void const   */* __restrict  */)(& value___0), sizeof(uint32 ));
#line 2740
    if (tif->tif_flags & 128U) {
#line 2741
      TIFFSwabLong((uint32 *)(direntry_raw + 4));
    } else {

    }
#line 2743
    value___0 = (unsigned int )entry_offset;
#line 2744
    memcpy((void */* __restrict  */)(direntry_raw + 8),
           (void const   */* __restrict  */)(& value___0), sizeof(uint32 ));
#line 2745
    if (tif->tif_flags & 128U) {
#line 2746
      TIFFSwabLong((uint32 *)(direntry_raw + 8));
    } else {

    }
  } else {
#line 2750
    memcpy((void */* __restrict  */)(direntry_raw + 4),
           (void const   */* __restrict  */)(& entry_count), sizeof(uint64 ));
#line 2751
    if (tif->tif_flags & 128U) {
#line 2752
      TIFFSwabLong8((uint64 *)(direntry_raw + 4));
    } else {

    }
#line 2754
    memcpy((void */* __restrict  */)(direntry_raw + 12),
           (void const   */* __restrict  */)(& entry_offset), sizeof(uint64 ));
#line 2755
    if (tif->tif_flags & 128U) {
#line 2756
      TIFFSwabLong8((uint64 *)(direntry_raw + 12));
    } else {

    }
  }
   1974: /* CIL Label */ 
#line 2762
  tmp___21 = (*(tif->tif_seekproc))(tif->tif_clientdata, read_offset, 0);
   1975: /* CIL Label */ 
#line 2762
  if (tmp___21 == read_offset) {

  } else {
#line 2763
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "%s: Seek error accessing TIFF directory", tif->tif_name);
#line 2766
    return (0);
  }
   1976: /* CIL Label */ 
#line 2769
  tmp___22 = (*(tif->tif_writeproc))(tif->tif_clientdata,
                                     (void *)(direntry_raw), dirsize);
   1977: /* CIL Label */ 
#line 2769
  if (tmp___22 == dirsize) {

  } else {
#line 2771
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "%s: Can not write TIFF directory entry.", tif->tif_name);
#line 2774
    return (0);
  }
   1978: /* CIL Label */ 
#line 2777
  return (1);
}
}

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

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

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