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


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


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

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

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:313: Warning: assigning pointer to non-pointer: (void)*^{uc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:305}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:330: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:331: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:332: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:333: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:334: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:335: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:336: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:337: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:338: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(fakeMutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:321)

functions declared and used but not defined:
  clock_gettime
  ctime
  fflush
  ftime
  gettimeofday
  lstat
  perror
  printf
  pthread_cond_destroy
  pthread_cond_init
  pthread_cond_timedwait
  pthread_condattr_init
  pthread_condattr_setclock
  pthread_join
  sigaction
  sigaddset
  sigemptyset
  sigprocmask
  sleep
  time
  timer_create
  timer_getoverrun
  timer_gettime
  timer_settime
  usleep
*************************** DONE ***************************

LockSmith run for: 0.062825 seconds

gcc -D_GNUCC -E /tmp/cil-vD6dLufG.cil.c -o /tmp/cil-B7rP7tEd.cil.i
