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 1
--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 301
--pos-weight 0.1
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0
--samp-strat "variant"
--sample 1
--sample-runs 100
--sanity "yes"
--search "ww"
--seed 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant true
--super-mutant-size 50
--swap-bug false
--swapp 0.33333
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-5-63-144 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Wed May  8 11:02:46 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/tmp715038.c /tmp/tmp89ebbf.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/Modules/_threadmodule.c: parsing
cilRep: preprocessed/Modules/_threadmodule.c: parsed (0.518839 MB)
cilRep: computing liveness
cilRep: computed liveness
cilRep: preprocessed/Python/sysmodule.c: parsing
cilRep: preprocessed/Python/sysmodule.c: parsed (0.670986 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: error: 
#line 124 "./Python/sysmodule.c"
ret = -1;
Liveness failed on function:
 static int sys_displayhook_unencodable(PyObject *outf , PyObject *o ) 
{ PyObject *stdout_encoding ;
  PyObject *encoded ;
  PyObject *escaped_str ;
  PyObject *repr_str ;
  PyObject *buffer ;
  PyObject *result ;
  char *stdout_encoding_str ;
  int ret ;
  int tmp ;

  {
   1593: /* CIL Label */ 
#line 77
  stdout_encoding = (PyObject *)((void *)0);
   1594: /* CIL Label */ 
#line 82
  stdout_encoding = PyObject_GetAttrString(outf, "encoding");
   1595: /* CIL Label */ 
#line 83
  if ((unsigned int )stdout_encoding == (unsigned int )((void *)0)) {
    goto error;
  } else {

  }
   1596: /* CIL Label */ 
#line 85
  stdout_encoding_str = _PyUnicode_AsString(stdout_encoding);
   1597: /* CIL Label */ 
#line 86
  if ((unsigned int )stdout_encoding_str == (unsigned int )((void *)0)) {
    goto error;
  } else {

  }
   1598: /* CIL Label */ 
#line 89
  repr_str = PyObject_Repr(o);
   1599: /* CIL Label */ 
#line 90
  if ((unsigned int )repr_str == (unsigned int )((void *)0)) {
    goto error;
  } else {

  }
   1600: /* CIL Label */ 
#line 92
  encoded = PyUnicodeUCS2_AsEncodedString(repr_str,
                                          (char const   *)stdout_encoding_str,
                                          "backslashreplace");
   1601: /* CIL Label */ 
#line 95
  while (1) {
#line 95
    (repr_str->ob_refcnt) --;
#line 95
    if (repr_str->ob_refcnt != 0) {

    } else {
#line 95
      (*((repr_str->ob_type)->tp_dealloc))(repr_str);
    }
#line 95
    break;
  }
   1602: /* CIL Label */ 
#line 96
  if ((unsigned int )encoded == (unsigned int )((void *)0)) {
    goto error;
  } else {

  }
   1603: /* CIL Label */ 
#line 99
  buffer = PyObject_GetAttrString(outf, "buffer");
   1604: /* CIL Label */ 
#line 100
  if (buffer) {
#line 101
    result = PyObject_CallMethod(buffer, (char *)"write", (char *)"(O)", encoded);
#line 102
    while (1) {
#line 102
      (buffer->ob_refcnt) --;
#line 102
      if (buffer->ob_refcnt != 0) {

      } else {
#line 102
        (*((buffer->ob_type)->tp_dealloc))(buffer);
      }
#line 102
      break;
    }
#line 103
    while (1) {
#line 103
      (encoded->ob_refcnt) --;
#line 103
      if (encoded->ob_refcnt != 0) {

      } else {
#line 103
        (*((encoded->ob_type)->tp_dealloc))(encoded);
      }
#line 103
      break;
    }
#line 104
    if ((unsigned int )result == (unsigned int )((void *)0)) {
      goto error;
    } else {

    }
#line 106
    while (1) {
#line 106
      (result->ob_refcnt) --;
#line 106
      if (result->ob_refcnt != 0) {

      } else {
#line 106
        (*((result->ob_type)->tp_dealloc))(result);
      }
#line 106
      break;
    }
  } else {
#line 109
    PyErr_Clear();
#line 110
    escaped_str = PyUnicodeUCS2_FromEncodedObject(encoded,
                                                  (char const   *)stdout_encoding_str,
                                                  "strict");
#line 113
    while (1) {
#line 113
      (encoded->ob_refcnt) --;
#line 113
      if (encoded->ob_refcnt != 0) {

      } else {
#line 113
        (*((encoded->ob_type)->tp_dealloc))(encoded);
      }
#line 113
      break;
    }
#line 114
    tmp = PyFile_WriteObject(escaped_str, outf, 1);
#line 114
    if (tmp != 0) {
#line 115
      while (1) {
#line 115
        (escaped_str->ob_refcnt) --;
#line 115
        if (escaped_str->ob_refcnt != 0) {

        } else {
#line 115
          (*((escaped_str->ob_type)->tp_dealloc))(escaped_str);
        }
#line 115
        break;
      }
      goto error;
    } else {

    }
#line 118
    while (1) {
#line 118
      (escaped_str->ob_refcnt) --;
#line 118
      if (escaped_str->ob_refcnt != 0) {

      } else {
#line 118
        (*((escaped_str->ob_type)->tp_dealloc))(escaped_str);
      }
#line 118
      break;
    }
  }
   1605: /* CIL Label */ 
#line 120
  ret = 0;
   0: /* CIL Label */ 
  goto  1607;
   1606: /* CIL Label */ 
  error: 
#line 124
  ret = -1;
   1607: /* CIL Label */ 
  finally: 
#line 126
  while (1) {
#line 126
    if ((unsigned int )stdout_encoding == (unsigned int )((void *)0)) {

    } else {
#line 126
      while (1) {
#line 126
        (stdout_encoding->ob_refcnt) --;
#line 126
        if (stdout_encoding->ob_refcnt != 0) {

        } else {
#line 126
          (*((stdout_encoding->ob_type)->tp_dealloc))(stdout_encoding);
        }
#line 126
        break;
      }
    }
#line 126
    break;
  }
   1608: /* CIL Label */ 
#line 127
  return (ret);
}
}

cilRep: liveness failure for sys_displayhook_unencodable: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___1: /* CIL Label */ 
#line 860
tmp___3 = res;
#line 861
res = PyNumber_Add(tmp___3, gc_head_size);
Liveness failed on function:
 static PyObject *sys_getsizeof(PyObject *self , PyObject *args ,
                                PyObject *kwds ) 
{ PyObject *res ;
  PyObject *o ;
  PyObject *dflt ;
  PyObject *method ;
  int tmp ;
  int tmp___0 ;
  PyObject *tmp___1 ;
  int tmp___2 ;
  PyObject *tmp___3 ;
  int tmp___4 ;

  {
   2015: /* CIL Label */ 
#line 813
  res = (PyObject *)((void *)0);
   2016: /* CIL Label */ 
#line 816
  dflt = (PyObject *)((void *)0);
   2017: /* CIL Label */ 
#line 819
  tmp = PyArg_ParseTupleAndKeywords(args, kwds, "O|O:getsizeof", kwlist, & o,
                                    & dflt);
   2018: /* CIL Label */ 
#line 819
  if (tmp) {

  } else {
#line 821
    return ((PyObject *)((void *)0));
  }
   2019: /* CIL Label */ 
#line 824
  if ((unsigned int )gc_head_size == (unsigned int )((void *)0)) {
#line 825
    gc_head_size = PyLong_FromSsize_t((int )sizeof(PyGC_Head ));
#line 826
    if ((unsigned int )gc_head_size == (unsigned int )((void *)0)) {
#line 827
      return ((PyObject *)((void *)0));
    } else {

    }
  } else {

  }
   2020: /* CIL Label */ 
#line 831
  tmp___0 = PyType_Ready(o->ob_type);
   2021: /* CIL Label */ 
#line 831
  if (tmp___0 < 0) {
#line 832
    return ((PyObject *)((void *)0));
  } else {

  }
   2022: /* CIL Label */ 
#line 834
  method = _PyObject_LookupSpecial(o, (char *)"__sizeof__", & str__sizeof__);
   2023: /* CIL Label */ 
#line 836
  if ((unsigned int )method == (unsigned int )((void *)0)) {
#line 837
    tmp___1 = PyErr_Occurred();
#line 837
    if (tmp___1) {

    } else {
#line 838
      PyErr_Format(PyExc_TypeError, "Type %.100s doesn\'t define __sizeof__",
                   (o->ob_type)->tp_name);
    }
  } else {
#line 843
    res = PyObject_CallFunctionObjArgs(method, (void *)0);
#line 844
    while (1) {
#line 844
      (method->ob_refcnt) --;
#line 844
      if (method->ob_refcnt != 0) {

      } else {
#line 844
        (*((method->ob_type)->tp_dealloc))(method);
      }
#line 844
      break;
    }
  }
   2024: /* CIL Label */ 
#line 848
  if ((unsigned int )res == (unsigned int )((void *)0)) {
#line 848
    if ((unsigned int )dflt != (unsigned int )((void *)0)) {
#line 848
      tmp___2 = PyErr_ExceptionMatches(PyExc_TypeError);
#line 848
      if (tmp___2) {
#line 851
        PyErr_Clear();
#line 852
        (dflt->ob_refcnt) ++;
#line 853
        return (dflt);
      } else {
        goto _L___0;
      }
    } else {
      goto _L___0;
    }
  } else {
    _L___0: /* CIL Label */ 
    _L: /* CIL Label */ 
#line 855
    if ((unsigned int )res == (unsigned int )((void *)0)) {
#line 856
      return (res);
    } else {

    }
  }
   2025: /* CIL Label */ 
#line 859
  if (((o->ob_type)->tp_flags & (1L << 14)) != 0L) {
#line 859
    if ((unsigned int )(o->ob_type)->tp_is_gc == (unsigned int )((void *)0)) {
      goto _L___1;
    } else {
#line 859
      tmp___4 = (*((o->ob_type)->tp_is_gc))(o);
#line 859
      if (tmp___4) {
        _L___1: /* CIL Label */ 
#line 860
        tmp___3 = res;
#line 861
        res = PyNumber_Add(tmp___3, gc_head_size);
#line 862
        while (1) {
#line 862
          (tmp___3->ob_refcnt) --;
#line 862
          if (tmp___3->ob_refcnt != 0) {

          } else {
#line 862
            (*((tmp___3->ob_type)->tp_dealloc))(tmp___3);
          }
#line 862
          break;
        }
      } else {

      }
    }
  } else {

  }
   2026: /* CIL Label */ 
#line 864
  return (res);
}
}

cilRep: liveness failure for sys_getsizeof: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: error: 
#line 1858
err = -1;
Liveness failed on function:
 static int sys_pyfile_write_unicode(PyObject *unicode , PyObject *file ) 
{ PyObject *writer ;
  PyObject *args ;
  PyObject *result ;
  int err ;

  {
   2804: /* CIL Label */ 
#line 1835
  writer = (PyObject *)((void *)0);
   2805: /* CIL Label */ 
#line 1835
  args = (PyObject *)((void *)0);
   2806: /* CIL Label */ 
#line 1835
  result = (PyObject *)((void *)0);
   2807: /* CIL Label */ 
#line 1838
  if ((unsigned int )file == (unsigned int )((void *)0)) {
#line 1839
    return (-1);
  } else {

  }
   2808: /* CIL Label */ 
#line 1841
  writer = PyObject_GetAttrString(file, "write");
   2809: /* CIL Label */ 
#line 1842
  if ((unsigned int )writer == (unsigned int )((void *)0)) {
    goto error;
  } else {

  }
   2810: /* CIL Label */ 
#line 1845
  args = PyTuple_Pack(1, unicode);
   2811: /* CIL Label */ 
#line 1846
  if ((unsigned int )args == (unsigned int )((void *)0)) {
    goto error;
  } else {

  }
   2812: /* CIL Label */ 
#line 1849
  result = PyEval_CallObjectWithKeywords(writer, args, (PyObject *)((void *)0));
   2813: /* CIL Label */ 
#line 1850
  if ((unsigned int )result == (unsigned int )((void *)0)) {
    goto error;
  } else {
#line 1853
    err = 0;
    goto  2815;
  }
   2814: /* CIL Label */ 
  error: 
#line 1858
  err = -1;
   2815: /* CIL Label */ 
  finally: 
#line 1860
  while (1) {
#line 1860
    if ((unsigned int )writer == (unsigned int )((void *)0)) {

    } else {
#line 1860
      while (1) {
#line 1860
        (writer->ob_refcnt) --;
#line 1860
        if (writer->ob_refcnt != 0) {

        } else {
#line 1860
          (*((writer->ob_type)->tp_dealloc))(writer);
        }
#line 1860
        break;
      }
    }
#line 1860
    break;
  }
   2816: /* CIL Label */ 
#line 1861
  while (1) {
#line 1861
    if ((unsigned int )args == (unsigned int )((void *)0)) {

    } else {
#line 1861
      while (1) {
#line 1861
        (args->ob_refcnt) --;
#line 1861
        if (args->ob_refcnt != 0) {

        } else {
#line 1861
          (*((args->ob_type)->tp_dealloc))(args);
        }
#line 1861
        break;
      }
    }
#line 1861
    break;
  }
   2817: /* CIL Label */ 
#line 1862
  while (1) {
#line 1862
    if ((unsigned int )result == (unsigned int )((void *)0)) {

    } else {
#line 1862
      while (1) {
#line 1862
        (result->ob_refcnt) --;
#line 1862
        if (result->ob_refcnt != 0) {

        } else {
#line 1862
          (*((result->ob_type)->tp_dealloc))(result);
        }
#line 1862
        break;
      }
    }
#line 1862
    break;
  }
   2818: /* CIL Label */ 
#line 1863
  return (err);
}
}

cilRep: liveness failure for sys_pyfile_write_unicode: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 1928
truncated = "... truncated";
#line 1929
tmp___0 = sys_pyfile_write(truncated, file);
Liveness failed on function:
 static void sys_write(char *name , FILE *fp , char const   *format ,
                       va_list va ) 
{ PyObject *file ;
  PyObject *error_type ;
  PyObject *error_value ;
  PyObject *error_traceback ;
  char buffer[1001] ;
  int written ;
  int tmp ;
  char const   *truncated ;
  int tmp___0 ;

  {
   2844: /* CIL Label */ 
#line 1920
  PyErr_Fetch(& error_type, & error_value, & error_traceback);
   2845: /* CIL Label */ 
#line 1921
  file = PySys_GetObject((char const   *)name);
   2846: /* CIL Label */ 
#line 1922
  written = PyOS_vsnprintf(buffer, sizeof(buffer), format, va);
   2847: /* CIL Label */ 
#line 1923
  tmp = sys_pyfile_write((char const   *)(buffer), file);
   2848: /* CIL Label */ 
#line 1923
  if (tmp != 0) {
#line 1924
    PyErr_Clear();
#line 1925
    fputs((char const   */* __restrict  */)(buffer), (FILE */* __restrict  */)fp);
  } else {

  }
   2849: /* CIL Label */ 
#line 1927
  if (written < 0) {
    goto _L;
  } else {
#line 1927
    if ((unsigned int )written >= sizeof(buffer)) {
      _L: /* CIL Label */ 
#line 1928
      truncated = "... truncated";
#line 1929
      tmp___0 = sys_pyfile_write(truncated, file);
#line 1929
      if (tmp___0 != 0) {
#line 1930
        fputs((char const   */* __restrict  */)truncated,
              (FILE */* __restrict  */)fp);
      } else {

      }
    } else {

    }
  }
   2850: /* CIL Label */ 
#line 1932
  PyErr_Restore(error_type, error_value, error_traceback);
   2851: /* CIL Label */ 
#line 1933
  return;
}
}

cilRep: liveness failure for sys_write: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/Python/thread.c: parsing
cilRep: preprocessed/Python/thread.c: parsed (0.349926 MB)
cilRep: computing liveness
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 3494
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)
	p74: true (1)
	p75: true (1)
	p76: true (1)
	p77: true (1)
	p78: true (1)
	p79: true (1)
	p80: true (1)
	p81: true (1)
	p82: true (1)
	p83: true (1)
	p84: true (1)
	p85: true (1)
	p86: true (1)
	p87: true (1)
	p88: true (1)
	p89: true (1)
	p90: true (1)
	p91: true (1)
	p92: true (1)
	p93: true (1)
	p94: true (1)
	p95: true (1)
	p96: true (1)
	p97: true (1)
	p98: true (1)
	p99: true (1)
	p100: true (1)
	p101: true (1)
	p102: true (1)
	p103: true (1)
	p104: true (1)
	p105: true (1)
	p106: true (1)
	p107: true (1)
	p108: true (1)
	p109: true (1)
	p110: true (1)
	p111: true (1)
	p112: true (1)
	p113: true (1)
	p114: true (1)
	p115: true (1)
	p116: true (1)
	p117: true (1)
	p118: true (1)
	p119: true (1)
	p120: true (1)
	p121: true (1)
	p122: true (1)
	p123: true (1)
	p124: true (1)
	p125: true (1)
	p126: true (1)
	p127: true (1)
	p128: true (1)
	p129: true (1)
	p130: true (1)
	p131: true (1)
	p132: true (1)
	p133: true (1)
	p134: true (1)
	p135: true (1)
	p136: true (1)
	p137: true (1)
	p138: true (1)
	p139: true (1)
	p140: true (1)
	p141: true (1)
	p142: true (1)
	p143: true (1)
	p144: true (1)
	p145: true (1)
	p146: true (1)
	p147: true (1)
	p148: true (1)
	p149: true (1)
	p150: true (1)
	p151: true (1)
	p152: true (1)
	p153: true (1)
	p154: true (1)
	p155: true (1)
	p156: true (1)
	p157: true (1)
	p158: true (1)
	p159: true (1)
	p160: true (1)
	p161: true (1)
	p162: true (1)
	p163: true (1)
	p164: true (1)
	p165: true (1)
	p166: true (1)
	p167: true (1)
	p168: true (1)
	p169: true (1)
	p170: true (1)
	p171: true (1)
	p172: true (1)
	p173: true (1)
	p174: true (1)
	p175: true (1)
	p176: true (1)
	p177: true (1)
	p178: true (1)
	p179: true (1)
	p180: true (1)
	p181: true (1)
	p182: true (1)
	p183: true (1)
	p184: true (1)
	p185: true (1)
	p186: true (1)
	p187: true (1)
	p188: true (1)
	p189: true (1)
	p190: true (1)
	p191: true (1)
	p192: true (1)
	p193: true (1)
	p194: true (1)
	p195: true (1)
	p196: true (1)
	p197: true (1)
	p198: true (1)
	p199: true (1)
	p200: true (1)
	p201: true (1)
	p202: true (1)
	p203: true (1)
	p204: true (1)
	p205: true (1)
	p206: true (1)
	p207: true (1)
	p208: true (1)
	p209: true (1)
	p210: true (1)
	p211: true (1)
	p212: true (1)
	p213: true (1)
	p214: true (1)
	p215: true (1)
	p216: true (1)
	p217: true (1)
	p218: true (1)
	p219: true (1)
	p220: true (1)
	p221: true (1)
	p222: true (1)
	p223: true (1)
	p224: true (1)
	p225: true (1)
	p226: true (1)
	p227: true (1)
	p228: true (1)
	p229: true (1)
	p230: true (1)
	p231: true (1)
	p232: true (1)
	p233: true (1)
	p234: true (1)
	p235: true (1)
	p236: true (1)
	p237: true (1)
	p238: true (1)
	p239: true (1)
	p240: true (1)
	p241: true (1)
	p242: true (1)
	p243: true (1)
	p244: true (1)
	p245: true (1)
	p246: true (1)
	p247: true (1)
	p248: true (1)
	p249: true (1)
	p250: true (1)
	p251: true (1)
	p252: true (1)
	p253: true (1)
	p254: true (1)
	p255: true (1)
	p256: true (1)
	p257: true (1)
	p258: true (1)
	p259: true (1)
	p260: true (1)
	p261: true (1)
	p262: true (1)
	p263: true (1)
	p264: true (1)
	p265: true (1)
	p266: true (1)
	p267: true (1)
	p268: true (1)
	p269: true (1)
	p270: true (1)
	p271: true (1)
	p272: true (1)
	p273: true (1)
	p274: true (1)
	p275: true (1)
	p276: true (1)
	p277: true (1)
	p278: true (1)
	p279: true (1)
	p280: true (1)
	p281: true (1)
	p282: true (1)
	p283: true (1)
	p284: true (1)
	p285: true (1)
	p286: true (1)
	p287: true (1)
	p288: true (1)
	p289: true (1)
	p290: true (1)
	p291: true (1)
	p292: true (1)
	p293: true (1)
	p294: true (1)
	p295: true (1)
	p296: true (1)
	p297: true (1)
	p298: true (1)
	p299: true (1)
	p300: true (1)
	p301: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 317.721)
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 = 3494
cilRep: stmts in weighted_path = 803
cilRep: total weight = 80.3
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: Modules/_threadmodule.c (code bank/base file; atoms [1,1148])
cilRep: Python/sysmodule.c (code bank/base file; atoms [1149,2887])
cilRep: Python/thread.c (code bank/base file; atoms [2888,3494])
cilRep: 3 file(s) total in representation
search: ww_adaptive_1 begins (time = 1368025693.590982)
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: 1044
cilRep: fix-space quotient by string: 1555 -> 984
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: __getdelim
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __strtoll_internal
progeq: WARNING: cannot resolve call: __strtoull_internal
progeq: WARNING: cannot resolve call: __wcstoll_internal
progeq: WARNING: cannot resolve call: __wcstoull_internal
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: __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: __xstat64
progeq: WARNING: cannot resolve call: __lxstat64
progeq: WARNING: cannot resolve call: __fxstat64
progeq: WARNING: cannot resolve call: __fxstatat64
progeq: WARNING: cannot resolve call: __ctype_tolower_loc
progeq: WARNING: cannot resolve call: __ctype_toupper_loc
progeq: WARNING: cannot resolve call: __btowc_alias
progeq: WARNING: cannot resolve call: __wctob_alias
progeq: WARNING: cannot resolve call: mbrtowc
progeq: WARNING: cannot resolve call: __mbrlen
progeq: WARNING: cannot resolve call: PyObject_ClearWeakRefs
progeq: WARNING: cannot resolve call: gettimeofday
progeq: WARNING: cannot resolve call: sem_timedwait
progeq: WARNING: cannot resolve call: __errno_location
progeq: WARNING: cannot resolve call: sem_trywait
progeq: WARNING: cannot resolve call: sem_wait
progeq: WARNING: cannot resolve call: sem_post
progeq: WARNING: cannot resolve call: sem_destroy
progeq: WARNING: cannot resolve call: free
progeq: WARNING: cannot resolve call: PyObject_Free
progeq: WARNING: cannot resolve call: _PyTime_gettimeofday
progeq: WARNING: cannot resolve call: PyEval_SaveThread
progeq: WARNING: cannot resolve call: PyEval_RestoreThread
progeq: WARNING: cannot resolve call: Py_MakePendingCalls
progeq: WARNING: cannot resolve call: PyArg_ParseTupleAndKeywords
progeq: WARNING: cannot resolve call: PyErr_SetString
progeq: WARNING: cannot resolve call: PyBool_FromLong
progeq: WARNING: cannot resolve call: *((((PyObject *)self)->ob_type)->tp_free)
progeq: WARNING: cannot resolve call: pthread_self
progeq: WARNING: cannot resolve call: PyArg_ParseTuple
progeq: WARNING: cannot resolve call: Py_BuildValue
progeq: WARNING: cannot resolve call: *(type->tp_alloc)
progeq: WARNING: cannot resolve call: sem_init
progeq: WARNING: cannot resolve call: *(type->tp_free)
progeq: WARNING: cannot resolve call: PyUnicodeUCS2_FromFormat
progeq: WARNING: cannot resolve call: _PyObject_New
progeq: WARNING: cannot resolve call: *((((PyObject *)self)->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyThreadState_GetDict
progeq: WARNING: cannot resolve call: PyDict_New
progeq: WARNING: cannot resolve call: *(localdummytype.tp_alloc)
progeq: WARNING: cannot resolve call: PyWeakref_NewRef
progeq: WARNING: cannot resolve call: PyDict_SetItem
progeq: WARNING: cannot resolve call: *((_py_tmp->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((_py_tmp___0->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((ldict->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyObject_IsTrue
progeq: WARNING: cannot resolve call: PyCFunction_NewEx
progeq: WARNING: cannot resolve call: *((wr->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((((PyObject *)dummy)->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *visit
progeq: WARNING: cannot resolve call: *((_py_tmp___1->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((_py_tmp___2->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyThreadState_Get
progeq: WARNING: cannot resolve call: PyInterpreterState_ThreadHead
progeq: WARNING: cannot resolve call: PyDict_GetItem
progeq: WARNING: cannot resolve call: PyDict_DelItem
progeq: WARNING: cannot resolve call: PyThreadState_Next
progeq: WARNING: cannot resolve call: PyObject_GC_UnTrack
progeq: WARNING: cannot resolve call: *(((self->key)->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((((PyObject *)self)->ob_type)->tp_init)
progeq: WARNING: cannot resolve call: PyObject_RichCompareBool
progeq: WARNING: cannot resolve call: PyErr_Format
progeq: WARNING: cannot resolve call: _PyObject_GenericSetAttrWithDict
progeq: WARNING: cannot resolve call: _PyObject_GenericGetAttrWithDict
progeq: WARNING: cannot resolve call: PyErr_Occurred
progeq: WARNING: cannot resolve call: PyErr_WriteUnraisable
progeq: WARNING: cannot resolve call: *((obj->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: _PyThreadState_Init
progeq: WARNING: cannot resolve call: PyEval_AcquireThread
progeq: WARNING: cannot resolve call: PyEval_CallObjectWithKeywords
progeq: WARNING: cannot resolve call: PyErr_ExceptionMatches
progeq: WARNING: cannot resolve call: PyErr_Clear
progeq: WARNING: cannot resolve call: __builtin_va_start
progeq: WARNING: cannot resolve call: PyErr_Fetch
*** 3600m timeout
python-bug-69709-69710.tar.gz
Fri May 10 23:01:51 EDT 2013
shutting down
