./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/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/C-Thread-Pool/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
file <builtin-library-pthread_cond_signal> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_878880208 __annonCompField1;
  union __anonunion____missing_field_name_1034561118 __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_signal"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 267
signed int (pthread_cond_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_signal> line 7
signed int (pthread_cond_t *cond)
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_878880208 __annonCompField1;
  union __anonunion____missing_field_name_1034561118 __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/C-Thread-Pool/main.c line 265
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_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/C-Thread-Pool/main.c line 264
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)
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/C-Thread-Pool/main.c line 263
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_init> line 27: warning: pointer parameter types differ between declaration and definition "pthread_mutex_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 261
signed int (pthread_mutex_t *, const pthread_mutexattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_init> line 27
signed int (pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr)
file <builtin-library-pthread_cond_broadcast> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_878880208 __annonCompField1;
  union __anonunion____missing_field_name_1034561118 __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_broadcast"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 268
signed int (pthread_cond_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_broadcast> line 7
signed int (pthread_cond_t *cond)
file <builtin-library-pthread_cond_wait> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_878880208 __annonCompField1;
  union __anonunion____missing_field_name_1034561118 __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_wait"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 269
signed int (pthread_cond_t *, pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_wait> line 7
signed int (pthread_cond_t *cond, pthread_mutex_t *mutex)
Removal of function pointers and virtual functions
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 532 function thread_do: replacing function pointer by 3 possible targets
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 3 possible targets
Generic Property Instrumentation
Running with 8 object bits, 56 offset bits (default)
Starting Bounded Model Checking
set limit type 3
Use SV-COMP unwinding strategy: 6
Deagle's solver is set!!!!!!
**** WARNING: no body for function pthread_detach
Unwinding loop thpool_init.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 335 function thpool_init thread 0
pointer handling for concurrency is unsound
Unwinding loop thpool_init.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 335 function thpool_init thread 0
Unwinding loop thpool_init.0 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 335 function thpool_init thread 0
Unwinding loop thpool_init.0 iteration 4 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 335 function thpool_init thread 0
replacing self-loop at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 339 function thpool_init by assume(!TRUE)
Unwinding loop main.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 740 function main thread 0
Unwinding loop main.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 740 function main thread 0
Unwinding loop main.0 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 740 function main thread 0
Unwinding loop main.0 iteration 4 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 740 function main thread 0
Unwinding loop main.0 iteration 5 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 740 function main thread 0
Not unwinding loop main.0 iteration 6 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 740 function main thread 0
Unwinding loop thread_do.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 1
Unwinding loop thread_do.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 1
Unwinding loop thread_do.0 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 1
Unwinding loop thread_do.0 iteration 4 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 1
Unwinding loop thread_do.0 iteration 5 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 1
Not unwinding loop thread_do.0 iteration 6 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 1
Unwinding loop thread_do.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 2
Unwinding loop thread_do.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 2
Unwinding loop thread_do.0 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 2
Unwinding loop thread_do.0 iteration 4 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 2
Unwinding loop thread_do.0 iteration 5 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 2
Not unwinding loop thread_do.0 iteration 6 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 2
Unwinding loop thread_do.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 3
Unwinding loop thread_do.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 3
Unwinding loop thread_do.0 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 3
Unwinding loop thread_do.0 iteration 4 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 3
Unwinding loop thread_do.0 iteration 5 f[Warning][Unknown] Function definition missing for puts (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:735:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:735:3)
[Warning][Unknown] Invalidating expressions: Const(CStr("Making threadpool with 4 threads")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:735:3)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:336:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:336:5)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:336:5)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:336:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:336:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:24), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:324:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:336:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:140), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:463:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:336:5)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:463:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:464:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:468:4)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:468:4)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:469:4)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:469:4)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:470:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:470:3)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:470:3)
[Warning][Unknown] Spawning functions from unknown function: thread_name (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:507:3)
[Warning][Unknown] Not creating a thread from thread_name because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:507:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(thread_name, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:507:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:507:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:507:3)
[Warning][Unknown] Spawning functions from unknown function: thread_name (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:509:3)
[Warning][Unknown] Not creating a thread from thread_name because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:509:3)
[Warning][Unknown] Function definition missing for prctl (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:509:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:509:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(15,int,None)), StartOf(Var(thread_name,
                                                                 NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:509:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:510:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:510:3)
[Warning][Unknown] Spawning functions from unknown function: act (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:511:3)
[Warning][Unknown] Not creating a thread from act because its type is struct sigaction  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:511:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(act, Field(sa_mask:TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_991265788, _, ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:511:3)
[Warning][Unknown] Unknown address in {&act} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:514:3)
[Warning][Unknown] Spawning functions from unknown function: thread_hold, act (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:514:3)
[Warning][Unknown] Not creating a thread from act because its type is struct sigaction  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:514:3)
[Warning][Unknown] Function definition missing for sigaction (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:514:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:514:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(10,int,None)), CastE(TPtr(TCompLoop(struct sigaction, _, ),
                                                                 __restrict  ), AddrOf(Var(act, NoOffset))), CastE(TPtr(TCompLoop(struct sigaction, _, ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:514:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:514:3)
[Warning][Unknown] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:514:3)
[Warning][Unknown] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:516:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(FILE,
                                            TCompLoop(struct _IO_FILE, _, ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:516:5)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:518:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:519:3)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_alive query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:519:3)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_alive + (int volatile   )1 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:519:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:519:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:520:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:522:5)
[Debug][Unknown] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:522:5)
[Warning][Unknown] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:522:5)
[Debug][Unknown] Failed evaluating bsem_p->mutex  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:705:3)
[Debug][Unknown] Failed evaluating *bsem_p  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:706:3)
[Debug][Analyzer] Base EvalInt bsem_p->v query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:706:3)
[Debug][Analyzer] Base EvalInt bsem_p->v != 1 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:706:3)
[Debug][Unknown] Failed evaluating bsem_p->v  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:706:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:706:3)
[Debug][Unknown] Failed evaluating bsem_p->mutex  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:707:5)
[Debug][Unknown] Failed evaluating bsem_p->v  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:709:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:709:3)
[Debug][Unknown] Failed evaluating bsem_p->mutex  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:710:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:522:5)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:524:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:525:7)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_working query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:525:7)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_working + (int volatile   )1 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:525:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:525:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:526:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:527:7)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:527:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:619:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:620:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:620:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:622:3)
[Debug][Analyzer] Base EvalInt jobqueue_p->len query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:622:3)
[Debug][Analyzer] Base EvalInt jobqueue_p->len == 0 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:622:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:622:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:624:3)
[Debug][Analyzer] Base EvalInt jobqueue_p->len query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:624:3)
[Debug][Analyzer] Base EvalInt jobqueue_p->len == 1 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:624:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:624:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:630:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:630:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:631:4)
[Debug][Analyzer] Base EvalInt jobqueue_p->len query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:631:4)
[Debug][Analyzer] Base EvalInt jobqueue_p->len - 1 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:631:4)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:631:4)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:632:3)
[Warning][Unknown] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:632:3)
[Debug][Unknown] Failed evaluating bsem_p->mutex  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:681:3)
[Debug][Unknown] Failed evaluating bsem_p->v  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:682:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:682:3)
[Debug][Unknown] Failed evaluating bsem_p->cond  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:683:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:683:3)
[Debug][Unknown] Failed evaluating bsem_p->mutex  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:684:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:632:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:625:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:625:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:626:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:626:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:627:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:627:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:634:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:530:9)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:530:9)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:531:9)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:531:9)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:532:10)
[Warning][Unknown] Function pointer *func_buff may contain unknown functions. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:532:10)
[Warning][Unknown] Unknown address in arg_buff has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:532:10)
[Warning][Unknown] Unknown function ptr called (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:532:10)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:532:10)
[Warning][Unknown] Invalidating expressions: Lval(Var(arg_buff, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:532:10)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:532:10)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(job_p, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:533:9)
[Warning][Unknown] Unknown address in (void *)job_p has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:533:9)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:533:9)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:535:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:536:7)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_working query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:536:7)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_working - (int volatile   )1 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:536:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:536:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:537:7)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_working query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:537:7)
[Debug][Analyzer] Base EvalInt ! thpool_p->num_threads_working query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:537:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:537:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:538:9)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:538:9)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:540:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:543:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:544:3)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_alive query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:544:3)
[Debug][Analyzer] Base EvalInt thpool_p->num_threads_alive - (int volatile   )1 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:544:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:544:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:545:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:472:3)
[Debug][Analyzer] Base EvalInt (*thread_p)->pthread query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:472:3)
[Warning][Unknown] Unknown value in (*thread_p)->pthread could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:472:3)
[Warning][Unknown] Function definition missing for pthread_detach (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:472:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:472:3)
[Warning][Unknown] Invalidating expressions: Lval(Mem(Lval(Mem(Lval(Var(thread_p, NoOffset)), NoOffset)), Field(pthread:TNamed(pthread_t, TInt(unsigned long, ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:472:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:472:3)
[Warning][Unknown] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:465:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:465:5)
[Warning][Unknown] Function definition missing for puts (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:738:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:738:3)
[Warning][Unknown] Invalidating expressions: Const(CStr("Adding 40 tasks to threadpool")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:738:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:741:5)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:741:5)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:741:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:741:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:24), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:324:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:741:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:140), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:463:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:741:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:359:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:359:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:359:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:359:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:605:4)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:605:4)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:609:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:681:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:682:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:682:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:683:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:683:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:684:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:744:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:744:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:744:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:744:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:24), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:324:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:744:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:140), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:463:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:744:3)
[Warning][Unknown] Function definition missing for puts (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:745:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:745:3)
[Warning][Unknown] Invalidating expressions: Const(CStr("Killing threadpool")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:745:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:746:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:746:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:746:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:746:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:24), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:324:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:746:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:140), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:463:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:746:3)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:413:5)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:693:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:694:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:694:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:695:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:695:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:696:3)
[Warning][Unknown] Spawning functions from unknown function: start (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:399:3)
[Warning][Unknown] Not creating a thread from start because its type is time_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:399:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(start,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:399:3)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:408:5)
[Warning][Unknown] Spawning functions from unknown function: end (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:409:5)
[Warning][Unknown] Not creating a thread from end because its type is time_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:409:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(end, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:409:5)
[Warning][Unknown] Function definition missing for difftime (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:410:5)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:410:5)
[Warning][Unknown] Invalidating expressions: Lval(Var(end, NoOffset)), Lval(Var(start, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:410:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tpassed, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:410:5)
[Warning][Unknown] Unknown value in {&tpassed} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:410:5)
[Debug][Analyzer] Base EvalInt tpassed < TIMEOUT query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:401:5)
[Warning][Unknown] Invariant failed: expression "<(Lval(Var(tpassed, NoOffset)), Lval(Var(TIMEOUT, NoOffset)))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:401:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:416:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:416:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:416:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:416:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:643:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:643:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:643:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:643:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:582:5)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:582:5)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:582:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:582:5)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:630:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:630:3)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:632:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(tmp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:583:5)
[Warning][Unknown] Unknown address in (void *)tmp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:583:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:583:5)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:583:5)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:587:3)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:672:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:661:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:661:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:662:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:662:3)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:663:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:663:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), Lval(Mem(Lval(Var(jobqueue_p, NoOffset)), Field(has_jobs:TPtr(TNamed(bsem, TCompLoop(struct bsem, _, ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:644:3)
[Warning][Unknown] Unknown address in (void *)jobqueue_p->has_jobs has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:644:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:644:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:644:3)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:419:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(thread_p, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:554:3)
[Warning][Unknown] Unknown address in (void *)thread_p has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:554:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:554:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:419:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Mem(Lval(Var(thpool_p, NoOffset)), Field(threads:TPtr(TPtr(TNamed(thread, TCompLoop(struct thread, _, ), ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Unknown address in (void *)thpool_p->threads has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:24), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:324:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:140), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:463:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:422:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(thpool_p, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:423:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:423:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:8), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:310:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:423:3)
[Warning][Unknown] Unknown value in {&((alloc@sid:231), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:567:3)} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:423:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:53), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:352:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:423:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:24), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:324:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:423:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:140), /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:463:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:423:3)
[Warning][Deadcode] Function "thpool_pause" will never be called: 5LoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:427:1)
[Warning][Deadcode] Function "thpool_resume" will never be called: 2LoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:440:1)
[Warning][Deadcode] Function "thpool_num_threads_working" will never be called: 1LoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:449:1)
[Warning][Deadcode] Function "task" will never be called: 3LoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:718:1)
[Warning][Race] Memory location (struct job).prev (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:630:3)
  read with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:630:3)
  write with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:605:4)
[Warning][Race] Memory location (struct thread).thpool_p (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:510:3)
  write with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:468:4)
[Warning][Race] Memory location (struct thpool_).num_threads_working (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:525:7)
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:536:7)
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:537:7)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:525:7)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:536:7)
[Warning][Race] Memory location (struct thpool_).num_threads_alive (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:519:3)
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:544:3)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:519:3)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:544:3)
[Warning][Race] Memory location (struct bsem).v (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:706:3)
  write with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:663:3)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:682:3)
  write with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:682:3)
  write with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:694:3)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:709:3)
[Warning][Race] Memory location (struct jobqueue).rear (race with conf. 100):
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:626:3)
[Warning][Race] Memory location (struct thread).id (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:507:3)
  write with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:469:4)
[Warning][Race] Memory location threads_keepalive@main.c:279:21 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:521:3)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:523:5)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:396:3)
[Warning][Race] Memory location threads_on_hold@main.c:280:21 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:482:3)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:481:3)
[Warning][Race] Memory location (struct jobqueue).front (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:620:3)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:625:3)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:630:3)
[Warning][Race] Memory location (struct jobqueue).len (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:622:3)
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:624:3)
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:631:4)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:627:3)
  write with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c:631:4)

Summary for all memory locations:
	safe:          118
	vulnerable:      0
	unsafe:         11
	-------------------
	total:         129
ile /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 3
Not unwinding loop thread_do.0 iteration 6 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 3
Unwinding loop thread_do.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 4
Unwinding loop thread_do.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 4
Unwinding loop thread_do.0 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 4
Unwinding loop thread_do.0 iteration 4 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 4
Unwinding loop thread_do.0 iteration 5 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 4
Not unwinding loop thread_do.0 iteration 6 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/C-Thread-Pool/main.c line 503 function thread_do thread 4
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/C-Thread-Pool/main.c | tee goblint/goblint_output: 0
Lines where datarace may occur: 396 397 399 400 401 402 468 469 470 472 473 481 482 483 507 508 509 510 511 514 515 516 517 519 520 521 522 523 524 525 526 536 537 538 544 545 605 606 620 621 622 623 624 625 626 627 628 630 631 632 644 645 663 664 681 682 683 684 685 694 695 705 706 707 708 709 710 711 
The number of races before goblint filter: 0
The number of races after goblint filter: 0
Race categories: 0
Runtime Symex: 55.2458s
Unsupported library function!
