./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c


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


Deagle version 2.1 64-bit x86_64 linux
which contains:
CBMC version 5.67.0 (SVCOMP2023_221122-2-g2121ef1a2) 64-bit x86_64 linux
Parsing /mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
file <builtin-library-pthread_cond_init> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_648058633 __annonCompField1;
  union __anonunion____missing_field_name_366146943 __annonCompField2;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c line 289
signed int (pthread_cond_t *, const pthread_condattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_init> line 7
signed int (pthread_cond_t *cond, const pthread_condattr_t *attr)
file <builtin-library-pthread_mutex_lock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_lock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c line 287
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_lock> line 17
signed int (pthread_mutex_t *mutex)
file <builtin-library-pthread_mutex_unlock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_unlock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c line 288
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_unlock> line 17
signed int (pthread_mutex_t *mutex)
Removal of function pointers and virtual functions
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 1 possible targets
Generic Property Instrumentation
Running with 8 object bits, 56 offset bits (default)
Starting Bounded Model Checking
Use SV-COMP unwinding strategy: 2
Deagle's solver is set!!!!!!
**** WARNING: no body for function sigemptyset
**** WARNING: no body for function sigaction
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
pointer handling for concurrency is unsound
**** WARNING: no body for function sigaddset
**** WARNING: no body for function sigprocmask
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function timer_create
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function timer_settime
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function clock_gettime
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function ftime
**** WARNING: no body for function usleep
**** WARNING: no body for function gettimeofday
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function timer_getoverrun
**** WARNING: no body for function timer_gettime
**** WARNING: no body for function lstat
**** WARNING: no body for function pthread_cond_timedwait
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
**** WARNING: no body for function pthread_condattr_init
**** WARNING: no body for function pthread_condattr_setclock
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
**** WARNING: no body for function pthread_cond_destroy
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:330:3)
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:331:3)
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:332:3)
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:333:3)
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:334:3)
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:335:3)
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:336:3)
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:337:3)
[Warning][Unknown] Trying to update a field, but the union is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:338:3)
[Warning][Unknown] Spawning functions from unknown function: now (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:350:3)
[Warning][Unknown] Not creating a thread from now because its type is struct timespec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:350:3)
[Warning][Unknown] Function definition missing for clock_gettime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:350:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:350:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(0,int,None)), AddrOf(Var(now,
                                                               NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:350:3)
[Warning][Unknown] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:355:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(stdout, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:355:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:355:3)
[Warning][Unknown] Unknown value in {&fakeMutex} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] Spawning functions from unknown function: fakeCond, fakeMutex, timeToWait (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] Not creating a thread from fakeCond because its type is pthread_cond_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] Not creating a thread from fakeMutex because its type is pthread_mutex_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] Not creating a thread from timeToWait because its type is struct timespec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] Function definition missing for pthread_cond_timedwait (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(pthread_cond_t,
                                            TCompLoop(union __anonunion_pthread_cond_t_951761805, _, ), ),  __restrict  ), AddrOf(Var(fakeCond, NoOffset))), CastE(TPtr(TNamed(pthread_mutex_t, TCompLoop(union __anonunion_pthread_mutex_t_335460617, _, ), ),  __restrict  ), AddrOf(Var(fakeMutex, NoOffset))), CastE(TPtr(TCompLoop(struct timespec, _, ),  __restrict  ), AddrOf(Var(timeToWait, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(rt,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3)
[Warning][Unknown] Unknown value in {&attr} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:365:3)
[Warning][Unknown] Spawning functions from unknown function: attr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:365:3)
[Warning][Unknown] Not creating a thread from attr because its type is pthread_condattr_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:365:3)
[Warning][Unknown] Function definition missing for pthread_condattr_init (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:365:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:365:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(attr,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:365:3)
[Warning][Unknown] Unknown value in {&attr} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:366:3)
[Warning][Unknown] Spawning functions from unknown function: attr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:366:3)
[Warning][Unknown] Not creating a thread from attr because its type is pthread_condattr_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:366:3)
[Warning][Unknown] Function definition missing for pthread_condattr_setclock (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:366:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:366:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(attr, NoOffset)), Const(Int64(1,int,None)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:366:3)
[Warning][Unknown] Unknown value in {&monotonic_cond} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:367:3)
[Warning][Unknown] Unknown value in {&attr} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:367:3)
[Warning][Unknown] Spawning functions from unknown function: now (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:368:3)
[Warning][Unknown] Not creating a thread from now because its type is struct timespec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:368:3)
[Warning][Unknown] Function definition missing for clock_gettime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:368:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:368:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(1,int,None)), AddrOf(Var(now,
                                                               NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:368:3)
[Warning][Unknown] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:374:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(stdout, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:374:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:374:3)
[Warning][Unknown] Unknown value in {&monotonic_cond} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Unknown value in {&fakeMutex} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Spawning functions from unknown function: monotonic_cond, fakeMutex, timeToWait (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Not creating a thread from monotonic_cond because its type is pthread_cond_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Not creating a thread from fakeMutex because its type is pthread_mutex_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Not creating a thread from timeToWait because its type is struct timespec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Function definition missing for pthread_cond_timedwait (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(pthread_cond_t,
                                            TCompLoop(union __anonunion_pthread_cond_t_951761805, _, ), ),  __restrict  ), AddrOf(Var(monotonic_cond, NoOffset))), CastE(TPtr(TNamed(pthread_mutex_t, TCompLoop(union __anonunion_pthread_mutex_t_335460617, _, ), ),  __restrict  ), AddrOf(Var(fakeMutex, NoOffset))), CastE(TPtr(TCompLoop(struct timespec, _, ),  __restrict  ), AddrOf(Var(timeToWait, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(rt,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3)
[Warning][Unknown] Unknown value in {&monotonic_cond} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:384:3)
[Warning][Unknown] Spawning functions from unknown function: monotonic_cond (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:384:3)
[Warning][Unknown] Not creating a thread from monotonic_cond because its type is pthread_cond_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:384:3)
[Warning][Unknown] Function definition missing for pthread_cond_destroy (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:384:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:384:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(monotonic_cond,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:384:3)
[Debug][Analyzer] Base EvalInt thread query answering bot instead of {([pthread_test@/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:426:3, main], {})} (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:426:3)
[Warning][Unknown] Unknown address in {&ret} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:426:3)
[Warning][Unknown] Spawning functions from unknown function: sa (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:429:3)
[Warning][Unknown] Not creating a thread from sa because its type is struct sigaction  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:429:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(sa,
                                     Field(sa_mask:TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_991265788, _, ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:429:3)
[Warning][Unknown] Unknown address in {&sa} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3)
[Warning][Unknown] Spawning functions from unknown function: handler, sa (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3)
[Warning][Unknown] Not creating a thread from sa because its type is struct sigaction  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3)
[Warning][Unknown] Function definition missing for sigaction (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(10,int,None)), CastE(TPtr(TCompLoop(struct sigaction, _, ),
                                                                 __restrict  ), AddrOf(Var(sa, NoOffset))), CastE(TPtr(TCompLoop(struct sigaction, _, ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3)
[Warning][Unknown] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3)
[Debug][Analyzer] Base EvalInt si == (void *)0 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:310:3)
[Debug][Analyzer] Base EvalInt (unsigned long )si == (unsigned long )((void *)0) query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:310:3)
[Debug][Analyzer] Base EvalInt si != uc query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:313:3)
[Debug][Analyzer] Base EvalInt (unsigned long )si != (unsigned long )uc query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:313:3)
[Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned long,
                                       ), Lval(Var(si, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(uc, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:313:3)
[Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned long, ), Lval(Var(si, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(uc, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:313:3)
[Warning][Unknown] Spawning functions from unknown function: mask (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:436:3)
[Warning][Unknown] Not creating a thread from mask because its type is sigset_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:436:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(mask, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:436:3)
[Warning][Unknown] Spawning functions from unknown function: mask (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:437:3)
[Warning][Unknown] Not creating a thread from mask because its type is sigset_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:437:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(mask, NoOffset)), Const(Int64(10,int,None)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:437:3)
[Warning][Unknown] Spawning functions from unknown function: mask (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:438:3)
[Warning][Unknown] Not creating a thread from mask because its type is sigset_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:438:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), CastE(TPtr(TNamed(sigset_t,
                                                                      TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_991265788, _, ), ),  const  ),  __restrict  ), AddrOf(Var(mask, NoOffset))), CastE(TPtr(TNamed(sigset_t, TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_991265788, _, ), ), ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:438:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:438:3)
[Warning][Unknown] Unknown value in {&sev} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3)
[Warning][Unknown] Spawning functions from unknown function: timerid1, sev, timerid1 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3)
[Warning][Unknown] Not creating a thread from timerid1 because its type is timer_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3)
[Warning][Unknown] Not creating a thread from sev because its type is struct sigevent  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3)
[Warning][Unknown] Function definition missing for timer_create (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(0,int,None)), CastE(TPtr(TCompLoop(struct sigevent, _, ),
                                                                __restrict  ), AddrOf(Var(sev, NoOffset))), CastE(TPtr(TNamed(timer_t, TNamed(__timer_t, TPtr(TVoid(), ), ), ),  __restrict  ), AddrOf(Var(timerid1, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3)
[Warning][Unknown] Unknown address in timerid1 has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3)
[Warning][Unknown] Spawning functions from unknown function: its (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3)
[Warning][Unknown] Not creating a thread from its because its type is struct itimerspec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3)
[Warning][Unknown] Function definition missing for timer_settime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(timerid1,
                                   NoOffset)), Const(Int64(0,int,None)), CastE(TPtr(TCompLoop(struct itimerspec, _, ),  __restrict  ), AddrOf(Var(its, NoOffset))), CastE(TPtr(TCompLoop(struct itimerspec, _, ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3)
[Warning][Unknown] Unknown value in {&sev} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] Unknown address in {&timerid2} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] Spawning functions from unknown function: timerid2, sev, timerid2 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] Not creating a thread from timerid2 because its type is timer_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] Not creating a thread from sev because its type is struct sigevent  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] Function definition missing for timer_create (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(0,int,None)), CastE(TPtr(TCompLoop(struct sigevent, _, ),
                                                                __restrict  ), AddrOf(Var(sev, NoOffset))), CastE(TPtr(TNamed(timer_t, TNamed(__timer_t, TPtr(TVoid(), ), ), ),  __restrict  ), AddrOf(Var(timerid2, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3)
[Warning][Unknown] Spawning functions from unknown function: its (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:467:3)
[Warning][Unknown] Not creating a thread from its because its type is struct itimerspec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:467:3)
[Warning][Unknown] Function definition missing for clock_gettime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:467:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:467:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(0,int,None)), AddrOf(Var(its,
                                                               Field(it_value:TCompLoop(struct timespec, _, ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:467:3)
[Warning][Unknown] Unknown address in timerid2 has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3)
[Warning][Unknown] Spawning functions from unknown function: its (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3)
[Warning][Unknown] Not creating a thread from its because its type is struct itimerspec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3)
[Warning][Unknown] Function definition missing for timer_settime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(timerid2,
                                   NoOffset)), Const(Int64(1,int,None)), CastE(TPtr(TCompLoop(struct itimerspec, _, ),  __restrict  ), AddrOf(Var(its, NoOffset))), CastE(TPtr(TCompLoop(struct itimerspec, _, ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___4,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3)
[Warning][Unknown] Spawning functions from unknown function: now (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:477:3)
[Warning][Unknown] Not creating a thread from now because its type is time_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:477:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(now,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:477:3)
[Warning][Unknown] Spawning functions from unknown function: now (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3)
[Warning][Unknown] Not creating a thread from now because its type is time_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3)
[Warning][Unknown] Function definition missing for ctime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t,
                                            TNamed(__time_t, TInt(long, ), ),  const  ), ), AddrOf(Var(now, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___5,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3)
[Warning][Unknown] Unknown address in {&tmp___5} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:479:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t,
                                            TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:481:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:481:3)
[Warning][Unknown] Spawning functions from unknown function: tb (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:484:3)
[Warning][Unknown] Not creating a thread from tb because its type is struct timeb  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:484:3)
[Warning][Unknown] Function definition missing for ftime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:484:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:484:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tb, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:484:3)
[Warning][Unknown] Spawning functions from unknown function: tb (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3)
[Warning][Unknown] Not creating a thread from tb because its type is struct timeb  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3)
[Warning][Unknown] Function definition missing for ctime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t,
                                            TNamed(__time_t, TInt(long, ), ),  const  ), ), AddrOf(Var(tb, Field(time:TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___7,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3)
[Warning][Unknown] Unknown address in {&tmp___7} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:486:3)
[Warning][Unknown] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:489:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(stdout,
                                   NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:489:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:489:3)
[Debug][Analyzer] Base EvalInt argc query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:490:3)
[Debug][Analyzer] Base EvalInt argc < 3 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:490:3)
[Warning][Unknown] Spawning functions from unknown function: tv (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:494:3)
[Warning][Unknown] Not creating a thread from tv because its type is struct timeval  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:494:3)
[Warning][Unknown] Function definition missing for gettimeofday (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:494:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:494:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TCompLoop(struct timeval, _, ),
                                      __restrict  ), AddrOf(Var(tv, NoOffset))), CastE(TPtr(TVoid(),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:494:3)
[Warning][Unknown] Spawning functions from unknown function: tv (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3)
[Warning][Unknown] Not creating a thread from tv because its type is struct timeval  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3)
[Warning][Unknown] Function definition missing for ctime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t,
                                            TNamed(__time_t, TInt(long, ), ),  const  ), ), AddrOf(Var(tv, Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___8,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3)
[Warning][Unknown] Unknown address in {&tmp___8} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:496:3)
[Warning][Unknown] Spawning functions from unknown function: mask (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:498:3)
[Warning][Unknown] Not creating a thread from mask because its type is sigset_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:498:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(1,int,None)), CastE(TPtr(TNamed(sigset_t,
                                                                      TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_991265788, _, ), ),  const  ),  __restrict  ), AddrOf(Var(mask, NoOffset))), CastE(TPtr(TNamed(sigset_t, TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_991265788, _, ), ), ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:498:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___9,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:498:3)
[Warning][Unknown] Spawning functions from unknown function: ts (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:503:3)
[Warning][Unknown] Not creating a thread from ts because its type is struct timespec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:503:3)
[Warning][Unknown] Function definition missing for clock_gettime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:503:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:503:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(0,int,None)), AddrOf(Var(ts,
                                                               NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:503:3)
[Warning][Unknown] Spawning functions from unknown function: ts (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3)
[Warning][Unknown] Not creating a thread from ts because its type is struct timespec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3)
[Warning][Unknown] Function definition missing for ctime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t,
                                            TNamed(__time_t, TInt(long, ), ),  const  ), ), AddrOf(Var(ts, Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___10,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3)
[Warning][Unknown] Unknown address in {&tmp___10} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:505:3)
[Warning][Unknown] Unknown address in timerid1 has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:507:3)
[Warning][Unknown] Function definition missing for timer_getoverrun (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:507:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:507:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(timerid1,
                                   NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:507:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___11, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:507:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:507:3)
[Warning][Unknown] Unknown address in timerid1 has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:513:3)
[Warning][Unknown] Spawning functions from unknown function: its (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:513:3)
[Warning][Unknown] Not creating a thread from its because its type is struct itimerspec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:513:3)
[Warning][Unknown] Function definition missing for timer_gettime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:513:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:513:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(timerid1, NoOffset)), AddrOf(Var(its, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:513:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:513:3)
[Warning][Unknown] Unknown address in timerid2 has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:514:3)
[Warning][Unknown] Function definition missing for timer_getoverrun (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:514:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:514:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(timerid2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:514:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___12, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:514:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:514:3)
[Warning][Unknown] Unknown address in timerid2 has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:520:3)
[Warning][Unknown] Spawning functions from unknown function: its (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:520:3)
[Warning][Unknown] Not creating a thread from its because its type is struct itimerspec  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:520:3)
[Warning][Unknown] Function definition missing for timer_gettime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:520:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:520:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(timerid2, NoOffset)), AddrOf(Var(its, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:520:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:520:3)
[Debug][Unknown] Failed evaluating *(argv + 0)  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3)
[Warning][Unknown] Unknown address in (char const   * __restrict  )*(argv + 0) has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3)
[Warning][Unknown] Not creating a thread from buf because its type is struct stat  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3)
[Warning][Unknown] Function definition missing for lstat (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                           const  ),  __restrict  ), Lval(Mem(PlusPI(Lval(Var(argv, NoOffset)), Const(Int64(0,int,None))), NoOffset))), CastE(TPtr(TCompLoop(struct stat, _, ),  __restrict  ), AddrOf(Var(buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3)
[Warning][Unknown] Not creating a thread from buf because its type is struct stat  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3)
[Warning][Unknown] Function definition missing for ctime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t,
                                            TNamed(__time_t, TInt(long, ), ),  const  ), ), AddrOf(Var(buf, Field(st_mtim:TCompLoop(struct timespec, _, ), Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___13,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3)
[Warning][Unknown] Unknown address in {&tmp___13} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3)
[Debug][Unknown] Failed evaluating *(argv + 0)  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:523:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:523:3)

Summary for all memory locations:
	safe:           19
	vulnerable:      0
	unsafe:          0
	-------------------
	total:          19
Handling datarace, passing the problem to goblint first
getcwd: /mnt/goblint-svcomp/benchexec/tools-pldi/deagle
/mnt/goblint-svcomp/benchexec/tools-pldi/deagle/goblint/goblint /mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c | tee goblint/goblint_output: 0
Lines where datarace may occur: 310 311 313 314 350 351 357 358 365 366 368 369 376 377 384 385 426 427 429 430 431 438 439 446 447 455 456 462 463 467 468 471 472 477 478 479 481 482 485 486 489 490 491 494 495 496 498 499 503 504 505 507 508 521 522 523 524 
The number of races before goblint filter: 4
The number of races after goblint filter: 0
Race categories: 0
Runtime Symex: 1.58125s
Unsupported library function!
