./deagle /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c --64


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


./deagle_exe --svcomp --graphml-witness error-witness.graphml --no-assertions --datarace /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c
Deagle version 2.2 64-bit x86_64 linux
which contains:
CBMC version 5.67.0 (svcomp24-11-gfd1b965b5-dirty) 64-bit x86_64 linux
Parsing /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
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/EasyLogger/main.c line 1833
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/EasyLogger/main.c line 1830
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-time> line 11: warning: conflicting return types "time"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1823
time_t (time_t *)
new definition in module <built-in-library> file <builtin-library-time> line 11
time_t (time_t *tloc)
file <builtin-library-time> line 11: 
reason for conflict at #this: conflict on POD

time_t
time_t
error: conflicting function declarations 'time'
old definition in module 'main' file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1823
time_t (time_t *)
new definition in module '<built-in-library>' file <builtin-library-time> line 11
time_t (time_t *tloc)
file <builtin-library-ftell> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "ftell"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1495
signed long int (FILE *)
new definition in module <built-in-library> file <builtin-library-ftell> line 9
signed long int (FILE *stream)
file <builtin-library-fseek> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fseek"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1494
signed int (FILE *, signed long int, signed int)
new definition in module <built-in-library> file <builtin-library-fseek> line 9
signed int (FILE *stream, signed long int offset, signed int whence)
file <builtin-library-fwrite> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fwrite"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1492
size_t (const void *, size_t, size_t, FILE *)
new definition in module <built-in-library> file <builtin-library-fwrite> line 9
size_t (const void *ptr, size_t size, size_t nitems, FILE *stream)
file <builtin-library-fopen> line 15: warning: conflicting return types "fopen"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1491
FILE * (const char *, const char *)
new definition in module <built-in-library> file <builtin-library-fopen> line 15
FILE * (const char *filename, const char *mode)
file <builtin-library-fopen> line 15: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fopen"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1491
FILE * (const char *, const char *)
new definition in module <built-in-library> file <builtin-library-fopen> line 15
FILE * (const char *filename, const char *mode)
file <builtin-library-fflush> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fflush"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1490
signed int (FILE *)
new definition in module <built-in-library> file <builtin-library-fflush> line 9
signed int (FILE *stream)
file <builtin-library-fclose> line 14: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fclose"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1489
signed int (FILE *)
new definition in module <built-in-library> file <builtin-library-fclose> line 14
signed int (FILE *stream)
file <builtin-library-sem_post> line 6: warning: pointer parameter types differ between declaration and definition "sem_post"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1268
signed int (sem_t *)
new definition in module <built-in-library> file <builtin-library-sem_post> line 6
signed int (sem_t *sem)
file <builtin-library-sem_wait> line 6: warning: pointer parameter types differ between declaration and definition "sem_wait"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1267
signed int (sem_t *)
new definition in module <built-in-library> file <builtin-library-sem_wait> line 6
signed int (sem_t *sem)
file /usr/include/stdio.h line 144: warning: conflicting pointer types for variable "stdout"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 2087
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
new definition in module <built-in-library> file /usr/include/stdio.h line 144
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
file <builtin-library-sem_init> line 6: warning: pointer parameter types differ between declaration and definition "sem_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1263
signed int (sem_t *, signed int, unsigned int)
new definition in module <built-in-library> file <builtin-library-sem_init> line 6
signed int (sem_t *sem, signed int pshared, unsigned int value)
file <builtin-library-pthread_create> line 20: warning: pointer parameter types differ between declaration and definition "pthread_create"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1250
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)
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/EasyLogger/main.c line 1834
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-localtime_r> line 9: 
reason for conflict at #this: conflict on POD

const time_t
const time_t
warning: pointer parameter types differ between declaration and definition "localtime_r"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1827
struct tm * (const time_t *, struct tm *)
new definition in module <built-in-library> file <builtin-library-localtime_r> line 9
struct tm * (const time_t *clock, struct tm *result)
Removal of function pointers and virtual functions
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 348 function elog_set_output_enabled: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 396 function elog_set_fmt: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 417 function elog_set_filter: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 440 function elog_set_filter_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 526 function elog_set_filter_tag_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 539 function elog_set_filter_tag_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 599 function elog_get_filter_tag_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 743 function elog_output: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 973 function elog_find_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 985 function elog_find_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 998 function elog_find_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1011 function elog_find_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1024 function elog_find_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1037 function elog_find_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1050 function elog_find_lvl: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1089 function elog_find_tag: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1101 function elog_find_tag: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1113 function elog_find_tag: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1125 function elog_find_tag: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1945 function elog_strcpy: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1957 function elog_strcpy: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 912 function get_fmt_enabled: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1599 function elog_file_write: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1611 function elog_file_write: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1646 function elog_file_deinit: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1999 function elog_cpyln: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 2011 function elog_cpyln: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 2056 function elog_memcpy: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 2068 function elog_memcpy: replacing function pointer by 0 possible targets
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
set limit type 2
Use SV-COMP unwinding strategy: 2
Deagle's solver is set!!!!!!
**** WARNING: no body for function setbuf
**** WARNING: no body for function semget
**** WARNING: no body for function semctl
**** WARNING: no body for function usleep
Unwinding loop lock_open.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1791 function lock_open thread 0
Not unwinding loop lock_open.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1791 function lock_open thread 0
**** WARNING: no body for function semop
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
**** WARNING: no body for function pthread_attr_init
**** WARNING: no body for function pthread_attr_setstacksize
**** WARNING: no body for function pthread_attr_setschedpolicy
**** WARNING: no body for function sched_get_priority_max
**** WARNING: no body for function pthread_attr_setschedparam
**** WARNING: no body for function pthread_attr_destroy
Unwinding loop elog_set_filter_tag_lvl_default.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 502 function elog_set_filter_tag_lvl_default thread 0
Not unwinding loop elog_set_filter_tag_lvl_default.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 502 function elog_set_filter_tag_lvl_default thread 0
pointer handling for concurrency is unsound
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1599 function elog_file_write thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
**** WARNING: no body for function snprintf
**** WARNING: no body for function remove
**** WARNING: no body for function rename
Unwinding loop elog_file_rotate.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1550 function elog_file_rotate thread 1
Not unwinding loop elog_file_rotate.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1550 function elog_file_rotate thread 1
Unwinding loop async_output.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1419 function async_output thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1599 function elog_file_write thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
Unwinding loop elog_file_rotate.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1550 function elog_file_rotate thread 1
Not unwinding loop elog_file_rotate.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1550 function elog_file_rotate thread 1
Not unwinding loop async_output.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1419 function async_output thread 1
Unwinding loop async_output.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1417 function async_output thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1599 function elog_file_write thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
Unwinding loop elog_file_rotate.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1550 function elog_file_rotate thread 1
Not unwinding loop elog_file_rotate.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1550 function elog_file_rotate thread 1
Unwinding loop async_output.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1419 function async_output thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1599 function elog_file_write thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
Unwinding loop elog_file_rotate.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1550 function elog_file_rotate thread 1
Not unwinding loop elog_file_rotate.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1550 function elog_file_rotate thread 1
Not unwinding loop async_output.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1419 function async_output thread 1
Not unwinding loop async_output.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c line 1417 function async_output thread 1
Start removing dummy accesses: 9001 steps before removal
memset::1::1::s_n!0@1#2[[0]] is dummy and removed
memset::1::1::s_n!0@1#2[[1]] is dummy and removed
memset::1::1::s_n!0@1#2[[2]] is dummy and removed
memset::1::1::s_n!0@1#2[[3]] is dummy and removed
memset::1::1::s_n!0@1#2[[4]] is dummy and removed
memset::1::1::s_n!0@1#2[[5]] is dummy and removed
memset::1::1::s_n!0@1#2[[6]] is dummy and removed
memset::1::1::s_n!0@1#2[[7]] is dummy and removed
memset::1::1::s_n!0@1#2[[8]] is dummy and removed
memset::1::1::s_n!0@1#2[[9]] is dummy and removed
memset::1::1::s_n!0@1#2[[A]] is dummy and removed
memset::1::1::s_n!0@1#2[[B]] is dummy and removed
memset::1::1::s_n!0@1#2[[C]] is dummy and removed
memset::1::1::s_n!0@1#2[[D]] is dummy and removed
memset::1::1::s_n!0@1#2[[E]] is dummy and removed
memset::1::1::s_n!0@1#2[[F]] is dummy and removed
memset::1::1::s_n!0@1#2[[10]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[0]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[1]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[2]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[3]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[4]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[5]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[6]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[7]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[8]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[9]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[A]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[B]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[C]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[D]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[E]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[F]] is dummy and removed
elog#2..filter..tag_lvl[[0]]..tag[[10]] is dummy and removed
memset::1::1::s_n!0@2#2[[0]] is dummy and removed
memset::1::1::s_n!0@2#2[[1]] is dummy and removed
memset::1::1::s_n!0@2#2[[2]] is dummy and removed
memset::1::1::s_n!0@2#2[[3]] is dummy and removed
memset::1::1::s_n!0@2#2[[4]] is dummy and removed
memset::1::1::s_n!0@2#2[[5]] is dummy and removed
memset::1::1::s_n!0@2#2[[6]] is dummy and removed
memset::1::1::s_n!0@2#2[[7]] is dummy and removed
memset::1::1::s_n!0@2#2[[8]] is dummy and removed
memset::1::1::s_n!0@2#2[[9]] is dummy and removed
memset::1::1::s_n!0@2#2[[A]] is dummy and removed
memset::1::1::s_n!0@2#2[[B]] is dummy and removed
memset::1::1::s_n!0@2#2[[C]] is dummy and removed
memset::1::1::s_n!0@2#2[[D]] is dummy and removed
memset::1::1::s_n!0@2#2[[E]] is dummy and removed
memset::1::1::s_n!0@2#2[[F]] is dummy and removed
memset::1::1::s_n!0@2#2[[10]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[0]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[1]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[2]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[3]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[4]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[5]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[6]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[7]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[8]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[9]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[A]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[B]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[C]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[D]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[E]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[F]] is dummy and removed
elog#4..filter..tag_lvl[[1]]..tag[[10]] is dummy and removed
read_index#9 is dummy and removed
read_index#10 is dummy and removed
read_index#19 is dummy and removed
read_index#20 is dummy and removed
read_index#21 is dummy and removed
read_index#22 is dummy and removed
read_index#31 is dummy and removed
read_index#32 is dummy and removed
read_index#33 is dummy and removed
printf::format!1@1#2 is dummy and removed
elog_output::1::line_num!1@1#2[[0]] is dummy and removed
elog_output::1::line_num!1@1#2[[1]] is dummy and removed
elog_output::1::line_num!1@1#2[[2]] is dummy and removed
elog_output::1::line_num!1@1#2[[3]] is dummy and removed
elog_output::1::line_num!1@1#2[[4]] is dummy and removed
elog_output::1::line_num!1@1#2[[5]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[0]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[1]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[2]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[3]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[4]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[5]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[6]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[7]] is dummy and removed
elog_output::1::tag_sapce!1@1#2[[8]] is dummy and removed
semid#11 is dummy and removed
fp#2 is dummy and removed
fp#4 is dummy and removed
local_cfg#4..name is dummy and removed
local_cfg#13..name is dummy and removed
local_cfg#14..name is dummy and removed
local_cfg#23..name is dummy and removed
local_cfg#24..name is dummy and removed
fp#6 is dummy and removed
local_cfg#26..name is dummy and removed
fp#9 is dummy and removed
fp#10 is dummy and removed
fp#12 is dummy and removed
semid#13 is dummy and removed
read_index#45 is dummy and removed
read_index#46 is dummy and removed
read_index#55 is dummy and removed
read_index#56 is dummy and removed
read_index#57 is dummy and removed
read_index#58 is dummy and removed
read_index#67 is dummy and removed
read_index#68 is dummy and removed
read_index#69 is dummy and removed
printf::format!1@2#2 is dummy and removed
elog_output::1::line_num!1@2#2[[0]] is dummy and removed
elog_output::1::line_num!1@2#2[[1]] is dummy and removed
elog_output::1::line_num!1@2#2[[2]] is dummy and removed
elog_output::1::line_num!1@2#2[[3]] is dummy and removed
elog_output::1::line_num!1@2#2[[4]] is dummy and removed
elog_output::1::line_num!1@2#2[[5]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[0]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[1]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[2]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[3]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[4]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[5]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[6]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[7]] is dummy and removed
elog_output::1::tag_sapce!1@2#2[[8]] is dummy and removed
semid#15 is dummy and removed
fp#14 is dummy and removed
fp#16 is dummy and removed
local_cfg#28..name is dummy and removed
local_cfg#37..name is dummy and removed
local_cfg#38..name is dummy and removed
local_cfg#47..name is dummy and removed
local_cfg#48..name is dummy and removed
fp#18 is dummy and removed
local_cfg#50..name is dummy and removed
fp#21 is dummy and removed
fp#22 is dummy and removed
fp#24 is dummy and removed
semid#17 is dummy and removed
read_index#81 is dummy and removed
read_index#82 is dummy and removed
read_index#91 is dummy and removed
read_index#92 is dummy and removed
read_index#93 is dummy and removed
read_index#94 is dummy and removed
read_index#103 is dummy and removed
read_index#104 is dummy and removed
read_index#105 is dummy and removed
printf::format!1@3#2 is dummy and removed
elog_output::1::line_num!1@3#2[[0]] is dummy and removed
elog_output::1::line_num!1@3#2[[1]] is dummy and removed
elog_output::1::line_num!1@3#2[[2]] is dummy and removed
elog_output::1::line_num!1@3#2[[3]] is dummy and removed
elog_output::1::line_num!1@3#2[[4]] is dummy and removed
elog_output::1::line_num!1@3#2[[5]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[0]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[1]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[2]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[3]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[4]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[5]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[6]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[7]] is dummy and removed
elog_output::1::tag_sapce!1@3#2[[8]] is dummy and removed
semid#19 is dummy and removed
fp#26 is dummy and removed
fp#28 is dummy and removed
local_cfg#52..name is dummy and removed
local_cfg#61..name is dummy and removed
local_cfg#62..name is dummy and removed
local_cfg#71..name is dummy and removed
local_cfg#72..name is dummy and removed
fp#30 is dummy and removed
local_cfg#74..name is dummy and removed
fp#33 is dummy and removed
fp#34 is dummy and removed
fp#36 is dummy and removed
semid#21 is dummy and removed
read_index#117 is dummy and removed
read_index#118 is dummy and removed
read_index#127 is dummy and removed
read_index#128 is dummy and removed
read_index#129 is dummy and removed
read_index#130 is dummy and removed
read_index#139 is dummy and removed
read_index#140 is dummy and removed
read_index#141 is dummy and removed
printf::format!1@4#2 is dummy and removed
elog_output::1::line_num!1@4#2[[0]] is dummy and removed
elog_output::1::line_num!1@4#2[[1]] is dummy and removed
elog_output::1::line_num!1@4#2[[2]] is dummy and removed
elog_output::1::line_num!1@4#2[[3]] is dummy and removed
elog_output::1::line_num!1@4#2[[4]] is dummy and removed
elog_output::1::line_num!1@4#2[[5]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[0]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[1]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[2]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[3]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[4]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[5]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[6]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[7]] is dummy and removed
elog_output::1::tag_sapce!1@4#2[[8]] is dummy and removed
semid#23 is dummy and removed
fp#38 is dummy and removed
fp#40 is dummy and removed
local_cfg#76..name is dummy and removed
local_cfg#85..name is dummy and removed
local_cfg#86..name is dummy and removed
local_cfg#95..name is dummy and removed
local_cfg#96..name is dummy and removed
fp#42 is dummy and removed
local_cfg#98..name is dummy and removed
fp#45 is dummy and removed
fp#46 is dummy and removed
fp#48 is dummy and removed
semid#25 is dummy and removed
8777 steps after removal
Handling datarace with no aid
The number of races before filter: 596
The number of races after filter: 596
The number of race categories before filter: 79
The number of race categories after filter: 79
	1278(1) - 1289(1) buf_is_empty
	1278(1) - 1361(1) buf_is_empty
	1277(1) - 1288(1) buf_is_full
	1277(1) - 1296(1) buf_is_full
	1277(1) - 1374(1) buf_is_full
	248(1) - 472(1) elog
	248(1) - 474(1) elog
	248(1) - 476(1) elog
	248(1) - 486(1) elog
	248(1) - 488(1) elog
	248(1) - 490(1) elog
	278(1) - 476(1) elog
	278(1) - 490(1) elog
	279(1) - 474(1) elog
	279(1) - 488(1) elog
	38(1) - 472(1) elog
	38(1) - 474(1) elog
	38(1) - 476(1) elog
	38(1) - 486(1) elog
	38(1) - 488(1) elog
	38(1) - 490(1) elog
	927(1) - 472(1) elog
	927(1) - 486(1) elog
	929(1) - 474(1) elog
	929(1) - 488(1) elog
	930(1) - 476(1) elog
	930(1) - 490(1) elog
	937(1) - 474(1) elog
	937(1) - 488(1) elog
	938(1) - 476(1) elog
	938(1) - 490(1) elog
	218(1) - 1591(1) elog_assert_hook
	1505(1) - 1548(1) fp
	1505(1) - 1577(1) fp
	1505(1) - 1615(1) fp
	1505(1) - 1616(1) fp
	1505(1) - 1625(1) fp
	1505(1) - 1626(1) fp
	1504(1) - 1590(1) init_ok___0
	1522(1) - 1590(1) init_ok___0
	1506(1) - 1541(1) local_cfg
	1506(1) - 1544(1) local_cfg
	1506(1) - 1546(1) local_cfg
	1506(1) - 1549(1) local_cfg
	1506(1) - 1577(1) local_cfg
	1506(1) - 1618(1) local_cfg
	1669(1) - 1541(1) local_cfg
	1669(1) - 1544(1) local_cfg
	1669(1) - 1546(1) local_cfg
	1669(1) - 1577(1) local_cfg
	1670(1) - 1618(1) local_cfg
	1671(1) - 1549(1) local_cfg
	1274(1) - 45(1) log_buf___0
	1836(1) - 40(1) output_lock
	1836(1) - 42(1) output_lock
	32(1) - 40(1) output_lock
	32(1) - 42(1) output_lock
	1269(1) - 13(1) output_notice
	17(1) - 13(1) output_notice
	1410(1) - 46(1) poll_get_buf
	1276(1) - 1285(1) read_index
	1276(1) - 1286(1) read_index
	1276(1) - 1290(1) read_index
	1276(1) - 1363(1) read_index
	1276(1) - 1364(1) read_index
	1276(1) - 1366(1) read_index
	1276(1) - 1368(1) read_index
	1276(1) - 1370(1) read_index
	1276(1) - 1372(1) read_index
	1690(1) - 1711(1) semid
	1690(1) - 1722(1) semid
	1767(1) - 1711(1) semid
	1767(1) - 1722(1) semid
	2087(1) - 19(1) stdout
	1272(1) - 1417(1) thread_running
	1453(1) - 1417(1) thread_running
	1275(1) - 1285(1) write_index
	1275(1) - 1286(1) write_index
	1275(1) - 1290(1) write_index
Races between line 1278 - line 1289:
	buf_is_empty#1 buf_is_empty#2
	buf_is_empty#1 buf_is_empty#4
	buf_is_empty#1 buf_is_empty#6
	buf_is_empty#1 buf_is_empty#8
Races between line 1278 - line 1361:
	buf_is_empty#1 buf_is_empty#3
	buf_is_empty#1 buf_is_empty#5
	buf_is_empty#1 buf_is_empty#7
	buf_is_empty#1 buf_is_empty#9
Races between line 1277 - line 1288:
	buf_is_full#1 buf_is_full#2
	buf_is_full#1 buf_is_full#5
	buf_is_full#1 buf_is_full#8
	buf_is_full#1 buf_is_full#11
Races between line 1277 - line 1296:
	buf_is_full#1 buf_is_full#3
	buf_is_full#1 buf_is_full#6
	buf_is_full#1 buf_is_full#9
	buf_is_full#1 buf_is_full#12
Races between line 1277 - line 1374:
	buf_is_full#1 buf_is_full#4
	buf_is_full#1 buf_is_full#7
	buf_is_full#1 buf_is_full#10
	buf_is_full#1 buf_is_full#13
Races between line 248 - line 472:
	elog#1..output_lock_enabled elog#8..output_lock_enabled
	elog#1..output_lock_enabled elog#10..output_lock_enabled
	elog#1..output_lock_enabled elog#12..output_lock_enabled
	elog#1..output_lock_enabled elog#14..output_lock_enabled
Races between line 248 - line 474:
	elog#1..output_is_locked_before_disable elog#9..output_is_locked_before_disable
	elog#1..output_is_locked_before_disable elog#11..output_is_locked_before_disable
	elog#1..output_is_locked_before_disable elog#13..output_is_locked_before_disable
	elog#1..output_is_locked_before_disable elog#15..output_is_locked_before_disable
Races between line 248 - line 476:
	elog#1..output_is_locked_before_enable elog#9..output_is_locked_before_enable
	elog#1..output_is_locked_before_enable elog#11..output_is_locked_before_enable
	elog#1..output_is_locked_before_enable elog#13..output_is_locked_before_enable
	elog#1..output_is_locked_before_enable elog#15..output_is_locked_before_enable
Races between line 248 - line 486:
	elog#1..output_lock_enabled elog#9..output_lock_enabled
	elog#1..output_lock_enabled elog#11..output_lock_enabled
	elog#1..output_lock_enabled elog#13..output_lock_enabled
	elog#1..output_lock_enabled elog#15..output_lock_enabled
Races between line 248 - line 488:
	elog#1..output_is_locked_before_disable elog#10..output_is_locked_before_disable
	elog#1..output_is_locked_before_disable elog#12..output_is_locked_before_disable
	elog#1..output_is_locked_before_disable elog#14..output_is_locked_before_disable
	elog#1..output_is_locked_before_disable elog#16..output_is_locked_before_disable
Races between line 248 - line 490:
	elog#1..output_is_locked_before_enable elog#10..output_is_locked_before_enable
	elog#1..output_is_locked_before_enable elog#12..output_is_locked_before_enable
	elog#1..output_is_locked_before_enable elog#14..output_is_locked_before_enable
	elog#1..output_is_locked_before_enable elog#16..output_is_locked_before_enable
Races between line 278 - line 476:
	elog#4..output_is_locked_before_enable elog#9..output_is_locked_before_enable
	elog#4..output_is_locked_before_enable elog#11..output_is_locked_before_enable
	elog#4..output_is_locked_before_enable elog#13..output_is_locked_before_enable
	elog#4..output_is_locked_before_enable elog#15..output_is_locked_before_enable
Races between line 278 - line 490:
	elog#4..output_is_locked_before_enable elog#10..output_is_locked_before_enable
	elog#4..output_is_locked_before_enable elog#12..output_is_locked_before_enable
	elog#4..output_is_locked_before_enable elog#14..output_is_locked_before_enable
	elog#4..output_is_locked_before_enable elog#16..output_is_locked_before_enable
Races between line 279 - line 474:
	elog#4..output_is_locked_before_disable elog#9..output_is_locked_before_disable
	elog#4..output_is_locked_before_disable elog#11..output_is_locked_before_disable
	elog#4..output_is_locked_before_disable elog#13..output_is_locked_before_disable
	elog#4..output_is_locked_before_disable elog#15..output_is_locked_before_disable
Races between line 279 - line 488:
	elog#4..output_is_locked_before_disable elog#10..output_is_locked_before_disable
	elog#4..output_is_locked_before_disable elog#12..output_is_locked_before_disable
	elog#4..output_is_locked_before_disable elog#14..output_is_locked_before_disable
	elog#4..output_is_locked_before_disable elog#16..output_is_locked_before_disable
Races between line 38 - line 472:
	elog#5..output_lock_enabled elog#8..output_lock_enabled (hidden)
	elog#5..output_lock_enabled elog#10..output_lock_enabled (hidden)
	elog#5..output_lock_enabled elog#12..output_lock_enabled (hidden)
	elog#5..output_lock_enabled elog#14..output_lock_enabled (hidden)
	elog#7..output_lock_enabled elog#8..output_lock_enabled (hidden)
	elog#7..output_lock_enabled elog#10..output_lock_enabled (hidden)
	elog#7..output_lock_enabled elog#12..output_lock_enabled (hidden)
	elog#7..output_lock_enabled elog#14..output_lock_enabled (hidden)
Races between line 38 - line 474:
	elog#5..output_is_locked_before_disable elog#9..output_is_locked_before_disable (hidden)
	elog#5..output_is_locked_before_disable elog#11..output_is_locked_before_disable (hidden)
	elog#5..output_is_locked_before_disable elog#13..output_is_locked_before_disable (hidden)
	elog#5..output_is_locked_before_disable elog#15..output_is_locked_before_disable (hidden)
	elog#6..output_is_locked_before_disable elog#9..output_is_locked_before_disable (hidden)
	elog#6..output_is_locked_before_disable elog#11..output_is_locked_before_disable (hidden)
	elog#6..output_is_locked_before_disable elog#13..output_is_locked_before_disable (hidden)
	elog#6..output_is_locked_before_disable elog#15..output_is_locked_before_disable (hidden)
	elog#7..output_is_locked_before_disable elog#9..output_is_locked_before_disable (hidden)
	elog#7..output_is_locked_before_disable elog#11..output_is_locked_before_disable (hidden)
	elog#7..output_is_locked_before_disable elog#13..output_is_locked_before_disable (hidden)
	elog#7..output_is_locked_before_disable elog#15..output_is_locked_before_disable (hidden)
	elog#8..output_is_locked_before_disable elog#9..output_is_locked_before_disable (hidden)
	elog#8..output_is_locked_before_disable elog#11..output_is_locked_before_disable (hidden)
	elog#8..output_is_locked_before_disable elog#13..output_is_locked_before_disable (hidden)
	elog#8..output_is_locked_before_disable elog#15..output_is_locked_before_disable (hidden)
Races between line 38 - line 476:
	elog#5..output_is_locked_before_enable elog#9..output_is_locked_before_enable (hidden)
	elog#5..output_is_locked_before_enable elog#11..output_is_locked_before_enable (hidden)
	elog#5..output_is_locked_before_enable elog#13..output_is_locked_before_enable (hidden)
	elog#5..output_is_locked_before_enable elog#15..output_is_locked_before_enable (hidden)
	elog#6..output_is_locked_before_enable elog#9..output_is_locked_before_enable (hidden)
	elog#6..output_is_locked_before_enable elog#11..output_is_locked_before_enable (hidden)
	elog#6..output_is_locked_before_enable elog#13..output_is_locked_before_enable (hidden)
	elog#6..output_is_locked_before_enable elog#15..output_is_locked_before_enable (hidden)
	elog#7..output_is_locked_before_enable elog#9..output_is_locked_before_enable (hidden)
	elog#7..output_is_locked_before_enable elog#11..output_is_locked_before_enable (hidden)
	elog#7..output_is_locked_before_enable elog#13..output_is_locked_before_enable (hidden)
	elog#7..output_is_locked_before_enable elog#15..output_is_locked_before_enable (hidden)
	elog#8..output_is_locked_before_enable elog#9..output_is_locked_before_enable (hidden)
	elog#8..output_is_locked_before_enable elog#11..output_is_locked_before_enable (hidden)
	elog#8..output_is_locked_before_enable elog#13..output_is_locked_before_enable (hidden)
	elog#8..output_is_locked_before_enable elog#15..output_is_locked_before_enable (hidden)
Races between line 38 - line 486:
	elog#5..output_lock_enabled elog#9..output_lock_enabled (hidden)
	elog#5..output_lock_enabled elog#11..output_lock_enabled (hidden)
	elog#5..output_lock_enabled elog#13..output_lock_enabled (hidden)
	elog#5..output_lock_enabled elog#15..output_lock_enabled (hidden)
	elog#7..output_lock_enabled elog#9..output_lock_enabled (hidden)
	elog#7..output_lock_enabled elog#11..output_lock_enabled (hidden)
	elog#7..output_lock_enabled elog#13..output_lock_enabled (hidden)
	elog#7..output_lock_enabled elog#15..output_lock_enabled (hidden)
Races between line 38 - line 488:
	elog#5..output_is_locked_before_disable elog#10..output_is_locked_before_disable (hidden)
	elog#5..output_is_locked_before_disable elog#12..output_is_locked_before_disable (hidden)
	elog#5..output_is_locked_before_disable elog#14..output_is_locked_before_disable (hidden)
	elog#5..output_is_locked_before_disable elog#16..output_is_locked_before_disable (hidden)
	elog#6..output_is_locked_before_disable elog#10..output_is_locked_before_disable (hidden)
	elog#6..output_is_locked_before_disable elog#12..output_is_locked_before_disable (hidden)
	elog#6..output_is_locked_before_disable elog#14..output_is_locked_before_disable (hidden)
	elog#6..output_is_locked_before_disable elog#16..output_is_locked_before_disable (hidden)
	elog#7..output_is_locked_before_disable elog#10..output_is_locked_before_disable (hidden)
	elog#7..output_is_locked_before_disable elog#12..output_is_locked_before_disable (hidden)
	elog#7..output_is_locked_before_disable elog#14..output_is_locked_before_disable (hidden)
	elog#7..output_is_locked_before_disable elog#16..output_is_locked_before_disable (hidden)
	elog#8..output_is_locked_before_disable elog#10..output_is_locked_before_disable (hidden)
	elog#8..output_is_locked_before_disable elog#12..output_is_locked_before_disable (hidden)
	elog#8..output_is_locked_before_disable elog#14..output_is_locked_before_disable (hidden)
	elog#8..output_is_locked_before_disable elog#16..output_is_locked_before_disable (hidden)
Races between line 38 - line 490:
	elog#5..output_is_locked_before_enable elog#10..output_is_locked_before_enable (hidden)
	elog#5..output_is_locked_before_enable elog#12..output_is_locked_before_enable (hidden)
	elog#5..output_is_locked_before_enable elog#14..output_is_locked_before_enable (hidden)
	elog#5..output_is_locked_before_enable elog#16..output_is_locked_before_enable (hidden)
	elog#6..output_is_locked_before_enable elog#10..output_is_locked_before_enable (hidden)
	elog#6..output_is_locked_before_enable elog#12..output_is_locked_before_enable (hidden)
	elog#6..output_is_locked_before_enable elog#14..output_is_locked_before_enable (hidden)
	elog#6..output_is_locked_before_enable elog#16..output_is_locked_before_enable (hidden)
	elog#7..output_is_locked_before_enable elog#10..output_is_locked_before_enable (hidden)
	elog#7..output_is_locked_before_enable elog#12..output_is_locked_before_enable (hidden)
	elog#7..output_is_locked_before_enable elog#14..output_is_locked_before_enable (hidden)
	elog#7..output_is_locked_before_enable elog#16..output_is_locked_before_enable (hidden)
	elog#8..output_is_locked_before_enable elog#10..output_is_locked_before_enable (hidden)
	elog#8..output_is_locked_before_enable elog#12..output_is_locked_before_enable (hidden)
	elog#8..output_is_locked_before_enable elog#14..output_is_locked_before_enable (hidden)
	elog#8..output_is_locked_before_enable elog#16..output_is_locked_before_enable (hidden)
Races between line 927 - line 472:
	elog#2..output_lock_enabled elog#8..output_lock_enabled
	elog#2..output_lock_enabled elog#10..output_lock_enabled
	elog#2..output_lock_enabled elog#12..output_lock_enabled
	elog#2..output_lock_enabled elog#14..output_lock_enabled
Races between line 927 - line 486:
	elog#2..output_lock_enabled elog#9..output_lock_enabled
	elog#2..output_lock_enabled elog#11..output_lock_enabled
	elog#2..output_lock_enabled elog#13..output_lock_enabled
	elog#2..output_lock_enabled elog#15..output_lock_enabled
Races between line 929 - line 474:
	elog#2..output_is_locked_before_disable elog#9..output_is_locked_before_disable
	elog#2..output_is_locked_before_disable elog#11..output_is_locked_before_disable
	elog#2..output_is_locked_before_disable elog#13..output_is_locked_before_disable
	elog#2..output_is_locked_before_disable elog#15..output_is_locked_before_disable
Races between line 929 - line 488:
	elog#2..output_is_locked_before_disable elog#10..output_is_locked_before_disable
	elog#2..output_is_locked_before_disable elog#12..output_is_locked_before_disable
	elog#2..output_is_locked_before_disable elog#14..output_is_locked_before_disable
	elog#2..output_is_locked_before_disable elog#16..output_is_locked_before_disable
Races between line 930 - line 476:
	elog#2..output_is_locked_before_enable elog#9..output_is_locked_before_enable
	elog#2..output_is_locked_before_enable elog#11..output_is_locked_before_enable
	elog#2..output_is_locked_before_enable elog#13..output_is_locked_before_enable
	elog#2..output_is_locked_before_enable elog#15..output_is_locked_before_enable
Races between line 930 - line 490:
	elog#2..output_is_locked_before_enable elog#10..output_is_locked_before_enable
	elog#2..output_is_locked_before_enable elog#12..output_is_locked_before_enable
	elog#2..output_is_locked_before_enable elog#14..output_is_locked_before_enable
	elog#2..output_is_locked_before_enable elog#16..output_is_locked_before_enable
Races between line 937 - line 474:
	elog#3..output_is_locked_before_disable elog#9..output_is_locked_before_disable
	elog#3..output_is_locked_before_disable elog#11..output_is_locked_before_disable
	elog#3..output_is_locked_before_disable elog#13..output_is_locked_before_disable
	elog#3..output_is_locked_before_disable elog#15..output_is_locked_before_disable
Races between line 937 - line 488:
	elog#3..output_is_locked_before_disable elog#10..output_is_locked_before_disable
	elog#3..output_is_locked_before_disable elog#12..output_is_locked_before_disable
	elog#3..output_is_locked_before_disable elog#14..output_is_locked_before_disable
	elog#3..output_is_locked_before_disable elog#16..output_is_locked_before_disable
Races between line 938 - line 476:
	elog#3..output_is_locked_before_enable elog#9..output_is_locked_before_enable
	elog#3..output_is_locked_before_enable elog#11..output_is_locked_before_enable
	elog#3..output_is_locked_before_enable elog#13..output_is_locked_before_enable
	elog#3..output_is_locked_before_enable elog#15..output_is_locked_before_enable
Races between line 938 - line 490:
	elog#3..output_is_locked_before_enable elog#10..output_is_locked_before_enable
	elog#3..output_is_locked_before_enable elog#12..output_is_locked_before_enable
	elog#3..output_is_locked_before_enable elog#14..output_is_locked_before_enable
	elog#3..output_is_locked_before_enable elog#16..output_is_locked_before_enable
Races between line 218 - line 1591:
	elog_assert_hook#1 elog_assert_hook#2
	elog_assert_hook#1 elog_assert_hook#3
	elog_assert_hook#1 elog_assert_hook#4
	elog_assert_hook#1 elog_assert_hook#5
Races between line 1505 - line 1548:
	fp#1 fp#7
	fp#1 fp#19
	fp#1 fp#31
	fp#1 fp#43
Races between line 1505 - line 1577:
	fp#1 fp#8
	fp#1 fp#20
	fp#1 fp#32
	fp#1 fp#44
Races between line 1505 - line 1615:
	fp#1 fp#3
	fp#1 fp#15
	fp#1 fp#27
	fp#1 fp#39
Races between line 1505 - line 1616:
	fp#1 fp#5
	fp#1 fp#17
	fp#1 fp#29
	fp#1 fp#41
Races between line 1505 - line 1625:
	fp#1 fp#11
	fp#1 fp#23
	fp#1 fp#35
	fp#1 fp#47
Races between line 1505 - line 1626:
	fp#1 fp#13
	fp#1 fp#25
	fp#1 fp#37
	fp#1 fp#49
Races between line 1504 - line 1590:
	init_ok___0#1 init_ok___0#3
	init_ok___0#1 init_ok___0#4
	init_ok___0#1 init_ok___0#5
	init_ok___0#1 init_ok___0#6
Races between line 1522 - line 1590:
	init_ok___0#2 init_ok___0#3
	init_ok___0#2 init_ok___0#4
	init_ok___0#2 init_ok___0#5
	init_ok___0#2 init_ok___0#6
Races between line 1506 - line 1541:
	local_cfg#1..name local_cfg#5..name
	local_cfg#1..name local_cfg#29..name
	local_cfg#1..name local_cfg#53..name
	local_cfg#1..name local_cfg#77..name
Races between line 1506 - line 1544:
	local_cfg#1..name local_cfg#6..name (hidden)
	local_cfg#1..name local_cfg#7..name (hidden)
	local_cfg#1..name local_cfg#8..name (hidden)
	local_cfg#1..name local_cfg#9..name (hidden)
	local_cfg#1..name local_cfg#10..name (hidden)
	local_cfg#1..name local_cfg#11..name (hidden)
	local_cfg#1..name local_cfg#12..name (hidden)
	local_cfg#1..name local_cfg#15..name
	local_cfg#1..name local_cfg#30..name (hidden)
	local_cfg#1..name local_cfg#31..name (hidden)
	local_cfg#1..name local_cfg#32..name (hidden)
	local_cfg#1..name local_cfg#33..name (hidden)
	local_cfg#1..name local_cfg#34..name (hidden)
	local_cfg#1..name local_cfg#35..name (hidden)
	local_cfg#1..name local_cfg#36..name (hidden)
	local_cfg#1..name local_cfg#39..name
	local_cfg#1..name local_cfg#54..name (hidden)
	local_cfg#1..name local_cfg#55..name (hidden)
	local_cfg#1..name local_cfg#56..name (hidden)
	local_cfg#1..name local_cfg#57..name (hidden)
	local_cfg#1..name local_cfg#58..name (hidden)
	local_cfg#1..name local_cfg#59..name (hidden)
	local_cfg#1..name local_cfg#60..name (hidden)
	local_cfg#1..name local_cfg#63..name
	local_cfg#1..name local_cfg#78..name (hidden)
	local_cfg#1..name local_cfg#79..name (hidden)
	local_cfg#1..name local_cfg#80..name (hidden)
	local_cfg#1..name local_cfg#81..name (hidden)
	local_cfg#1..name local_cfg#82..name (hidden)
	local_cfg#1..name local_cfg#83..name (hidden)
	local_cfg#1..name local_cfg#84..name (hidden)
	local_cfg#1..name local_cfg#87..name
Races between line 1506 - line 1546:
	local_cfg#1..name local_cfg#16..name (hidden)
	local_cfg#1..name local_cfg#17..name (hidden)
	local_cfg#1..name local_cfg#18..name (hidden)
	local_cfg#1..name local_cfg#19..name (hidden)
	local_cfg#1..name local_cfg#20..name (hidden)
	local_cfg#1..name local_cfg#21..name (hidden)
	local_cfg#1..name local_cfg#22..name (hidden)
	local_cfg#1..name local_cfg#25..name
	local_cfg#1..name local_cfg#40..name (hidden)
	local_cfg#1..name local_cfg#41..name (hidden)
	local_cfg#1..name local_cfg#42..name (hidden)
	local_cfg#1..name local_cfg#43..name (hidden)
	local_cfg#1..name local_cfg#44..name (hidden)
	local_cfg#1..name local_cfg#45..name (hidden)
	local_cfg#1..name local_cfg#46..name (hidden)
	local_cfg#1..name local_cfg#49..name
	local_cfg#1..name local_cfg#64..name (hidden)
	local_cfg#1..name local_cfg#65..name (hidden)
	local_cfg#1..name local_cfg#66..name (hidden)
	local_cfg#1..name local_cfg#67..name (hidden)
	local_cfg#1..name local_cfg#68..name (hidden)
	local_cfg#1..name local_cfg#69..name (hidden)
	local_cfg#1..name local_cfg#70..name (hidden)
	local_cfg#1..name local_cfg#73..name
	local_cfg#1..name local_cfg#88..name (hidden)
	local_cfg#1..name local_cfg#89..name (hidden)
	local_cfg#1..name local_cfg#90..name (hidden)
	local_cfg#1..name local_cfg#91..name (hidden)
	local_cfg#1..name local_cfg#92..name (hidden)
	local_cfg#1..name local_cfg#93..name (hidden)
	local_cfg#1..name local_cfg#94..name (hidden)
	local_cfg#1..name local_cfg#97..name
Races between line 1506 - line 1549:
	local_cfg#1..max_rotate local_cfg#4..max_rotate
	local_cfg#1..max_rotate local_cfg#5..max_rotate
	local_cfg#1..max_rotate local_cfg#6..max_rotate
	local_cfg#1..max_rotate local_cfg#7..max_rotate
Races between line 1506 - line 1577:
	local_cfg#1..name local_cfg#27..name
	local_cfg#1..name local_cfg#51..name
	local_cfg#1..name local_cfg#75..name
	local_cfg#1..name local_cfg#99..name
Races between line 1506 - line 1618:
	local_cfg#1..max_size local_cfg#4..max_size (hidden)
	local_cfg#1..max_size local_cfg#5..max_size (hidden)
	local_cfg#1..max_size local_cfg#6..max_size (hidden)
	local_cfg#1..max_size local_cfg#7..max_size (hidden)
Races between line 1669 - line 1541:
	local_cfg#2..name local_cfg#5..name (hidden)
	local_cfg#2..name local_cfg#29..name (hidden)
	local_cfg#2..name local_cfg#53..name (hidden)
	local_cfg#2..name local_cfg#77..name (hidden)
Races between line 1669 - line 1544:
	local_cfg#2..name local_cfg#6..name (hidden)
	local_cfg#2..name local_cfg#7..name (hidden)
	local_cfg#2..name local_cfg#8..name (hidden)
	local_cfg#2..name local_cfg#9..name (hidden)
	local_cfg#2..name local_cfg#10..name (hidden)
	local_cfg#2..name local_cfg#11..name (hidden)
	local_cfg#2..name local_cfg#12..name (hidden)
	local_cfg#2..name local_cfg#15..name (hidden)
	local_cfg#2..name local_cfg#30..name (hidden)
	local_cfg#2..name local_cfg#31..name (hidden)
	local_cfg#2..name local_cfg#32..name (hidden)
	local_cfg#2..name local_cfg#33..name (hidden)
	local_cfg#2..name local_cfg#34..name (hidden)
	local_cfg#2..name local_cfg#35..name (hidden)
	local_cfg#2..name local_cfg#36..name (hidden)
	local_cfg#2..name local_cfg#39..name (hidden)
	local_cfg#2..name local_cfg#54..name (hidden)
	local_cfg#2..name local_cfg#55..name (hidden)
	local_cfg#2..name local_cfg#56..name (hidden)
	local_cfg#2..name local_cfg#57..name (hidden)
	local_cfg#2..name local_cfg#58..name (hidden)
	local_cfg#2..name local_cfg#59..name (hidden)
	local_cfg#2..name local_cfg#60..name (hidden)
	local_cfg#2..name local_cfg#63..name (hidden)
	local_cfg#2..name local_cfg#78..name (hidden)
	local_cfg#2..name local_cfg#79..name (hidden)
	local_cfg#2..name local_cfg#80..name (hidden)
	local_cfg#2..name local_cfg#81..name (hidden)
	local_cfg#2..name local_cfg#82..name (hidden)
	local_cfg#2..name local_cfg#83..name (hidden)
	local_cfg#2..name local_cfg#84..name (hidden)
	local_cfg#2..name local_cfg#87..name (hidden)
Races between line 1669 - line 1546:
	local_cfg#2..name local_cfg#16..name (hidden)
	local_cfg#2..name local_cfg#17..name (hidden)
	local_cfg#2..name local_cfg#18..name (hidden)
	local_cfg#2..name local_cfg#19..name (hidden)
	local_cfg#2..name local_cfg#20..name (hidden)
	local_cfg#2..name local_cfg#21..name (hidden)
	local_cfg#2..name local_cfg#22..name (hidden)
	local_cfg#2..name local_cfg#25..name (hidden)
	local_cfg#2..name local_cfg#40..name (hidden)
	local_cfg#2..name local_cfg#41..name (hidden)
	local_cfg#2..name local_cfg#42..name (hidden)
	local_cfg#2..name local_cfg#43..name (hidden)
	local_cfg#2..name local_cfg#44..name (hidden)
	local_cfg#2..name local_cfg#45..name (hidden)
	local_cfg#2..name local_cfg#46..name (hidden)
	local_cfg#2..name local_cfg#49..name (hidden)
	local_cfg#2..name local_cfg#64..name (hidden)
	local_cfg#2..name local_cfg#65..name (hidden)
	local_cfg#2..name local_cfg#66..name (hidden)
	local_cfg#2..name local_cfg#67..name (hidden)
	local_cfg#2..name local_cfg#68..name (hidden)
	local_cfg#2..name local_cfg#69..name (hidden)
	local_cfg#2..name local_cfg#70..name (hidden)
	local_cfg#2..name local_cfg#73..name (hidden)
	local_cfg#2..name local_cfg#88..name (hidden)
	local_cfg#2..name local_cfg#89..name (hidden)
	local_cfg#2..name local_cfg#90..name (hidden)
	local_cfg#2..name local_cfg#91..name (hidden)
	local_cfg#2..name local_cfg#92..name (hidden)
	local_cfg#2..name local_cfg#93..name (hidden)
	local_cfg#2..name local_cfg#94..name (hidden)
	local_cfg#2..name local_cfg#97..name (hidden)
Races between line 1669 - line 1577:
	local_cfg#2..name local_cfg#27..name (hidden)
	local_cfg#2..name local_cfg#51..name (hidden)
	local_cfg#2..name local_cfg#75..name (hidden)
	local_cfg#2..name local_cfg#99..name (hidden)
Races between line 1670 - line 1618:
	local_cfg#2..max_size local_cfg#4..max_size (hidden)
	local_cfg#2..max_size local_cfg#5..max_size (hidden)
	local_cfg#2..max_size local_cfg#6..max_size (hidden)
	local_cfg#2..max_size local_cfg#7..max_size (hidden)
Races between line 1671 - line 1549:
	local_cfg#2..max_rotate local_cfg#4..max_rotate
	local_cfg#2..max_rotate local_cfg#5..max_rotate
	local_cfg#2..max_rotate local_cfg#6..max_rotate
	local_cfg#2..max_rotate local_cfg#7..max_rotate
Races between line 1274 - line 45:
	log_buf___0#1 log_buf___0#2
	log_buf___0#1 log_buf___0#3
	log_buf___0#1 log_buf___0#4
	log_buf___0#1 log_buf___0#5
	log_buf___0#1 log_buf___0#6
	log_buf___0#1 log_buf___0#7
	log_buf___0#1 log_buf___0#8
	log_buf___0#1 log_buf___0#9
	log_buf___0#1 log_buf___0#10
	log_buf___0#1 log_buf___0#11
	log_buf___0#1 log_buf___0#12
	log_buf___0#1 log_buf___0#13
Races between line 1836 - line 40:
	output_lock#1 output_lock#9
	output_lock#1 output_lock#11
	output_lock#1 output_lock#15
	output_lock#1 output_lock#17
	output_lock#1 output_lock#21
	output_lock#1 output_lock#23
	output_lock#1 output_lock#27
	output_lock#1 output_lock#29
Races between line 1836 - line 42:
	output_lock#1 output_lock#12
	output_lock#1 output_lock#14
	output_lock#1 output_lock#18
	output_lock#1 output_lock#20
	output_lock#1 output_lock#24
	output_lock#1 output_lock#26
	output_lock#1 output_lock#30
	output_lock#1 output_lock#32
Races between line 32 - line 40:
	output_lock#2 output_lock#9
	output_lock#2 output_lock#11
	output_lock#2 output_lock#15
	output_lock#2 output_lock#17
	output_lock#2 output_lock#21
	output_lock#2 output_lock#23
	output_lock#2 output_lock#27
	output_lock#2 output_lock#29
Races between line 32 - line 42:
	output_lock#2 output_lock#12
	output_lock#2 output_lock#14
	output_lock#2 output_lock#18
	output_lock#2 output_lock#20
	output_lock#2 output_lock#24
	output_lock#2 output_lock#26
	output_lock#2 output_lock#30
	output_lock#2 output_lock#32
Races between line 1269 - line 13:
	output_notice#1 output_notice#3
	output_notice#1 output_notice#5
	output_notice#1 output_notice#6
	output_notice#1 output_notice#8
Races between line 17 - line 13:
	output_notice#2 output_notice#3
	output_notice#2 output_notice#5
	output_notice#2 output_notice#6
	output_notice#2 output_notice#8
Races between line 1410 - line 46:
	poll_get_buf#1 poll_get_buf#2
	poll_get_buf#1 poll_get_buf#3
	poll_get_buf#1 poll_get_buf#4
	poll_get_buf#1 poll_get_buf#5
	poll_get_buf#1 poll_get_buf#6
	poll_get_buf#1 poll_get_buf#7
	poll_get_buf#1 poll_get_buf#8
	poll_get_buf#1 poll_get_buf#9
	poll_get_buf#1 poll_get_buf#10
	poll_get_buf#1 poll_get_buf#11
	poll_get_buf#1 poll_get_buf#12
	poll_get_buf#1 poll_get_buf#13
	poll_get_buf#1 poll_get_buf#14
	poll_get_buf#1 poll_get_buf#15
	poll_get_buf#1 poll_get_buf#16
	poll_get_buf#1 poll_get_buf#17
	poll_get_buf#1 poll_get_buf#18
	poll_get_buf#1 poll_get_buf#19
	poll_get_buf#1 poll_get_buf#20
	poll_get_buf#1 poll_get_buf#21
	poll_get_buf#1 poll_get_buf#22
	poll_get_buf#1 poll_get_buf#23
	poll_get_buf#1 poll_get_buf#24
	poll_get_buf#1 poll_get_buf#25
Races between line 1276 - line 1285:
	read_index#1 read_index#2
	read_index#1 read_index#38
	read_index#1 read_index#74
	read_index#1 read_index#110
Races between line 1276 - line 1286:
	read_index#1 read_index#3
	read_index#1 read_index#39
	read_index#1 read_index#75
	read_index#1 read_index#111
Races between line 1276 - line 1290:
	read_index#1 read_index#4
	read_index#1 read_index#40
	read_index#1 read_index#76
	read_index#1 read_index#112
Races between line 1276 - line 1363:
	read_index#1 read_index#5
	read_index#1 read_index#41
	read_index#1 read_index#77
	read_index#1 read_index#113
Races between line 1276 - line 1364:
	read_index#1 read_index#6
	read_index#1 read_index#7
	read_index#1 read_index#8
	read_index#1 read_index#11
	read_index#1 read_index#42
	read_index#1 read_index#43
	read_index#1 read_index#44
	read_index#1 read_index#47
	read_index#1 read_index#78
	read_index#1 read_index#79
	read_index#1 read_index#80
	read_index#1 read_index#83
	read_index#1 read_index#114
	read_index#1 read_index#115
	read_index#1 read_index#116
	read_index#1 read_index#119
Races between line 1276 - line 1366:
	read_index#1 read_index#12
	read_index#1 read_index#13
	read_index#1 read_index#48
	read_index#1 read_index#49
	read_index#1 read_index#84
	read_index#1 read_index#85
	read_index#1 read_index#120
	read_index#1 read_index#121
Races between line 1276 - line 1368:
	read_index#1 read_index#14
	read_index#1 read_index#15
	read_index#1 read_index#16
	read_index#1 read_index#17
	read_index#1 read_index#18
	read_index#1 read_index#23
	read_index#1 read_index#24
	read_index#1 read_index#50
	read_index#1 read_index#51
	read_index#1 read_index#52
	read_index#1 read_index#53
	read_index#1 read_index#54
	read_index#1 read_index#59
	read_index#1 read_index#60
	read_index#1 read_index#86
	read_index#1 read_index#87
	read_index#1 read_index#88
	read_index#1 read_index#89
	read_index#1 read_index#90
	read_index#1 read_index#95
	read_index#1 read_index#96
	read_index#1 read_index#122
	read_index#1 read_index#123
	read_index#1 read_index#124
	read_index#1 read_index#125
	read_index#1 read_index#126
	read_index#1 read_index#131
	read_index#1 read_index#132
Races between line 1276 - line 1370:
	read_index#1 read_index#25
	read_index#1 read_index#26
	read_index#1 read_index#27
	read_index#1 read_index#28
	read_index#1 read_index#29
	read_index#1 read_index#30
	read_index#1 read_index#34
	read_index#1 read_index#35
	read_index#1 read_index#61
	read_index#1 read_index#62
	read_index#1 read_index#63
	read_index#1 read_index#64
	read_index#1 read_index#65
	read_index#1 read_index#66
	read_index#1 read_index#70
	read_index#1 read_index#71
	read_index#1 read_index#97
	read_index#1 read_index#98
	read_index#1 read_index#99
	read_index#1 read_index#100
	read_index#1 read_index#101
	read_index#1 read_index#102
	read_index#1 read_index#106
	read_index#1 read_index#107
	read_index#1 read_index#133
	read_index#1 read_index#134
	read_index#1 read_index#135
	read_index#1 read_index#136
	read_index#1 read_index#137
	read_index#1 read_index#138
	read_index#1 read_index#142
	read_index#1 read_index#143
Races between line 1276 - line 1372:
	read_index#1 read_index#36
	read_index#1 read_index#37
	read_index#1 read_index#72
	read_index#1 read_index#73
	read_index#1 read_index#108
	read_index#1 read_index#109
	read_index#1 read_index#144
	read_index#1 read_index#145
Races between line 1690 - line 1711:
	semid#1 semid#10
	semid#1 semid#14
	semid#1 semid#18
	semid#1 semid#22
Races between line 1690 - line 1722:
	semid#1 semid#12
	semid#1 semid#16
	semid#1 semid#20
	semid#1 semid#24
Races between line 1767 - line 1711:
	semid#2 semid#10
	semid#2 semid#14
	semid#2 semid#18
	semid#2 semid#22
Races between line 1767 - line 1722:
	semid#2 semid#12
	semid#2 semid#16
	semid#2 semid#20
	semid#2 semid#24
Races between line 2087 - line 19:
	stdout#1 stdout#2
	stdout#1 stdout#3
	stdout#1 stdout#4
	stdout#1 stdout#5
Races between line 1272 - line 1417:
	thread_running#1 thread_running#3
	thread_running#1 thread_running#4
Races between line 1453 - line 1417:
	thread_running#2 thread_running#3
	thread_running#2 thread_running#4
Races between line 1275 - line 1285:
	write_index#1 write_index#2
	write_index#1 write_index#5
	write_index#1 write_index#8
	write_index#1 write_index#11
Races between line 1275 - line 1286:
	write_index#1 write_index#3
	write_index#1 write_index#6
	write_index#1 write_index#9
	write_index#1 write_index#12
Races between line 1275 - line 1290:
	write_index#1 write_index#4
	write_index#1 write_index#7
	write_index#1 write_index#10
	write_index#1 write_index#13
Runtime Symex: 313.221s
Adding SC constraints
Shared __CPROVER_threads_exited: 1R/2W
Shared __CPROVER_deallocated: 40R/40W
Shared __CPROVER_malloc_is_new_array: 20R/21W
Shared __CPROVER_memory_leak: 39R/40W
Shared elog_assert_hook: 4R/1W
Shared output_notice: 2R/4W
Shared thread_running: 2R/2W
Shared log_buf___0: 12R/1W
Shared write_index: 12R/1W
Shared read_index: 100R/9W
Shared buf_is_full: 8R/5W
Shared buf_is_empty: 4R/5W
Shared poll_get_buf: 12R/13W
Shared init_ok___0: 4R/2W
Shared fp: 20R/5W
Shared semid: 8R/2W
Shared output_lock: 10R/12W
Shared stdout: 4R/1W
Shared stderr: 4R/1W
Shared elog..filter..level: 2R/4W
Shared elog..filter..tag[[0]]: 2R/3W
Shared elog..filter..tag[[1]]: 2R/3W
Shared elog..filter..tag[[2]]: 2R/3W
Shared elog..filter..tag[[3]]: 2R/3W
Shared elog..filter..tag[[4]]: 2R/3W
Shared elog..filter..tag[[5]]: 2R/3W
Shared elog..filter..tag[[6]]: 2R/3W
Shared elog..filter..tag[[7]]: 2R/3W
Shared elog..filter..tag[[8]]: 2R/3W
Shared elog..filter..tag[[9]]: 2R/3W
Shared elog..filter..tag[[A]]: 2R/3W
Shared elog..filter..tag[[B]]: 2R/3W
Shared elog..filter..tag[[C]]: 2R/3W
Shared elog..filter..tag[[D]]: 2R/3W
Shared elog..filter..tag[[E]]: 2R/3W
Shared elog..filter..tag[[F]]: 2R/3W
Shared elog..filter..tag[[10]]: 2R/3W
Shared elog..filter..keyword[[0]]: 2R/3W
Shared elog..filter..keyword[[1]]: 2R/3W
Shared elog..filter..keyword[[2]]: 2R/3W
Shared elog..filter..keyword[[3]]: 2R/3W
Shared elog..filter..keyword[[4]]: 2R/3W
Shared elog..filter..keyword[[5]]: 2R/3W
Shared elog..filter..keyword[[6]]: 2R/3W
Shared elog..filter..keyword[[7]]: 2R/3W
Shared elog..filter..keyword[[8]]: 2R/3W
Shared elog..filter..keyword[[9]]: 2R/3W
Shared elog..filter..keyword[[A]]: 2R/3W
Shared elog..filter..keyword[[B]]: 2R/3W
Shared elog..filter..keyword[[C]]: 2R/3W
Shared elog..filter..keyword[[D]]: 2R/3W
Shared elog..filter..keyword[[E]]: 2R/3W
Shared elog..filter..keyword[[F]]: 2R/3W
Shared elog..filter..keyword[[10]]: 2R/3W
Shared elog..filter..tag_lvl[[0]]..level: 2R/4W
Shared elog..filter..tag_lvl[[0]]..tag[[0]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[1]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[2]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[3]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[4]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[5]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[6]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[7]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[8]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[9]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[A]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[B]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[C]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[D]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[E]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[F]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag[[10]]: 1R/3W
Shared elog..filter..tag_lvl[[0]]..tag_use_flag: 2R/4W
Shared elog..filter..tag_lvl[[1]]..level: 2R/4W
Shared elog..filter..tag_lvl[[1]]..tag[[0]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[1]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[2]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[3]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[4]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[5]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[6]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[7]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[8]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[9]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[A]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[B]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[C]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[D]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[E]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[F]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag[[10]]: 1R/3W
Shared elog..filter..tag_lvl[[1]]..tag_use_flag: 2R/4W
Shared elog..filter..tag_lvl[[2]]..level: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[0]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[1]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[2]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[3]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[4]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[5]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[6]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[7]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[8]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[9]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[A]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[B]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[C]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[D]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[E]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[F]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag[[10]]: 2R/3W
Shared elog..filter..tag_lvl[[2]]..tag_use_flag: 2R/3W
Shared elog..filter..tag_lvl[[3]]..level: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[0]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[1]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[2]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[3]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[4]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[5]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[6]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[7]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[8]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[9]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[A]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[B]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[C]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[D]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[E]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[F]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag[[10]]: 2R/3W
Shared elog..filter..tag_lvl[[3]]..tag_use_flag: 2R/3W
Shared elog..filter..tag_lvl[[4]]..level: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[0]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[1]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[2]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[3]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[4]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[5]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[6]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[7]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[8]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[9]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[A]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[B]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[C]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[D]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[E]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[F]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag[[10]]: 2R/3W
Shared elog..filter..tag_lvl[[4]]..tag_use_flag: 2R/3W
Shared elog..$pad1: 2R/3W
Shared elog..enabled_fmt_set[[0]]: 2R/3W
Shared elog..enabled_fmt_set[[1]]: 2R/3W
Shared elog..enabled_fmt_set[[2]]: 2R/3W
Shared elog..enabled_fmt_set[[3]]: 2R/3W
Shared elog..enabled_fmt_set[[4]]: 2R/3W
Shared elog..enabled_fmt_set[[5]]: 2R/3W
Shared elog..init_ok: 2R/3W
Shared elog..output_enabled: 2R/3W
Shared elog..output_lock_enabled: 11R/4W
Shared elog..output_is_locked_before_enable: 4R/12W
Shared elog..output_is_locked_before_disable: 4R/12W
Shared elog..text_color_enabled: 2R/4W
Shared elog..$pad9: 2R/3W
Shared local_cfg..name: 72R/2W
Shared local_cfg..max_size: 4R/2W
Shared local_cfg..max_rotate: 4R/2W
Shared memset::1::1::s_n!0@1[[0]]: 1R/2W
Shared memset::1::1::s_n!0@1[[1]]: 1R/2W
Shared memset::1::1::s_n!0@1[[2]]: 1R/2W
Shared memset::1::1::s_n!0@1[[3]]: 1R/2W
Shared memset::1::1::s_n!0@1[[4]]: 1R/2W
Shared memset::1::1::s_n!0@1[[5]]: 1R/2W
Shared memset::1::1::s_n!0@1[[6]]: 1R/2W
Shared memset::1::1::s_n!0@1[[7]]: 1R/2W
Shared memset::1::1::s_n!0@1[[8]]: 1R/2W
Shared memset::1::1::s_n!0@1[[9]]: 1R/2W
Shared memset::1::1::s_n!0@1[[A]]: 1R/2W
Shared memset::1::1::s_n!0@1[[B]]: 1R/2W
Shared memset::1::1::s_n!0@1[[C]]: 1R/2W
Shared memset::1::1::s_n!0@1[[D]]: 1R/2W
Shared memset::1::1::s_n!0@1[[E]]: 1R/2W
Shared memset::1::1::s_n!0@1[[F]]: 1R/2W
Shared memset::1::1::s_n!0@1[[10]]: 1R/2W
Shared memset::1::1::s_n!0@2[[0]]: 1R/2W
Shared memset::1::1::s_n!0@2[[1]]: 1R/2W
Shared memset::1::1::s_n!0@2[[2]]: 1R/2W
Shared memset::1::1::s_n!0@2[[3]]: 1R/2W
Shared memset::1::1::s_n!0@2[[4]]: 1R/2W
Shared memset::1::1::s_n!0@2[[5]]: 1R/2W
Shared memset::1::1::s_n!0@2[[6]]: 1R/2W
Shared memset::1::1::s_n!0@2[[7]]: 1R/2W
Shared memset::1::1::s_n!0@2[[8]]: 1R/2W
Shared memset::1::1::s_n!0@2[[9]]: 1R/2W
Shared memset::1::1::s_n!0@2[[A]]: 1R/2W
Shared memset::1::1::s_n!0@2[[B]]: 1R/2W
Shared memset::1::1::s_n!0@2[[C]]: 1R/2W
Shared memset::1::1::s_n!0@2[[D]]: 1R/2W
Shared memset::1::1::s_n!0@2[[E]]: 1R/2W
Shared memset::1::1::s_n!0@2[[F]]: 1R/2W
Shared memset::1::1::s_n!0@2[[10]]: 1R/2W
Shared memcpy::1::1::src_n!1@1: 1R/3W
Shared memcpy::1::1::src_n!1@2: 1R/3W
Shared memcpy::1::1::src_n!1@3: 1R/3W
Shared elog_file_rotate::1::oldpath!1@1: 1R/3W
Shared elog_file_rotate::1::newpath!1@1: 1R/3W
Shared memcpy::1::1::src_n!1@4: 1R/3W
Shared memcpy::1::1::src_n!1@5: 1R/3W
Shared memcpy::1::1::src_n!1@6: 1R/3W
Shared memcpy::1::1::src_n!1@7: 1R/3W
Shared memcpy::1::1::src_n!1@8: 1R/3W
Shared elog_file_rotate::1::oldpath!1@2: 1R/3W
Shared elog_file_rotate::1::newpath!1@2: 1R/3W
Shared memcpy::1::1::src_n!1@9: 1R/3W
Shared memcpy::1::1::src_n!1@10: 1R/3W
Shared memcpy::1::1::src_n!1@11: 1R/3W
Shared memcpy::1::1::src_n!1@12: 1R/3W
Shared memcpy::1::1::src_n!1@13: 1R/3W
Shared elog_file_rotate::1::oldpath!1@3: 1R/3W
Shared elog_file_rotate::1::newpath!1@3: 1R/3W
Shared memcpy::1::1::src_n!1@14: 1R/3W
Shared memcpy::1::1::src_n!1@15: 1R/3W
Shared memcpy::1::1::src_n!1@16: 1R/3W
Shared memcpy::1::1::src_n!1@17: 1R/3W
Shared memcpy::1::1::src_n!1@18: 1R/3W
Shared elog_file_rotate::1::oldpath!1@4: 1R/3W
Shared elog_file_rotate::1::newpath!1@4: 1R/3W
Shared memcpy::1::1::src_n!1@19: 1R/3W
Shared memcpy::1::1::src_n!1@20: 1R/3W
size of program expression: 15294 steps
no slicing due to threads
Generated 62 VCC(s), 40 remaining after simplification
Runtime Postprocess Equation: 0.418751s
Passing problem to propositional reduction
converting SSA
Runtime Convert SSA: 35.5026s
Set Deagle solver's graph
Running propositional reduction
