./run_relay.sh /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/EasyLogger/main.c


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


duppy -c main.c
duppy'ing main.c to /mnt/goblint-svcomp/goblint-bench/the-continuous-race/tools/svcomp24/relay-sv/tmp.PcCIe3aczE/ciltrees
gcc -D_GNUCC -E -DCIL=1 main.c -o /tmp/cil-cSXTVqkz.i
../cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-ya0t8qbF.cil.c --doheapify_sep --heapify_locals --dotrans_alloc --domyptranal --dodumpfile /tmp/cil-cSXTVqkz.i
Making cfg for elog_init
Making cfg for elog_deinit
Making cfg for elog_start
Making cfg for elog_stop
Making cfg for elog_set_output_enabled
Making cfg for elog_set_text_color_enabled
Making cfg for elog_get_text_color_enabled
Making cfg for elog_get_output_enabled
Making cfg for elog_set_fmt
Making cfg for elog_set_filter
Making cfg for elog_set_filter_lvl
Making cfg for elog_set_filter_tag
Making cfg for elog_set_filter_kw
Making cfg for elog_output_lock
Making cfg for elog_output_unlock
Making cfg for elog_set_filter_tag_lvl_default
Making cfg for elog_set_filter_tag_lvl
Making cfg for elog_get_filter_tag_lvl
Making cfg for elog_raw
Making cfg for elog_output
Making cfg for get_fmt_enabled
Making cfg for elog_output_lock_enabled
Making cfg for elog_assert_set_hook
Making cfg for elog_find_lvl
Making cfg for elog_find_tag
Making cfg for elog_hexdump
Making cfg for elog_async_get_buf_used
Making cfg for async_get_buf_space
Making cfg for async_put_log
Making cfg for elog_async_get_log
Making cfg for elog_async_output
Making cfg for elog_async_output_notice
Making cfg for async_output
Making cfg for elog_async_enabled
Making cfg for elog_async_init
Making cfg for elog_async_deinit
Making cfg for elog_file_init
Making cfg for elog_file_rotate
Making cfg for elog_file_write
Making cfg for elog_file_deinit
Making cfg for elog_file_config
Making cfg for elog_file_port_init
Making cfg for elog_file_port_lock
Making cfg for elog_file_port_unlock
Making cfg for elog_file_port_deinit
Making cfg for lock_init
Making cfg for lock_open
Making cfg for lock_deinit
Making cfg for elog_port_init
Making cfg for elog_port_deinit
Making cfg for elog_port_output
Making cfg for elog_port_output_lock
Making cfg for elog_port_output_unlock
Making cfg for elog_port_get_time
Making cfg for elog_port_get_p_info
Making cfg for elog_port_get_t_info
Making cfg for elog_strcpy
Making cfg for elog_cpyln
Making cfg for elog_memcpy
Making cfg for main
Making cfg for test_elog
Trans_alloc: elog_output main.c:657
Trans_alloc: elog_hexdump main.c:1143
Trans_alloc: elog_async_init main.c:1440
Trans_alloc: elog_file_init main.c:1507
Trans_alloc: elog_file_rotate main.c:1527
Trans_alloc: elog_file_deinit main.c:1632
Trans_alloc: lock_init main.c:1737
Trans_alloc: lock_open main.c:1772
Trans_alloc: elog_port_get_time main.c:1887
Trans_alloc: test_elog main.c:2110
gcc -D_GNUCC -E /tmp/cil-ya0t8qbF.cil.c -o /tmp/cil-5kApFJBr.cil.i
gcc -D_GNUCC -c -o ./main.o /tmp/cil-5kApFJBr.cil.i
/tmp/cil-ya0t8qbF.cil.c:5:7: warning: conflicting types for built-in function ‘malloc’; expected ‘void *(long unsigned int)’ [-Wbuiltin-declaration-mismatch]
    5 | void *malloc(unsigned int  ) ;
      |       ^~~~~~
/tmp/cil-ya0t8qbF.cil.c:1:1: note: ‘malloc’ is declared in header ‘<stdlib.h>’
  +++ |+#include <stdlib.h>
    1 | /* Generated by CIL v. 1.3.7 */
main.c: In function ‘elog_output’:
main.c:747:5: warning: ‘free’ called on unallocated object ‘_a657_19063_main_1’ [-Wfree-nonheap-object]
  747 |     return;
      |     ^~~~~~~                    
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:747:5: warning: ‘free’ called on unallocated object ‘_a657_19063_main_2’ [-Wfree-nonheap-object]
  747 |     return;
      |     ^~~~~~~                   
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:750:5: warning: ‘free’ called on unallocated object ‘_a657_19063_main_1’ [-Wfree-nonheap-object]
  750 |     return;
      |     ^~~~~~~                    
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:750:5: warning: ‘free’ called on unallocated object ‘_a657_19063_main_2’ [-Wfree-nonheap-object]
  750 |     return;
      |     ^~~~~~~                   
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:754:7: warning: ‘free’ called on unallocated object ‘_a657_19063_main_1’ [-Wfree-nonheap-object]
  754 |       return;
      |       ^~~~~~~                    
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:754:7: warning: ‘free’ called on unallocated object ‘_a657_19063_main_2’ [-Wfree-nonheap-object]
  754 |       return;
      |       ^~~~~~~                   
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:758:9: warning: ‘free’ called on unallocated object ‘_a657_19063_main_1’ [-Wfree-nonheap-object]
  758 |         return;
      |         ^~~~~~~                    
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:758:9: warning: ‘free’ called on unallocated object ‘_a657_19063_main_2’ [-Wfree-nonheap-object]
  758 |         return;
      |         ^~~~~~~                   
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:884:7: warning: ‘free’ called on unallocated object ‘_a657_19063_main_1’ [-Wfree-nonheap-object]
  884 |       return;
      |       ^~~~~~~                    
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:884:7: warning: ‘free’ called on unallocated object ‘_a657_19063_main_2’ [-Wfree-nonheap-object]
  884 |       return;
      |       ^~~~~~~                   
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:895:3: warning: ‘free’ called on unallocated object ‘_a657_19063_main_1’ [-Wfree-nonheap-object]
  895 |   return;
      |   ^~~~~~~                    
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c:895:3: warning: ‘free’ called on unallocated object ‘_a657_19063_main_2’ [-Wfree-nonheap-object]
  895 |   return;
      |   ^~~~~~~                   
main.c:657:6: note: declared here
  657 | void elog_output(uint8_t level , char const   *tag , char const   *file , char const   *func ,
      |      ^~~~~~~~~~~~~~~~~~
main.c: In function ‘elog_hexdump’:
main.c:1172:5: warning: ‘free’ called on unallocated object ‘_a1143_34302_main_1’ [-Wfree-nonheap-object]
 1172 |     return;
      |     ^~~~~~~                      
main.c:1143:6: note: declared here
 1143 | void elog_hexdump(char const   *name , uint8_t width , void const   *buf , uint16_t size )
      |      ^~~~~~~~~~~~~~~~~~~
main.c:1175:5: warning: ‘free’ called on unallocated object ‘_a1143_34302_main_1’ [-Wfree-nonheap-object]
 1175 |     return;
      |     ^~~~~~~                      
main.c:1143:6: note: declared here
 1143 | void elog_hexdump(char const   *name , uint8_t width , void const   *buf , uint16_t size )
      |      ^~~~~~~~~~~~~~~~~~~
main.c:1179:7: warning: ‘free’ called on unallocated object ‘_a1143_34302_main_1’ [-Wfree-nonheap-object]
 1179 |       return;
      |       ^~~~~~~                      
main.c:1143:6: note: declared here
 1143 | void elog_hexdump(char const   *name , uint8_t width , void const   *buf , uint16_t size )
      |      ^~~~~~~~~~~~~~~~~~~
main.c:1241:3: warning: ‘free’ called on unallocated object ‘_a1143_34302_main_1’ [-Wfree-nonheap-object]
 1241 |   return;
      |   ^~~~~~~                      
main.c:1143:6: note: declared here
 1143 | void elog_hexdump(char const   *name , uint8_t width , void const   *buf , uint16_t size )
      |      ^~~~~~~~~~~~~~~~~~~
main.c: In function ‘elog_async_init’:
main.c:1450:5: warning: ‘free’ called on unallocated object ‘_a1440_44061_main_1’ [-Wfree-nonheap-object]
 1450 |     return (result);
      |     ^~~~~~~~~~~~~~~~                    
main.c:1440:20: note: declared here
 1440 | ElogErrCode elog_async_init(void)
      |                    ^~~~~~~~~~~~~~     
main.c:1450:5: warning: ‘free’ called on unallocated object ‘_a1440_44061_main_2’ [-Wfree-nonheap-object]
 1450 |     return (result);
      |     ^~~~~~~~~~~~~~~~             
main.c:1440:16: note: declared here
 1440 | ElogErrCode elog_async_init(void)
      |                ^~~~~~~~~~~~~~~~~~ 
main.c:1464:3: warning: ‘free’ called on unallocated object ‘_a1440_44061_main_1’ [-Wfree-nonheap-object]
 1464 |   return (result);
      |   ^~~~~~~~~~~~~~~~                    
main.c:1440:20: note: declared here
 1440 | ElogErrCode elog_async_init(void)
      |                    ^~~~~~~~~~~~~~     
main.c:1464:3: warning: ‘free’ called on unallocated object ‘_a1440_44061_main_2’ [-Wfree-nonheap-object]
 1464 |   return (result);
      |   ^~~~~~~~~~~~~~~~             
main.c:1440:16: note: declared here
 1440 | ElogErrCode elog_async_init(void)
      |                ^~~~~~~~~~~~~~~~~~ 
main.c: In function ‘elog_file_init’:
main.c:1524:3: warning: ‘free’ called on unallocated object ‘_a1507_46331_main_1’ [-Wfree-nonheap-object]
 1524 |   return (result);
      |   ^~~~~~~~~~~~~~~~     
main.c:1507:13: note: declared here
 1507 | ElogErrCode elog_file_init(void)
      |             ^~~~~~~~~~~~~~~~~~~
main.c: In function ‘elog_file_rotate’:
main.c:1578:3: warning: ‘free’ called on unallocated object ‘_a1527_46695_main_1’ [-Wfree-nonheap-object]
 1578 |   return (result);
      |   ^~~~~~~~~~~~~~~~         
main.c:1527:6: note: declared here
 1527 | static _Bool elog_file_rotate(void)
      |      ^~~~~~~~~~~~~~~~~~~
main.c:1578:3: warning: ‘free’ called on unallocated object ‘_a1527_46695_main_2’ [-Wfree-nonheap-object]
 1578 |   return (result);
      |   ^~~~~~~~~~~~~~~~         
main.c:1527:6: note: declared here
 1527 | static _Bool elog_file_rotate(void)
      |      ^~~~~~~~~~~~~~~~~~~
main.c: In function ‘elog_file_deinit’:
main.c:1655:3: warning: ‘free’ called on unallocated object ‘_a1632_49697_main_1’ [-Wfree-nonheap-object]
 1655 |   return;
      |   ^~~~~~~              
main.c:1632:13: note: declared here
 1632 | void elog_file_deinit(void)
      |             ^~~~~~~~~~~~~~~    
main.c: In function ‘lock_init’:
main.c:1769:3: warning: ‘free’ called on unallocated object ‘_a1737_52253_main_1’ [-Wfree-nonheap-object]
 1769 |   return;
      |   ^~~~~~~                 
main.c:1737:15: note: declared here
 1737 | static void lock_init(void)
      |               ^~~~~~~~~~~~~      
main.c: In function ‘lock_open’:
main.c:1807:3: warning: ‘free’ called on unallocated object ‘_a1772_52876_main_1’ [-Wfree-nonheap-object]
 1807 |   return (id);
      |   ^~~~~~~~~~~~        
main.c:1772:17: note: declared here
 1772 | static int lock_open(void)
      |                 ^~~~~~~~~~         
main.c:1809:3: warning: ‘free’ called on unallocated object ‘_a1772_52876_main_1’ [-Wfree-nonheap-object]
 1809 |   return (-1);
      |   ^~~~~~~~~~~~        
main.c:1772:17: note: declared here
 1772 | static int lock_open(void)
      |                 ^~~~~~~~~~         
main.c: In function ‘elog_port_get_time’:
main.c:1897:3: warning: ‘free’ called on unallocated object ‘_a1887_55842_main_1’ [-Wfree-nonheap-object]
 1897 |   return ((char const   *)(cur_system_time));
      |   ^~~~~~~~~~~~~~~~~~~~~~~~
main.c:1887:11: note: declared here
 1887 | char const   *elog_port_get_time(void)
      |           ^~~~~~~~~~~~~~~~~~~
main.c:1897:3: warning: ‘free’ called on unallocated object ‘_a1887_55842_main_2’ [-Wfree-nonheap-object]
 1897 |   return ((char const   *)(cur_system_time));
      |   ^~~~~~~~~~~~~~~~~~~~~~~
main.c:1887:8: note: declared here
 1887 | char const   *elog_port_get_time(void)
      |        ^~~~~~~~~~~~~~~~~~~
Generating stats for steens
DONE!
Generating stats for cil
DONE!
Generating stats for anders
DONE!
Generating stats for noalias
DONE!
Dumped in 5 seconds
Sun Mar 17 16:39:27 UTC 2024
WARNING: tempfile is deprecated; consider using mktemp instead.
reserved status file: /tmp//temp.status5iBGfY
running analysis on ./tmp.PcCIe3aczE/ciltrees
Registered summary type: rs_scc
Registered summary type: rs
Registered summary type: ss
Registered summary type: rad_ss
Args: 
 ./race_anal.exe -cg ./tmp.PcCIe3aczE/ciltrees -r -u benchexec -st /tmp//temp.status5iBGfY -su client.cfg
Checking for data races
-----
Loading Cil Varinfo ID ranges for lookup tables
Loading ranges from .vids_ckeys_fixed
Setting Cil Varinfo ID ranges
Finished parsing config group: SUMMARY_DB
Finished parsing config group: REQUEST
Finished parsing config group: DISTRIBUTED
Finished parsing config group: FILE_SERVER
Finished parsing config group: LOCK_FUNCS
Finished parsing config group: THREAD_FUNCS
Finished parsing config group: EXIT_FUNCS
Finished parsing config group: BUILTIN_FUNCS
Finished parsing config group: ALIAS_ANALYSIS
Finished parsing config group: ENTRY_POINTS
Finished parsing config group: SYM_EX
Done reading config file
myIP: 127.0.0.1
using /tmp/relay_scratch to store acquired files
using: /tmp//temp.status5iBGfY to track status
Initializing Steensgaard AA info
Loading function info
Loading tempVar info
Using old PTA results
Old PTA results loaded
Initializing Andersen's AA info
Using old PTA results: ./tmp.PcCIe3aczE/ciltrees/.pta_results.anders
Old PTA results loaded
Reached end of ./tmp.PcCIe3aczE/ciltrees/calls.anders call graph file
Num funcs: 110
Scc_cg: Pruned 49 funcs w/out bodies for scc DAG
summary database will use:
	./tmp.PcCIe3aczE/ciltrees/relay_sums
Initializing summary rad_ss
Checking leftover state: rad_ss
[Er]: Checkpoint: No left-over status file
Initializing summary ss
Checking leftover state: ss
[Er]: Checkpoint: No left-over status file
Initializing summary rs
BS: Not doing any post-reboot cleanup
[Er]: Multiple lock summaries for sem_wait:196.f
[Er]: Multiple lock summaries for sem_post:197.f
[Er]: Multiple lock summaries for pthread_mutex_unlock:319.f
[Er]: makeSimpleLock: Couldn't find global kernel_sem
[Er]: makeSimpleLock: Couldn't find global kernel_flag
[Er]: Multiple lock summaries for pthread_mutex_lock:318.f
Initializing summary rs_scc
BS: Not doing any post-reboot cleanup
SH: initEscapeable found (0, 1) thread (acts, formals)

Entry points use roots: true
file server will use: 14440
[Er]: Request fault handler with Connection refused
[Er]: Request retrying
[Er]: retry succeeded!

trying to clear old summaries / local srcs, etc.
Starting bottomup analysis
-----
[Er]: Checkpoint: No left-over status file
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #41
=================================
Summarizing function: elog_port_get_t_info : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 0

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_port_get_t_info:80.f
=======

SUMS (nm, lo, un, wr, re):	elog_port_get_t_info	0	0	0	0	

SS Sum:
 |-> Mustptr (lv = cur_thread_info)
SIZES: 80.f : 34
>>> PROGRESS 1/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #42
=================================
Summarizing function: elog_port_get_p_info : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_port_get_p_info:79.f
=======

SUMS (nm, lo, un, wr, re):	elog_port_get_p_info	0	0	0	0	

SS Sum:
 |-> Mustptr (lv = cur_process_info)
SIZES: 79.f : 34
>>> PROGRESS 2/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #43
=================================
Summarizing function: elog_port_get_time : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_port_get_time:78.f
=======

SUMS (nm, lo, un, wr, re):	elog_port_get_time	0	0	0	0	

SS Sum:
 |-> Mustptr (lv = cur_system_time)
SIZES: 78.f : 34
>>> PROGRESS 3/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #45
=================================
Summarizing function: elog_async_output_notice : main.c
-----
doing symstate
Prev ldiffCache hits: 3	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_async_output_notice:219.f
=======

SUMS (nm, lo, un, wr, re):	elog_async_output_notice	0	1	0	0	

SS Sum:
 |-> $SSBOT
SIZES: 219.f : 46
>>> PROGRESS 4/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #48
=================================
Summarizing function: elog_async_get_buf_used : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_async_get_buf_used:209.f
=======

SUMS (nm, lo, un, wr, re):	elog_async_get_buf_used	0	0	0	4	

SS Sum:
 |-> $SSTOP
SIZES: 209.f : 34
>>> PROGRESS 5/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #47
=================================
Summarizing function: async_get_buf_space : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 0

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: async_get_buf_space:210.f
=======

SUMS (nm, lo, un, wr, re):	async_get_buf_space	0	0	0	4	

SS Sum:
 |-> $SSTOP
SIZES: 210.f : 34
>>> PROGRESS 6/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #46
=================================
Summarizing function: async_put_log : main.c
-----
doing symstate
Prev ldiffCache hits: 4	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: async_put_log:212.f
=======

SUMS (nm, lo, un, wr, re):	async_put_log	0	0	3	4	

SS Sum:
 |-> $SSTOP
SIZES: 212.f : 34
>>> PROGRESS 7/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #51
=================================
Summarizing function: elog_file_rotate : main.c
-----
doing symstate
Prev ldiffCache hits: 6	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_file_rotate:262.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_rotate	0	0	1	3	

SS Sum:
 |-> $SSTOP
SIZES: 262.f : 34
>>> PROGRESS 8/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #52
=================================
Summarizing function: elog_file_port_unlock : main.c
-----
doing symstate
Prev ldiffCache hits: 13	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_file_port_unlock:251.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_port_unlock	0	0	0	1	

SS Sum:
 |-> $SSBOT
SIZES: 251.f : 34
>>> PROGRESS 9/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #53
=================================
Summarizing function: elog_file_port_lock : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_file_port_lock:250.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_port_lock	0	0	0	1	

SS Sum:
 |-> $SSBOT
SIZES: 250.f : 34
>>> PROGRESS 10/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #58
=================================
Summarizing function: elog_port_output_unlock : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_port_output_unlock:46.f
=======

SUMS (nm, lo, un, wr, re):	elog_port_output_unlock	0	1	0	0	

SS Sum:
 |-> $SSBOT
SIZES: 46.f : 46
>>> PROGRESS 11/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #57
=================================
Summarizing function: elog_output_unlock : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_output_unlock:63.f
=======

SUMS (nm, lo, un, wr, re):	elog_output_unlock	0	1	2	1	

SS Sum:
 |-> $SSBOT
SIZES: 63.f : 46
>>> PROGRESS 12/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #60
=================================
Summarizing function: elog_port_output_lock : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_port_output_lock:45.f
=======

SUMS (nm, lo, un, wr, re):	elog_port_output_lock	1	0	0	0	

SS Sum:
 |-> $SSBOT
SIZES: 45.f : 46
>>> PROGRESS 13/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #59
=================================
Summarizing function: elog_output_lock : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_output_lock:62.f
=======

SUMS (nm, lo, un, wr, re):	elog_output_lock	0	0	2	1	

SS Sum:
 |-> $SSBOT
SIZES: 62.f : 34
>>> PROGRESS 14/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (7) #40
=================================
Summarizing function: elog_get_filter_tag_lvl : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_output : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 5	misses: 4

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_strcpy : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 18	misses: 7

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: get_fmt_enabled : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 27	misses: 5

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_async_output : main.c
-----
doing symstate
Prev ldiffCache hits: 10	misses: 6

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
Summarizing function: elog_port_output : main.c
-----
doing symstate
Prev ldiffCache hits: 7	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
Summarizing function: elog_file_write : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_output : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 54	misses: 10

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_get_filter_tag_lvl : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 1367	misses: 27

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_async_output : main.c
-----
doing symstate
Prev ldiffCache hits: 73	misses: 9

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
Summarizing function: elog_port_output : main.c
-----
doing symstate
Prev ldiffCache hits: 140	misses: 7

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
Summarizing function: elog_file_write : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 64	misses: 7

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: get_fmt_enabled : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 151	misses: 9

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_strcpy : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 66	misses: 7

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_output : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 139	misses: 7

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
Summarizing function: elog_async_output : main.c
-----
doing symstate
Prev ldiffCache hits: 2928	misses: 27

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (7)
=================================
Summary for function: elog_file_write:246.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_write	0	0	10	29	

SS Sum:
 |-> $SSBOT
Summary for function: elog_port_output:208.f
=======

SUMS (nm, lo, un, wr, re):	elog_port_output	0	0	10	29	

SS Sum:
 |-> $SSBOT
Summary for function: elog_async_output:73.f
=======

SUMS (nm, lo, un, wr, re):	elog_async_output	0	1	10	29	

SS Sum:
 |-> $SSBOT
Summary for function: get_fmt_enabled:43.f
=======

SUMS (nm, lo, un, wr, re):	get_fmt_enabled	0	0	10	29	

SS Sum:
 |-> $SSTOP
Summary for function: elog_strcpy:30.f
=======

SUMS (nm, lo, un, wr, re):	elog_strcpy	0	0	11	30	

SS Sum:
 |-> $SSTOP
Summary for function: elog_output:22.f
=======

SUMS (nm, lo, un, wr, re):	elog_output	0	2	10	32	

SS Sum:
 |-> $SSBOT
Summary for function: elog_get_filter_tag_lvl:20.f
=======

SUMS (nm, lo, un, wr, re):	elog_get_filter_tag_lvl	0	1	10	29	

SS Sum:
 |-> $SSTOP
SIZES: 246.f : 34
SIZES: 208.f : 34
SIZES: 73.f : 46
SIZES: 43.f : 34
SIZES: 30.f : 129
SIZES: 22.f : 172
SIZES: 20.f : 46
>>> PROGRESS 15/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #0
=================================
Summarizing function: elog_find_lvl : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 140	misses: 9

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_find_lvl:26.f
=======

SUMS (nm, lo, un, wr, re):	elog_find_lvl	0	0	10	29	

SS Sum:
 |-> $SSTOP
SIZES: 26.f : 34
>>> PROGRESS 16/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #1
=================================
Summarizing function: elog_assert_set_hook : main.c
-----
doing symstate
Prev ldiffCache hits: 508	misses: 6

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_assert_set_hook:25.f
=======

SUMS (nm, lo, un, wr, re):	elog_assert_set_hook	0	0	1	0	

SS Sum:
 |-> $SSBOT
SIZES: 25.f : 34
>>> PROGRESS 17/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #2
=================================
Summarizing function: elog_raw : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 0

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_raw:21.f
=======

SUMS (nm, lo, un, wr, re):	elog_raw	0	2	10	29	

SS Sum:
 |-> $SSBOT
SIZES: 21.f : 57
>>> PROGRESS 18/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #3
=================================
Summarizing function: elog_memcpy : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 71	misses: 10

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_memcpy:336.f
=======

SUMS (nm, lo, un, wr, re):	elog_memcpy	0	0	11	30	

SS Sum:
 |-> Extptr (0):   lv = (*dst)

SIZES: 336.f : 114
>>> PROGRESS 19/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #4
=================================
Summarizing function: elog_cpyln : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 141	misses: 5

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_cpyln:335.f
=======

SUMS (nm, lo, un, wr, re):	elog_cpyln	0	0	11	30	

SS Sum:
 |-> $SSTOP
SIZES: 335.f : 114
>>> PROGRESS 20/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #5
=================================
Summarizing function: elog_set_filter_tag_lvl : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 142	misses: 6

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_filter_tag_lvl:19.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_filter_tag_lvl	0	1	12	29	

SS Sum:
 |-> $SSBOT
SIZES: 19.f : 46
>>> PROGRESS 21/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #38
=================================
Summarizing function: elog_hexdump : main.c
-----
doing symstate
Prev ldiffCache hits: 150	misses: 7

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_hexdump:28.f
=======

SUMS (nm, lo, un, wr, re):	elog_hexdump	0	2	11	31	

SS Sum:
 |-> $SSBOT
SIZES: 28.f : 145
>>> PROGRESS 22/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #11
=================================
Summarizing function: test_elog : main.c
-----
doing symstate
Prev ldiffCache hits: 450	misses: 13

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: test_elog:365.f
=======

SUMS (nm, lo, un, wr, re):	test_elog	1	0	12	31	

SS Sum:
 |-> $SSBOT
SIZES: 365.f : 91
>>> PROGRESS 23/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #12
=================================
Summarizing function: elog_set_fmt : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 515	misses: 8

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_fmt:14.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_fmt	0	0	11	29	

SS Sum:
 |-> $SSBOT
SIZES: 14.f : 34
>>> PROGRESS 24/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #18
=================================
Summarizing function: elog_set_output_enabled : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 68	misses: 5

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_output_enabled:10.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_output_enabled	0	0	11	29	

SS Sum:
 |-> $SSBOT
SIZES: 10.f : 34
>>> PROGRESS 25/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #37
=================================
Summarizing function: elog_async_enabled : main.c
-----
doing symstate
Prev ldiffCache hits: 68	misses: 5

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_async_enabled:29.f
=======

SUMS (nm, lo, un, wr, re):	elog_async_enabled	0	0	1	0	

SS Sum:
 |-> $SSBOT
SIZES: 29.f : 34
>>> PROGRESS 26/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #17
=================================
Summarizing function: elog_start : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 0

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_start:8.f
=======

SUMS (nm, lo, un, wr, re):	elog_start	0	2	12	29	

SS Sum:
 |-> $SSBOT
SIZES: 8.f : 57
>>> PROGRESS 27/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #23
=================================
Summarizing function: elog_async_init : main.c
-----
doing symstate
Prev ldiffCache hits: 137	misses: 9

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_async_init:48.f
=======

SUMS (nm, lo, un, wr, re):	elog_async_init	0	0	3	1	

SS Sum:
 |-> Vval: 0
SIZES: 48.f : 34
>>> PROGRESS 28/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #35
=================================
Summarizing function: lock_open : main.c
-----
doing symstate
Prev ldiffCache hits: 10	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: lock_open:291.f
=======

SUMS (nm, lo, un, wr, re):	lock_open	0	0	0	1	

SS Sum:
 |-> $SSTOP
SIZES: 291.f : 34
>>> PROGRESS 29/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #34
=================================
Summarizing function: lock_init : main.c
-----
doing symstate
Prev ldiffCache hits: 6	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: lock_init:290.f
=======

SUMS (nm, lo, un, wr, re):	lock_init	0	0	4	1	

SS Sum:
 |-> $SSBOT
SIZES: 290.f : 34
>>> PROGRESS 30/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #33
=================================
Summarizing function: elog_file_port_init : main.c
-----
doing symstate
Prev ldiffCache hits: 5	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_file_port_init:249.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_port_init	0	0	4	1	

SS Sum:
 |-> Vval: 0
SIZES: 249.f : 34
>>> PROGRESS 31/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #36
=================================
Summarizing function: elog_file_config : main.c
-----
doing symstate
Prev ldiffCache hits: 5	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_file_config:247.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_config	0	0	4	6	

SS Sum:
 |-> $SSBOT
SIZES: 247.f : 279
>>> PROGRESS 32/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #32
=================================
Summarizing function: elog_file_init : main.c
-----
doing symstate
Prev ldiffCache hits: 5	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_file_init:245.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_init	0	0	12	8	

SS Sum:
 |-> Vval: 0
SIZES: 245.f : 34
>>> PROGRESS 33/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #24
=================================
Summarizing function: elog_port_init : main.c
-----
doing symstate
Prev ldiffCache hits: 16	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_port_init:47.f
=======

SUMS (nm, lo, un, wr, re):	elog_port_init	0	0	12	8	

SS Sum:
 |-> Vval: 0
SIZES: 47.f : 34
>>> PROGRESS 34/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #25
=================================
Summarizing function: elog_set_filter_tag_lvl_default : main.c
-----
doing symstate
Prev ldiffCache hits: 20	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
FUN TIMES : 
  FUN:22.f : 0.0111789703369
  FUN:28.f : 0.00246500968933
  FUN:246.f : 0.00201630592346
  FUN:290.f : 0.0010929107666
  FUN:26.f : 0.000978946685791
  FUN:365.f : 0.000972986221313
  FUN:73.f : 0.000751972198486
  FUN:335.f : 0.000732898712158
  FUN:30.f : 0.000671863555908
  FUN:20.f : 0.000654220581055
  FUN:19.f : 0.000651121139526
  FUN:21.f : 0.000645875930786
  FUN:8.f : 0.000530958175659
  FUN:336.f : 0.000514984130859
  FUN:262.f : 0.000462055206299
  FUN:78.f : 0.000362873077393
  FUN:79.f : 0.000360012054443
  FUN:291.f : 0.000356197357178
  FUN:247.f : 0.00034499168396
  FUN:43.f : 0.000334978103638
  FUN:208.f : 0.0003342628479
  FUN:10.f : 0.000319957733154
  FUN:14.f : 0.000314950942993
  FUN:48.f : 0.000257968902588
  FUN:245.f : 0.000257015228271
  FUN:212.f : 0.000211000442505
  FUN:80.f : 0.000196218490601
  FUN:219.f : 0.000181913375854
  FUN:47.f : 0.000178813934326
  FUN:209.f : 0.000176191329956
  FUN:210.f : 0.000143051147461
  FUN:249.f : 0.000130891799927
  FUN:44.f : 0.000127077102661
  FUN:63.f : 0.000119924545288
  FUN:250.f : 0.0001060962677
  FUN:62.f : 9.79900360107e-05
  FUN:46.f : 7.9870223999e-05
  FUN:251.f : 7.79628753662e-05
  FUN:45.f : 7.70092010498e-05
  FUN:25.f : 6.91413879395e-05
  FUN:29.f : 6.31809234619e-05
TOTAL: 0.029601
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_filter_tag_lvl_default:44.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_filter_tag_lvl_default	0	0	2	0	

SS Sum:
 |-> $SSBOT
SIZES: 44.f : 34
>>> PROGRESS 35/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #26
=================================
Summarizing function: elog_output_lock_enabled : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_output_lock_enabled:23.f
=======

SUMS (nm, lo, un, wr, re):	elog_output_lock_enabled	0	1	1	3	

SS Sum:
 |-> $SSBOT
SIZES: 23.f : 46
>>> PROGRESS 36/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #27
=================================
Summarizing function: elog_set_filter_lvl : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 0	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_filter_lvl:16.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_filter_lvl	0	0	11	29	

SS Sum:
 |-> $SSBOT
SIZES: 16.f : 34
>>> PROGRESS 37/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #28
=================================
Summarizing function: elog_set_text_color_enabled : main.c
-----
doing symstate
Prev ldiffCache hits: 68	misses: 5

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_text_color_enabled:12.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_text_color_enabled	0	0	1	0	

SS Sum:
 |-> $SSBOT
SIZES: 12.f : 34
>>> PROGRESS 38/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #22
=================================
Summarizing function: elog_init : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 0

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_init:6.f
=======

SUMS (nm, lo, un, wr, re):	elog_init	0	1	30	36	

SS Sum:
 |-> $SSTOP
SIZES: 6.f : 46
>>> PROGRESS 39/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #6
=================================
Summarizing function: main : main.c
-----
doing symstate
Prev ldiffCache hits: 100	misses: 7

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: main:366.f
=======

SUMS (nm, lo, un, wr, re):	main	1	0	35	39	

SS Sum:
 |-> Vval: 0
SIZES: 366.f : 91
>>> PROGRESS 40/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #8
=================================
Summarizing function: elog_set_filter_kw : main.c
-----
doing symstate
Prev ldiffCache hits: 611	misses: 12

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_filter_kw:18.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_filter_kw	0	0	0	0	

SS Sum:
 |-> $SSBOT
SIZES: 18.f : 34
>>> PROGRESS 41/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #9
=================================
Summarizing function: elog_set_filter_tag : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_filter_tag:17.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_filter_tag	0	0	0	0	

SS Sum:
 |-> $SSBOT
SIZES: 17.f : 34
>>> PROGRESS 42/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #7
=================================
Summarizing function: elog_set_filter : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 0	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_set_filter:15.f
=======

SUMS (nm, lo, un, wr, re):	elog_set_filter	0	0	11	29	

SS Sum:
 |-> $SSBOT
SIZES: 15.f : 34
>>> PROGRESS 43/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #16
=================================
Summarizing function: elog_async_get_log : main.c
-----
doing symstate
Prev ldiffCache hits: 140	misses: 6

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_async_get_log:184.f
=======

SUMS (nm, lo, un, wr, re):	elog_async_get_log	0	1	5	5	

SS Sum:
 |-> $SSTOP
SIZES: 184.f : 46
>>> PROGRESS 44/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #10
=================================
Summarizing function: async_output : main.c
-----
doing symstate
Prev ldiffCache hits: 12	misses: 4

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: async_output:225.f
=======

SUMS (nm, lo, un, wr, re):	async_output	0	1	11	30	

SS Sum:
 |-> Vval: 0
SIZES: 225.f : 46
>>> PROGRESS 45/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #13
=================================
Summarizing function: elog_get_text_color_enabled : main.c
-----
doing symstate
Prev ldiffCache hits: 77	misses: 8

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_get_text_color_enabled:13.f
=======

SUMS (nm, lo, un, wr, re):	elog_get_text_color_enabled	0	0	0	1	

SS Sum:
 |-> $SSTOP
SIZES: 13.f : 34
>>> PROGRESS 46/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #14
=================================
Summarizing function: elog_get_output_enabled : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 0

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_get_output_enabled:11.f
=======

SUMS (nm, lo, un, wr, re):	elog_get_output_enabled	0	0	0	1	

SS Sum:
 |-> $SSTOP
SIZES: 11.f : 34
>>> PROGRESS 47/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #15
=================================
Summarizing function: elog_stop : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 0

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_stop:9.f
=======

SUMS (nm, lo, un, wr, re):	elog_stop	0	2	12	29	

SS Sum:
 |-> $SSBOT
SIZES: 9.f : 57
>>> PROGRESS 48/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #20
=================================
Summarizing function: elog_async_deinit : main.c
-----
doing symstate
Prev ldiffCache hits: 137	misses: 9

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_async_deinit:51.f
=======

SUMS (nm, lo, un, wr, re):	elog_async_deinit	0	1	2	2	

SS Sum:
 |-> $SSBOT
SIZES: 51.f : 46
>>> PROGRESS 49/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #31
=================================
Summarizing function: lock_deinit : main.c
-----
doing symstate
Prev ldiffCache hits: 1	misses: 2

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: lock_deinit:292.f
=======

SUMS (nm, lo, un, wr, re):	lock_deinit	0	0	1	0	

SS Sum:
 |-> $SSBOT
SIZES: 292.f : 34
>>> PROGRESS 50/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #30
=================================
Summarizing function: elog_file_port_deinit : main.c
-----
doing symstate
Prev ldiffCache hits: 0	misses: 0

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_file_port_deinit:252.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_port_deinit	0	0	1	0	

SS Sum:
 |-> $SSBOT
SIZES: 252.f : 34
>>> PROGRESS 51/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #29
=================================
Summarizing function: elog_file_deinit : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 1	misses: 1

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_file_deinit:248.f
=======

SUMS (nm, lo, un, wr, re):	elog_file_deinit	0	0	18	32	

SS Sum:
 |-> $SSBOT
SIZES: 248.f : 34
>>> PROGRESS 52/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #21
=================================
Summarizing function: elog_port_deinit : main.c
-----
doing symstate
Prev ldiffCache hits: 81	misses: 6

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_port_deinit:50.f
=======

SUMS (nm, lo, un, wr, re):	elog_port_deinit	0	0	18	32	

SS Sum:
 |-> $SSBOT
SIZES: 50.f : 34
>>> PROGRESS 53/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #19
=================================
Summarizing function: elog_deinit : main.c
-----
doing symstate
Prev ldiffCache hits: 77	misses: 5

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_deinit:7.f
=======

SUMS (nm, lo, un, wr, re):	elog_deinit	0	1	21	34	

SS Sum:
 |-> $SSBOT
SIZES: 7.f : 46
>>> PROGRESS 54/55 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #39
=================================
Summarizing function: elog_find_tag : main.c
-----
doing symstate
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
[Er]: SS call: *elog_assert_hook returned 0 fun(s)
Prev ldiffCache hits: 80	misses: 6

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
[Er]: call: *elog_assert_hook returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: elog_find_tag:27.f
=======

SUMS (nm, lo, un, wr, re):	elog_find_tag	0	0	11	29	

SS Sum:
 |-> Extptr (0):   lv = (*log)

SIZES: 27.f : 81
>>> PROGRESS 55/55 SCCs DONE!

=================================
getting next SCC from server
Bottomup analysis complete
-----



Beginning Thread Analysis:
-----
[Er]: No entry-points file!
Expected # thread-creation site pairs: 3
checking a thread-creation pair
Prev ldiffCache hits: 290	misses: 6

doing symstate
Prev ldiffCache hits: 42	misses: 3

doing symstate
now checking thread roots: async_output(225.f), async_output(225.f)
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
done with pair, sending notification
checking a thread-creation pair
Prev ldiffCache hits: 42	misses: 3

doing symstate
now checking thread roots: async_output(366.f), main(366.f)
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
New race added to race reports
done with pair, sending notification
checking a thread-creation pair
now checking thread roots: main(366.f), main(366.f)
done with pair, sending notification
completed all thread pairs
Sorting races

Printing races

****
Possible race between access to:

elog.enabled_fmt_set[0] @ main.c:248 and
elog.enabled_fmt_set[0] @ main.c:248
	Cluster ID: 28
	Escapes? true / true 
	Accessed at locs:
	[main.c:915:(43.f)] and
	[main.c:399:(14.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.filter.level @ main.c:248 and
elog.filter.level @ main.c:248
	Cluster ID: 29
	Escapes? true / true 
	Accessed at locs:
	[main.c:749:(22.f)] and
	[main.c:443:(16.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.filter.tag_lvl[0].level @ main.c:248 and
elog.filter.tag_lvl[0].level @ main.c:248
	Cluster ID: 30
	Escapes? true / true 
	Accessed at locs:
	[main.c:613:(20.f)] and
	[main.c:504:(44.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.filter.tag_lvl[0].tag_use_flag @ main.c:248 and
elog.filter.tag_lvl[0].tag_use_flag @ main.c:248
	Cluster ID: 31
	Escapes? true / true 
	Accessed at locs:
	[main.c:610:(20.f)] and
	[main.c:505:(44.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.init_ok @ main.c:248 and
elog.init_ok @ main.c:248
	Cluster ID: 32
	Escapes? true / true 
	Accessed at locs:
	[main.c:604:(20.f)] and
	[main.c:283:(6.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_enabled @ main.c:248 and
elog.output_enabled @ main.c:248
	Cluster ID: 33
	Escapes? true / true 
	Accessed at locs:
	[main.c:746:(22.f)] and
	[main.c:353:(10.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_is_locked_before_disable @ main.c:248 and
elog.output_is_locked_before_disable @ main.c:248
	Cluster ID: 5
	Escapes? true / true 
	Accessed at locs:
	[main.c:474:(62.f)] and
	[main.c:279:(6.f), main.c:488:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198, output_lock#g:321} (2)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_is_locked_before_disable @ main.c:248 and
elog.output_is_locked_before_disable @ main.c:248
	Cluster ID: 19
	Escapes? true / true 
	Accessed at locs:
	[main.c:474:(62.f)] and
	[main.c:929:(23.f), main.c:937:(23.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198, output_lock#g:321} (2)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_is_locked_before_disable @ main.c:248 and
elog.output_is_locked_before_disable @ main.c:248
	Cluster ID: 4
	Escapes? true / true 
	Accessed at locs:
	[main.c:488:(63.f)] and
	[main.c:279:(6.f), main.c:488:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 1st access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

elog.output_is_locked_before_disable @ main.c:248 and
elog.output_is_locked_before_disable @ main.c:248
	Cluster ID: 1
	Escapes? true / true 
	Accessed at locs:
	[main.c:474:(62.f)] and
	[main.c:488:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198, output_lock#g:321} (2)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = {output_lock#g:321} (1)
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {output_lock#g:321} (1)
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(2)
LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {output_notice#g:198, output_lock#g:321} (2)
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: main.c:1460 44714 w/ func: async_output
****
Possible race between access to:

elog.output_is_locked_before_disable @ main.c:248 and
elog.output_is_locked_before_disable @ main.c:248
	Cluster ID: 0
	Escapes? true / true 
	Accessed at locs:
	[main.c:488:(63.f)] and
	[main.c:488:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 1st access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {output_notice#g:198} (1)
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: main.c:1460 44714 w/ func: async_output
(2)
LS for 1st access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: main.c:1460 44714 w/ func: async_output
****
Possible race between access to:

elog.output_is_locked_before_disable @ main.c:248 and
elog.output_is_locked_before_disable @ main.c:248
	Cluster ID: 18
	Escapes? true / true 
	Accessed at locs:
	[main.c:488:(63.f)] and
	[main.c:929:(23.f), main.c:937:(23.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 1st access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

elog.output_is_locked_before_enable @ main.c:248 and
elog.output_is_locked_before_enable @ main.c:248
	Cluster ID: 8
	Escapes? true / true 
	Accessed at locs:
	[main.c:476:(62.f), main.c:490:(63.f)] and
	[main.c:278:(6.f), main.c:476:(62.f), main.c:490:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_is_locked_before_enable @ main.c:248 and
elog.output_is_locked_before_enable @ main.c:248
	Cluster ID: 7
	Escapes? true / true 
	Accessed at locs:
	[main.c:476:(62.f), main.c:490:(63.f)] and
	[main.c:476:(62.f), main.c:490:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_is_locked_before_enable @ main.c:248 and
elog.output_is_locked_before_enable @ main.c:248
	Cluster ID: 21
	Escapes? true / true 
	Accessed at locs:
	[main.c:476:(62.f), main.c:490:(63.f)] and
	[main.c:930:(23.f), main.c:938:(23.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_is_locked_before_enable @ main.c:248 and
elog.output_is_locked_before_enable @ main.c:248
	Cluster ID: 6
	Escapes? true / true 
	Accessed at locs:
	[main.c:490:(63.f)] and
	[main.c:278:(6.f), main.c:476:(62.f), main.c:490:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_is_locked_before_enable @ main.c:248 and
elog.output_is_locked_before_enable @ main.c:248
	Cluster ID: 3
	Escapes? true / true 
	Accessed at locs:
	[main.c:490:(63.f)] and
	[main.c:476:(62.f), main.c:490:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 2nd access:
L+ = {output_notice#g:198} (1)
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: main.c:1460 44714 w/ func: async_output
****
Possible race between access to:

elog.output_is_locked_before_enable @ main.c:248 and
elog.output_is_locked_before_enable @ main.c:248
	Cluster ID: 2
	Escapes? true / true 
	Accessed at locs:
	[main.c:490:(63.f)] and
	[main.c:490:(63.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: main.c:1460 44714 w/ func: async_output

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_is_locked_before_enable @ main.c:248 and
elog.output_is_locked_before_enable @ main.c:248
	Cluster ID: 20
	Escapes? true / true 
	Accessed at locs:
	[main.c:490:(63.f)] and
	[main.c:930:(23.f), main.c:938:(23.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_lock_enabled @ main.c:248 and
elog.output_lock_enabled @ main.c:248
	Cluster ID: 35
	Escapes? true / true 
	Accessed at locs:
	[main.c:472:(62.f), main.c:486:(63.f)] and
	[main.c:927:(23.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.output_lock_enabled @ main.c:248 and
elog.output_lock_enabled @ main.c:248
	Cluster ID: 34
	Escapes? true / true 
	Accessed at locs:
	[main.c:486:(63.f)] and
	[main.c:927:(23.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

elog.text_color_enabled @ main.c:248 and
elog.text_color_enabled @ main.c:248
	Cluster ID: 36
	Escapes? true / true 
	Accessed at locs:
	[main.c:764:(22.f), main.c:887:(22.f)] and
	[main.c:362:(12.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

log_buf @ main.c:249 and
log_buf @ main.c:249
	Cluster ID: 9
	Escapes? true / true 
	Accessed at locs:
	[main.c:1968:(30.f)] and
	[main.c:1968:(30.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

log_buf[0] @ main.c:249 and
log_buf[0] @ main.c:249
	Cluster ID: 10
	Escapes? true / true 
	Accessed at locs:
	[main.c:880:(22.f)] and
	[main.c:880:(22.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

_a657_19063_main_1[0] @ main.c:657 and
_a657_19063_main_1[0] @ main.c:657
	Cluster ID: 11
	Escapes? true / true 
	Accessed at locs:
	[main.c:728:(22.f), main.c:731:(22.f)] and
	[main.c:728:(22.f), main.c:731:(22.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

_a657_19063_main_2[0] @ main.c:657 and
_a657_19063_main_2[0] @ main.c:657
	Cluster ID: 12
	Escapes? true / true 
	Accessed at locs:
	[main.c:722:(22.f), main.c:725:(22.f)] and
	[main.c:722:(22.f), main.c:725:(22.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

thread_running @ main.c:1272 and
thread_running @ main.c:1272
	Cluster ID: 37
	Escapes? true / true 
	Accessed at locs:
	[main.c:1417:(225.f)] and
	[main.c:1453:(48.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

is_enabled @ main.c:1273 and
is_enabled @ main.c:1273
	Cluster ID: 38
	Escapes? true / true 
	Accessed at locs:
	[main.c:1386:(73.f)] and
	[main.c:1436:(29.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

write_index @ main.c:1275 and
write_index @ main.c:1275
	Cluster ID: 22
	Escapes? true / true 
	Accessed at locs:
	[main.c:1285:(209.f), main.c:1286:(209.f), main.c:1290:(209.f), main.c:1327:(212.f), main.c:1328:(212.f), main.c:1330:(212.f), main.c:1332:(212.f), main.c:1334:(212.f), main.c:1336:(212.f)] and
	[main.c:1330:(212.f), main.c:1336:(212.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

write_index @ main.c:1275 and
write_index @ main.c:1275
	Cluster ID: 13
	Escapes? true / true 
	Accessed at locs:
	[main.c:1330:(212.f), main.c:1336:(212.f)] and
	[main.c:1330:(212.f), main.c:1336:(212.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

read_index @ main.c:1276 and
read_index @ main.c:1276
	Cluster ID: 23
	Escapes? true / true 
	Accessed at locs:
	[main.c:1366:(184.f), main.c:1372:(184.f)] and
	[main.c:1285:(209.f), main.c:1286:(209.f), main.c:1290:(209.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

buf_is_full @ main.c:1277 and
buf_is_full @ main.c:1277
	Cluster ID: 39
	Escapes? true / true 
	Accessed at locs:
	[main.c:1288:(209.f), main.c:1296:(209.f)] and
	[main.c:1325:(212.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

buf_is_full @ main.c:1277 and
buf_is_full @ main.c:1277
	Cluster ID: 24
	Escapes? true / true 
	Accessed at locs:
	[main.c:1374:(184.f), main.c:1325:(212.f)] and
	[main.c:1288:(209.f), main.c:1296:(209.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

buf_is_full @ main.c:1277 and
buf_is_full @ main.c:1277
	Cluster ID: 14
	Escapes? true / true 
	Accessed at locs:
	[main.c:1374:(184.f), main.c:1325:(212.f)] and
	[main.c:1325:(212.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

buf_is_empty @ main.c:1278 and
buf_is_empty @ main.c:1278
	Cluster ID: 40
	Escapes? true / true 
	Accessed at locs:
	[main.c:1289:(209.f)] and
	[main.c:1338:(212.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

buf_is_empty @ main.c:1278 and
buf_is_empty @ main.c:1278
	Cluster ID: 25
	Escapes? true / true 
	Accessed at locs:
	[main.c:1361:(184.f), main.c:1338:(212.f)] and
	[main.c:1289:(209.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

buf_is_empty @ main.c:1278 and
buf_is_empty @ main.c:1278
	Cluster ID: 15
	Escapes? true / true 
	Accessed at locs:
	[main.c:1361:(184.f), main.c:1338:(212.f)] and
	[main.c:1338:(212.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

init_ok___0 @ main.c:1504 and
init_ok___0 @ main.c:1504
	Cluster ID: 41
	Escapes? true / true 
	Accessed at locs:
	[main.c:1590:(246.f)] and
	[main.c:1522:(245.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

fp @ main.c:1505 and
fp @ main.c:1505
	Cluster ID: 17
	Escapes? true / true 
	Accessed at locs:
	[main.c:1577:(262.f)] and
	[main.c:1577:(262.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

fp @ main.c:1505 and
fp @ main.c:1505
	Cluster ID: 27
	Escapes? true / true 
	Accessed at locs:
	[main.c:1615:(246.f), main.c:1616:(246.f), main.c:1625:(246.f), main.c:1626:(246.f), main.c:1548:(262.f)] and
	[main.c:1577:(262.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

fp @ main.c:1505 and
fp @ main.c:1505
	Cluster ID: 26
	Escapes? true / true 
	Accessed at locs:
	[main.c:1577:(262.f)] and
	[main.c:1664:(247.f), main.c:1665:(247.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

fp @ main.c:1505 and
fp @ main.c:1505
	Cluster ID: 16
	Escapes? true / true 
	Accessed at locs:
	[main.c:1577:(262.f)] and
	[main.c:1666:(247.f), main.c:1675:(247.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

fp @ main.c:1505 and
fp @ main.c:1505
	Cluster ID: 42
	Escapes? true / true 
	Accessed at locs:
	[main.c:1615:(246.f), main.c:1616:(246.f), main.c:1625:(246.f), main.c:1626:(246.f), main.c:1548:(262.f)] and
	[main.c:1666:(247.f), main.c:1675:(247.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

local_cfg.max_rotate @ main.c:1506 and
local_cfg.max_rotate @ main.c:1506
	Cluster ID: 43
	Escapes? true / true 
	Accessed at locs:
	[main.c:1549:(262.f)] and
	[main.c:1671:(247.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

local_cfg.max_size @ main.c:1506 and
local_cfg.max_size @ main.c:1506
	Cluster ID: 44
	Escapes? true / true 
	Accessed at locs:
	[main.c:1618:(246.f)] and
	[main.c:1670:(247.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

local_cfg.name @ main.c:1506 and
local_cfg.name @ main.c:1506
	Cluster ID: 45
	Escapes? true / true 
	Accessed at locs:
	[main.c:1541:(262.f), main.c:1544:(262.f), main.c:1546:(262.f), main.c:1577:(262.f)] and
	[main.c:1669:(247.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

semid @ main.c:1690 and
semid @ main.c:1690
	Cluster ID: 46
	Escapes? true / true 
	Accessed at locs:
	[main.c:1711:(250.f), main.c:1712:(250.f), main.c:1722:(251.f), main.c:1723:(251.f)] and
	[main.c:1767:(290.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = {output_notice#g:198} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:1460 44714 w/ func: async_output
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):



$$$$$$
Total Warnings: 47


Printing Alias assumptions used by warnings
-----


writeState: writing new state for Andersen to ./tmp.PcCIe3aczE/ciltrees/.pta_temp.anders

writeState: Not needed for Steens PTA
Elapsed time (secs): 0.088539
Top heap size (MB): 3
Current heap size (MB): 3
Lifetime allocated bytes (MB): 49
Collections -- minor: 22 major: 4 compactions: 0
Bytes per word: 8
Exhausted tries: 1
return value is 0
ran 1 times
cleared status file: /tmp//temp.status5iBGfY
Sun Mar 17 16:39:30 UTC 2024
server.exe: no process found
