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 7
--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-108-78-97 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Tue May  7 21:38:20 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp7d9ac0.c /tmp/tmpca9392.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/gzip.c: parsing
cilRep: preprocessed/gzip.c: parsed (0.235592 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___2: /* CIL Label */ 
_L___1: /* CIL Label */ 
#line 773 "gzip.c"
tmp___7 = make_ofname();
Liveness failed on function:
 static void treat_file(char *iname ) 
{ int cflag ;
  size_t __s1_len ;
  size_t __s2_len ;
  int tmp ;
  int tmp___0 ;
  int tmp___1 ;
  unsigned char const   *__s2 ;
  register int __result ;
  int tmp___2 ;
  unsigned char const   *__s1 ;
  register int __result___0 ;
  int tmp___3 ;
  int tmp___4 ;
  int tmp___5 ;
  int tmp___6 ;
  int tmp___7 ;
  int tmp___8 ;
  int tmp___9 ;
  int tmp___10 ;
  int tmp___11 ;
  int tmp___12 ;
  sigset_t oldset ;
  int unlink_errno ;
  int tmp___13 ;
  int tmp___14 ;
  int *tmp___15 ;
  int tmp___16 ;
  int *tmp___17 ;

  {
   756: /* CIL Label */ 
#line 688
  if (0) {
#line 688
    __s1_len = strlen((char const   *)iname);
#line 688
    __s2_len = strlen("-");
#line 688
    if (! ((unsigned int )((void const   *)(iname + 1)) - (unsigned int )((void const   *)iname) == 1U)) {
      goto _L___0;
    } else {
#line 688
      if (__s1_len >= 4U) {
        _L___0: /* CIL Label */ 
#line 688
        if (! ((unsigned int )((void const   *)("-" + 1)) - (unsigned int )((void const   *)"-") == 1U)) {
#line 688
          tmp___5 = 1;
        } else {
#line 688
          if (__s2_len >= 4U) {
#line 688
            tmp___5 = 1;
          } else {
#line 688
            tmp___5 = 0;
          }
        }
      } else {
#line 688
        tmp___5 = 0;
      }
    }
#line 688
    if (tmp___5) {
#line 688
      tmp___0 = __builtin_strcmp((char const   *)iname, "-");
#line 688
      tmp___4 = tmp___0;
    } else {
#line 688
      tmp___3 = __builtin_strcmp((char const   *)iname, "-");
#line 688
      tmp___4 = tmp___3;
    }
  } else {
#line 688
    tmp___3 = __builtin_strcmp((char const   *)iname, "-");
#line 688
    tmp___4 = tmp___3;
  }
   757: /* CIL Label */ 
#line 688
  if (tmp___4 == 0) {
#line 689
    cflag = to_stdout;
#line 690
    treat_stdin();
#line 691
    to_stdout = cflag;
#line 692
    return;
  } else {

  }
   758: /* CIL Label */ 
#line 696
  ifd = open_input_file(iname, & istat);
   759: /* CIL Label */ 
#line 697
  if (ifd < 0) {
#line 698
    return;
  } else {

  }
   760: /* CIL Label */ 
#line 701
  if ((istat.st_mode & 61440U) == 16384U) {
#line 703
    if (recursive) {
#line 704
      treat_dir(ifd, iname);
#line 706
      return;
    } else {

    }
#line 709
    close(ifd);
#line 710
    if (! quiet) {
#line 710
      rpl_fprintf(stderr, "%s: %s is a directory -- ignored\n", program_name,
                  ifname);
    } else {

    }
#line 710
    if (exit_code == 0) {
#line 710
      exit_code = 2;
    } else {

    }
#line 712
    return;
  } else {

  }
   761: /* CIL Label */ 
#line 715
  if (! to_stdout) {
#line 717
    if (! ((istat.st_mode & 61440U) == 32768U)) {
#line 719
      if (! quiet) {
#line 719
        rpl_fprintf(stderr,
                    "%s: %s is not a directory or a regular file - ignored\n",
                    program_name, ifname);
      } else {

      }
#line 719
      if (exit_code == 0) {
#line 719
        exit_code = 2;
      } else {

      }
#line 722
      close(ifd);
#line 723
      return;
    } else {

    }
#line 725
    if (istat.st_mode & 2048U) {
#line 727
      if (! quiet) {
#line 727
        rpl_fprintf(stderr, "%s: %s is set-user-ID on execution - ignored\n",
                    program_name, ifname);
      } else {

      }
#line 727
      if (exit_code == 0) {
#line 727
        exit_code = 2;
      } else {

      }
#line 729
      close(ifd);
#line 730
      return;
    } else {

    }
#line 732
    if (istat.st_mode & 1024U) {
#line 734
      if (! quiet) {
#line 734
        rpl_fprintf(stderr, "%s: %s is set-group-ID on execution - ignored\n",
                    program_name, ifname);
      } else {

      }
#line 734
      if (exit_code == 0) {
#line 734
        exit_code = 2;
      } else {

      }
#line 736
      close(ifd);
#line 737
      return;
    } else {

    }
#line 740
    if (! force) {
#line 742
      if (istat.st_mode & 512U) {
#line 744
        if (! quiet) {
#line 744
          rpl_fprintf(stderr, "%s: %s has the sticky bit set - file ignored\n",
                      program_name, ifname);
        } else {

        }
#line 744
        if (exit_code == 0) {
#line 744
          exit_code = 2;
        } else {

        }
#line 747
        close(ifd);
#line 748
        return;
      } else {

      }
#line 750
      if (2U <= istat.st_nlink) {
#line 752
        if (! quiet) {
#line 752
          if (istat.st_nlink == 2U) {
#line 752
            tmp___6 = ' ';
          } else {
#line 752
            tmp___6 = 's';
          }
#line 752
          rpl_fprintf(stderr, "%s: %s has %lu other link%c -- unchanged\n",
                      program_name, ifname,
                      (unsigned long )istat.st_nlink - 1UL, tmp___6);
        } else {

        }
#line 752
        if (exit_code == 0) {
#line 752
          exit_code = 2;
        } else {

        }
#line 756
        close(ifd);
#line 757
        return;
      } else {

      }
    } else {

    }
  } else {

  }
   762: /* CIL Label */ 
#line 762
  if ((istat.st_mode & 61440U) == 32768U) {
#line 762
    ifile_size = istat.st_size;
  } else {
#line 762
    ifile_size = -1LL;
  }
   763: /* CIL Label */ 
#line 763
  time_stamp.tv_nsec = -1L;
   764: /* CIL Label */ 
#line 764
  if (! no_time) {
#line 765
    time_stamp = get_stat_mtime((struct stat  const  *)(& istat));
  } else {
#line 764
    if (list) {
#line 765
      time_stamp = get_stat_mtime((struct stat  const  *)(& istat));
    } else {

    }
  }
   765: /* CIL Label */ 
#line 770
  if (to_stdout) {
#line 770
    if (! list) {
#line 770
      if (! test) {
#line 771
        strcpy((char */* __restrict  */)(ofname),
               (char const   */* __restrict  */)"stdout");
      } else {
        goto _L___2;
      }
    } else {
      goto _L___2;
    }
  } else {
    _L___2: /* CIL Label */ 
    _L___1: /* CIL Label */ 
#line 773
    tmp___7 = make_ofname();
#line 773
    if (tmp___7 != 0) {
#line 774
      close(ifd);
#line 775
      return;
    } else {

    }
  }
   766: /* CIL Label */ 
#line 778
  clear_bufs();
   767: /* CIL Label */ 
#line 779
  part_nb = 0;
   768: /* CIL Label */ 
#line 781
  if (decompress) {
#line 782
    method = get_method(ifd);
#line 783
    if (method < 0) {
#line 784
      close(ifd);
#line 785
      return;
    } else {

    }
  } else {

  }
   769: /* CIL Label */ 
#line 788
  if (list) {
#line 789
    do_list(ifd, method);
#line 790
    tmp___8 = close(ifd);
#line 790
    if (tmp___8 != 0) {
#line 791
      read_error();
    } else {

    }
#line 792
    return;
  } else {

  }
   770: /* CIL Label */ 
#line 799
  if (to_stdout) {
#line 800
    ofd = fileno(stdout);
  } else {
#line 803
    tmp___9 = create_outfile();
#line 803
    if (tmp___9 != 0) {
#line 803
      return;
    } else {

    }
#line 805
    if (! decompress) {
#line 805
      if (save_orig_name) {
#line 805
        if (! verbose) {
#line 805
          if (! quiet) {
#line 806
            rpl_fprintf(stderr, "%s: %s compressed to %s\n", program_name,
                        ifname, ofname);
          } else {

          }
        } else {

        }
      } else {

      }
    } else {

    }
  }
   771: /* CIL Label */ 
#line 811
  if (! save_orig_name) {
#line 811
    save_orig_name = ! no_name;
  } else {

  }
   772: /* CIL Label */ 
#line 813
  if (verbose) {
#line 814
    rpl_fprintf(stderr, "%s:\t", ifname);
  } else {

  }
   773: /* CIL Label */ 
#line 819
  while (1) {
#line 820
    tmp___10 = (*work)(ifd, ofd);
#line 820
    if (tmp___10 != 0) {
#line 821
      method = -1;
#line 822
      break;
    } else {

    }
#line 825
    tmp___11 = input_eof();
#line 825
    if (tmp___11) {
#line 826
      break;
    } else {

    }
#line 828
    method = get_method(ifd);
#line 829
    if (method < 0) {
#line 829
      break;
    } else {

    }
#line 830
    bytes_out = 0LL;
  }
   774: /* CIL Label */ 
#line 833
  tmp___12 = close(ifd);
   775: /* CIL Label */ 
#line 833
  if (tmp___12 != 0) {
#line 834
    read_error();
  } else {

  }
   776: /* CIL Label */ 
#line 836
  if (! to_stdout) {
#line 841
    copy_stat(& istat);
#line 842
    tmp___13 = close(ofd);
#line 842
    if (tmp___13 != 0) {
#line 843
      write_error();
    } else {

    }
#line 845
    sigprocmask(0, (sigset_t const   */* __restrict  */)(& caught_signals),
                (sigset_t */* __restrict  */)(& oldset));
#line 846
    remove_ofname_fd = (int volatile   )-1;
#line 847
    tmp___16 = xunlink(ifname);
#line 847
    if (tmp___16 == 0) {
#line 847
      unlink_errno = 0;
    } else {
#line 847
      tmp___15 = __errno_location();
#line 847
      unlink_errno = *tmp___15;
    }
#line 848
    sigprocmask(2, (sigset_t const   */* __restrict  */)(& oldset),
                (sigset_t */* __restrict  */)((void *)0));
#line 850
    if (unlink_errno) {
#line 852
      if (! quiet) {
#line 852
        rpl_fprintf(stderr, "%s: ", program_name);
      } else {

      }
#line 852
      if (exit_code == 0) {
#line 852
        exit_code = 2;
      } else {

      }
#line 853
      if (! quiet) {
#line 855
        tmp___17 = __errno_location();
#line 855
        *tmp___17 = unlink_errno;
#line 856
        perror((char const   *)(ifname));
      } else {

      }
    } else {

    }
  } else {

  }
   777: /* CIL Label */ 
#line 861
  if (method == -1) {
#line 862
    if (! to_stdout) {
#line 863
      remove_output_file();
    } else {

    }
#line 864
    return;
  } else {

  }
   778: /* CIL Label */ 
#line 868
  if (verbose) {
#line 869
    if (test) {
#line 870
      rpl_fprintf(stderr, " OK");
    } else {
#line 871
      if (decompress) {
#line 872
        display_ratio(bytes_out - (bytes_in - header_bytes), bytes_out, stderr);
      } else {
#line 874
        display_ratio(bytes_in - (bytes_out - header_bytes), bytes_in, stderr);
      }
    }
#line 876
    if (! test) {
#line 876
      if (! to_stdout) {
#line 877
        rpl_fprintf(stderr, " -- replaced with %s", ofname);
      } else {

      }
    } else {

    }
#line 879
    rpl_fprintf(stderr, "\n");
  } else {

  }
   779: /* CIL Label */ 
#line 881
  return;
}
}

cilRep: liveness failure for treat_file: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: name_too_long: 
#line 1139
rpl_fprintf(stderr, "%s: %s: file name too long\n", program_name, iname);
#line 1140
exit_code = 1;
Liveness failed on function:
 static int open_input_file(char *iname , struct stat *sbuf ) 
{ int ilen ;
  int z_suffix_errno ;
  char const   **suf ;
  char const   *s ;
  int fd ;
  int open_flags ;
  int tmp ;
  size_t tmp___0 ;
  int *tmp___1 ;
  char *tmp___2 ;
  size_t tmp___3 ;
  size_t __s1_len ;
  size_t __s2_len ;
  int tmp___4 ;
  int tmp___5 ;
  int tmp___6 ;
  unsigned char const   *__s2 ;
  register int __result ;
  int tmp___7 ;
  unsigned char const   *__s1 ;
  register int __result___0 ;
  int tmp___8 ;
  int tmp___9 ;
  int tmp___10 ;
  char const   *s0 ;
  size_t tmp___11 ;
  int *tmp___12 ;
  int *tmp___13 ;
  size_t __s1_len___0 ;
  size_t __s2_len___0 ;
  int tmp___14 ;
  int tmp___15 ;
  int tmp___16 ;
  unsigned char const   *__s2___0 ;
  register int __result___1 ;
  int tmp___17 ;
  unsigned char const   *__s1___0 ;
  register int __result___2 ;
  int tmp___18 ;
  int tmp___19 ;
  int tmp___20 ;
  int *tmp___21 ;

  {
   975: /* CIL Label */ 
#line 1052
  z_suffix_errno = 0;
   976: /* CIL Label */ 
#line 1054
  suf = suffixes;
   977: /* CIL Label */ 
#line 1060
  if (ascii) {
#line 1060
    if (! decompress) {
#line 1060
      tmp = 0;
    } else {
#line 1060
      tmp = 0;
    }
  } else {
#line 1060
    tmp = 0;
  }
   978: /* CIL Label */ 
#line 1060
  open_flags = 2304 | tmp;
   979: /* CIL Label */ 
#line 1063
  *suf = z_suffix;
   980: /* CIL Label */ 
#line 1065
  tmp___0 = strlen((char const   *)iname);
   981: /* CIL Label */ 
#line 1065
  if (sizeof(ifname) - 1U <= tmp___0) {
    goto name_too_long;
  } else {

  }
   982: /* CIL Label */ 
#line 1068
  strcpy((char */* __restrict  */)(ifname),
         (char const   */* __restrict  */)iname);
   983: /* CIL Label */ 
#line 1071
  fd = open_and_stat(ifname, open_flags, 384U, sbuf);
   984: /* CIL Label */ 
#line 1072
  if (0 <= fd) {
#line 1073
    return (fd);
  } else {

  }
   985: /* CIL Label */ 
#line 1075
  if (! decompress) {
#line 1076
    progerror((char const   *)(ifname));
#line 1077
    return (-1);
  } else {
#line 1075
    tmp___1 = __errno_location();
#line 1075
    if (*tmp___1 != 2) {
#line 1076
      progerror((char const   *)(ifname));
#line 1077
      return (-1);
    } else {

    }
  }
   986: /* CIL Label */ 
#line 1082
  tmp___2 = get_suffix(ifname);
   987: /* CIL Label */ 
#line 1082
  s = (char const   *)tmp___2;
   988: /* CIL Label */ 
#line 1083
  if ((unsigned int )s != (unsigned int )((void *)0)) {
#line 1084
    progerror((char const   *)(ifname));
#line 1085
    return (-1);
  } else {

  }
   989: /* CIL Label */ 
#line 1094
  tmp___3 = strlen((char const   *)(ifname));
   990: /* CIL Label */ 
#line 1094
  ilen = (int )tmp___3;
   991: /* CIL Label */ 
#line 1095
  if (0) {
#line 1095
    __s1_len = strlen(z_suffix);
#line 1095
    __s2_len = strlen(".gz");
#line 1095
    if (! ((unsigned int )((void const   *)(z_suffix + 1)) - (unsigned int )((void const   *)z_suffix) == 1U)) {
      goto _L___0;
    } else {
#line 1095
      if (__s1_len >= 4U) {
        _L___0: /* CIL Label */ 
#line 1095
        if (! ((unsigned int )((void const   *)(".gz" + 1)) - (unsigned int )((void const   *)".gz") == 1U)) {
#line 1095
          tmp___10 = 1;
        } else {
#line 1095
          if (__s2_len >= 4U) {
#line 1095
            tmp___10 = 1;
          } else {
#line 1095
            tmp___10 = 0;
          }
        }
      } else {
#line 1095
        tmp___10 = 0;
      }
    }
#line 1095
    if (tmp___10) {
#line 1095
      tmp___5 = __builtin_strcmp(z_suffix, ".gz");
#line 1095
      tmp___9 = tmp___5;
    } else {
#line 1095
      tmp___8 = __builtin_strcmp(z_suffix, ".gz");
#line 1095
      tmp___9 = tmp___8;
    }
  } else {
#line 1095
    tmp___8 = __builtin_strcmp(z_suffix, ".gz");
#line 1095
    tmp___9 = tmp___8;
  }
   992: /* CIL Label */ 
#line 1095
  if (tmp___9 == 0) {
#line 1095
    suf ++;
  } else {

  }
   993: /* CIL Label */ 
#line 1098
  while (1) {
#line 1099
    s = *suf;
#line 1099
    s0 = s;
#line 1100
    strcpy((char */* __restrict  */)(ifname),
           (char const   */* __restrict  */)iname);
#line 1109
    tmp___11 = strlen(s);
#line 1109
    if (sizeof(ifname) <= (size_t )ilen + tmp___11) {
      goto name_too_long;
    } else {

    }
#line 1111
    strcat((char */* __restrict  */)(ifname), (char const   */* __restrict  */)s);
#line 1112
    fd = open_and_stat(ifname, open_flags, 384U, sbuf);
#line 1113
    if (0 <= fd) {
#line 1114
      return (fd);
    } else {

    }
#line 1115
    tmp___12 = __errno_location();
#line 1115
    if (*tmp___12 != 2) {
#line 1117
      progerror((char const   *)(ifname));
#line 1118
      return (-1);
    } else {

    }
#line 1120
    if (0) {
#line 1120
      __s1_len___0 = strlen(s0);
#line 1120
      __s2_len___0 = strlen(z_suffix);
#line 1120
      if (! ((unsigned int )((void const   *)(s0 + 1)) - (unsigned int )((void const   *)s0) == 1U)) {
        goto _L___2;
      } else {
#line 1120
        if (__s1_len___0 >= 4U) {
          _L___2: /* CIL Label */ 
#line 1120
          if (! ((unsigned int )((void const   *)(z_suffix + 1)) - (unsigned int )((void const   *)z_suffix) == 1U)) {
#line 1120
            tmp___20 = 1;
          } else {
#line 1120
            if (__s2_len___0 >= 4U) {
#line 1120
              tmp___20 = 1;
            } else {
#line 1120
              tmp___20 = 0;
            }
          }
        } else {
#line 1120
          tmp___20 = 0;
        }
      }
#line 1120
      if (tmp___20) {
#line 1120
        tmp___15 = __builtin_strcmp(s0, z_suffix);
#line 1120
        tmp___19 = tmp___15;
      } else {
#line 1120
        tmp___18 = __builtin_strcmp(s0, z_suffix);
#line 1120
        tmp___19 = tmp___18;
      }
    } else {
#line 1120
      tmp___18 = __builtin_strcmp(s0, z_suffix);
#line 1120
      tmp___19 = tmp___18;
    }
#line 1120
    if (tmp___19 == 0) {
#line 1121
      tmp___13 = __errno_location();
#line 1121
      z_suffix_errno = *tmp___13;
    } else {

    }
#line 1098
    suf ++;
#line 1098
    if ((unsigned int )*suf != (unsigned int )((void *)0)) {

    } else {
#line 1098
      break;
    }
  }
   994: /* CIL Label */ 
#line 1125
  strcpy((char */* __restrict  */)(ifname),
         (char const   */* __restrict  */)iname);
   995: /* CIL Label */ 
#line 1133
  strcat((char */* __restrict  */)(ifname),
         (char const   */* __restrict  */)z_suffix);
   996: /* CIL Label */ 
#line 1134
  tmp___21 = __errno_location();
   997: /* CIL Label */ 
#line 1134
  *tmp___21 = z_suffix_errno;
   998: /* CIL Label */ 
#line 1135
  progerror((char const   *)(ifname));
   999: /* CIL Label */ 
#line 1136
  return (-1);
   1000: /* CIL Label */ 
  name_too_long: 
#line 1139
  rpl_fprintf(stderr, "%s: %s: file name too long\n", program_name, iname);
   1001: /* CIL Label */ 
#line 1140
  exit_code = 1;
   1002: /* CIL Label */ 
#line 1141
  return (-1);
}
}

cilRep: liveness failure for open_input_file: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___4: /* CIL Label */ 
#line 1188
save_orig_name = 0;
#line 1213
tmp___13 = strlen((char const   *)(ofname));
Liveness failed on function:
 static int make_ofname(void) 
{ char *suff ;
  size_t __s1_len ;
  size_t __s2_len ;
  int tmp ;
  int tmp___0 ;
  int tmp___1 ;
  unsigned char const   *__s2 ;
  register int __result ;
  int tmp___2 ;
  unsigned char const   *__s1 ;
  register int __result___0 ;
  int tmp___3 ;
  int tmp___4 ;
  int tmp___5 ;
  size_t __s1_len___0 ;
  size_t __s2_len___0 ;
  int tmp___6 ;
  int tmp___7 ;
  int tmp___8 ;
  unsigned char const   *__s2___0 ;
  register int __result___1 ;
  int tmp___9 ;
  unsigned char const   *__s1___0 ;
  register int __result___2 ;
  int tmp___10 ;
  int tmp___11 ;
  int tmp___12 ;
  size_t tmp___13 ;

  {
   1085: /* CIL Label */ 
#line 1152
  strcpy((char */* __restrict  */)(ofname),
         (char const   */* __restrict  */)(ifname));
   1086: /* CIL Label */ 
#line 1154
  suff = get_suffix(ofname);
   1087: /* CIL Label */ 
#line 1156
  if (decompress) {
#line 1157
    if ((unsigned int )suff == (unsigned int )((void *)0)) {
#line 1161
      if (! recursive) {
#line 1161
        if (list) {
#line 1161
          return (0);
        } else {
#line 1161
          if (test) {
#line 1161
            return (0);
          } else {

          }
        }
      } else {

      }
#line 1164
      if (verbose) {
        goto _L;
      } else {
#line 1164
        if (! recursive) {
#line 1164
          if (! quiet) {
            _L: /* CIL Label */ 
#line 1165
            if (! quiet) {
#line 1165
              rpl_fprintf(stderr, "%s: %s: unknown suffix -- ignored\n",
                          program_name, ifname);
            } else {

            }
#line 1165
            if (exit_code == 0) {
#line 1165
              exit_code = 2;
            } else {

            }
          } else {

          }
        } else {

        }
      }
#line 1168
      return (2);
    } else {

    }
#line 1171
    strlwr(suff);
#line 1172
    if (0) {
#line 1172
      __s1_len = strlen((char const   *)suff);
#line 1172
      __s2_len = strlen(".tgz");
#line 1172
      if (! ((unsigned int )((void const   *)(suff + 1)) - (unsigned int )((void const   *)suff) == 1U)) {
        goto _L___1;
      } else {
#line 1172
        if (__s1_len >= 4U) {
          _L___1: /* CIL Label */ 
#line 1172
          if (! ((unsigned int )((void const   *)(".tgz" + 1)) - (unsigned int )((void const   *)".tgz") == 1U)) {
#line 1172
            tmp___5 = 1;
          } else {
#line 1172
            if (__s2_len >= 4U) {
#line 1172
              tmp___5 = 1;
            } else {
#line 1172
              tmp___5 = 0;
            }
          }
        } else {
#line 1172
          tmp___5 = 0;
        }
      }
#line 1172
      if (tmp___5) {
#line 1172
        tmp___0 = __builtin_strcmp((char const   *)suff, ".tgz");
#line 1172
        tmp___4 = tmp___0;
      } else {
#line 1172
        tmp___3 = __builtin_strcmp((char const   *)suff, ".tgz");
#line 1172
        tmp___4 = tmp___3;
      }
    } else {
#line 1172
      tmp___3 = __builtin_strcmp((char const   *)suff, ".tgz");
#line 1172
      tmp___4 = tmp___3;
    }
#line 1172
    if (tmp___4 == 0) {
#line 1173
      strcpy((char */* __restrict  */)suff,
             (char const   */* __restrict  */)".tar");
    } else {
#line 1172
      if (0) {
#line 1172
        __s1_len___0 = strlen((char const   *)suff);
#line 1172
        __s2_len___0 = strlen(".taz");
#line 1172
        if (! ((unsigned int )((void const   *)(suff + 1)) - (unsigned int )((void const   *)suff) == 1U)) {
          goto _L___3;
        } else {
#line 1172
          if (__s1_len___0 >= 4U) {
            _L___3: /* CIL Label */ 
#line 1172
            if (! ((unsigned int )((void const   *)(".taz" + 1)) - (unsigned int )((void const   *)".taz") == 1U)) {
#line 1172
              tmp___12 = 1;
            } else {
#line 1172
              if (__s2_len___0 >= 4U) {
#line 1172
                tmp___12 = 1;
              } else {
#line 1172
                tmp___12 = 0;
              }
            }
          } else {
#line 1172
            tmp___12 = 0;
          }
        }
#line 1172
        if (tmp___12) {
#line 1172
          tmp___7 = __builtin_strcmp((char const   *)suff, ".taz");
#line 1172
          tmp___11 = tmp___7;
        } else {
#line 1172
          tmp___10 = __builtin_strcmp((char const   *)suff, ".taz");
#line 1172
          tmp___11 = tmp___10;
        }
      } else {
#line 1172
        tmp___10 = __builtin_strcmp((char const   *)suff, ".taz");
#line 1172
        tmp___11 = tmp___10;
      }
#line 1172
      if (tmp___11 == 0) {
#line 1173
        strcpy((char */* __restrict  */)suff,
               (char const   */* __restrict  */)".tar");
      } else {
#line 1175
        *suff = (char )'\000';
      }
    }
  } else {
#line 1179
    if (suff) {
#line 1179
      if (! force) {
#line 1181
        if (verbose) {
#line 1183
          rpl_fprintf(stderr, "%s: %s already has %s suffix -- unchanged\n",
                      program_name, ifname, suff);
        } else {
#line 1181
          if (! recursive) {
#line 1181
            if (! quiet) {
#line 1183
              rpl_fprintf(stderr, "%s: %s already has %s suffix -- unchanged\n",
                          program_name, ifname, suff);
            } else {

            }
          } else {

          }
        }
#line 1186
        return (2);
      } else {
        goto _L___4;
      }
    } else {
      _L___4: /* CIL Label */ 
#line 1188
      save_orig_name = 0;
#line 1213
      tmp___13 = strlen((char const   *)(ofname));
#line 1213
      if (sizeof(ofname) <= tmp___13 + z_len) {
        goto  1089;
      } else {

      }
#line 1215
      strcat((char */* __restrict  */)(ofname),
             (char const   */* __restrict  */)z_suffix);
    }
  }
   1088: /* CIL Label */ 
#line 1218
  return (0);
   1089: /* CIL Label */ 
  name_too_long: 
#line 1221
  if (! quiet) {
#line 1221
    rpl_fprintf(stderr, "%s: %s: file name too long\n", program_name, ifname);
  } else {

  }
   1090: /* CIL Label */ 
#line 1221
  if (exit_code == 0) {
#line 1221
    exit_code = 2;
  } else {

  }
   1091: /* CIL Label */ 
#line 1222
  return (2);
}
}

cilRep: liveness failure for make_ofname: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___3: /* CIL Label */ 
_L___2: /* CIL Label */ 
#line 1381
tmp___60 = memcmp((void const   *)(magic), (void const   *)"\037\036", 2U);
Liveness failed on function:
 static int get_method(int in ) 
{ uch flags ;
  char magic[2] ;
  int imagic1 ;
  ulg stamp ;
  unsigned int tmp ;
  int tmp___0 ;
  int tmp___1 ;
  unsigned int tmp___2 ;
  int tmp___3 ;
  unsigned int tmp___4 ;
  int tmp___5 ;
  int tmp___6 ;
  unsigned int tmp___7 ;
  int tmp___8 ;
  int tmp___9 ;
  unsigned int tmp___10 ;
  int tmp___11 ;
  unsigned int tmp___12 ;
  int tmp___13 ;
  int tmp___14 ;
  unsigned int tmp___15 ;
  int tmp___16 ;
  int tmp___17 ;
  unsigned int tmp___18 ;
  int tmp___19 ;
  int tmp___20 ;
  unsigned int tmp___21 ;
  int tmp___22 ;
  int tmp___23 ;
  unsigned int tmp___24 ;
  int tmp___25 ;
  int tmp___26 ;
  unsigned int tmp___27 ;
  int tmp___28 ;
  int tmp___29 ;
  unsigned int tmp___30 ;
  unsigned int tmp___31 ;
  unsigned int part ;
  unsigned int tmp___32 ;
  int tmp___33 ;
  int tmp___34 ;
  unsigned int tmp___35 ;
  int tmp___36 ;
  int tmp___37 ;
  unsigned int len ;
  unsigned int tmp___38 ;
  int tmp___39 ;
  int tmp___40 ;
  unsigned int tmp___41 ;
  int tmp___42 ;
  int tmp___43 ;
  unsigned int tmp___44 ;
  unsigned int tmp___45 ;
  char c ;
  unsigned int tmp___46 ;
  int tmp___47 ;
  char *p ;
  char *tmp___48 ;
  char *base ;
  unsigned int tmp___49 ;
  int tmp___50 ;
  int tmp___51 ;
  char *tmp___52 ;
  size_t tmp___53 ;
  unsigned int tmp___54 ;
  int tmp___55 ;
  int tmp___56 ;
  int tmp___57 ;
  int tmp___58 ;
  int tmp___59 ;
  int tmp___60 ;
  int tmp___61 ;
  int tmp___62 ;
  int tmp___63 ;
  int tmp___64 ;
  int inbyte ;
  unsigned int tmp___65 ;
  int tmp___66 ;

  {
   1386: /* CIL Label */ 
#line 1248
  if (force) {
#line 1248
    if (to_stdout) {
#line 1249
      if (inptr < insize) {
#line 1249
        tmp = inptr;
#line 1249
        inptr ++;
#line 1249
        tmp___1 = (int )inbuf[tmp];
      } else {
#line 1249
        tmp___0 = fill_inbuf(1);
#line 1249
        tmp___1 = tmp___0;
      }
#line 1249
      magic[0] = (char )tmp___1;
#line 1250
      if (inptr < insize) {
#line 1250
        tmp___2 = inptr;
#line 1250
        inptr ++;
#line 1250
        imagic1 = (int )inbuf[tmp___2];
      } else {
#line 1250
        tmp___3 = fill_inbuf(1);
#line 1250
        imagic1 = tmp___3;
      }
#line 1251
      magic[1] = (char )imagic1;
    } else {
      goto _L;
    }
  } else {
    _L: /* CIL Label */ 
#line 1254
    if (inptr < insize) {
#line 1254
      tmp___4 = inptr;
#line 1254
      inptr ++;
#line 1254
      tmp___6 = (int )inbuf[tmp___4];
    } else {
#line 1254
      tmp___5 = fill_inbuf(0);
#line 1254
      tmp___6 = tmp___5;
    }
#line 1254
    magic[0] = (char )tmp___6;
#line 1255
    if (magic[0]) {
#line 1256
      if (inptr < insize) {
#line 1256
        tmp___7 = inptr;
#line 1256
        inptr ++;
#line 1256
        tmp___9 = (int )inbuf[tmp___7];
      } else {
#line 1256
        tmp___8 = fill_inbuf(0);
#line 1256
        tmp___9 = tmp___8;
      }
#line 1256
      magic[1] = (char )tmp___9;
#line 1257
      imagic1 = 0;
    } else {
#line 1259
      if (inptr < insize) {
#line 1259
        tmp___10 = inptr;
#line 1259
        inptr ++;
#line 1259
        imagic1 = (int )inbuf[tmp___10];
      } else {
#line 1259
        tmp___11 = fill_inbuf(1);
#line 1259
        imagic1 = tmp___11;
      }
#line 1260
      magic[1] = (char )imagic1;
    }
  }
   1387: /* CIL Label */ 
#line 1263
  method = -1;
   1388: /* CIL Label */ 
#line 1264
  part_nb ++;
   1389: /* CIL Label */ 
#line 1265
  header_bytes = 0LL;
   1390: /* CIL Label */ 
#line 1266
  last_member = 0;
   1391: /* CIL Label */ 
#line 1269
  tmp___63 = memcmp((void const   *)(magic), (void const   *)"\037\213", 2U);
   1392: /* CIL Label */ 
#line 1269
  if (tmp___63 == 0) {
    goto _L___4;
  } else {
#line 1269
    tmp___64 = memcmp((void const   *)(magic), (void const   *)"\037\236", 2U);
#line 1269
    if (tmp___64 == 0) {
      _L___4: /* CIL Label */ 
#line 1272
      if (inptr < insize) {
#line 1272
        tmp___12 = inptr;
#line 1272
        inptr ++;
#line 1272
        tmp___14 = (int )inbuf[tmp___12];
      } else {
#line 1272
        tmp___13 = fill_inbuf(0);
#line 1272
        tmp___14 = tmp___13;
      }
#line 1272
      method = tmp___14;
#line 1273
      if (method != 8) {
#line 1274
        rpl_fprintf(stderr, "%s: %s: unknown method %d -- not supported\n",
                    program_name, ifname, method);
#line 1277
        exit_code = 1;
#line 1278
        return (-1);
      } else {

      }
#line 1280
      work = & unzip;
#line 1281
      if (inptr < insize) {
#line 1281
        tmp___15 = inptr;
#line 1281
        inptr ++;
#line 1281
        tmp___17 = (int )inbuf[tmp___15];
      } else {
#line 1281
        tmp___16 = fill_inbuf(0);
#line 1281
        tmp___17 = tmp___16;
      }
#line 1281
      flags = (unsigned char )tmp___17;
#line 1283
      if (((int )flags & 0x20) != 0) {
#line 1284
        rpl_fprintf(stderr, "%s: %s is encrypted -- not supported\n",
                    program_name, ifname);
#line 1287
        exit_code = 1;
#line 1288
        return (-1);
      } else {

      }
#line 1290
      if (((int )flags & 0x02) != 0) {
#line 1291
        rpl_fprintf(stderr,
                    "%s: %s is a multi-part gzip file -- not supported\n",
                    program_name, ifname);
#line 1294
        exit_code = 1;
#line 1295
        if (force <= 1) {
#line 1295
          return (-1);
        } else {

        }
      } else {

      }
#line 1297
      if (((int )flags & 0xC0) != 0) {
#line 1298
        rpl_fprintf(stderr, "%s: %s has flags 0x%x -- not supported\n",
                    program_name, ifname, flags);
#line 1301
        exit_code = 1;
#line 1302
        if (force <= 1) {
#line 1302
          return (-1);
        } else {

        }
      } else {

      }
#line 1304
      if (inptr < insize) {
#line 1304
        tmp___18 = inptr;
#line 1304
        inptr ++;
#line 1304
        tmp___20 = (int )inbuf[tmp___18];
      } else {
#line 1304
        tmp___19 = fill_inbuf(0);
#line 1304
        tmp___20 = tmp___19;
      }
#line 1304
      stamp = (unsigned long )tmp___20;
#line 1305
      if (inptr < insize) {
#line 1305
        tmp___21 = inptr;
#line 1305
        inptr ++;
#line 1305
        tmp___23 = (int )inbuf[tmp___21];
      } else {
#line 1305
        tmp___22 = fill_inbuf(0);
#line 1305
        tmp___23 = tmp___22;
      }
#line 1305
      stamp |= (unsigned long )tmp___23 << 8;
#line 1306
      if (inptr < insize) {
#line 1306
        tmp___24 = inptr;
#line 1306
        inptr ++;
#line 1306
        tmp___26 = (int )inbuf[tmp___24];
      } else {
#line 1306
        tmp___25 = fill_inbuf(0);
#line 1306
        tmp___26 = tmp___25;
      }
#line 1306
      stamp |= (unsigned long )tmp___26 << 16;
#line 1307
      if (inptr < insize) {
#line 1307
        tmp___27 = inptr;
#line 1307
        inptr ++;
#line 1307
        tmp___29 = (int )inbuf[tmp___27];
      } else {
#line 1307
        tmp___28 = fill_inbuf(0);
#line 1307
        tmp___29 = tmp___28;
      }
#line 1307
      stamp |= (unsigned long )tmp___29 << 24;
#line 1308
      if (stamp != 0UL) {
#line 1308
        if (! no_time) {
#line 1310
          time_stamp.tv_sec = (long )stamp;
#line 1311
          time_stamp.tv_nsec = 0L;
        } else {

        }
      } else {

      }
#line 1314
      if (inptr < insize) {
#line 1314
        tmp___30 = inptr;
#line 1314
        inptr ++;
      } else {
#line 1314
        fill_inbuf(0);
      }
#line 1315
      if (inptr < insize) {
#line 1315
        tmp___31 = inptr;
#line 1315
        inptr ++;
      } else {
#line 1315
        fill_inbuf(0);
      }
#line 1317
      if (((int )flags & 0x02) != 0) {
#line 1318
        if (inptr < insize) {
#line 1318
          tmp___32 = inptr;
#line 1318
          inptr ++;
#line 1318
          tmp___34 = (int )inbuf[tmp___32];
        } else {
#line 1318
          tmp___33 = fill_inbuf(0);
#line 1318
          tmp___34 = tmp___33;
        }
#line 1318
        part = (unsigned int )tmp___34;
#line 1319
        if (inptr < insize) {
#line 1319
          tmp___35 = inptr;
#line 1319
          inptr ++;
#line 1319
          tmp___37 = (int )inbuf[tmp___35];
        } else {
#line 1319
          tmp___36 = fill_inbuf(0);
#line 1319
          tmp___37 = tmp___36;
        }
#line 1319
        part |= (unsigned int )tmp___37 << 8;
#line 1320
        if (verbose) {
#line 1321
          rpl_fprintf(stderr, "%s: %s: part number %u\n", program_name, ifname,
                      part);
        } else {

        }
      } else {

      }
#line 1325
      if (((int )flags & 0x04) != 0) {
#line 1326
        if (inptr < insize) {
#line 1326
          tmp___38 = inptr;
#line 1326
          inptr ++;
#line 1326
          tmp___40 = (int )inbuf[tmp___38];
        } else {
#line 1326
          tmp___39 = fill_inbuf(0);
#line 1326
          tmp___40 = tmp___39;
        }
#line 1326
        len = (unsigned int )tmp___40;
#line 1327
        if (inptr < insize) {
#line 1327
          tmp___41 = inptr;
#line 1327
          inptr ++;
#line 1327
          tmp___43 = (int )inbuf[tmp___41];
        } else {
#line 1327
          tmp___42 = fill_inbuf(0);
#line 1327
          tmp___43 = tmp___42;
        }
#line 1327
        len |= (unsigned int )tmp___43 << 8;
#line 1328
        if (verbose) {
#line 1329
          rpl_fprintf(stderr, "%s: %s: extra field of %u bytes ignored\n",
                      program_name, ifname, len);
        } else {

        }
#line 1332
        while (1) {
#line 1332
          tmp___45 = len;
#line 1332
          len --;
#line 1332
          if (tmp___45) {

          } else {
#line 1332
            break;
          }
#line 1332
          if (inptr < insize) {
#line 1332
            tmp___44 = inptr;
#line 1332
            inptr ++;
          } else {
#line 1332
            fill_inbuf(0);
          }
        }
      } else {

      }
#line 1336
      if (((int )flags & 0x08) != 0) {
#line 1337
        if (no_name) {
          goto _L___0;
        } else {
#line 1337
          if (to_stdout) {
#line 1337
            if (! list) {
              goto _L___0;
            } else {
              goto _L___1;
            }
          } else {
            _L___1: /* CIL Label */ 
#line 1337
            if (part_nb > 1) {
              _L___0: /* CIL Label */ 
#line 1340
              while (1) {
#line 1340
                if (inptr < insize) {
#line 1340
                  tmp___46 = inptr;
#line 1340
                  inptr ++;
#line 1340
                  c = (char )inbuf[tmp___46];
                } else {
#line 1340
                  tmp___47 = fill_inbuf(0);
#line 1340
                  c = (char )tmp___47;
                }
#line 1340
                if ((int )c != 0) {

                } else {
#line 1340
                  break;
                }
              }
            } else {
#line 1343
              tmp___48 = gzip_base_name(ofname);
#line 1343
              p = tmp___48;
#line 1344
              base = p;
#line 1345
              while (1) {
#line 1346
                if (inptr < insize) {
#line 1346
                  tmp___49 = inptr;
#line 1346
                  inptr ++;
#line 1346
                  tmp___51 = (int )inbuf[tmp___49];
                } else {
#line 1346
                  tmp___50 = fill_inbuf(0);
#line 1346
                  tmp___51 = tmp___50;
                }
#line 1346
                *p = (char )tmp___51;
#line 1347
                tmp___52 = p;
#line 1347
                p ++;
#line 1347
                if ((int )*tmp___52 == 0) {
#line 1347
                  break;
                } else {

                }
#line 1348
                if ((unsigned int )p >= (unsigned int )(ofname + sizeof(ofname))) {
#line 1349
                  gzip_error("corrupted input -- file name too large");
                } else {

                }
              }
#line 1352
              p = gzip_base_name(base);
#line 1353
              tmp___53 = strlen((char const   *)p);
#line 1353
              memmove((void *)base, (void const   *)p, tmp___53 + 1U);
#line 1355
              if (! list) {
#line 1357
                if (base) {
#line 1357
                  list = 0;
                } else {

                }
              } else {

              }
            }
          }
        }
      } else {

      }
#line 1363
      if (((int )flags & 0x10) != 0) {
#line 1364
        while (1) {
#line 1364
          if (inptr < insize) {
#line 1364
            tmp___54 = inptr;
#line 1364
            inptr ++;
#line 1364
            tmp___56 = (int )inbuf[tmp___54];
          } else {
#line 1364
            tmp___55 = fill_inbuf(0);
#line 1364
            tmp___56 = tmp___55;
          }
#line 1364
          if (tmp___56 != 0) {

          } else {
#line 1364
            break;
          }
        }
      } else {

      }
#line 1366
      if (part_nb == 1) {
#line 1367
        header_bytes = (long long )(inptr + 2U * sizeof(long ));
      } else {

      }
    } else {
#line 1370
      tmp___61 = memcmp((void const   *)(magic), (void const   *)"PK\003\004",
                        2U);
#line 1370
      if (tmp___61 == 0) {
#line 1370
        if (inptr == 2U) {
#line 1370
          tmp___62 = memcmp((void const   *)((char *)(inbuf)),
                            (void const   *)"PK\003\004", 4U);
#line 1370
          if (tmp___62 == 0) {
#line 1375
            inptr = 0U;
#line 1376
            work = & unzip;
#line 1377
            tmp___57 = check_zipfile(in);
#line 1377
            if (tmp___57 != 0) {
#line 1377
              return (-1);
            } else {

            }
#line 1379
            last_member = 1;
          } else {
            goto _L___3;
          }
        } else {
          goto _L___3;
        }
      } else {
        _L___3: /* CIL Label */ 
        _L___2: /* CIL Label */ 
#line 1381
        tmp___60 = memcmp((void const   *)(magic), (void const   *)"\037\036",
                          2U);
#line 1381
        if (tmp___60 == 0) {
#line 1382
          work = & unpack;
#line 1383
          method = 2;
        } else {
#line 1385
          tmp___59 = memcmp((void const   *)(magic), (void const   *)"\037\235",
                            2U);
#line 1385
          if (tmp___59 == 0) {
#line 1386
            work = & unlzw;
#line 1387
            method = 1;
#line 1388
            last_member = 1;
          } else {
#line 1390
            tmp___58 = memcmp((void const   *)(magic),
                              (void const   *)"\037\240", 2U);
#line 1390
            if (tmp___58 == 0) {
#line 1391
              work = & unlzh;
#line 1392
              method = 3;
#line 1393
              last_member = 1;
            } else {
#line 1395
              if (force) {
#line 1395
                if (to_stdout) {
#line 1395
                  if (! list) {
#line 1396
                    method = 0;
#line 1397
                    work = & copy;
#line 1398
                    inptr = 0U;
#line 1399
                    last_member = 1;
                  } else {

                  }
                } else {

                }
              } else {

              }
            }
          }
        }
      }
    }
  }
   1393: /* CIL Label */ 
#line 1401
  if (method >= 0) {
#line 1401
    return (method);
  } else {

  }
   1394: /* CIL Label */ 
#line 1403
  if (part_nb == 1) {
#line 1404
    rpl_fprintf(stderr, "\n%s: %s: not in gzip format\n", program_name, ifname);
#line 1406
    exit_code = 1;
#line 1407
    return (-1);
  } else {
#line 1409
    if ((int )magic[0] == 0) {
#line 1412
      inbyte = imagic1;
#line 1412
      while (inbyte == 0) {
        goto __Cont;
        __Cont: /* CIL Label */ 
#line 1412
        if (inptr < insize) {
#line 1412
          tmp___65 = inptr;
#line 1412
          inptr ++;
#line 1412
          inbyte = (int )inbuf[tmp___65];
        } else {
#line 1412
          tmp___66 = fill_inbuf(1);
#line 1412
          inbyte = tmp___66;
        }
      }
#line 1414
      if (inbyte == -1) {
#line 1416
        if (verbose) {
#line 1417
          if (! quiet) {
#line 1417
            rpl_fprintf(stderr,
                        "\n%s: %s: decompression OK, trailing zero bytes ignored\n",
                        program_name, ifname);
          } else {

          }
#line 1417
          if (exit_code == 0) {
#line 1417
            exit_code = 2;
          } else {

          }
        } else {

        }
#line 1419
        return (-3);
      } else {

      }
    } else {

    }
#line 1423
    if (! quiet) {
#line 1423
      rpl_fprintf(stderr,
                  "\n%s: %s: decompression OK, trailing garbage ignored\n",
                  program_name, ifname);
    } else {

    }
#line 1423
    if (exit_code == 0) {
#line 1423
      exit_code = 2;
    } else {

    }
#line 1425
    return (-2);
  }
}
}

cilRep: liveness failure for get_method: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 1650
timespec[1] = time_stamp;
Liveness failed on function:
 static void copy_stat(struct stat *ifstat ) 
{ mode_t mode ;
  int r ;
  struct timespec timespec[2] ;
  int e ;
  int *tmp ;
  int *tmp___0 ;
  int tmp___1 ;
  int tmp___2 ;
  int e___0 ;
  int *tmp___3 ;
  int *tmp___4 ;

  {
   1626: /* CIL Label */ 
#line 1638
  mode = ifstat->st_mode & (unsigned int )((448 | (448 >> 3)) | ((448 >> 3) >> 3));
   1627: /* CIL Label */ 
#line 1643
  timespec[0] = get_stat_atime((struct stat  const  *)ifstat);
   1628: /* CIL Label */ 
#line 1644
  timespec[1] = get_stat_mtime((struct stat  const  *)ifstat);
   1629: /* CIL Label */ 
#line 1646
  if (decompress) {
#line 1646
    if (0L <= time_stamp.tv_nsec) {
#line 1646
      if (timespec[1].tv_sec == time_stamp.tv_sec) {
#line 1646
        if (timespec[1].tv_nsec == time_stamp.tv_nsec) {

        } else {
          goto _L;
        }
      } else {
        _L: /* CIL Label */ 
#line 1650
        timespec[1] = time_stamp;
#line 1651
        if (verbose > 1) {
#line 1652
          rpl_fprintf(stderr, "%s: time stamp restored\n", ofname);
        } else {

        }
      }
    } else {

    }
  } else {

  }
   1630: /* CIL Label */ 
#line 1656
  tmp___1 = gl_futimens(ofd, (char const   *)(ofname),
                        (struct timespec  const  *)(timespec));
   1631: /* CIL Label */ 
#line 1656
  if (tmp___1 != 0) {
#line 1658
    tmp = __errno_location();
#line 1658
    e = *tmp;
#line 1659
    if (! quiet) {
#line 1659
      rpl_fprintf(stderr, "%s: ", program_name);
    } else {

    }
#line 1659
    if (exit_code == 0) {
#line 1659
      exit_code = 2;
    } else {

    }
#line 1660
    if (! quiet) {
#line 1662
      tmp___0 = __errno_location();
#line 1662
      *tmp___0 = e;
#line 1663
      perror((char const   *)(ofname));
    } else {

    }
  } else {

  }
   1632: /* CIL Label */ 
#line 1671
  tmp___2 = fchown(ofd, ifstat->st_uid, ifstat->st_gid);
   1633: /* CIL Label */ 
#line 1671
  ignore_value(tmp___2);
   1634: /* CIL Label */ 
#line 1679
  r = fchmod(ofd, mode);
   1635: /* CIL Label */ 
#line 1683
  if (r != 0) {
#line 1684
    tmp___3 = __errno_location();
#line 1684
    e___0 = *tmp___3;
#line 1685
    if (! quiet) {
#line 1685
      rpl_fprintf(stderr, "%s: ", program_name);
    } else {

    }
#line 1685
    if (exit_code == 0) {
#line 1685
      exit_code = 2;
    } else {

    }
#line 1686
    if (! quiet) {
#line 1687
      tmp___4 = __errno_location();
#line 1687
      *tmp___4 = e___0;
#line 1688
      perror((char const   *)(ofname));
    } else {

    }
  } else {

  }
   1636: /* CIL Label */ 
#line 1691
  return;
}
}

cilRep: liveness failure for copy_stat: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/util.c: parsing
Error: There were parsing errors in preprocessed/util.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: 4.95661
  Activity Name                     Count Seconds = Percent of Total Time
  TOTAL                                     0.000 = 0% (avg CPU usage)
Fatal error: exception Errormsg.Error
gzip-bug-fc00329e3dc139-1204630c96e0c3.tar.gz
Tue May  7 21:38:25 EDT 2013
shutting down
