./deagle --no-assertions --datarace --32 /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i


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


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/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i
Converting
Type-checking barrier_3t
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 ($anon0/__wseq)

struct __pthread_cond_s {
  union $anon0;
  union $anon1;
  unsigned int [2] __g_refs;
  unsigned int [2] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2] __g_refs;
  unsigned int [2] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_init"
old definition in module barrier_3t file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 609
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: 
reason for conflict at #this.__data: number of members is different (6/8)

struct __pthread_mutex_s {
  signed int __lock;
  unsigned int __count;
  signed int __owner;
  signed int __kind;
  unsigned int __nusers;
  union $anon0;
}
struct __pthread_mutex_s {
  signed int __lock;
  unsigned int __count;
  signed int __owner;
  unsigned int __nusers;
  signed int __kind;
  signed short int __spins;
  signed short int __elision;
  __pthread_list_t __list;
}
warning: pointer parameter types differ between declaration and definition "pthread_mutex_lock"
old definition in module barrier_3t file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 518
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: 
reason for conflict at #this.__data: number of members is different (6/8)

struct __pthread_mutex_s {
  signed int __lock;
  unsigned int __count;
  signed int __owner;
  signed int __kind;
  unsigned int __nusers;
  union $anon0;
}
struct __pthread_mutex_s {
  signed int __lock;
  unsigned int __count;
  signed int __owner;
  unsigned int __nusers;
  signed int __kind;
  signed short int __spins;
  signed short int __elision;
  __pthread_list_t __list;
}
warning: pointer parameter types differ between declaration and definition "pthread_mutex_init"
old definition in module barrier_3t file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 511
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_mutex_unlock> line 17: 
reason for conflict at #this.__data: number of members is different (6/8)

struct __pthread_mutex_s {
  signed int __lock;
  unsigned int __count;
  signed int __owner;
  signed int __kind;
  unsigned int __nusers;
  union $anon0;
}
struct __pthread_mutex_s {
  signed int __lock;
  unsigned int __count;
  signed int __owner;
  unsigned int __nusers;
  signed int __kind;
  signed short int __spins;
  signed short int __elision;
  __pthread_list_t __list;
}
warning: pointer parameter types differ between declaration and definition "pthread_mutex_unlock"
old definition in module barrier_3t file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 523
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_cond_broadcast> line 7: 
reason for conflict at #this.__data: names of member 0 differ ($anon0/__wseq)

struct __pthread_cond_s {
  union $anon0;
  union $anon1;
  unsigned int [2] __g_refs;
  unsigned int [2] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2] __g_refs;
  unsigned int [2] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_broadcast"
old definition in module barrier_3t file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 616
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 ($anon0/__wseq)

struct __pthread_cond_s {
  union $anon0;
  union $anon1;
  unsigned int [2] __g_refs;
  unsigned int [2] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2] __g_refs;
  unsigned int [2] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_wait"
old definition in module barrier_3t file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 618
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)
file <builtin-library-pthread_create> line 20: warning: pointer parameter types differ between declaration and definition "pthread_create"
old definition in module barrier_3t file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 405
signed int (pthread_t *, const pthread_attr_t *, void * (*)(void *), void *)
new definition in module <built-in-library> file <builtin-library-pthread_create> line 20
signed int (pthread_t *thread, const pthread_attr_t *attr, void * (*start_routine)(void *), void *arg)
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, 24 offset bits (default)
Starting Bounded Model Checking
worker_fn::1::sig's upper bound is 1
worker_fn::1::sig's upper bound is 1
set limit type 1
Use SV-COMP unwinding strategy: 4
Deagle's solver is set!!!!!!
Unwinding loop main.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 787 function main thread 0
Unwinding loop main.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 787 function main thread 0
Unwinding loop main.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 787 function main thread 0
Unwinding loop main.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 794 function main thread 0
Unwinding loop main.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 794 function main thread 0
Unwinding loop worker_fn.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 0
Unwinding loop worker_fn.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 0
Unwinding loop worker_fn.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 0
Unwinding loop barrier_wait.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 0
Unwinding loop barrier_wait.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 0
Unwinding loop barrier_wait.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 0
Not unwinding loop barrier_wait.0 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 0
Unwinding loop barrier_wait.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 0
Unwinding loop barrier_wait.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 0
Unwinding loop barrier_wait.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 0
Not unwinding loop barrier_wait.1 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 0
Unwinding loop worker_fn.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 0
Unwinding loop worker_fn.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 0
Unwinding loop worker_fn.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 0
Unwinding loop barrier_wait.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 0
Unwinding loop barrier_wait.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 0
Unwinding loop barrier_wait.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 0
Not unwinding loop barrier_wait.0 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 0
Unwinding loop barrier_wait.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 0
Unwinding loop barrier_wait.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 0
Unwinding loop barrier_wait.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 0
Not unwinding loop barrier_wait.1 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 0
Unwinding loop worker_fn.2 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 0
Unwinding loop worker_fn.2 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 0
Unwinding loop worker_fn.2 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 0
Unwinding loop worker_fn.3 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 0
Unwinding loop worker_fn.3 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 0
Unwinding loop worker_fn.3 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 0
Unwinding loop main.2 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 797 function main thread 0
Unwinding loop main.2 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 797 function main thread 0
Unwinding loop main.3 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 800 function main thread 0
Unwinding loop main.3 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 800 function main thread 0
Unwinding loop main.3 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 800 function main thread 0
Unwinding loop worker_fn.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 1
Unwinding loop worker_fn.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 1
Unwinding loop worker_fn.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 1
Unwinding loop barrier_wait.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 1
Unwinding loop barrier_wait.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 1
Unwinding loop barrier_wait.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 1
Not unwinding loop barrier_wait.0 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 1
Unwinding loop barrier_wait.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 1
Unwinding loop barrier_wait.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 1
Unwinding loop barrier_wait.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 1
Not unwinding loop barrier_wait.1 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 1
Unwinding loop worker_fn.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 1
Unwinding loop worker_fn.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 1
Unwinding loop worker_fn.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 1
Unwinding loop barrier_wait.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 1
Unwinding loop barrier_wait.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 1
Unwinding loop barrier_wait.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 1
Not unwinding loop barrier_wait.0 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 1
Unwinding loop barrier_wait.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 1
Unwinding loop barrier_wait.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 1
Unwinding loop barrier_wait.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 1
Not unwinding loop barrier_wait.1 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 1
Unwinding loop worker_fn.2 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 1
Unwinding loop worker_fn.2 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 1
Unwinding loop worker_fn.2 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 1
Unwinding loop worker_fn.3 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 1
Unwinding loop worker_fn.3 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 1
Unwinding loop worker_fn.3 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 1
Unwinding loop worker_fn.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 2
Unwinding loop worker_fn.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 2
Unwinding loop worker_fn.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 754 function worker_fn thread 2
Unwinding loop barrier_wait.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 2
Unwinding loop barrier_wait.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 2
Unwinding loop barrier_wait.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 2
Not unwinding loop barrier_wait.0 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 2
Unwinding loop barrier_wait.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 2
Unwinding loop barrier_wait.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 2
Unwinding loop barrier_wait.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 2
Not unwinding loop barrier_wait.1 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 2
Unwinding loop work[Warning][Unknown] Unknown value in {&b1} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:792:5)
[Warning][Unknown] Unknown value in {&b1} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:795:9)
[Warning][Unknown] Unknown value in {&b1} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:758:5)
[Warning][Unknown] Unknown value in {&b1.let_in} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:739:9)
[Warning][Unknown] Unknown value in {&b1.let_out} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:730:9)
[Warning][Unknown] Unknown value in {&b1} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:767:5)
[Warning][Unknown] Unknown value in {&b1} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:796:5)
[Warning][Unknown] Unknown value in {&b1} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:758:5)
[Warning][Unknown] Unknown value in {&b1.let_in} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:739:9)
[Warning][Unknown] Unknown value in {&b1.let_out} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:730:9)
[Warning][Unknown] Unknown value in {&b1} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:767:5)
[Warning][Deadcode] Function "__bswap_16" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:63:1)
[Warning][Deadcode] Function "__bswap_32" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:68:1)
[Warning][Deadcode] Function "__bswap_64" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:73:15)
[Warning][Deadcode] Function "__uint16_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:78:1)
[Warning][Deadcode] Function "__uint32_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:83:1)
[Warning][Deadcode] Function "__uint64_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:88:1)
[Warning][Deadcode] Function "barrier_destroy" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:715:1)
[Warning][Race] Memory location sig2[?]@barrier_3t.i:749:26 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:779:9)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:779:9)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:802:9)
  write with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:767:5)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:767:5)
[Warning][Race] Memory location in[?]@barrier_3t.i:748:26 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:755:10)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:755:10)
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:765:6)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:765:6)
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:773:10)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:773:10)
  write with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:766:5)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:766:5)
[Warning][Race] Memory location pre[?]@barrier_3t.i:748:16 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:761:10)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:761:10)
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:772:10)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:772:10)
  write with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:753:5)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:753:5)
[Warning][Race] Memory location post[?]@barrier_3t.i:748:35 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:756:10)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:756:10)
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:768:6)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:768:6)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:801:10)
  write with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:769:5)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:769:5)
[Warning][Race] Memory location sig1[?]@barrier_3t.i:749:15 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:762:9)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:762:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:774:9)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:774:9)
  write with {} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:758:5)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i:758:5)

Summary for all memory locations:
	safe:           33
	vulnerable:      0
	unsafe:          5
	-------------------
	total:          38
er_fn.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 2
Unwinding loop worker_fn.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 2
Unwinding loop worker_fn.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 760 function worker_fn thread 2
Unwinding loop barrier_wait.0 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 2
Unwinding loop barrier_wait.0 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 2
Unwinding loop barrier_wait.0 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 2
Not unwinding loop barrier_wait.0 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 722 function barrier_wait thread 2
Unwinding loop barrier_wait.1 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 2
Unwinding loop barrier_wait.1 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 2
Unwinding loop barrier_wait.1 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 2
Not unwinding loop barrier_wait.1 iteration 4 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 734 function barrier_wait thread 2
Unwinding loop worker_fn.2 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 2
Unwinding loop worker_fn.2 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 2
Unwinding loop worker_fn.2 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 771 function worker_fn thread 2
Unwinding loop worker_fn.3 iteration 1 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 2
Unwinding loop worker_fn.3 iteration 2 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 2
Unwinding loop worker_fn.3 iteration 3 file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i line 778 function worker_fn thread 2
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/benchexec/sv-benchmarks/c/pthread-divine/barrier_3t.i | tee goblint/goblint_output: 0
Lines where datarace may occur: 753 754 755 756 757 758 759 761 762 763 765 766 767 768 769 770 772 773 774 775 779 780 801 802 803 
The number of races before goblint filter: 12553
The number of races after goblint filter: 639
Race categories: 27
	755(1) - 766(1) in:
		in#2[[0]] in#16[[0]]
		in#2[[1]] in#16[[1]]
		in#2[[2]] in#16[[2]]
		in#3[[0]] in#16[[0]]
		in#3[[1]] in#16[[1]]
		in#3[[2]] in#16[[2]]
		in#4[[0]] in#16[[0]]
		in#4[[1]] in#16[[1]]
		in#4[[2]] in#16[[2]]
		in#2[[0]] in#25[[0]]
		in#2[[1]] in#25[[1]]
		in#2[[2]] in#25[[2]]
		in#3[[0]] in#25[[0]]
		in#3[[1]] in#25[[1]]
		in#3[[2]] in#25[[2]]
		in#4[[0]] in#25[[0]]
		in#4[[1]] in#25[[1]]
		in#4[[2]] in#25[[2]]
		in#11[[0]] in#25[[0]]
		in#11[[1]] in#25[[1]]
		in#11[[2]] in#25[[2]]
		in#12[[0]] in#25[[0]]
		in#12[[1]] in#25[[1]]
		in#12[[2]] in#25[[2]]
		in#13[[0]] in#25[[0]]
		in#13[[1]] in#25[[1]]
		in#13[[2]] in#25[[2]]
	765(1) - 766(1) in:
		in#5[[0]] in#16[[0]]
		in#5[[1]] in#16[[1]]
		in#5[[2]] in#16[[2]]
		in#5[[0]] in#25[[0]]
		in#5[[1]] in#25[[1]]
		in#5[[2]] in#25[[2]]
		in#14[[0]] in#25[[0]]
		in#14[[1]] in#25[[1]]
		in#14[[2]] in#25[[2]]
	766(1) - 755(1) in:
		in#7[[0]] in#11[[0]]
		in#7[[0]] in#12[[0]]
		in#7[[0]] in#13[[0]]
		in#7[[1]] in#11[[1]]
		in#7[[1]] in#12[[1]]
		in#7[[1]] in#13[[1]]
		in#7[[2]] in#11[[2]]
		in#7[[2]] in#12[[2]]
		in#7[[2]] in#13[[2]]
		in#7[[0]] in#20[[0]]
		in#7[[0]] in#21[[0]]
		in#7[[0]] in#22[[0]]
		in#7[[1]] in#20[[1]]
		in#7[[1]] in#21[[1]]
		in#7[[1]] in#22[[1]]
		in#7[[2]] in#20[[2]]
		in#7[[2]] in#21[[2]]
		in#7[[2]] in#22[[2]]
		in#16[[0]] in#20[[0]]
		in#16[[0]] in#21[[0]]
		in#16[[0]] in#22[[0]]
		in#16[[1]] in#20[[1]]
		in#16[[1]] in#21[[1]]
		in#16[[1]] in#22[[1]]
		in#16[[2]] in#20[[2]]
		in#16[[2]] in#21[[2]]
		in#16[[2]] in#22[[2]]
	766(1) - 765(1) in:
		in#7[[0]] in#14[[0]]
		in#7[[1]] in#14[[1]]
		in#7[[2]] in#14[[2]]
		in#7[[0]] in#23[[0]]
		in#7[[1]] in#23[[1]]
		in#7[[2]] in#23[[2]]
		in#16[[0]] in#23[[0]]
		in#16[[1]] in#23[[1]]
		in#16[[2]] in#23[[2]]
	766(1) - 766(1) in:
		in#6[[0]] in#16[[0]]
		in#6[[1]] in#16[[1]]
		in#6[[2]] in#16[[2]]
		in#7[[0]] in#15[[0]]
		in#7[[0]] in#16[[0]]
		in#7[[1]] in#15[[1]]
		in#7[[1]] in#16[[1]]
		in#7[[2]] in#15[[2]]
		in#7[[2]] in#16[[2]]
		in#6[[0]] in#25[[0]]
		in#6[[1]] in#25[[1]]
		in#6[[2]] in#25[[2]]
		in#7[[0]] in#24[[0]]
		in#7[[0]] in#25[[0]]
		in#7[[1]] in#24[[1]]
		in#7[[1]] in#25[[1]]
		in#7[[2]] in#24[[2]]
		in#7[[2]] in#25[[2]]
		in#15[[0]] in#25[[0]]
		in#15[[1]] in#25[[1]]
		in#15[[2]] in#25[[2]]
		in#16[[0]] in#24[[0]]
		in#16[[0]] in#25[[0]]
		in#16[[1]] in#24[[1]]
		in#16[[1]] in#25[[1]]
		in#16[[2]] in#24[[2]]
		in#16[[2]] in#25[[2]]
	766(1) - 773(1) in:
		in#7[[0]] in#17[[0]]
		in#7[[0]] in#18[[0]]
		in#7[[0]] in#19[[0]]
		in#7[[1]] in#17[[1]]
		in#7[[1]] in#18[[1]]
		in#7[[1]] in#19[[1]]
		in#7[[2]] in#17[[2]]
		in#7[[2]] in#18[[2]]
		in#7[[2]] in#19[[2]]
		in#7[[0]] in#26[[0]]
		in#7[[0]] in#27[[0]]
		in#7[[0]] in#28[[0]]
		in#7[[1]] in#26[[1]]
		in#7[[1]] in#27[[1]]
		in#7[[1]] in#28[[1]]
		in#7[[2]] in#26[[2]]
		in#7[[2]] in#27[[2]]
		in#7[[2]] in#28[[2]]
		in#16[[0]] in#26[[0]]
		in#16[[0]] in#27[[0]]
		in#16[[0]] in#28[[0]]
		in#16[[1]] in#26[[1]]
		in#16[[1]] in#27[[1]]
		in#16[[1]] in#28[[1]]
		in#16[[2]] in#26[[2]]
		in#16[[2]] in#27[[2]]
		in#16[[2]] in#28[[2]]
	773(1) - 766(1) in:
		in#8[[0]] in#16[[0]]
		in#8[[1]] in#16[[1]]
		in#8[[2]] in#16[[2]]
		in#9[[0]] in#16[[0]]
		in#9[[1]] in#16[[1]]
		in#9[[2]] in#16[[2]]
		in#10[[0]] in#16[[0]]
		in#10[[1]] in#16[[1]]
		in#10[[2]] in#16[[2]]
		in#8[[0]] in#25[[0]]
		in#8[[1]] in#25[[1]]
		in#8[[2]] in#25[[2]]
		in#9[[0]] in#25[[0]]
		in#9[[1]] in#25[[1]]
		in#9[[2]] in#25[[2]]
		in#10[[0]] in#25[[0]]
		in#10[[1]] in#25[[1]]
		in#10[[2]] in#25[[2]]
		in#17[[0]] in#25[[0]]
		in#17[[1]] in#25[[1]]
		in#17[[2]] in#25[[2]]
		in#18[[0]] in#25[[0]]
		in#18[[1]] in#25[[1]]
		in#18[[2]] in#25[[2]]
		in#19[[0]] in#25[[0]]
		in#19[[1]] in#25[[1]]
		in#19[[2]] in#25[[2]]
	756(1) - 769(1) post:
		post#2[[0]] post#16[[0]]
		post#2[[1]] post#16[[1]]
		post#2[[2]] post#16[[2]]
		post#3[[0]] post#16[[0]]
		post#3[[1]] post#16[[1]]
		post#3[[2]] post#16[[2]]
		post#4[[0]] post#16[[0]]
		post#4[[1]] post#16[[1]]
		post#4[[2]] post#16[[2]]
		post#2[[0]] post#22[[0]]
		post#2[[1]] post#22[[1]]
		post#2[[2]] post#22[[2]]
		post#3[[0]] post#22[[0]]
		post#3[[1]] post#22[[1]]
		post#3[[2]] post#22[[2]]
		post#4[[0]] post#22[[0]]
		post#4[[1]] post#22[[1]]
		post#4[[2]] post#22[[2]]
		post#11[[0]] post#22[[0]]
		post#11[[1]] post#22[[1]]
		post#11[[2]] post#22[[2]]
		post#12[[0]] post#22[[0]]
		post#12[[1]] post#22[[1]]
		post#12[[2]] post#22[[2]]
		post#13[[0]] post#22[[0]]
		post#13[[1]] post#22[[1]]
		post#13[[2]] post#22[[2]]
	768(1) - 769(1) post:
		post#5[[0]] post#16[[0]]
		post#5[[1]] post#16[[1]]
		post#5[[2]] post#16[[2]]
		post#5[[0]] post#22[[0]]
		post#5[[1]] post#22[[1]]
		post#5[[2]] post#22[[2]]
		post#14[[0]] post#22[[0]]
		post#14[[1]] post#22[[1]]
		post#14[[2]] post#22[[2]]
	769(1) - 756(1) post:
		post#7[[0]] post#11[[0]]
		post#7[[0]] post#12[[0]]
		post#7[[0]] post#13[[0]]
		post#7[[1]] post#11[[1]]
		post#7[[1]] post#12[[1]]
		post#7[[1]] post#13[[1]]
		post#7[[2]] post#11[[2]]
		post#7[[2]] post#12[[2]]
		post#7[[2]] post#13[[2]]
		post#7[[0]] post#17[[0]]
		post#7[[0]] post#18[[0]]
		post#7[[0]] post#19[[0]]
		post#7[[1]] post#17[[1]]
		post#7[[1]] post#18[[1]]
		post#7[[1]] post#19[[1]]
		post#7[[2]] post#17[[2]]
		post#7[[2]] post#18[[2]]
		post#7[[2]] post#19[[2]]
		post#16[[0]] post#17[[0]]
		post#16[[0]] post#18[[0]]
		post#16[[0]] post#19[[0]]
		post#16[[1]] post#17[[1]]
		post#16[[1]] post#18[[1]]
		post#16[[1]] post#19[[1]]
		post#16[[2]] post#17[[2]]
		post#16[[2]] post#18[[2]]
		post#16[[2]] post#19[[2]]
	769(1) - 768(1) post:
		post#7[[0]] post#14[[0]]
		post#7[[1]] post#14[[1]]
		post#7[[2]] post#14[[2]]
		post#7[[0]] post#20[[0]]
		post#7[[1]] post#20[[1]]
		post#7[[2]] post#20[[2]]
		post#16[[0]] post#20[[0]]
		post#16[[1]] post#20[[1]]
		post#16[[2]] post#20[[2]]
	769(1) - 769(1) post:
		post#6[[0]] post#16[[0]]
		post#6[[1]] post#16[[1]]
		post#6[[2]] post#16[[2]]
		post#7[[0]] post#15[[0]]
		post#7[[0]] post#16[[0]]
		post#7[[1]] post#15[[1]]
		post#7[[1]] post#16[[1]]
		post#7[[2]] post#15[[2]]
		post#7[[2]] post#16[[2]]
		post#6[[0]] post#22[[0]]
		post#6[[1]] post#22[[1]]
		post#6[[2]] post#22[[2]]
		post#7[[0]] post#21[[0]]
		post#7[[0]] post#22[[0]]
		post#7[[1]] post#21[[1]]
		post#7[[1]] post#22[[1]]
		post#7[[2]] post#21[[2]]
		post#7[[2]] post#22[[2]]
		post#15[[0]] post#22[[0]]
		post#15[[1]] post#22[[1]]
		post#15[[2]] post#22[[2]]
		post#16[[0]] post#21[[0]]
		post#16[[0]] post#22[[0]]
		post#16[[1]] post#21[[1]]
		post#16[[1]] post#22[[1]]
		post#16[[2]] post#21[[2]]
		post#16[[2]] post#22[[2]]
	801(1) - 769(1) post:
		post#8[[0]] post#16[[0]]
		post#8[[1]] post#16[[1]]
		post#8[[2]] post#16[[2]]
		post#9[[0]] post#16[[0]]
		post#9[[1]] post#16[[1]]
		post#9[[2]] post#16[[2]]
		post#10[[0]] post#16[[0]]
		post#10[[1]] post#16[[1]]
		post#10[[2]] post#16[[2]]
		post#8[[0]] post#22[[0]]
		post#8[[1]] post#22[[1]]
		post#8[[2]] post#22[[2]]
		post#9[[0]] post#22[[0]]
		post#9[[1]] post#22[[1]]
		post#9[[2]] post#22[[2]]
		post#10[[0]] post#22[[0]]
		post#10[[1]] post#22[[1]]
		post#10[[2]] post#22[[2]]
	753(1) - 753(1) pre:
		pre#2[[0]] pre#11[[0]]
		pre#2[[1]] pre#11[[1]]
		pre#2[[2]] pre#11[[2]]
		pre#3[[0]] pre#10[[0]]
		pre#3[[0]] pre#11[[0]]
		pre#3[[1]] pre#10[[1]]
		pre#3[[1]] pre#11[[1]]
		pre#3[[2]] pre#10[[2]]
		pre#3[[2]] pre#11[[2]]
		pre#2[[0]] pre#19[[0]]
		pre#2[[1]] pre#19[[1]]
		pre#2[[2]] pre#19[[2]]
		pre#3[[0]] pre#18[[0]]
		pre#3[[0]] pre#19[[0]]
		pre#3[[1]] pre#18[[1]]
		pre#3[[1]] pre#19[[1]]
		pre#3[[2]] pre#18[[2]]
		pre#3[[2]] pre#19[[2]]
		pre#10[[0]] pre#19[[0]]
		pre#10[[1]] pre#19[[1]]
		pre#10[[2]] pre#19[[2]]
		pre#11[[0]] pre#18[[0]]
		pre#11[[0]] pre#19[[0]]
		pre#11[[1]] pre#18[[1]]
		pre#11[[1]] pre#19[[1]]
		pre#11[[2]] pre#18[[2]]
		pre#11[[2]] pre#19[[2]]
	753(1) - 761(1) pre:
		pre#3[[0]] pre#12[[0]]
		pre#3[[0]] pre#13[[0]]
		pre#3[[0]] pre#14[[0]]
		pre#3[[1]] pre#12[[1]]
		pre#3[[1]] pre#13[[1]]
		pre#3[[1]] pre#14[[1]]
		pre#3[[2]] pre#12[[2]]
		pre#3[[2]] pre#13[[2]]
		pre#3[[2]] pre#14[[2]]
		pre#3[[0]] pre#20[[0]]
		pre#3[[0]] pre#21[[0]]
		pre#3[[0]] pre#22[[0]]
		pre#3[[1]] pre#20[[1]]
		pre#3[[1]] pre#21[[1]]
		pre#3[[1]] pre#22[[1]]
		pre#3[[2]] pre#20[[2]]
		pre#3[[2]] pre#21[[2]]
		pre#3[[2]] pre#22[[2]]
		pre#11[[0]] pre#20[[0]]
		pre#11[[0]] pre#21[[0]]
		pre#11[[0]] pre#22[[0]]
		pre#11[[1]] pre#20[[1]]
		pre#11[[1]] pre#21[[1]]
		pre#11[[1]] pre#22[[1]]
		pre#11[[2]] pre#20[[2]]
		pre#11[[2]] pre#21[[2]]
		pre#11[[2]] pre#22[[2]]
	753(1) - 772(1) pre:
		pre#3[[0]] pre#15[[0]]
		pre#3[[0]] pre#16[[0]]
		pre#3[[0]] pre#17[[0]]
		pre#3[[1]] pre#15[[1]]
		pre#3[[1]] pre#16[[1]]
		pre#3[[1]] pre#17[[1]]
		pre#3[[2]] pre#15[[2]]
		pre#3[[2]] pre#16[[2]]
		pre#3[[2]] pre#17[[2]]
		pre#3[[0]] pre#23[[0]]
		pre#3[[0]] pre#24[[0]]
		pre#3[[0]] pre#25[[0]]
		pre#3[[1]] pre#23[[1]]
		pre#3[[1]] pre#24[[1]]
		pre#3[[1]] pre#25[[1]]
		pre#3[[2]] pre#23[[2]]
		pre#3[[2]] pre#24[[2]]
		pre#3[[2]] pre#25[[2]]
		pre#11[[0]] pre#23[[0]]
		pre#11[[0]] pre#24[[0]]
		pre#11[[0]] pre#25[[0]]
		pre#11[[1]] pre#23[[1]]
		pre#11[[1]] pre#24[[1]]
		pre#11[[1]] pre#25[[1]]
		pre#11[[2]] pre#23[[2]]
		pre#11[[2]] pre#24[[2]]
		pre#11[[2]] pre#25[[2]]
	761(1) - 753(1) pre:
		pre#4[[0]] pre#11[[0]]
		pre#4[[1]] pre#11[[1]]
		pre#4[[2]] pre#11[[2]]
		pre#5[[0]] pre#11[[0]]
		pre#5[[1]] pre#11[[1]]
		pre#5[[2]] pre#11[[2]]
		pre#6[[0]] pre#11[[0]]
		pre#6[[1]] pre#11[[1]]
		pre#6[[2]] pre#11[[2]]
		pre#4[[0]] pre#19[[0]]
		pre#4[[1]] pre#19[[1]]
		pre#4[[2]] pre#19[[2]]
		pre#5[[0]] pre#19[[0]]
		pre#5[[1]] pre#19[[1]]
		pre#5[[2]] pre#19[[2]]
		pre#6[[0]] pre#19[[0]]
		pre#6[[1]] pre#19[[1]]
		pre#6[[2]] pre#19[[2]]
		pre#12[[0]] pre#19[[0]]
		pre#12[[1]] pre#19[[1]]
		pre#12[[2]] pre#19[[2]]
		pre#13[[0]] pre#19[[0]]
		pre#13[[1]] pre#19[[1]]
		pre#13[[2]] pre#19[[2]]
		pre#14[[0]] pre#19[[0]]
		pre#14[[1]] pre#19[[1]]
		pre#14[[2]] pre#19[[2]]
	772(1) - 753(1) pre:
		pre#7[[0]] pre#11[[0]]
		pre#7[[1]] pre#11[[1]]
		pre#7[[2]] pre#11[[2]]
		pre#8[[0]] pre#11[[0]]
		pre#8[[1]] pre#11[[1]]
		pre#8[[2]] pre#11[[2]]
		pre#9[[0]] pre#11[[0]]
		pre#9[[1]] pre#11[[1]]
		pre#9[[2]] pre#11[[2]]
		pre#7[[0]] pre#19[[0]]
		pre#7[[1]] pre#19[[1]]
		pre#7[[2]] pre#19[[2]]
		pre#8[[0]] pre#19[[0]]
		pre#8[[1]] pre#19[[1]]
		pre#8[[2]] pre#19[[2]]
		pre#9[[0]] pre#19[[0]]
		pre#9[[1]] pre#19[[1]]
		pre#9[[2]] pre#19[[2]]
		pre#15[[0]] pre#19[[0]]
		pre#15[[1]] pre#19[[1]]
		pre#15[[2]] pre#19[[2]]
		pre#16[[0]] pre#19[[0]]
		pre#16[[1]] pre#19[[1]]
		pre#16[[2]] pre#19[[2]]
		pre#17[[0]] pre#19[[0]]
		pre#17[[1]] pre#19[[1]]
		pre#17[[2]] pre#19[[2]]
	758(1) - 758(1) sig1:
		sig1#2[[0]] sig1#11[[0]]
		sig1#2[[1]] sig1#11[[1]]
		sig1#2[[2]] sig1#11[[2]]
		sig1#3[[0]] sig1#10[[0]]
		sig1#3[[0]] sig1#11[[0]]
		sig1#3[[1]] sig1#10[[1]]
		sig1#3[[1]] sig1#11[[1]]
		sig1#3[[2]] sig1#10[[2]]
		sig1#3[[2]] sig1#11[[2]]
		sig1#2[[0]] sig1#19[[0]]
		sig1#2[[1]] sig1#19[[1]]
		sig1#2[[2]] sig1#19[[2]]
		sig1#3[[0]] sig1#18[[0]]
		sig1#3[[0]] sig1#19[[0]]
		sig1#3[[1]] sig1#18[[1]]
		sig1#3[[1]] sig1#19[[1]]
		sig1#3[[2]] sig1#18[[2]]
		sig1#3[[2]] sig1#19[[2]]
		sig1#10[[0]] sig1#19[[0]]
		sig1#10[[1]] sig1#19[[1]]
		sig1#10[[2]] sig1#19[[2]]
		sig1#11[[0]] sig1#18[[0]]
		sig1#11[[0]] sig1#19[[0]]
		sig1#11[[1]] sig1#18[[1]]
		sig1#11[[1]] sig1#19[[1]]
		sig1#11[[2]] sig1#18[[2]]
		sig1#11[[2]] sig1#19[[2]]
	758(1) - 762(1) sig1:
		sig1#3[[0]] sig1#12[[0]]
		sig1#3[[0]] sig1#13[[0]]
		sig1#3[[0]] sig1#14[[0]]
		sig1#3[[1]] sig1#12[[1]]
		sig1#3[[1]] sig1#13[[1]]
		sig1#3[[1]] sig1#14[[1]]
		sig1#3[[2]] sig1#12[[2]]
		sig1#3[[2]] sig1#13[[2]]
		sig1#3[[2]] sig1#14[[2]]
		sig1#3[[0]] sig1#20[[0]]
		sig1#3[[0]] sig1#21[[0]]
		sig1#3[[0]] sig1#22[[0]]
		sig1#3[[1]] sig1#20[[1]]
		sig1#3[[1]] sig1#21[[1]]
		sig1#3[[1]] sig1#22[[1]]
		sig1#3[[2]] sig1#20[[2]]
		sig1#3[[2]] sig1#21[[2]]
		sig1#3[[2]] sig1#22[[2]]
		sig1#11[[0]] sig1#20[[0]]
		sig1#11[[0]] sig1#21[[0]]
		sig1#11[[0]] sig1#22[[0]]
		sig1#11[[1]] sig1#20[[1]]
		sig1#11[[1]] sig1#21[[1]]
		sig1#11[[1]] sig1#22[[1]]
		sig1#11[[2]] sig1#20[[2]]
		sig1#11[[2]] sig1#21[[2]]
		sig1#11[[2]] sig1#22[[2]]
	758(1) - 774(1) sig1:
		sig1#3[[0]] sig1#15[[0]]
		sig1#3[[0]] sig1#16[[0]]
		sig1#3[[0]] sig1#17[[0]]
		sig1#3[[1]] sig1#15[[1]]
		sig1#3[[1]] sig1#16[[1]]
		sig1#3[[1]] sig1#17[[1]]
		sig1#3[[2]] sig1#15[[2]]
		sig1#3[[2]] sig1#16[[2]]
		sig1#3[[2]] sig1#17[[2]]
		sig1#3[[0]] sig1#23[[0]]
		sig1#3[[0]] sig1#24[[0]]
		sig1#3[[0]] sig1#25[[0]]
		sig1#3[[1]] sig1#23[[1]]
		sig1#3[[1]] sig1#24[[1]]
		sig1#3[[1]] sig1#25[[1]]
		sig1#3[[2]] sig1#23[[2]]
		sig1#3[[2]] sig1#24[[2]]
		sig1#3[[2]] sig1#25[[2]]
		sig1#11[[0]] sig1#23[[0]]
		sig1#11[[0]] sig1#24[[0]]
		sig1#11[[0]] sig1#25[[0]]
		sig1#11[[1]] sig1#23[[1]]
		sig1#11[[1]] sig1#24[[1]]
		sig1#11[[1]] sig1#25[[1]]
		sig1#11[[2]] sig1#23[[2]]
		sig1#11[[2]] sig1#24[[2]]
		sig1#11[[2]] sig1#25[[2]]
	762(1) - 758(1) sig1:
		sig1#4[[0]] sig1#11[[0]]
		sig1#4[[1]] sig1#11[[1]]
		sig1#4[[2]] sig1#11[[2]]
		sig1#5[[0]] sig1#11[[0]]
		sig1#5[[1]] sig1#11[[1]]
		sig1#5[[2]] sig1#11[[2]]
		sig1#6[[0]] sig1#11[[0]]
		sig1#6[[1]] sig1#11[[1]]
		sig1#6[[2]] sig1#11[[2]]
		sig1#4[[0]] sig1#19[[0]]
		sig1#4[[1]] sig1#19[[1]]
		sig1#4[[2]] sig1#19[[2]]
		sig1#5[[0]] sig1#19[[0]]
		sig1#5[[1]] sig1#19[[1]]
		sig1#5[[2]] sig1#19[[2]]
		sig1#6[[0]] sig1#19[[0]]
		sig1#6[[1]] sig1#19[[1]]
		sig1#6[[2]] sig1#19[[2]]
		sig1#12[[0]] sig1#19[[0]]
		sig1#12[[1]] sig1#19[[1]]
		sig1#12[[2]] sig1#19[[2]]
		sig1#13[[0]] sig1#19[[0]]
		sig1#13[[1]] sig1#19[[1]]
		sig1#13[[2]] sig1#19[[2]]
		sig1#14[[0]] sig1#19[[0]]
		sig1#14[[1]] sig1#19[[1]]
		sig1#14[[2]] sig1#19[[2]]
	774(1) - 758(1) sig1:
		sig1#7[[0]] sig1#11[[0]]
		sig1#7[[1]] sig1#11[[1]]
		sig1#7[[2]] sig1#11[[2]]
		sig1#8[[0]] sig1#11[[0]]
		sig1#8[[1]] sig1#11[[1]]
		sig1#8[[2]] sig1#11[[2]]
		sig1#9[[0]] sig1#11[[0]]
		sig1#9[[1]] sig1#11[[1]]
		sig1#9[[2]] sig1#11[[2]]
		sig1#7[[0]] sig1#19[[0]]
		sig1#7[[1]] sig1#19[[1]]
		sig1#7[[2]] sig1#19[[2]]
		sig1#8[[0]] sig1#19[[0]]
		sig1#8[[1]] sig1#19[[1]]
		sig1#8[[2]] sig1#19[[2]]
		sig1#9[[0]] sig1#19[[0]]
		sig1#9[[1]] sig1#19[[1]]
		sig1#9[[2]] sig1#19[[2]]
		sig1#15[[0]] sig1#19[[0]]
		sig1#15[[1]] sig1#19[[1]]
		sig1#15[[2]] sig1#19[[2]]
		sig1#16[[0]] sig1#19[[0]]
		sig1#16[[1]] sig1#19[[1]]
		sig1#16[[2]] sig1#19[[2]]
		sig1#17[[0]] sig1#19[[0]]
		sig1#17[[1]] sig1#19[[1]]
		sig1#17[[2]] sig1#19[[2]]
	767(1) - 767(1) sig2:
		sig2#2[[0]] sig2#11[[0]]
		sig2#2[[1]] sig2#11[[1]]
		sig2#2[[2]] sig2#11[[2]]
		sig2#3[[0]] sig2#10[[0]]
		sig2#3[[0]] sig2#11[[0]]
		sig2#3[[1]] sig2#10[[1]]
		sig2#3[[1]] sig2#11[[1]]
		sig2#3[[2]] sig2#10[[2]]
		sig2#3[[2]] sig2#11[[2]]
		sig2#2[[0]] sig2#16[[0]]
		sig2#2[[1]] sig2#16[[1]]
		sig2#2[[2]] sig2#16[[2]]
		sig2#3[[0]] sig2#15[[0]]
		sig2#3[[0]] sig2#16[[0]]
		sig2#3[[1]] sig2#15[[1]]
		sig2#3[[1]] sig2#16[[1]]
		sig2#3[[2]] sig2#15[[2]]
		sig2#3[[2]] sig2#16[[2]]
		sig2#10[[0]] sig2#16[[0]]
		sig2#10[[1]] sig2#16[[1]]
		sig2#10[[2]] sig2#16[[2]]
		sig2#11[[0]] sig2#15[[0]]
		sig2#11[[0]] sig2#16[[0]]
		sig2#11[[1]] sig2#15[[1]]
		sig2#11[[1]] sig2#16[[1]]
		sig2#11[[2]] sig2#15[[2]]
		sig2#11[[2]] sig2#16[[2]]
	767(1) - 779(1) sig2:
		sig2#3[[0]] sig2#12[[0]]
		sig2#3[[0]] sig2#13[[0]]
		sig2#3[[0]] sig2#14[[0]]
		sig2#3[[1]] sig2#12[[1]]
		sig2#3[[1]] sig2#13[[1]]
		sig2#3[[1]] sig2#14[[1]]
		sig2#3[[2]] sig2#12[[2]]
		sig2#3[[2]] sig2#13[[2]]
		sig2#3[[2]] sig2#14[[2]]
		sig2#3[[0]] sig2#17[[0]]
		sig2#3[[0]] sig2#18[[0]]
		sig2#3[[0]] sig2#19[[0]]
		sig2#3[[1]] sig2#17[[1]]
		sig2#3[[1]] sig2#18[[1]]
		sig2#3[[1]] sig2#19[[1]]
		sig2#3[[2]] sig2#17[[2]]
		sig2#3[[2]] sig2#18[[2]]
		sig2#3[[2]] sig2#19[[2]]
		sig2#11[[0]] sig2#17[[0]]
		sig2#11[[0]] sig2#18[[0]]
		sig2#11[[0]] sig2#19[[0]]
		sig2#11[[1]] sig2#17[[1]]
		sig2#11[[1]] sig2#18[[1]]
		sig2#11[[1]] sig2#19[[1]]
		sig2#11[[2]] sig2#17[[2]]
		sig2#11[[2]] sig2#18[[2]]
		sig2#11[[2]] sig2#19[[2]]
	779(1) - 767(1) sig2:
		sig2#4[[0]] sig2#11[[0]]
		sig2#4[[1]] sig2#11[[1]]
		sig2#4[[2]] sig2#11[[2]]
		sig2#5[[0]] sig2#11[[0]]
		sig2#5[[1]] sig2#11[[1]]
		sig2#5[[2]] sig2#11[[2]]
		sig2#6[[0]] sig2#11[[0]]
		sig2#6[[1]] sig2#11[[1]]
		sig2#6[[2]] sig2#11[[2]]
		sig2#4[[0]] sig2#16[[0]]
		sig2#4[[1]] sig2#16[[1]]
		sig2#4[[2]] sig2#16[[2]]
		sig2#5[[0]] sig2#16[[0]]
		sig2#5[[1]] sig2#16[[1]]
		sig2#5[[2]] sig2#16[[2]]
		sig2#6[[0]] sig2#16[[0]]
		sig2#6[[1]] sig2#16[[1]]
		sig2#6[[2]] sig2#16[[2]]
		sig2#12[[0]] sig2#16[[0]]
		sig2#12[[1]] sig2#16[[1]]
		sig2#12[[2]] sig2#16[[2]]
		sig2#13[[0]] sig2#16[[0]]
		sig2#13[[1]] sig2#16[[1]]
		sig2#13[[2]] sig2#16[[2]]
		sig2#14[[0]] sig2#16[[0]]
		sig2#14[[1]] sig2#16[[1]]
		sig2#14[[2]] sig2#16[[2]]
	802(1) - 767(1) sig2:
		sig2#7[[0]] sig2#11[[0]]
		sig2#7[[1]] sig2#11[[1]]
		sig2#7[[2]] sig2#11[[2]]
		sig2#8[[0]] sig2#11[[0]]
		sig2#8[[1]] sig2#11[[1]]
		sig2#8[[2]] sig2#11[[2]]
		sig2#9[[0]] sig2#11[[0]]
		sig2#9[[1]] sig2#11[[1]]
		sig2#9[[2]] sig2#11[[2]]
		sig2#7[[0]] sig2#16[[0]]
		sig2#7[[1]] sig2#16[[1]]
		sig2#7[[2]] sig2#16[[2]]
		sig2#8[[0]] sig2#16[[0]]
		sig2#8[[1]] sig2#16[[1]]
		sig2#8[[2]] sig2#16[[2]]
		sig2#9[[0]] sig2#16[[0]]
		sig2#9[[1]] sig2#16[[1]]
		sig2#9[[2]] sig2#16[[2]]
Runtime Symex: 67.9927s
Unsupported library function!
