./locksmith /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c


--------------------------------------------------------------------------------


gcc -D_GNUCC -E -DCIL=1 /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c -o /tmp/cil-mfhAQnDU.i
./cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-gLrvof5U.cil.c /tmp/cil-mfhAQnDU.i

************************* STARTING *************************

/mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:544: Warning: assigning pointer to non-pointer: (void)*^{ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:538}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:630: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8866: Warning: assigning pointer to non-pointer: (void)*^{block:/mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8862}
 ->
 int
functions declared and used but not defined:
  ZopfliDeflatePart
  ZopfliInitOptions
  __assert_fail
  __builtin_expect
  __builtin_va_arg
  __builtin_va_copy
  __builtin_va_end
  __errno_location
  __pthread_register_cancel
  __pthread_unregister_cancel
  __pthread_unwind_next
  __sigsetjmp
  _exit
  _setjmp
  abs
  adler32
  chmod
  chown
  close
  closedir
  crc32
  ctime
  deflate
  deflateEnd
  deflateInit2_
  deflateParams
  deflatePending
  deflatePrime
  deflateReset
  deflateSetDictionary
  fflush
  fprintf
  fputs
  fstat
  fsync
  get_crc_table
  getchar
  getenv
  inflateBack
  inflateBackEnd
  inflateBackInit_
  isatty
  localtime
  longjmp
  lseek
  lstat
  memchr
  mktime
  open
  opendir
  printf
  pthread_attr_destroy
  pthread_attr_init
  pthread_attr_setdetachstate
  pthread_cond_broadcast
  pthread_cond_destroy
  pthread_cond_init
  pthread_cond_wait
  pthread_equal
  pthread_getspecific
  pthread_join
  pthread_key_create
  pthread_once
  pthread_self
  pthread_setspecific
  putc
  puts
  read
  readdir
  signal
  stat
  strchr
  strerror
  strlen
  strrchr
  sysconf
  time
  unlink
  utimes
  vfprintf
  vsnprintf
  write
  zlibVersion
