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


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


duppy -c main.c
duppy'ing main.c to /mnt/goblint-svcomp/goblint-bench/the-continuous-race/tools/svcomp24/relay-sv/tmp.17b5xXAdf7/ciltrees
gcc -D_GNUCC -E -DCIL=1 main.c -o /tmp/cil-2aL2Lkch.i
../cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-H8adxZ6G.cil.c --doheapify_sep --heapify_locals --dotrans_alloc --domyptranal --dodumpfile /tmp/cil-2aL2Lkch.i
Making cfg for message
Making cfg for complain
Making cfg for grumble
Making cfg for alloc
Making cfg for cut_short
Making cfg for grow
Making cfg for vmemcpy
Making cfg for vstrcpy
Making cfg for readn
Making cfg for writen
Making cfg for time2dos
Making cfg for put
Making cfg for put_header
Making cfg for put_trailer
Making cfg for adler32z
Making cfg for crc32z
Making cfg for zlib_vernum
Making cfg for multmodp
Making cfg for x2nmodp
Making cfg for crc32_comb
Making cfg for adler32_comb
Making cfg for new_pool
Making cfg for get_space
Making cfg for grow_space
Making cfg for use_space
Making cfg for drop_space
Making cfg for free_pool
Making cfg for setup_jobs
Making cfg for finish_jobs
Making cfg for deflate_engine
Making cfg for compress_thread
Making cfg for write_thread
Making cfg for append_len
Making cfg for parallel_compress
Making cfg for single_compress
Making cfg for load_read
Making cfg for load_wait
Making cfg for load
Making cfg for load_end
Making cfg for in_init
Making cfg for dos2time
Making cfg for tolong
Making cfg for read_extra
Making cfg for get_header
Making cfg for more_zip_entries
Making cfg for compressed_suffix
Making cfg for show_info
Making cfg for list_info
Making cfg for cat
Making cfg for inb
Making cfg for outb_write
Making cfg for outb_check
Making cfg for outb
Making cfg for infchk
Making cfg for unlzw
Making cfg for justname
Making cfg for copymeta
Making cfg for touch
Making cfg for out_push
Making cfg for process
Making cfg for help
Making cfg for nprocs
Making cfg for defaults
Making cfg for new_opts
Making cfg for num
Making cfg for option
Making cfg for cut_yarn
Making cfg for main
Making cfg for try_create_
Making cfg for try_setup_
Making cfg for try_throw_
Making cfg for fail
Making cfg for yarn_mem
Making cfg for my_malloc
Making cfg for new_lock_
Making cfg for possess_
Making cfg for release_
Making cfg for twist_
Making cfg for wait_for_
Making cfg for peek_lock
Making cfg for free_lock_
Making cfg for reenter
Making cfg for ignition
Making cfg for launch_
Making cfg for join_
Making cfg for join_all_
main.c:598: Warning: Cannot represent integer 18446744073709551615ULL in 64 bits (signed)

main.c:8021: Warning: Cannot represent integer 18446744073709551615ULL in 64 bits (signed)

Trans_alloc: alloc main.c:538
Trans_alloc: finish_jobs main.c:1418
Trans_alloc: compress_thread main.c:1477
Trans_alloc: write_thread main.c:1894
Trans_alloc: single_compress main.c:2288
Trans_alloc: load_read main.c:2733
Trans_alloc: dos2time main.c:2943
Trans_alloc: get_header main.c:3584
Trans_alloc: more_zip_entries main.c:4841
Trans_alloc: show_info main.c:5178
Trans_alloc: list_info main.c:5315
Trans_alloc: cat main.c:5465
Trans_alloc: outb_write main.c:5512
Trans_alloc: outb_check main.c:5605
Trans_alloc: infchk main.c:5753
Trans_alloc: unlzw main.c:6817
Trans_alloc: copymeta main.c:7103
Trans_alloc: touch main.c:7134
Trans_alloc: process main.c:7175
Trans_alloc: option main.c:8036
Trans_alloc: main main.c:8327
Trans_alloc: try_throw_ main.c:8708
Trans_alloc: ignition main.c:9072
Trans_alloc: launch_ main.c:9110
gcc -D_GNUCC -E /tmp/cil-H8adxZ6G.cil.c -o /tmp/cil-IbFaOM3y.cil.i
gcc -D_GNUCC -c -o ./main.o /tmp/cil-IbFaOM3y.cil.i
main.c: In function ‘finish_jobs’:
main.c:1425:5: warning: ‘free’ called on unallocated object ‘_a1418_40740_main_1’ [-Wfree-nonheap-object]
 1425 |     return;
      |     ^~~~~~~              
main.c:1418:12: note: declared here
 1418 | static void finish_jobs(void)
      |            ^~~~~~~~~~~~~~~~~~ 
main.c:1445:3: warning: ‘free’ called on unallocated object ‘_a1418_40740_main_1’ [-Wfree-nonheap-object]
 1445 |   return;
      |   ^~~~~~~              
main.c:1418:12: note: declared here
 1418 | static void finish_jobs(void)
      |            ^~~~~~~~~~~~~~~~~~ 
main.c: In function ‘compress_thread’:
main.c:1891:3: warning: ‘free’ called on unallocated object ‘_a1477_42309_main_1’ [-Wfree-nonheap-object]
 1891 |   return;
      |   ^~~~~~~                  
main.c:1477:8: note: declared here
 1477 | static void compress_thread(void *dummy )
      |        ^~~~~~~~~~~~~~~~~~~
main.c:1891:3: warning: ‘free’ called on unallocated object ‘_a1477_42309_main_2’ [-Wfree-nonheap-object]
 1891 |   return;
      |   ^~~~~~~                  
main.c:1477:16: note: declared here
 1477 | static void compress_thread(void *dummy )
      |                ^~~~~~~~~~~~~~~~~~~
main.c:1891:3: warning: ‘free’ called on unallocated object ‘_a1477_42309_main_3’ [-Wfree-nonheap-object]
 1891 |   return;
      |   ^~~~~~~                   
main.c:1477:15: note: declared here
 1477 | static void compress_thread(void *dummy )
      |               ^~~~~~~~~~~~~~~~~~~
main.c:1891:3: warning: ‘free’ called on unallocated object ‘_a1477_42309_main_4’ [-Wfree-nonheap-object]
 1891 |   return;
      |   ^~~~~~~                   
main.c:1477:10: note: declared here
 1477 | static void compress_thread(void *dummy )
      |          ^~~~~~~~~~~~~~~~~~~
main.c:1891:3: warning: ‘free’ called on unallocated object ‘_a1477_42309_main_5’ [-Wfree-nonheap-object]
 1891 |   return;
      |   ^~~~~~~                    
main.c:1477:8: note: declared here
 1477 | static void compress_thread(void *dummy )
      |        ^~~~~~~~~~~~~~~~~~~
main.c:1891:3: warning: ‘free’ called on unallocated object ‘_a1477_42309_main_6’ [-Wfree-nonheap-object]
 1891 |   return;
      |   ^~~~~~~               
main.c:1477:5: note: declared here
 1477 | static void compress_thread(void *dummy )
      |     ^~~~~~~~~~~~~~~~~~~
main.c: In function ‘write_thread’:
main.c:2047:3: warning: ‘free’ called on unallocated object ‘_a1894_57623_main_1’ [-Wfree-nonheap-object]
 2047 |   return;
      |   ^~~~~~~                    
main.c:1894:8: note: declared here
 1894 | static void write_thread(void *dummy )
      |        ^~~~~~~~~~~~~~~~~~~
main.c: In function ‘single_compress’:
main.c:2344:5: warning: ‘free’ called on unallocated object ‘_a2288_69583_main_1’ [-Wfree-nonheap-object]
 2344 |     return;
      |     ^~~~~~~               
main.c:2288:8: note: declared here
 2288 | static void single_compress(int reset )
      |        ^~~~~~~~~~~~~~~~~~~
main.c:2344:5: warning: ‘free’ called on unallocated object ‘_a2288_69583_main_2’ [-Wfree-nonheap-object]
 2344 |     return;
      |     ^~~~~~~              
main.c:2288:16: note: declared here
 2288 | static void single_compress(int reset )
      |                ^~~~~~~~~~~~~~~~~~~
main.c:2344:5: warning: ‘free’ called on unallocated object ‘_a2288_69583_main_3’ [-Wfree-nonheap-object]
 2344 |     return;
      |     ^~~~~~~                   
main.c:2288:15: note: declared here
 2288 | static void single_compress(int reset )
      |               ^~~~~~~~~~~~~~~~~~~
main.c:2344:5: warning: ‘free’ called on unallocated object ‘_a2288_69583_main_4’ [-Wfree-nonheap-object]
 2344 |     return;
      |     ^~~~~~~               
main.c:2288:5: note: declared here
 2288 | static void single_compress(int reset )
      |     ^~~~~~~~~~~~~~~~~~~
main.c:2730:3: warning: ‘free’ called on unallocated object ‘_a2288_69583_main_1’ [-Wfree-nonheap-object]
 2730 |   return;
      |   ^~~~~~~               
main.c:2288:8: note: declared here
 2288 | static void single_compress(int reset )
      |        ^~~~~~~~~~~~~~~~~~~
main.c:2730:3: warning: ‘free’ called on unallocated object ‘_a2288_69583_main_2’ [-Wfree-nonheap-object]
 2730 |   return;
      |   ^~~~~~~              
main.c:2288:16: note: declared here
 2288 | static void single_compress(int reset )
      |                ^~~~~~~~~~~~~~~~~~~
main.c:2730:3: warning: ‘free’ called on unallocated object ‘_a2288_69583_main_3’ [-Wfree-nonheap-object]
 2730 |   return;
      |   ^~~~~~~                   
main.c:2288:15: note: declared here
 2288 | static void single_compress(int reset )
      |               ^~~~~~~~~~~~~~~~~~~
main.c:2730:3: warning: ‘free’ called on unallocated object ‘_a2288_69583_main_4’ [-Wfree-nonheap-object]
 2730 |   return;
      |   ^~~~~~~               
main.c:2288:5: note: declared here
 2288 | static void single_compress(int reset )
      |     ^~~~~~~~~~~~~~~~~~~
main.c: In function ‘load_read’:
main.c:2831:3: warning: ‘free’ called on unallocated object ‘_a2733_83384_main_1’ [-Wfree-nonheap-object]
 2831 |   return;
      |   ^~~~~~~                    
main.c:2733:8: note: declared here
 2733 | static void load_read(void *dummy )
      |        ^~~~~~~~~~~~~~~~~~~
main.c: In function ‘dos2time’:
main.c:2952:5: warning: ‘free’ called on unallocated object ‘_a2943_88556_main_1’ [-Wfree-nonheap-object]
 2952 |     return (tmp);
      |     ^~~~~~~~~~~~~       
main.c:2943:11: note: declared here
 2943 | static time_t dos2time(unsigned long dos )
      |           ^~~~~~~~~~~~~~~~~~~
main.c:2962:3: warning: ‘free’ called on unallocated object ‘_a2943_88556_main_1’ [-Wfree-nonheap-object]
 2962 |   return (tmp___0);
      |   ^~~~~~~~~~~~~~~~~   
main.c:2943:11: note: declared here
 2943 | static time_t dos2time(unsigned long dos )
      |           ^~~~~~~~~~~~~~~~~~~
main.c: In function ‘get_header’:
main.c:3764:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3764 |     return (-1);
      |     ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3764:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3764 |     return (-1);
      |     ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3789:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3789 |     return (-2);
      |     ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3789:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3789 |     return (-2);
      |     ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3794:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3794 |       return (8);
      |       ^~~~~~~~~~~               
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3794:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3794 |       return (8);
      |       ^~~~~~~~~~~           
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3799:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3799 |     return (257);
      |     ^~~~~~~~~~~~~             
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3799:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3799 |     return (257);
      |     ^~~~~~~~~~~~~         
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3844:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3844 |       return (-3);
      |       ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3844:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3844 |       return (-3);
      |       ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3847:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3847 |       return (-5);
      |       ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3847:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3847 |       return (-5);
      |       ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3850:9: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3850 |       return (-5);
      |         ^~~~~~~~~~                
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3850:9: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3850 |       return (-5);
      |         ^~~~~~~~~~            
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3853:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3853 |       return (-4);
      |       ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3853:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3853 |       return (-4);
      |       ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3862:11: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3862 |           return (-3);
      |           ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3862:11: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3862 |           return (-3);
      |           ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3911:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 3911 |       return (-4);
      |       ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:3911:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 3911 |       return (-4);
      |       ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4049:13: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4049 |             return (-3);
      |             ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4049:13: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4049 |             return (-3);
      |             ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4387:9: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4387 |         return (-3);
      |         ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4387:9: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4387 |         return (-3);
      |         ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4399:11: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4399 |           return (-3);
      |           ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4399:11: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4399 |           return (-3);
      |           ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4415:13: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4415 |             return (-3);
      |             ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4415:13: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4415 |             return (-3);
      |             ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4430:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4430 |     return (tmp___102);
      |     ^~~~~~~~~~~~~~~~~~~       
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4430:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4430 |     return (tmp___102);
      |     ^~~~~~~~~~~~~~~~~~~   
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4435:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4435 |     return (-2);
      |     ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4435:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4435 |     return (-2);
      |     ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4483:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4483 |     return (-4);
      |     ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4483:5: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4483 |     return (-4);
      |     ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4584:11: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4584 |           return (-3);
      |           ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4584:11: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4584 |           return (-3);
      |           ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4600:9: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4600 |         return (-3);
      |         ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4600:9: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4600 |         return (-3);
      |         ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4660:11: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4660 |           return (-3);
      |           ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4660:11: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4660 |           return (-3);
      |           ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4678:15: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4678 |               return (-3);
      |               ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4678:15: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4678 |               return (-3);
      |               ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4737:15: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4737 |               return (-3);
      |               ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4737:15: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4737 |               return (-3);
      |               ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4829:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4829 |       return (-6);
      |       ^~~~~~~~~~~~              
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4829:7: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4829 |       return (-6);
      |       ^~~~~~~~~~~~          
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4838:3: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_1’ [-Wfree-nonheap-object]
 4838 |   return (tmp___152);
      |   ^~~~~~~~~~~~~~~~~~~       
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:4838:3: warning: ‘free’ called on unallocated object ‘_a3584_105569_main_2’ [-Wfree-nonheap-object]
 4838 |   return (tmp___152);
      |   ^~~~~~~~~~~~~~~~~~~   
main.c:3584:8: note: declared here
 3584 | static int get_header(int save )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘more_zip_entries’:
main.c:4972:5: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_1’ [-Wfree-nonheap-object]
 4972 |     return (ret);
      |     ^~~~~~~~~~~~~         
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:4972:5: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_2’ [-Wfree-nonheap-object]
 4972 |     return (ret);
      |     ^~~~~~~~~~~~~            
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:4975:7: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_1’ [-Wfree-nonheap-object]
 4975 |     return (ret);
      |       ^~~~~~~~~~~           
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:4975:7: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_2’ [-Wfree-nonheap-object]
 4975 |     return (ret);
      |       ^~~~~~~~~~~              
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:4986:9: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_1’ [-Wfree-nonheap-object]
 4986 |         return (ret);
      |         ^~~~~~~~~~~~~         
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:4986:9: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_2’ [-Wfree-nonheap-object]
 4986 |         return (ret);
      |         ^~~~~~~~~~~~~            
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5019:13: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_1’ [-Wfree-nonheap-object]
 5019 |           return (ret);
      |             ^~~~~~~~~~~           
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5019:13: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_2’ [-Wfree-nonheap-object]
 5019 |           return (ret);
      |             ^~~~~~~~~~~              
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5030:15: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_1’ [-Wfree-nonheap-object]
 5030 |             return (ret);
      |               ^~~~~~~~~~~           
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5030:15: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_2’ [-Wfree-nonheap-object]
 5030 |             return (ret);
      |               ^~~~~~~~~~~              
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5038:19: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_1’ [-Wfree-nonheap-object]
 5038 |                 return (-3);
      |                   ^~~~~~~~~~            
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5038:19: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_2’ [-Wfree-nonheap-object]
 5038 |                 return (-3);
      |                   ^~~~~~~~~~               
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5062:17: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_1’ [-Wfree-nonheap-object]
 5062 |               return (ret);
      |                 ^~~~~~~~~~~           
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5062:17: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_2’ [-Wfree-nonheap-object]
 5062 |               return (ret);
      |                 ^~~~~~~~~~~              
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5077:13: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_1’ [-Wfree-nonheap-object]
 5077 |           return (ret);
      |             ^~~~~~~~~~~           
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c:5077:13: warning: ‘free’ called on unallocated object ‘_a4841_136555_main_2’ [-Wfree-nonheap-object]
 5077 |           return (ret);
      |             ^~~~~~~~~~~              
main.c:4841:15: note: declared here
 4841 | static int more_zip_entries(void)
      |               ^~~~~~~~~~~~~~~~~~~ 
main.c: In function ‘show_info’:
main.c:5312:3: warning: ‘free’ called on unallocated object ‘_a5178_145184_main_1’ [-Wfree-nonheap-object]
 5312 |   return;
      |   ^~~~~~~              
main.c:5178:6: note: declared here
 5178 | static void show_info(int method , unsigned long check , length_t len , int cont )
      |      ^~~~~~~~~~~~~~~~~~~~
main.c:5312:3: warning: ‘free’ called on unallocated object ‘_a5178_145184_main_2’ [-Wfree-nonheap-object]
 5312 |   return;
      |   ^~~~~~~              
main.c:5178:6: note: declared here
 5178 | static void show_info(int method , unsigned long check , length_t len , int cont )
      |      ^~~~~~~~~~~~~~~~~~~~
main.c:5312:3: warning: ‘free’ called on unallocated object ‘_a5178_145184_main_3’ [-Wfree-nonheap-object]
 5312 |   return;
      |   ^~~~~~~              
main.c:5178:8: note: declared here
 5178 | static void show_info(int method , unsigned long check , length_t len , int cont )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘list_info’:
main.c:5345:5: warning: ‘free’ called on unallocated object ‘_a5315_149264_main_1’ [-Wfree-nonheap-object]
 5345 |     return;
      |     ^~~~~~~               
main.c:5315:15: note: declared here
 5315 | static void list_info(void)
      |               ^~~~~~~~~~~~~       
main.c:5352:5: warning: ‘free’ called on unallocated object ‘_a5315_149264_main_1’ [-Wfree-nonheap-object]
 5352 |     return;
      |     ^~~~~~~               
main.c:5315:15: note: declared here
 5315 | static void list_info(void)
      |               ^~~~~~~~~~~~~       
main.c:5389:5: warning: ‘free’ called on unallocated object ‘_a5315_149264_main_1’ [-Wfree-nonheap-object]
 5389 |     return;
      |     ^~~~~~~               
main.c:5315:15: note: declared here
 5315 | static void list_info(void)
      |               ^~~~~~~~~~~~~       
main.c:5405:5: warning: ‘free’ called on unallocated object ‘_a5315_149264_main_1’ [-Wfree-nonheap-object]
 5405 |     return;
      |     ^~~~~~~               
main.c:5315:15: note: declared here
 5315 | static void list_info(void)
      |               ^~~~~~~~~~~~~       
main.c:5410:7: warning: ‘free’ called on unallocated object ‘_a5315_149264_main_1’ [-Wfree-nonheap-object]
 5410 |       return;
      |       ^~~~~~~               
main.c:5315:15: note: declared here
 5315 | static void list_info(void)
      |               ^~~~~~~~~~~~~       
main.c:5438:11: warning: ‘free’ called on unallocated object ‘_a5315_149264_main_1’ [-Wfree-nonheap-object]
 5438 |           return;
      |           ^~~~~~~               
main.c:5315:15: note: declared here
 5315 | static void list_info(void)
      |               ^~~~~~~~~~~~~       
main.c:5457:5: warning: ‘free’ called on unallocated object ‘_a5315_149264_main_1’ [-Wfree-nonheap-object]
 5457 |     return;
      |     ^~~~~~~               
main.c:5315:15: note: declared here
 5315 | static void list_info(void)
      |               ^~~~~~~~~~~~~       
main.c:5462:3: warning: ‘free’ called on unallocated object ‘_a5315_149264_main_1’ [-Wfree-nonheap-object]
 5462 |   return;
      |   ^~~~~~~               
main.c:5315:15: note: declared here
 5315 | static void list_info(void)
      |               ^~~~~~~~~~~~~       
main.c: In function ‘cat’:
main.c:5483:3: warning: ‘free’ called on unallocated object ‘_a5465_153554_main_1’ [-Wfree-nonheap-object]
 5483 |   return;
      |   ^~~~~~~              
main.c:5465:15: note: declared here
 5465 | static void cat(void)
      |               ^~~~~~~             
main.c: In function ‘outb_write’:
main.c:5602:3: warning: ‘free’ called on unallocated object ‘_a5512_154508_main_1’ [-Wfree-nonheap-object]
 5602 |   return;
      |   ^~~~~~~                    
main.c:5512:8: note: declared here
 5512 | static void outb_write(void *dummy )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘outb_check’:
main.c:5699:3: warning: ‘free’ called on unallocated object ‘_a5605_157189_main_1’ [-Wfree-nonheap-object]
 5699 |   return;
      |   ^~~~~~~                    
main.c:5605:8: note: declared here
 5605 | static void outb_check(void *dummy )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘infchk’:
main.c:6814:3: warning: ‘free’ called on unallocated object ‘_a5753_161873_main_1’ [-Wfree-nonheap-object]
 6814 |   return;
      |   ^~~~~~~                   
main.c:5753:10: note: declared here
 5753 | static void infchk(void)
      |          ^~~~~~~~~~~~~~~     
main.c: In function ‘unlzw’:
main.c:6897:7: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_1’ [-Wfree-nonheap-object]
 6897 |       return;
      |       ^~~~~~~                
main.c:6817:15: note: declared here
 6817 | static void unlzw(void)
      |               ^~~~~~~~~           
main.c:6897:7: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_2’ [-Wfree-nonheap-object]
 6897 |       return;
      |       ^~~~~~~                 
main.c:6817:15: note: declared here
 6817 | static void unlzw(void)
      |               ^~~~~~~~~           
main.c:6897:7: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_3’ [-Wfree-nonheap-object]
 6897 |       return;
      |       ^~~~~~~                 
main.c:6817:9: note: declared here
 6817 | static void unlzw(void)
      |         ^~~~~~~~~~~~~~~     
main.c:6901:9: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_1’ [-Wfree-nonheap-object]
 6901 |         return;
      |         ^~~~~~~                
main.c:6817:15: note: declared here
 6817 | static void unlzw(void)
      |               ^~~~~~~~~           
main.c:6901:9: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_2’ [-Wfree-nonheap-object]
 6901 |         return;
      |         ^~~~~~~                 
main.c:6817:15: note: declared here
 6817 | static void unlzw(void)
      |               ^~~~~~~~~           
main.c:6901:9: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_3’ [-Wfree-nonheap-object]
 6901 |         return;
      |         ^~~~~~~                 
main.c:6817:9: note: declared here
 6817 | static void unlzw(void)
      |         ^~~~~~~~~~~~~~~     
main.c:7085:3: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_1’ [-Wfree-nonheap-object]
 7085 |   return;
      |   ^~~~~~~                
main.c:6817:15: note: declared here
 6817 | static void unlzw(void)
      |               ^~~~~~~~~           
main.c:7085:3: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_2’ [-Wfree-nonheap-object]
 7085 |   return;
      |   ^~~~~~~                 
main.c:6817:15: note: declared here
 6817 | static void unlzw(void)
      |               ^~~~~~~~~           
main.c:7085:3: warning: ‘free’ called on unallocated object ‘_a6817_191531_main_3’ [-Wfree-nonheap-object]
 7085 |   return;
      |   ^~~~~~~                 
main.c:6817:9: note: declared here
 6817 | static void unlzw(void)
      |         ^~~~~~~~~~~~~~~     
main.c: In function ‘copymeta’:
main.c:7116:5: warning: ‘free’ called on unallocated object ‘_a7103_198484_main_1’ [-Wfree-nonheap-object]
 7116 |     return (-4);
      |     ^~~~~~~~~~~~           
main.c:7103:16: note: declared here
 7103 | static int copymeta(char *from , char *to )
      |                ^~~~~~~~~~~~~~~~~~~~
main.c:7116:5: warning: ‘free’ called on unallocated object ‘_a7103_198484_main_2’ [-Wfree-nonheap-object]
 7116 |     return (-4);
      |     ^~~~~~~~~~~~        
main.c:7103:13: note: declared here
 7103 | static int copymeta(char *from , char *to )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7119:7: warning: ‘free’ called on unallocated object ‘_a7103_198484_main_1’ [-Wfree-nonheap-object]
 7119 |     return (-4);
      |       ^~~~~~~~~~             
main.c:7103:16: note: declared here
 7103 | static int copymeta(char *from , char *to )
      |                ^~~~~~~~~~~~~~~~~~~~
main.c:7119:7: warning: ‘free’ called on unallocated object ‘_a7103_198484_main_2’ [-Wfree-nonheap-object]
 7119 |     return (-4);
      |       ^~~~~~~~~~          
main.c:7103:13: note: declared here
 7103 | static int copymeta(char *from , char *to )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7131:3: warning: ‘free’ called on unallocated object ‘_a7103_198484_main_1’ [-Wfree-nonheap-object]
 7131 |   return (ret);
      |   ^~~~~~~~~~~~~          
main.c:7103:16: note: declared here
 7103 | static int copymeta(char *from , char *to )
      |                ^~~~~~~~~~~~~~~~~~~~
main.c:7131:3: warning: ‘free’ called on unallocated object ‘_a7103_198484_main_2’ [-Wfree-nonheap-object]
 7131 |   return (ret);
      |   ^~~~~~~~~~~~~       
main.c:7103:13: note: declared here
 7103 | static int copymeta(char *from , char *to )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘touch’:
main.c:7144:3: warning: ‘free’ called on unallocated object ‘_a7134_199259_main_1’ [-Wfree-nonheap-object]
 7144 |   return;
      |   ^~~~~~~                
main.c:7134:16: note: declared here
 7134 | static void touch(char *path , time_t t )
      |                ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘process’:
main.c:7324:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7324 |         return;
      |         ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7324:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7324 |         return;
      |         ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7324:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7324 |         return;
      |         ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7324:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7324 |         return;
      |         ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7324:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7324 |         return;
      |         ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7333:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7333 |             return;
      |             ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7333:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7333 |             return;
      |             ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7333:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7333 |             return;
      |             ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7333:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7333 |             return;
      |             ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7333:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7333 |             return;
      |             ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7342:11: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7342 |           return;
      |           ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7342:11: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7342 |           return;
      |           ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7342:11: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7342 |           return;
      |           ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7342:11: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7342 |           return;
      |           ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7342:11: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7342 |           return;
      |           ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7349:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7349 |         return;
      |         ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7349:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7349 |         return;
      |         ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7349:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7349 |         return;
      |         ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7349:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7349 |         return;
      |         ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7349:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7349 |         return;
      |         ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7358:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7358 |         return;
      |         ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7358:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7358 |         return;
      |         ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7358:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7358 |         return;
      |         ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7358:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7358 |         return;
      |         ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7358:9: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7358 |         return;
      |         ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7401:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7401 |       return;
      |       ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7401:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7401 |       return;
      |       ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7401:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7401 |       return;
      |       ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7401:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7401 |       return;
      |       ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7401:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7401 |       return;
      |       ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7412:15: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7412 |               return;
      |               ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7412:15: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7412 |               return;
      |               ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7412:15: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7412 |               return;
      |               ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7412:15: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7412 |               return;
      |               ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7412:15: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7412 |               return;
      |               ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7425:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7425 |             return;
      |             ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7425:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7425 |             return;
      |             ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7425:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7425 |             return;
      |             ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7425:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7425 |             return;
      |             ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7425:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7425 |             return;
      |             ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7454:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7454 |       return;
      |       ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7454:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7454 |       return;
      |       ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7454:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7454 |       return;
      |       ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7454:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7454 |       return;
      |       ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7454:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7454 |       return;
      |       ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7502:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7502 |           return;
      |             ^~~~~                          
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7502:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7502 |           return;
      |             ^~~~~                      
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7502:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7502 |           return;
      |             ^~~~~                 
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7502:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7502 |           return;
      |             ^~~~~                 
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7502:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7502 |           return;
      |             ^~~~~               
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7596:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7596 |       return;
      |       ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7596:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7596 |       return;
      |       ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7596:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7596 |       return;
      |       ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7596:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7596 |       return;
      |       ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7596:7: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7596 |       return;
      |       ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7707:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7707 |           return;
      |             ^~~~~                          
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7707:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7707 |           return;
      |             ^~~~~                      
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7707:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7707 |           return;
      |             ^~~~~                 
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7707:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7707 |           return;
      |             ^~~~~                 
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7707:13: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7707 |           return;
      |             ^~~~~               
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c:7880:3: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_1’ [-Wfree-nonheap-object]
 7880 |   return;
      |   ^~~~~~~                        
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7880:3: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_2’ [-Wfree-nonheap-object]
 7880 |   return;
      |   ^~~~~~~                    
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7880:3: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_3’ [-Wfree-nonheap-object]
 7880 |   return;
      |   ^~~~~~~               
main.c:7175:8: note: declared here
 7175 | static void process(char *path )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c:7880:3: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_4’ [-Wfree-nonheap-object]
 7880 |   return;
      |   ^~~~~~~               
main.c:7175:7: note: declared here
 7175 | static void process(char *path )
      |       ^~~~~~~~~~~~~~~~~~~~
main.c:7880:3: warning: ‘free’ called on unallocated object ‘_a7175_200214_main_5’ [-Wfree-nonheap-object]
 7880 |   return;
      |   ^~~~~~~             
main.c:7175:13: note: declared here
 7175 | static void process(char *path )
      |             ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘option’:
main.c:8061:5: warning: ‘free’ called on unallocated object ‘_a8036_227433_main_1’ [-Wfree-nonheap-object]
 8061 |     return (1);
      |     ^~~~~~~~~~~          
main.c:8036:6: note: declared here
 8036 | static int option(char *arg )
      |      ^~~~~~~~~~~~~~~~~~~~
main.c:8066:7: warning: ‘free’ called on unallocated object ‘_a8036_227433_main_1’ [-Wfree-nonheap-object]
 8066 |       return (0);
      |       ^~~~~~~~~~~          
main.c:8036:6: note: declared here
 8036 | static int option(char *arg )
      |      ^~~~~~~~~~~~~~~~~~~~
main.c:8256:7: warning: ‘free’ called on unallocated object ‘_a8036_227433_main_1’ [-Wfree-nonheap-object]
 8256 |       return (1);
      |       ^~~~~~~~~~~          
main.c:8036:6: note: declared here
 8036 | static int option(char *arg )
      |      ^~~~~~~~~~~~~~~~~~~~
main.c:8314:5: warning: ‘free’ called on unallocated object ‘_a8036_227433_main_1’ [-Wfree-nonheap-object]
 8314 |     return (1);
      |     ^~~~~~~~~~~          
main.c:8036:6: note: declared here
 8036 | static int option(char *arg )
      |      ^~~~~~~~~~~~~~~~~~~~
main.c:8316:3: warning: ‘free’ called on unallocated object ‘_a8036_227433_main_1’ [-Wfree-nonheap-object]
 8316 |   return (0);
      |   ^~~~~~~~~~~          
main.c:8036:6: note: declared here
 8036 | static int option(char *arg )
      |      ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘main’:
main.c:8650:3: warning: ‘free’ called on unallocated object ‘_a8327_234179_main_1’ [-Wfree-nonheap-object]
 8650 |   return (g.ret);
      |   ^~~~~~~~~~~~~~~            
main.c:8327:8: note: declared here
 8327 | int main(int argc , char **argv )
      |        ^~~~~~~~~~~~~~~~~~~~
main.c: In function ‘ignition’:
main.c:9107:3: warning: ‘free’ called on unallocated object ‘_a9072_257242_main_1’ [-Wfree-nonheap-object]
 9107 |   return ((void *)0);
      |   ^~~~~~~~~~~~~~~~~~~           
main.c:9072:24: note: declared here
 9072 | static void *ignition(void *arg )
      |                        ^~~~~~~~~~          
main.c: In function ‘launch_’:
main.c:9152:3: warning: ‘free’ called on unallocated object ‘_a9110_258185_main_1’ [-Wfree-nonheap-object]
 9152 |   return (th);
      |   ^~~~~~~~~~~~          
main.c:9110:16: note: declared here
 9110 | thread *launch_(void (*probe)(void * ) , void *payload , char const   *file , long line )
      |                ^~~~~~~~~~~~~~~~~~~~
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:40:43 UTC 2024
WARNING: tempfile is deprecated; consider using mktemp instead.
reserved status file: /tmp//temp.status5YhUY7
running analysis on ./tmp.17b5xXAdf7/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.17b5xXAdf7/ciltrees -r -u benchexec -st /tmp//temp.status5YhUY7 -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
Resizing VID/CKEY cache to: 2742
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.status5YhUY7 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.17b5xXAdf7/ciltrees/.pta_results.anders
Old PTA results loaded
Reached end of ./tmp.17b5xXAdf7/ciltrees/calls.anders call graph file
Num funcs: 184
Scc_cg: Pruned 98 funcs w/out bodies for scc DAG
summary database will use:
	./tmp.17b5xXAdf7/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 pthread_mutex_unlock:1262.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:1261.f
Initializing summary rs_scc
BS: Not doing any post-reboot cleanup
SH: initEscapeable found (1, 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) #64
=================================
Summarizing function: crc32z : 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: crc32z:233.f
=======

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

SS Sum:
 |-> $SSTOP
SIZES: 233.f : 34
>>> PROGRESS 1/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 107.f : 91
>>> PROGRESS 2/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #70
=================================
Summarizing function: message : 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: message:94.f
=======

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

SS Sum:
 |-> $SSBOT
SIZES: 94.f : 34
>>> PROGRESS 3/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> Vval: 0
SIZES: 97.f : 34
>>> PROGRESS 4/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 91.f : 34
>>> PROGRESS 5/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #84
=================================
Summarizing function: try_throw_ : 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: try_throw_:92.f
=======

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

SS Sum:
 |-> $SSBOT
SIZES: 92.f : 91
>>> PROGRESS 6/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 1181.f : 91
>>> PROGRESS 7/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #77
=================================
Summarizing function: fail : 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: fail:1268.f
=======

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

SS Sum:
 |-> $SSBOT
SIZES: 1268.f : 91
>>> PROGRESS 8/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 81.f : 166
>>> PROGRESS 9/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 80.f : 1113
>>> PROGRESS 10/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 78.f : 951
>>> PROGRESS 11/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 228.f : 34
>>> PROGRESS 12/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	outb_check	0	0	14	15	

SS Sum:
 |-> $SSBOT
SIZES: 859.f : 34
>>> PROGRESS 13/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> Vval: len
SIZES: 139.f : 34
>>> PROGRESS 14/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	outb_write	0	0	13	15	

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

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

Prev GAPostCache hits: 0	misses: 0

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

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

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

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #6
=================================
Summarizing function: reenter : 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: reenter:1327.f
=======

SUMS (nm, lo, un, wr, re):	reenter	0	0	9	11	

SS Sum:
 |-> $SSBOT
SIZES: 1327.f : 346
>>> PROGRESS 17/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #3
=================================
Summarizing function: ignition : main.c
-----
doing symstate
[Er]: SS call: *(capsule->probe) returned 0 fun(s)
Prev ldiffCache hits: 34	misses: 5

Prev GAPostCache hits: 0	misses: 0

doing lockset
[Er]: call: *(capsule->probe) returned 0 fun(s)
doing guarded access
=================================
Finished an SCC (1)
=================================
Summary for function: ignition:1336.f
=======

SUMS (nm, lo, un, wr, re):	ignition	0	0	9	12	

SS Sum:
 |-> Vval: 0
SIZES: 1336.f : 414
>>> PROGRESS 18/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 79.f : 951
>>> PROGRESS 19/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 493.f : 34
>>> PROGRESS 20/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 130.f : 34
>>> PROGRESS 21/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	join_	0	0	6	9	

SS Sum:
 |-> $SSBOT
SIZES: 75.f : 128
>>> PROGRESS 22/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 1277.f : 34
>>> PROGRESS 23/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	launch_	0	0	11	5	

SS Sum:
 |-> $SSTOP
SIZES: 74.f : 34
>>> PROGRESS 24/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #52
=================================
Summarizing function: new_lock_ : 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: new_lock_:77.f
=======

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

SS Sum:
 |-> $SSTOP
SIZES: 77.f : 34
>>> PROGRESS 25/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

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

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	load	0	0	22	23	

SS Sum:
 |-> $SSTOP
SIZES: 494.f : 34
>>> PROGRESS 27/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	inb	0	0	23	23	

SS Sum:
 |-> $SSTOP
SIZES: 837.f : 83
>>> PROGRESS 28/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 82.f : 115
>>> PROGRESS 29/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #5
=================================
Summarizing function: load_read : 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: load_read:481.f
=======

SUMS (nm, lo, un, wr, re):	load_read	0	0	14	16	

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

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 1059.f : 34
>>> PROGRESS 31/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 1055.f : 34
>>> PROGRESS 32/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #11
=================================
Summarizing function: unlzw : 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: unlzw:997.f
=======

SUMS (nm, lo, un, wr, re):	unlzw	0	0	27	31	

SS Sum:
 |-> $SSBOT
SIZES: 997.f : 34
>>> PROGRESS 33/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	load_end	0	0	13	16	

SS Sum:
 |-> $SSBOT
SIZES: 495.f : 34
>>> PROGRESS 34/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> Mustptr (lv = _a543_19624_main_1)
SIZES: 104.f : 34
>>> PROGRESS 35/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #22
=================================
Summarizing function: get_space : 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: get_space:274.f
=======

SUMS (nm, lo, un, wr, re):	get_space	0	0	14	12	

SS Sum:
 |-> $SSTOP
SIZES: 274.f : 704
>>> PROGRESS 36/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 110.f : 34
>>> PROGRESS 37/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #36
=================================
Summarizing function: grow_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: grow_space:279.f
=======

SUMS (nm, lo, un, wr, re):	grow_space	0	0	6	3	

SS Sum:
 |-> $SSBOT
SIZES: 279.f : 261
>>> PROGRESS 38/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #17
=================================
Summarizing function: append_len : 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: append_len:394.f
=======

SUMS (nm, lo, un, wr, re):	append_len	0	0	18	16	

SS Sum:
 |-> $SSBOT
SIZES: 394.f : 174
>>> PROGRESS 39/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	use_space	0	0	5	6	

SS Sum:
 |-> $SSBOT
SIZES: 283.f : 278
>>> PROGRESS 40/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 270.f : 386
>>> PROGRESS 41/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	setup_jobs	0	0	30	7	

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

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	drop_space	0	0	7	9	

SS Sum:
 |-> $SSBOT
SIZES: 286.f : 413
>>> PROGRESS 43/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	parallel_compress	0	0	58	45	

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

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	vmemcpy	0	0	6	3	

SS Sum:
 |-> Vval: off + len
SIZES: 115.f : 249
>>> PROGRESS 45/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #14
=================================
Summarizing function: vstrcpy : main.c
-----
doing symstate
[Er]: substExp encountered unknown exp: off + len
Prev ldiffCache hits: 12	misses: 2

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	vstrcpy	0	0	6	3	

SS Sum:
 |-> $SSTOP
SIZES: 123.f : 249
>>> PROGRESS 46/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

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

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 1035.f : 34
>>> PROGRESS 48/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #19
=================================
Summarizing function: in_init : 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: in_init:496.f
=======

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

SS Sum:
 |-> $SSBOT
SIZES: 496.f : 34
>>> PROGRESS 49/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
FUN TIMES : 
  FUN:997.f : 0.0145668983459
  FUN:408.f : 0.00612711906433
  FUN:744.f : 0.00489807128906
  FUN:481.f : 0.00267601013184
  FUN:848.f : 0.00153303146362
  FUN:859.f : 0.00130105018616
  FUN:494.f : 0.00101613998413
  FUN:274.f : 0.000944852828979
  FUN:74.f : 0.000876903533936
  FUN:286.f : 0.000859975814819
  FUN:495.f : 0.000820875167847
  FUN:394.f : 0.000808000564575
  FUN:1327.f : 0.000700950622559
  FUN:92.f : 0.000695943832397
  FUN:1336.f : 0.000576972961426
  FUN:75.f : 0.000566005706787
  FUN:81.f : 0.000555992126465
  FUN:233.f : 0.000545978546143
  FUN:77.f : 0.000540971755981
  FUN:1041.f : 0.000504970550537
  FUN:139.f : 0.000485181808472
  FUN:83.f : 0.000483989715576
  FUN:115.f : 0.000481128692627
  FUN:130.f : 0.000458955764771
  FUN:305.f : 0.000450134277344
  FUN:837.f : 0.000442981719971
  FUN:80.f : 0.000437021255493
  FUN:1059.f : 0.000422954559326
  FUN:283.f : 0.000419139862061
  FUN:279.f : 0.000380039215088
  FUN:493.f : 0.000354051589966
  FUN:123.f : 0.000341892242432
  FUN:1268.f : 0.000331878662109
  FUN:270.f : 0.000313997268677
  FUN:79.f : 0.000306129455566
  FUN:78.f : 0.000304937362671
  FUN:107.f : 0.000288009643555
  FUN:228.f : 0.000281095504761
  FUN:1277.f : 0.000277996063232
  FUN:91.f : 0.000262975692749
  FUN:1035.f : 0.000262022018433
  FUN:104.f : 0.000240087509155
  FUN:1181.f : 0.000236988067627
  FUN:97.f : 0.000231027603149
  FUN:1055.f : 0.000231027603149
  FUN:94.f : 0.000211000442505
  FUN:110.f : 0.000192880630493
  FUN:82.f : 0.000173091888428
  FUN:496.f : 0.000153064727783
  FUN:1267.f : 0.000148773193359
TOTAL: 0.050721
=================================
Finished an SCC (1)
=================================
Summary for function: more_zip_entries:744.f
=======

SUMS (nm, lo, un, wr, re):	more_zip_entries	0	0	24	30	

SS Sum:
 |-> $SSTOP
SIZES: 744.f : 34
>>> PROGRESS 50/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> Vval: (val & 2147483647UL) - (val & 2147483648UL)
SIZES: 505.f : 34
>>> PROGRESS 51/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #29
=================================
Summarizing function: read_extra : 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: read_extra:507.f
=======

SUMS (nm, lo, un, wr, re):	read_extra	0	0	26	26	

SS Sum:
 |-> $SSTOP
SIZES: 507.f : 34
>>> PROGRESS 52/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	dos2time	0	0	7	0	

SS Sum:
 |-> $SSTOP
SIZES: 498.f : 34
>>> PROGRESS 53/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	get_header	0	0	40	31	

SS Sum:
 |-> $SSTOP
SIZES: 579.f : 34
>>> PROGRESS 54/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

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

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #54
=================================
Summarizing function: show_info : 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: show_info:800.f
=======

SUMS (nm, lo, un, wr, re):	show_info	0	0	3	11	

SS Sum:
 |-> $SSBOT
SIZES: 800.f : 34
>>> PROGRESS 56/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #18
=================================
Summarizing function: list_info : main.c
-----
doing symstate
[Er]: eval bin op, operands are non-Vval
[Er]: eval PlusA, not used as pointer arith
[Er]: eval bin op, operands are non-Vval
[Er]: eval PlusA, not used as pointer arith
[Er]: eval bin op, operands are non-Vval
[Er]: eval PlusA, not used as pointer arith
[Er]: eval bin op, operands are non-Vval
[Er]: eval PlusA, not used as pointer arith
Prev ldiffCache hits: 31	misses: 2

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	list_info	0	0	45	46	

SS Sum:
 |-> $SSBOT
SIZES: 819.f : 34
>>> PROGRESS 57/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> Vval: 0
SIZES: 100.f : 34
>>> PROGRESS 58/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	cat	0	0	24	27	

SS Sum:
 |-> $SSBOT
SIZES: 833.f : 34
>>> PROGRESS 59/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	outb	0	1	21	23	

SS Sum:
 |-> Vval: 0
SIZES: 873.f : 142
>>> PROGRESS 60/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 263.f : 34
>>> PROGRESS 61/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #63
=================================
Summarizing function: multmodp : 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: multmodp:246.f
=======

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

SS Sum:
 |-> $SSTOP
SIZES: 246.f : 34
>>> PROGRESS 62/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #62
=================================
Summarizing function: x2nmodp : 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: x2nmodp:252.f
=======

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

SS Sum:
 |-> $SSTOP
SIZES: 252.f : 34
>>> PROGRESS 63/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #61
=================================
Summarizing function: crc32_comb : 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: crc32_comb:256.f
=======

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

SS Sum:
 |-> $SSTOP
SIZES: 256.f : 34
>>> PROGRESS 64/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	infchk	0	1	59	60	

SS Sum:
 |-> $SSBOT
SIZES: 880.f : 142
>>> PROGRESS 65/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 238.f : 34
>>> PROGRESS 66/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #67
=================================
Summarizing function: time2dos : 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: time2dos:152.f
=======

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

SS Sum:
 |-> $SSTOP
SIZES: 152.f : 34
>>> PROGRESS 67/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	put	0	0	5	3	

SS Sum:
 |-> $SSTOP
SIZES: 156.f : 34
>>> PROGRESS 68/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	put_trailer	0	0	5	15	

SS Sum:
 |-> $SSBOT
SIZES: 197.f : 34
>>> PROGRESS 69/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	put_header	0	0	6	19	

SS Sum:
 |-> $SSTOP
SIZES: 172.f : 34
>>> PROGRESS 70/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	single_compress	0	0	22	39	

SS Sum:
 |-> $SSBOT
SIZES: 430.f : 34
>>> PROGRESS 71/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
Summarizing function: process : main.c
-----
doing symstate
Prev ldiffCache hits: 1680	misses: 11

Prev GAPostCache hits: 0	misses: 0

doing lockset
doing guarded access
Summarizing function: process : main.c
-----
doing symstate
Prev ldiffCache hits: 2126	misses: 17

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	process	0	1	149	141	

SS Sum:
 |-> $SSBOT
SIZES: 1065.f : 142
>>> PROGRESS 72/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 1161.f : 168
>>> PROGRESS 73/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 1153.f : 34
>>> PROGRESS 74/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #24
=================================
Summarizing function: option : 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: option:1165.f
=======

SUMS (nm, lo, un, wr, re):	option	0	0	30	14	

SS Sum:
 |-> $SSTOP
SIZES: 1165.f : 134
>>> PROGRESS 75/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	free_pool	0	0	5	10	

SS Sum:
 |-> $SSTOP
SIZES: 290.f : 435
>>> PROGRESS 76/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	join_all_	0	0	6	10	

SS Sum:
 |-> $SSTOP
SIZES: 76.f : 34
>>> PROGRESS 77/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	finish_jobs	0	0	17	29	

SS Sum:
 |-> $SSBOT
SIZES: 307.f : 34
>>> PROGRESS 78/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	new_opts	0	0	35	65	

SS Sum:
 |-> $SSBOT
SIZES: 1160.f : 34
>>> PROGRESS 79/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSTOP
SIZES: 1155.f : 34
>>> PROGRESS 80/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #46
=================================
Summarizing function: defaults : 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: defaults:1158.f
=======

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

SS Sum:
 |-> $SSBOT
SIZES: 1158.f : 34
>>> PROGRESS 81/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	main	0	1	184	154	

SS Sum:
 |-> $SSTOP
SIZES: 1184.f : 461
>>> PROGRESS 82/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	deflate_engine	0	0	9	7	

SS Sum:
 |-> $SSBOT
SIZES: 310.f : 707
>>> PROGRESS 83/86 SCCs DONE!

=================================
getting next SCC from server
Acquiring needed summaries
=================================
Starting an SCC (1) #20
=================================
Summarizing function: compress_thread : 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: compress_thread:321.f
=======

SUMS (nm, lo, un, wr, re):	compress_thread	0	0	44	47	

SS Sum:
 |-> $SSBOT
SIZES: 321.f : 34
>>> PROGRESS 84/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

SUMS (nm, lo, un, wr, re):	write_thread	0	0	17	44	

SS Sum:
 |-> $SSBOT
SIZES: 371.f : 34
>>> PROGRESS 85/86 SCCs DONE!

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

Prev GAPostCache hits: 0	misses: 0

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

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

SS Sum:
 |-> $SSBOT
SIZES: 1222.f : 34
>>> PROGRESS 86/86 SCCs DONE!

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



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

doing symstate
Prev ldiffCache hits: 29	misses: 2

doing symstate
now checking thread roots: ignition(1336.f), ignition(1336.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: 29	misses: 2

doing symstate
now checking thread roots: ignition(1184.f), main(1184.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
done with pair, sending notification
checking a thread-creation pair
Prev ldiffCache hits: 29	misses: 2

doing symstate
now checking thread roots: ignition(837.f), inb(837.f)
done with pair, sending notification
checking a thread-creation pair
now checking thread roots: main(1184.f), main(1184.f)
done with pair, sending notification
checking a thread-creation pair
now checking thread roots: main(837.f), inb(837.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
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: inb(837.f), inb(837.f)
done with pair, sending notification
completed all thread pairs
Sorting races

Printing races

****
Possible race between access to:

yarn_prefix @ main.c:8806 and
yarn_prefix @ main.c:8806
	Cluster ID: 26
	Escapes? true / true 
	Accessed at locs:
	[main.c:8405:(1184.f)] and
	[main.c:8813:(1268.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(2)
LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(3)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

yarn_abort @ main.c:8807 and
yarn_abort @ main.c:8807
	Cluster ID: 27
	Escapes? true / true 
	Accessed at locs:
	[main.c:8406:(1184.f)] and
	[main.c:8842:(1268.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(2)
LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(3)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

g.in_eof @ main.c:500 and
g.in_eof @ main.c:500
	Cluster ID: 46
	Escapes? true / true 
	Accessed at locs:
	[main.c:2854:(494.f), main.c:2887:(494.f)] and
	[main.c:2854:(494.f), main.c:2887:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_eof @ main.c:500 and
g.in_eof @ main.c:500
	Cluster ID: 100
	Escapes? true / true 
	Accessed at locs:
	[main.c:3046:(507.f), main.c:3066:(507.f), main.c:3087:(507.f), main.c:3107:(507.f), main.c:3127:(507.f), main.c:3140:(507.f), main.c:3160:(507.f), main.c:3181:(507.f), main.c:3201:(507.f), main.c:3240:(507.f), main.c:3260:(507.f), main.c:3281:(507.f), main.c:3301:(507.f), main.c:3359:(507.f), main.c:3379:(507.f), main.c:3400:(507.f), main.c:3420:(507.f), main.c:3447:(507.f), main.c:3468:(507.f), main.c:3488:(507.f), main.c:3509:(507.f), main.c:3529:(507.f), main.c:3743:(579.f), main.c:3762:(579.f), main.c:3768:(579.f), main.c:3788:(579.f), main.c:3803:(579.f), main.c:3823:(579.f), main.c:3843:(579.f), main.c:3870:(579.f), main.c:3890:(579.f), main.c:3914:(579.f), main.c:3934:(579.f), main.c:3961:(579.f), main.c:3981:(579.f), main.c:4002:(579.f), main.c:4022:(579.f), main.c:4058:(579.f), main.c:4078:(579.f), main.c:4099:(579.f), main.c:4119:(579.f), main.c:4140:(579.f), main.c:4160:(579.f), main.c:4181:(579.f), main.c:4201:(579.f), main.c:4222:(579.f), main.c:4242:(579.f), main.c:4263:(579.f), main.c:4283:(579.f), main.c:4304:(579.f), main.c:4324:(579.f), main.c:4345:(579.f), main.c:4365:(579.f), main.c:4386:(579.f), main.c:4425:(579.f), main.c:4439:(579.f), main.c:4461:(579.f), main.c:4487:(579.f), main.c:4509:(579.f), main.c:4532:(579.f), main.c:4554:(579.f), main.c:4611:(579.f), main.c:4633:(579.f), main.c:4701:(579.f), main.c:4760:(579.f), main.c:4789:(579.f), main.c:4809:(579.f), main.c:4833:(579.f), main.c:4880:(744.f), main.c:4900:(744.f), main.c:4921:(744.f), main.c:4941:(744.f), main.c:4961:(744.f), main.c:5922:(880.f), main.c:5942:(880.f), main.c:5963:(880.f), main.c:5983:(880.f), main.c:6004:(880.f), main.c:6024:(880.f), main.c:6045:(880.f), main.c:6065:(880.f), main.c:6086:(880.f), main.c:6106:(880.f), main.c:6127:(880.f), main.c:6147:(880.f), main.c:6186:(880.f), main.c:6206:(880.f), main.c:6227:(880.f), main.c:6247:(880.f), main.c:6273:(880.f), main.c:6293:(880.f), main.c:6314:(880.f), main.c:6334:(880.f), main.c:6355:(880.f), main.c:6375:(880.f), main.c:6396:(880.f), main.c:6416:(880.f), main.c:6436:(880.f), main.c:6455:(880.f), main.c:6476:(880.f), main.c:6497:(880.f), main.c:6518:(880.f), main.c:6538:(880.f), main.c:6546:(880.f), main.c:6566:(880.f), main.c:6587:(880.f), main.c:6607:(880.f), main.c:6628:(880.f), main.c:6648:(880.f), main.c:6669:(880.f), main.c:6689:(880.f), main.c:6709:(880.f), main.c:6797:(880.f), main.c:6810:(880.f), main.c:6860:(997.f), main.c:6896:(997.f), main.c:6910:(997.f), main.c:6940:(997.f), main.c:6968:(997.f), main.c:6984:(997.f)] and
	[main.c:2854:(494.f), main.c:2887:(494.f)]

	Confidence: Syntactic

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

Different possible paths & LS (first 4):

****
Possible race between access to:

g.in_left @ main.c:500 and
g.in_left @ main.c:500
	Cluster ID: 47
	Escapes? true / true 
	Accessed at locs:
	[main.c:2855:(494.f), main.c:2870:(494.f), main.c:2882:(494.f), main.c:5503:(837.f)] and
	[main.c:2855:(494.f), main.c:2870:(494.f), main.c:2882:(494.f), main.c:5503:(837.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_left @ main.c:500 and
g.in_left @ main.c:500
	Cluster ID: 74
	Escapes? true / true 
	Accessed at locs:
	[main.c:2855:(494.f), main.c:2870:(494.f), main.c:2882:(494.f), main.c:5503:(837.f)] and
	[main.c:2884:(494.f), main.c:2886:(494.f), main.c:2890:(494.f), main.c:2891:(494.f), main.c:5492:(837.f), main.c:5496:(837.f), main.c:5499:(837.f), main.c:5503:(837.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_next @ main.c:500 and
g.in_next @ main.c:500
	Cluster ID: 48
	Escapes? true / true 
	Accessed at locs:
	[main.c:2866:(494.f), main.c:2868:(494.f), main.c:2881:(494.f), main.c:5502:(837.f)] and
	[main.c:2866:(494.f), main.c:2868:(494.f), main.c:2881:(494.f), main.c:5502:(837.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_next @ main.c:500 and
g.in_next @ main.c:500
	Cluster ID: 75
	Escapes? true / true 
	Accessed at locs:
	[main.c:2866:(494.f), main.c:2868:(494.f), main.c:2881:(494.f), main.c:5502:(837.f)] and
	[main.c:2882:(494.f), main.c:5495:(837.f), main.c:5502:(837.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_short @ main.c:500 and
g.in_short @ main.c:500
	Cluster ID: 76
	Escapes? true / true 
	Accessed at locs:
	[main.c:2885:(494.f)] and
	[main.c:2853:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_short @ main.c:500 and
g.in_short @ main.c:500
	Cluster ID: 49
	Escapes? true / true 
	Accessed at locs:
	[main.c:2885:(494.f)] and
	[main.c:2885:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_tot @ main.c:500 and
g.in_tot @ main.c:500
	Cluster ID: 50
	Escapes? true / true 
	Accessed at locs:
	[main.c:2890:(494.f)] and
	[main.c:2890:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_which @ main.c:500 and
g.in_which @ main.c:500
	Cluster ID: 78
	Escapes? true / true 
	Accessed at locs:
	[main.c:2860:(494.f), main.c:2872:(494.f), main.c:2878:(494.f)] and
	[main.c:2839:(493.f), main.c:2859:(494.f), main.c:2865:(494.f), main.c:2872:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_which @ main.c:500 and
g.in_which @ main.c:500
	Cluster ID: 52
	Escapes? true / true 
	Accessed at locs:
	[main.c:2860:(494.f), main.c:2872:(494.f), main.c:2878:(494.f)] and
	[main.c:2860:(494.f), main.c:2872:(494.f), main.c:2878:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.in_which @ main.c:500 and
g.in_which @ main.c:500
	Cluster ID: 77
	Escapes? true / true 
	Accessed at locs:
	[main.c:8387:(1184.f)] and
	[main.c:2839:(493.f), main.c:2859:(494.f), main.c:2865:(494.f), main.c:2872:(494.f)]

	Confidence: Syntactic

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

Different possible paths & LS (first 4):

****
Possible race between access to:

g.in_which @ main.c:500 and
g.in_which @ main.c:500
	Cluster ID: 51
	Escapes? true / true 
	Accessed at locs:
	[main.c:8387:(1184.f)] and
	[main.c:2860:(494.f), main.c:2872:(494.f), main.c:2878:(494.f)]

	Confidence: Syntactic

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

Different possible paths & LS (first 4):

****
Possible race between access to:

g.ind @ main.c:500 and
g.ind @ main.c:500
	Cluster ID: 79
	Escapes? true / true 
	Accessed at locs:
	[main.c:7261:(1065.f), main.c:7431:(1065.f)] and
	[main.c:2882:(494.f)]

	Confidence: Syntactic

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

Different possible paths & LS (first 4):

****
Possible race between access to:

g.inf @ main.c:500 and
g.inf @ main.c:500
	Cluster ID: 81
	Escapes? true / true 
	Accessed at locs:
	[main.c:620:(115.f), main.c:627:(115.f), main.c:8606:(1184.f)] and
	[main.c:661:(130.f)]

	Confidence: Syntactic

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

Different possible paths & LS (first 4):

****
Possible race between access to:

g.inf @ main.c:500 and
g.inf @ main.c:500
	Cluster ID: 80
	Escapes? true / true 
	Accessed at locs:
	[main.c:8385:(1184.f)] and
	[main.c:661:(130.f)]

	Confidence: Syntactic

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

Different possible paths & LS (first 4):

****
Possible race between access to:

g.load_state @ main.c:500 and
g.load_state @ main.c:500
	Cluster ID: 82
	Escapes? true / true 
	Accessed at locs:
	[main.c:2861:(494.f)] and
	[main.c:2842:(493.f), main.c:2873:(494.f), main.c:2877:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.load_state @ main.c:500 and
g.load_state @ main.c:500
	Cluster ID: 83
	Escapes? true / true 
	Accessed at locs:
	[main.c:2861:(494.f)] and
	[main.c:2843:(493.f), main.c:2844:(493.f), main.c:2874:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
****
Possible race between access to:

g.load_state @ main.c:500 and
g.load_state @ main.c:500
	Cluster ID: 53
	Escapes? true / true 
	Accessed at locs:
	[main.c:2861:(494.f)] and
	[main.c:2861:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.load_thread @ main.c:500 and
g.load_thread @ main.c:500
	Cluster ID: 54
	Escapes? true / true 
	Accessed at locs:
	[main.c:2862:(494.f)] and
	[main.c:2862:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.load_thread @ main.c:500 and
g.load_thread @ main.c:500
	Cluster ID: 84
	Escapes? true / true 
	Accessed at locs:
	[main.c:2862:(494.f)] and
	[main.c:2876:(494.f)]

	Confidence: Syntactic

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

g.procs @ main.c:500 and
g.procs @ main.c:500
	Cluster ID: 85
	Escapes? true / true 
	Accessed at locs:
	[main.c:7931:(1158.f), main.c:8282:(1165.f)] and
	[main.c:2858:(494.f)]

	Confidence: Syntactic

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

Different possible paths & LS (first 4):

****
Possible race between access to:

(*((*argv))) @ main.c:8327 and
[REP: 2]
	Cluster ID: 104
	Escapes? true / true 
	Accessed at locs:
	[main.c:8055:(1165.f), main.c:8063:(1165.f), main.c:8065:(1165.f), main.c:8068:(1165.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes ptSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 0] and
[REP: 0]
	Cluster ID: 93
	Escapes? true / true 
	Accessed at locs:
	[main.c:7296:(1065.f)] and
	[main.c:659:(130.f), main.c:661:(130.f)]

	Confidence: used PTA nodes lblSet(0, 0)

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

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 1].ball.code and
[REP: 1].ball.code
	Cluster ID: 0
	Escapes? true / true 
	Accessed at locs:
	[main.c:8741:(92.f)] and
	[main.c:8741:(92.f)]

	Confidence: used PTA nodes lblSet(1, 1)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(2)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: main.c:9139 258959 w/ func: ignition
(3)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: main.c:9139 258959 w/ func: ignition
****
Possible race between access to:

[REP: 1].ball.free and
[REP: 1].ball.free
	Cluster ID: 1
	Escapes? true / true 
	Accessed at locs:
	[main.c:8743:(92.f), main.c:8765:(92.f)] and
	[main.c:8743:(92.f), main.c:8765:(92.f)]

	Confidence: used PTA nodes lblSet(1, 1)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(2)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: main.c:9139 258959 w/ func: ignition
(3)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: main.c:9139 258959 w/ func: ignition
****
Possible race between access to:

[REP: 1].ball.ret and
[REP: 1].ball.ret
	Cluster ID: 2
	Escapes? true / true 
	Accessed at locs:
	[main.c:8739:(92.f)] and
	[main.c:8739:(92.f)]

	Confidence: used PTA nodes lblSet(1, 1)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(2)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: main.c:9139 258959 w/ func: ignition
(3)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: main.c:9139 258959 w/ func: ignition
****
Possible race between access to:

[REP: 1].ball.why and
[REP: 1].ball.why
	Cluster ID: 3
	Escapes? true / true 
	Accessed at locs:
	[main.c:8745:(92.f), main.c:8759:(92.f), main.c:8767:(92.f)] and
	[main.c:8745:(92.f), main.c:8759:(92.f), main.c:8767:(92.f)]

	Confidence: used PTA nodes lblSet(1, 1)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(2)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: main.c:9139 258959 w/ func: ignition
(3)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: main.c:9139 258959 w/ func: ignition
****
Possible race between access to:

compress_head @ main.c:1392 and
[REP: 2]
	Cluster ID: 88
	Escapes? true / true 
	Accessed at locs:
	[main.c:1430:(307.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

compress_head @ main.c:1392 and
[REP: 2]
	Cluster ID: 57
	Escapes? true / true 
	Accessed at locs:
	[main.c:1430:(307.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
threads @ main.c:9031
	Cluster ID: 96
	Escapes? true / true 
	Accessed at locs:
	[main.c:2269:(408.f)] and
	[main.c:9149:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
threads @ main.c:9031
	Cluster ID: 65
	Escapes? true / true 
	Accessed at locs:
	[main.c:2269:(408.f)] and
	[main.c:9150:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 99
	Escapes? true / true 
	Accessed at locs:
	[main.c:2269:(408.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 68
	Escapes? true / true 
	Accessed at locs:
	[main.c:2269:(408.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2].value and
[REP: 2].value
	Cluster ID: 28
	Escapes? true / true 
	Accessed at locs:
	[main.c:8933:(80.f), main.c:8961:(81.f), main.c:8970:(81.f), main.c:8979:(81.f), main.c:8988:(81.f), main.c:9004:(82.f)] and
	[main.c:8891:(77.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
LS for 1st access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(2)
LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
	lval 1: threads_lock.value
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(3)
LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
	lval 1: threads_lock.value
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

_a543_19624_main_1 @ main.c:538 and
[REP: 2]
	Cluster ID: 86
	Escapes? true / true 
	Accessed at locs:
	[main.c:783:(156.f), main.c:792:(156.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

_a543_19624_main_1 @ main.c:538 and
[REP: 2]
	Cluster ID: 55
	Escapes? true / true 
	Accessed at locs:
	[main.c:783:(156.f), main.c:792:(156.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

compress_head @ main.c:1392 and
[REP: 2]
	Cluster ID: 87
	Escapes? true / true 
	Accessed at locs:
	[main.c:1407:(305.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

compress_head @ main.c:1392 and
[REP: 2]
	Cluster ID: 56
	Escapes? true / true 
	Accessed at locs:
	[main.c:1407:(305.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

write_head @ main.c:1395 and
[REP: 2]
	Cluster ID: 89
	Escapes? true / true 
	Accessed at locs:
	[main.c:1410:(305.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

write_head @ main.c:1395 and
[REP: 2]
	Cluster ID: 58
	Escapes? true / true 
	Accessed at locs:
	[main.c:1410:(305.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

_a5315_149264_main_1 @ main.c:5315 and
[REP: 2]
	Cluster ID: 102
	Escapes? true / true 
	Accessed at locs:
	[main.c:5385:(819.f), main.c:5459:(819.f), main.c:5460:(819.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

_a7175_200214_main_3 @ main.c:7175 and
[REP: 2]
	Cluster ID: 101
	Escapes? true / true 
	Accessed at locs:
	[main.c:614:(115.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	lval 1: _a3584_105569_main_2
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
	lval 1: _a3584_105569_main_1
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
****
Possible race between access to:

_a7175_200214_main_3 @ main.c:7175 and
[REP: 2]
	Cluster ID: 90
	Escapes? true / true 
	Accessed at locs:
	[main.c:624:(115.f), main.c:628:(115.f), main.c:7354:(1065.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	lval 1: _a3584_105569_main_2
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
	lval 1: _a3584_105569_main_1
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
****
Possible race between access to:

_a7175_200214_main_3 @ main.c:7175 and
[REP: 2]
	Cluster ID: 59
	Escapes? true / true 
	Accessed at locs:
	[main.c:624:(115.f), main.c:628:(115.f), main.c:7354:(1065.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	lval 1: _a3584_105569_main_2
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
	lval 1: _a3584_105569_main_1
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
****
Possible race between access to:

_a7175_200214_main_4 @ main.c:7175 and
[REP: 2]
	Cluster ID: 103
	Escapes? true / true 
	Accessed at locs:
	[main.c:618:(115.f), main.c:619:(115.f), main.c:626:(115.f), main.c:630:(115.f), main.c:7394:(1065.f), main.c:7396:(1065.f), main.c:7400:(1065.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

_a7175_200214_main_4 @ main.c:7175 and
[REP: 2]
	Cluster ID: 91
	Escapes? true / true 
	Accessed at locs:
	[main.c:620:(115.f), main.c:627:(115.f), main.c:7353:(1065.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

_a7175_200214_main_4 @ main.c:7175 and
[REP: 2]
	Cluster ID: 60
	Escapes? true / true 
	Accessed at locs:
	[main.c:620:(115.f), main.c:627:(115.f), main.c:7353:(1065.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

threads_lock.value @ main.c:9029 and
[REP: 2].value
	Cluster ID: 5
	Escapes? true / true 
	Accessed at locs:
	[main.c:8930:(80.f), main.c:8933:(80.f)] and
	[main.c:8930:(80.f), main.c:8933:(80.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

threads_lock.value @ main.c:9029 and
[REP: 2].value
	Cluster ID: 18
	Escapes? true / true 
	Accessed at locs:
	[main.c:8933:(80.f)] and
	[main.c:8930:(80.f), main.c:8933:(80.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(2)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(3)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

threads_lock.value @ main.c:9029 and
[REP: 2].value
	Cluster ID: 61
	Escapes? true / true 
	Accessed at locs:
	[main.c:9184:(75.f)] and
	[main.c:8891:(77.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
LS for 1st access:
L+ = empty;
	lval 1: [REP: 2].value
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	lval 2: threads_lock.value
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(2)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
****
Possible race between access to:

threads_lock.value @ main.c:9029 and
[REP: 2].value
	Cluster ID: 62
	Escapes? true / true 
	Accessed at locs:
	[main.c:9184:(75.f)] and
	[main.c:8930:(80.f), main.c:8933:(80.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	lval 1: [REP: 2].value
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	lval 2: threads_lock.value
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(2)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
****
Possible race between access to:

threads_lock.value @ main.c:9029 and
[REP: 2].value
	Cluster ID: 92
	Escapes? true / true 
	Accessed at locs:
	[main.c:9184:(75.f)] and
	[main.c:8933:(80.f), main.c:8961:(81.f), main.c:8970:(81.f), main.c:8979:(81.f), main.c:8988:(81.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	lval 1: [REP: 2].value
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	lval 2: threads_lock.value
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
LS for 1st access:
L+ = empty;
	lval 1: [REP: 2].value
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	lval 2: threads_lock.value
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(2)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
****
Possible race between access to:

threads @ main.c:9031 and
[REP: 2]
	Cluster ID: 30
	Escapes? true / true 
	Accessed at locs:
	[main.c:9062:(1327.f), main.c:9064:(1327.f)] and
	[main.c:2078:(394.f), main.c:2084:(394.f), main.c:2087:(394.f), main.c:2093:(394.f), main.c:2096:(394.f), main.c:2099:(394.f), main.c:2104:(394.f), main.c:2107:(394.f), main.c:2110:(394.f), main.c:2113:(394.f), main.c:4407:(579.f), main.c:5072:(744.f), main.c:5076:(744.f), main.c:7322:(1065.f), main.c:7399:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

threads @ main.c:9031 and
[REP: 2]
	Cluster ID: 31
	Escapes? true / true 
	Accessed at locs:
	[main.c:9062:(1327.f), main.c:9064:(1327.f)] and
	[main.c:2269:(408.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

threads @ main.c:9031 and
[REP: 2]
	Cluster ID: 29
	Escapes? true / true 
	Accessed at locs:
	[main.c:9062:(1327.f), main.c:9064:(1327.f)] and
	[main.c:8440:(1184.f), main.c:8482:(1184.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

threads @ main.c:9031 and
[REP: 2]
	Cluster ID: 7
	Escapes? true / true 
	Accessed at locs:
	[main.c:9065:(1327.f)] and
	[main.c:2078:(394.f), main.c:2084:(394.f), main.c:2087:(394.f), main.c:2093:(394.f), main.c:2096:(394.f), main.c:2099:(394.f), main.c:2104:(394.f), main.c:2107:(394.f), main.c:2110:(394.f), main.c:2113:(394.f), main.c:4407:(579.f), main.c:5072:(744.f), main.c:5076:(744.f), main.c:7322:(1065.f), main.c:7399:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

threads @ main.c:9031 and
[REP: 2]
	Cluster ID: 20
	Escapes? true / true 
	Accessed at locs:
	[main.c:9065:(1327.f)] and
	[main.c:2169:(408.f), main.c:2188:(408.f), main.c:2455:(430.f), main.c:3056:(507.f), main.c:3063:(507.f), main.c:3076:(507.f), main.c:3083:(507.f), main.c:3097:(507.f), main.c:3104:(507.f), main.c:3117:(507.f), main.c:3124:(507.f), main.c:3150:(507.f), main.c:3157:(507.f), main.c:3170:(507.f), main.c:3177:(507.f), main.c:3191:(507.f), main.c:3198:(507.f), main.c:3211:(507.f), main.c:3218:(507.f), main.c:3250:(507.f), main.c:3257:(507.f), main.c:3270:(507.f), main.c:3277:(507.f), main.c:3291:(507.f), main.c:3298:(507.f), main.c:3311:(507.f), main.c:3318:(507.f), main.c:3369:(507.f), main.c:3376:(507.f), main.c:3389:(507.f), main.c:3396:(507.f), main.c:3410:(507.f), main.c:3417:(507.f), main.c:3430:(507.f), main.c:3437:(507.f), main.c:3457:(507.f), main.c:3464:(507.f), main.c:3478:(507.f), main.c:3485:(507.f), main.c:3498:(507.f), main.c:3505:(507.f), main.c:3519:(507.f), main.c:3526:(507.f), main.c:3539:(507.f), main.c:3546:(507.f), main.c:3753:(579.f), main.c:3760:(579.f), main.c:3778:(579.f), main.c:3785:(579.f), main.c:3813:(579.f), main.c:3820:(579.f), main.c:3833:(579.f), main.c:3840:(579.f), main.c:3880:(579.f), main.c:3887:(579.f), main.c:3900:(579.f), main.c:3907:(579.f), main.c:3924:(579.f), main.c:3931:(579.f), main.c:3944:(579.f), main.c:3951:(579.f), main.c:3971:(579.f), main.c:3978:(579.f), main.c:3991:(579.f), main.c:3998:(579.f), main.c:4012:(579.f), main.c:4019:(579.f), main.c:4032:(579.f), main.c:4039:(579.f), main.c:4068:(579.f), main.c:4075:(579.f), main.c:4088:(579.f), main.c:4095:(579.f), main.c:4109:(579.f), main.c:4116:(579.f), main.c:4129:(579.f), main.c:4136:(579.f), main.c:4150:(579.f), main.c:4157:(579.f), main.c:4170:(579.f), main.c:4177:(579.f), main.c:4191:(579.f), main.c:4198:(579.f), main.c:4211:(579.f), main.c:4218:(579.f), main.c:4232:(579.f), main.c:4239:(579.f), main.c:4252:(579.f), main.c:4259:(579.f), main.c:4273:(579.f), main.c:4280:(579.f), main.c:4293:(579.f), main.c:4300:(579.f), main.c:4314:(579.f), main.c:4321:(579.f), main.c:4334:(579.f), main.c:4341:(579.f), main.c:4355:(579.f), main.c:4362:(579.f), main.c:4375:(579.f), main.c:4382:(579.f), main.c:4450:(579.f), main.c:4458:(579.f), main.c:4472:(579.f), main.c:4480:(579.f), main.c:4498:(579.f), main.c:4506:(579.f), main.c:4520:(579.f), main.c:4528:(579.f), main.c:4543:(579.f), main.c:4551:(579.f), main.c:4565:(579.f), main.c:4573:(579.f), main.c:4622:(579.f), main.c:4630:(579.f), main.c:4644:(579.f), main.c:4652:(579.f), main.c:4712:(579.f), main.c:4720:(579.f), main.c:4771:(579.f), main.c:4779:(579.f), main.c:4799:(579.f), main.c:4806:(579.f), main.c:4819:(579.f), main.c:4826:(579.f), main.c:4890:(744.f), main.c:4897:(744.f), main.c:4910:(744.f), main.c:4917:(744.f), main.c:4931:(744.f), main.c:4938:(744.f), main.c:4951:(744.f), main.c:4958:(744.f), main.c:5001:(744.f), main.c:5071:(744.f), main.c:5373:(819.f), main.c:5932:(880.f), main.c:5939:(880.f), main.c:5952:(880.f), main.c:5959:(880.f), main.c:5973:(880.f), main.c:5980:(880.f), main.c:5993:(880.f), main.c:6000:(880.f), main.c:6014:(880.f), main.c:6021:(880.f), main.c:6034:(880.f), main.c:6041:(880.f), main.c:6055:(880.f), main.c:6062:(880.f), main.c:6075:(880.f), main.c:6082:(880.f), main.c:6096:(880.f), main.c:6103:(880.f), main.c:6116:(880.f), main.c:6123:(880.f), main.c:6137:(880.f), main.c:6144:(880.f), main.c:6157:(880.f), main.c:6164:(880.f), main.c:6196:(880.f), main.c:6203:(880.f), main.c:6216:(880.f), main.c:6223:(880.f), main.c:6237:(880.f), main.c:6244:(880.f), main.c:6257:(880.f), main.c:6264:(880.f), main.c:6283:(880.f), main.c:6290:(880.f), main.c:6303:(880.f), main.c:6310:(880.f), main.c:6324:(880.f), main.c:6331:(880.f), main.c:6344:(880.f), main.c:6351:(880.f), main.c:6365:(880.f), main.c:6372:(880.f), main.c:6385:(880.f), main.c:6392:(880.f), main.c:6406:(880.f), main.c:6413:(880.f), main.c:6426:(880.f), main.c:6433:(880.f), main.c:6465:(880.f), main.c:6472:(880.f), main.c:6486:(880.f), main.c:6493:(880.f), main.c:6507:(880.f), main.c:6514:(880.f), main.c:6528:(880.f), main.c:6535:(880.f), main.c:6556:(880.f), main.c:6563:(880.f), main.c:6576:(880.f), main.c:6583:(880.f), main.c:6597:(880.f), main.c:6604:(880.f), main.c:6617:(880.f), main.c:6624:(880.f), main.c:6638:(880.f), main.c:6645:(880.f), main.c:6658:(880.f), main.c:6665:(880.f), main.c:6679:(880.f), main.c:6686:(880.f), main.c:6699:(880.f), main.c:6706:(880.f), main.c:6872:(997.f), main.c:6908:(997.f), main.c:6922:(997.f), main.c:6980:(997.f), main.c:6996:(997.f), main.c:7383:(1065.f), main.c:7393:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

threads @ main.c:9031 and
[REP: 2]
	Cluster ID: 8
	Escapes? true / true 
	Accessed at locs:
	[main.c:9065:(1327.f)] and
	[main.c:2269:(408.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

threads @ main.c:9031 and
[REP: 2]
	Cluster ID: 19
	Escapes? true / true 
	Accessed at locs:
	[main.c:9065:(1327.f)] and
	[main.c:8010:(1161.f), main.c:8014:(1161.f), main.c:8017:(1161.f), main.c:8021:(1161.f), main.c:8025:(1161.f), main.c:8027:(1161.f), main.c:8055:(1165.f), main.c:8063:(1165.f), main.c:8065:(1165.f), main.c:8068:(1165.f), main.c:8093:(1165.f), main.c:8095:(1165.f), main.c:8096:(1165.f), main.c:8097:(1165.f), main.c:8098:(1165.f), main.c:8099:(1165.f), main.c:8100:(1165.f), main.c:8101:(1165.f), main.c:8102:(1165.f), main.c:8103:(1165.f), main.c:8104:(1165.f), main.c:8105:(1165.f), main.c:8107:(1165.f), main.c:8108:(1165.f), main.c:8115:(1165.f), main.c:8120:(1165.f), main.c:8129:(1165.f), main.c:8132:(1165.f), main.c:8135:(1165.f), main.c:8138:(1165.f), main.c:8141:(1165.f), main.c:8144:(1165.f), main.c:8147:(1165.f), main.c:8151:(1165.f), main.c:8158:(1165.f), main.c:8161:(1165.f), main.c:8164:(1165.f), main.c:8167:(1165.f), main.c:8170:(1165.f), main.c:8173:(1165.f), main.c:8181:(1165.f), main.c:8184:(1165.f), main.c:8188:(1165.f), main.c:8191:(1165.f), main.c:8194:(1165.f), main.c:8197:(1165.f), main.c:8203:(1165.f), main.c:8206:(1165.f), main.c:8209:(1165.f), main.c:8212:(1165.f), main.c:8215:(1165.f), main.c:8218:(1165.f), main.c:8221:(1165.f), main.c:8222:(1165.f), main.c:8225:(1165.f), main.c:8228:(1165.f), main.c:8231:(1165.f), main.c:8234:(1165.f), main.c:8237:(1165.f), main.c:8240:(1165.f), main.c:8243:(1165.f), main.c:8251:(1165.f), main.c:8255:(1165.f), main.c:8294:(1165.f), main.c:8399:(1184.f), main.c:8415:(1184.f), main.c:8417:(1184.f), main.c:8418:(1184.f), main.c:8426:(1184.f), main.c:8427:(1184.f), main.c:8428:(1184.f), main.c:8439:(1184.f), main.c:8457:(1184.f), main.c:8459:(1184.f), main.c:8460:(1184.f), main.c:8468:(1184.f), main.c:8469:(1184.f), main.c:8470:(1184.f), main.c:8481:(1184.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

threads @ main.c:9031 and
[REP: 2]
	Cluster ID: 6
	Escapes? true / true 
	Accessed at locs:
	[main.c:9065:(1327.f)] and
	[main.c:8440:(1184.f), main.c:8482:(1184.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
_a543_19624_main_1 @ main.c:538
	Cluster ID: 32
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:783:(156.f), main.c:792:(156.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
_a543_19624_main_1 @ main.c:538
	Cluster ID: 9
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:783:(156.f), main.c:792:(156.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
compress_head @ main.c:1392
	Cluster ID: 33
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:1407:(305.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
compress_head @ main.c:1392
	Cluster ID: 34
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:1430:(307.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
compress_head @ main.c:1392
	Cluster ID: 10
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:1407:(305.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
compress_head @ main.c:1392
	Cluster ID: 11
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:1430:(307.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
write_head @ main.c:1395
	Cluster ID: 35
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:1410:(305.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
write_head @ main.c:1395
	Cluster ID: 12
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:1410:(305.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
_a5315_149264_main_1 @ main.c:5315
	Cluster ID: 22
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:5385:(819.f), main.c:5459:(819.f), main.c:5460:(819.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
_a7175_200214_main_3 @ main.c:7175
	Cluster ID: 36
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:624:(115.f), main.c:628:(115.f), main.c:7354:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
	lval 2: _a3584_105569_main_2
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
	lval 2: _a3584_105569_main_1
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

[REP: 2] and
_a7175_200214_main_3 @ main.c:7175
	Cluster ID: 21
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:614:(115.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
	lval 2: _a3584_105569_main_2
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
	lval 2: _a3584_105569_main_1
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

[REP: 2] and
_a7175_200214_main_3 @ main.c:7175
	Cluster ID: 13
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:624:(115.f), main.c:628:(115.f), main.c:7354:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

(0)
	lval 2: _a3584_105569_main_2
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
(1)
	lval 2: _a3584_105569_main_1
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

[REP: 2] and
_a7175_200214_main_4 @ main.c:7175
	Cluster ID: 37
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:620:(115.f), main.c:627:(115.f), main.c:7353:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
_a7175_200214_main_4 @ main.c:7175
	Cluster ID: 23
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:618:(115.f), main.c:619:(115.f), main.c:626:(115.f), main.c:630:(115.f), main.c:7394:(1065.f), main.c:7396:(1065.f), main.c:7400:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
_a7175_200214_main_4 @ main.c:7175
	Cluster ID: 14
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:620:(115.f), main.c:627:(115.f), main.c:7353:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
threads @ main.c:9031
	Cluster ID: 95
	Escapes? true / true 
	Accessed at locs:
	[main.c:2078:(394.f), main.c:2084:(394.f), main.c:2087:(394.f), main.c:2093:(394.f), main.c:2096:(394.f), main.c:2099:(394.f), main.c:2104:(394.f), main.c:2107:(394.f), main.c:2110:(394.f), main.c:2113:(394.f), main.c:4407:(579.f), main.c:5072:(744.f), main.c:5076:(744.f), main.c:7322:(1065.f), main.c:7399:(1065.f)] and
	[main.c:9149:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
threads @ main.c:9031
	Cluster ID: 64
	Escapes? true / true 
	Accessed at locs:
	[main.c:2078:(394.f), main.c:2084:(394.f), main.c:2087:(394.f), main.c:2093:(394.f), main.c:2096:(394.f), main.c:2099:(394.f), main.c:2104:(394.f), main.c:2107:(394.f), main.c:2110:(394.f), main.c:2113:(394.f), main.c:4407:(579.f), main.c:5072:(744.f), main.c:5076:(744.f), main.c:7322:(1065.f), main.c:7399:(1065.f)] and
	[main.c:9150:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
threads @ main.c:9031
	Cluster ID: 106
	Escapes? true / true 
	Accessed at locs:
	[main.c:2169:(408.f), main.c:2188:(408.f), main.c:2455:(430.f), main.c:3056:(507.f), main.c:3063:(507.f), main.c:3076:(507.f), main.c:3083:(507.f), main.c:3097:(507.f), main.c:3104:(507.f), main.c:3117:(507.f), main.c:3124:(507.f), main.c:3150:(507.f), main.c:3157:(507.f), main.c:3170:(507.f), main.c:3177:(507.f), main.c:3191:(507.f), main.c:3198:(507.f), main.c:3211:(507.f), main.c:3218:(507.f), main.c:3250:(507.f), main.c:3257:(507.f), main.c:3270:(507.f), main.c:3277:(507.f), main.c:3291:(507.f), main.c:3298:(507.f), main.c:3311:(507.f), main.c:3318:(507.f), main.c:3369:(507.f), main.c:3376:(507.f), main.c:3389:(507.f), main.c:3396:(507.f), main.c:3410:(507.f), main.c:3417:(507.f), main.c:3430:(507.f), main.c:3437:(507.f), main.c:3457:(507.f), main.c:3464:(507.f), main.c:3478:(507.f), main.c:3485:(507.f), main.c:3498:(507.f), main.c:3505:(507.f), main.c:3519:(507.f), main.c:3526:(507.f), main.c:3539:(507.f), main.c:3546:(507.f), main.c:3753:(579.f), main.c:3760:(579.f), main.c:3778:(579.f), main.c:3785:(579.f), main.c:3813:(579.f), main.c:3820:(579.f), main.c:3833:(579.f), main.c:3840:(579.f), main.c:3880:(579.f), main.c:3887:(579.f), main.c:3900:(579.f), main.c:3907:(579.f), main.c:3924:(579.f), main.c:3931:(579.f), main.c:3944:(579.f), main.c:3951:(579.f), main.c:3971:(579.f), main.c:3978:(579.f), main.c:3991:(579.f), main.c:3998:(579.f), main.c:4012:(579.f), main.c:4019:(579.f), main.c:4032:(579.f), main.c:4039:(579.f), main.c:4068:(579.f), main.c:4075:(579.f), main.c:4088:(579.f), main.c:4095:(579.f), main.c:4109:(579.f), main.c:4116:(579.f), main.c:4129:(579.f), main.c:4136:(579.f), main.c:4150:(579.f), main.c:4157:(579.f), main.c:4170:(579.f), main.c:4177:(579.f), main.c:4191:(579.f), main.c:4198:(579.f), main.c:4211:(579.f), main.c:4218:(579.f), main.c:4232:(579.f), main.c:4239:(579.f), main.c:4252:(579.f), main.c:4259:(579.f), main.c:4273:(579.f), main.c:4280:(579.f), main.c:4293:(579.f), main.c:4300:(579.f), main.c:4314:(579.f), main.c:4321:(579.f), main.c:4334:(579.f), main.c:4341:(579.f), main.c:4355:(579.f), main.c:4362:(579.f), main.c:4375:(579.f), main.c:4382:(579.f), main.c:4450:(579.f), main.c:4458:(579.f), main.c:4472:(579.f), main.c:4480:(579.f), main.c:4498:(579.f), main.c:4506:(579.f), main.c:4520:(579.f), main.c:4528:(579.f), main.c:4543:(579.f), main.c:4551:(579.f), main.c:4565:(579.f), main.c:4573:(579.f), main.c:4622:(579.f), main.c:4630:(579.f), main.c:4644:(579.f), main.c:4652:(579.f), main.c:4712:(579.f), main.c:4720:(579.f), main.c:4771:(579.f), main.c:4779:(579.f), main.c:4799:(579.f), main.c:4806:(579.f), main.c:4819:(579.f), main.c:4826:(579.f), main.c:4890:(744.f), main.c:4897:(744.f), main.c:4910:(744.f), main.c:4917:(744.f), main.c:4931:(744.f), main.c:4938:(744.f), main.c:4951:(744.f), main.c:4958:(744.f), main.c:5001:(744.f), main.c:5071:(744.f), main.c:5373:(819.f), main.c:5932:(880.f), main.c:5939:(880.f), main.c:5952:(880.f), main.c:5959:(880.f), main.c:5973:(880.f), main.c:5980:(880.f), main.c:5993:(880.f), main.c:6000:(880.f), main.c:6014:(880.f), main.c:6021:(880.f), main.c:6034:(880.f), main.c:6041:(880.f), main.c:6055:(880.f), main.c:6062:(880.f), main.c:6075:(880.f), main.c:6082:(880.f), main.c:6096:(880.f), main.c:6103:(880.f), main.c:6116:(880.f), main.c:6123:(880.f), main.c:6137:(880.f), main.c:6144:(880.f), main.c:6157:(880.f), main.c:6164:(880.f), main.c:6196:(880.f), main.c:6203:(880.f), main.c:6216:(880.f), main.c:6223:(880.f), main.c:6237:(880.f), main.c:6244:(880.f), main.c:6257:(880.f), main.c:6264:(880.f), main.c:6283:(880.f), main.c:6290:(880.f), main.c:6303:(880.f), main.c:6310:(880.f), main.c:6324:(880.f), main.c:6331:(880.f), main.c:6344:(880.f), main.c:6351:(880.f), main.c:6365:(880.f), main.c:6372:(880.f), main.c:6385:(880.f), main.c:6392:(880.f), main.c:6406:(880.f), main.c:6413:(880.f), main.c:6426:(880.f), main.c:6433:(880.f), main.c:6465:(880.f), main.c:6472:(880.f), main.c:6486:(880.f), main.c:6493:(880.f), main.c:6507:(880.f), main.c:6514:(880.f), main.c:6528:(880.f), main.c:6535:(880.f), main.c:6556:(880.f), main.c:6563:(880.f), main.c:6576:(880.f), main.c:6583:(880.f), main.c:6597:(880.f), main.c:6604:(880.f), main.c:6617:(880.f), main.c:6624:(880.f), main.c:6638:(880.f), main.c:6645:(880.f), main.c:6658:(880.f), main.c:6665:(880.f), main.c:6679:(880.f), main.c:6686:(880.f), main.c:6699:(880.f), main.c:6706:(880.f), main.c:6872:(997.f), main.c:6908:(997.f), main.c:6922:(997.f), main.c:6980:(997.f), main.c:6996:(997.f), main.c:7383:(1065.f), main.c:7393:(1065.f)] and
	[main.c:9150:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
threads @ main.c:9031
	Cluster ID: 105
	Escapes? true / true 
	Accessed at locs:
	[main.c:8010:(1161.f), main.c:8014:(1161.f), main.c:8017:(1161.f), main.c:8021:(1161.f), main.c:8025:(1161.f), main.c:8027:(1161.f), main.c:8055:(1165.f), main.c:8063:(1165.f), main.c:8065:(1165.f), main.c:8068:(1165.f), main.c:8093:(1165.f), main.c:8095:(1165.f), main.c:8096:(1165.f), main.c:8097:(1165.f), main.c:8098:(1165.f), main.c:8099:(1165.f), main.c:8100:(1165.f), main.c:8101:(1165.f), main.c:8102:(1165.f), main.c:8103:(1165.f), main.c:8104:(1165.f), main.c:8105:(1165.f), main.c:8107:(1165.f), main.c:8108:(1165.f), main.c:8115:(1165.f), main.c:8120:(1165.f), main.c:8129:(1165.f), main.c:8132:(1165.f), main.c:8135:(1165.f), main.c:8138:(1165.f), main.c:8141:(1165.f), main.c:8144:(1165.f), main.c:8147:(1165.f), main.c:8151:(1165.f), main.c:8158:(1165.f), main.c:8161:(1165.f), main.c:8164:(1165.f), main.c:8167:(1165.f), main.c:8170:(1165.f), main.c:8173:(1165.f), main.c:8181:(1165.f), main.c:8184:(1165.f), main.c:8188:(1165.f), main.c:8191:(1165.f), main.c:8194:(1165.f), main.c:8197:(1165.f), main.c:8203:(1165.f), main.c:8206:(1165.f), main.c:8209:(1165.f), main.c:8212:(1165.f), main.c:8215:(1165.f), main.c:8218:(1165.f), main.c:8221:(1165.f), main.c:8222:(1165.f), main.c:8225:(1165.f), main.c:8228:(1165.f), main.c:8231:(1165.f), main.c:8234:(1165.f), main.c:8237:(1165.f), main.c:8240:(1165.f), main.c:8243:(1165.f), main.c:8251:(1165.f), main.c:8255:(1165.f), main.c:8294:(1165.f), main.c:8399:(1184.f), main.c:8415:(1184.f), main.c:8417:(1184.f), main.c:8418:(1184.f), main.c:8426:(1184.f), main.c:8427:(1184.f), main.c:8428:(1184.f), main.c:8439:(1184.f), main.c:8457:(1184.f), main.c:8459:(1184.f), main.c:8460:(1184.f), main.c:8468:(1184.f), main.c:8469:(1184.f), main.c:8470:(1184.f), main.c:8481:(1184.f)] and
	[main.c:9150:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
threads @ main.c:9031
	Cluster ID: 94
	Escapes? true / true 
	Accessed at locs:
	[main.c:8440:(1184.f), main.c:8482:(1184.f)] and
	[main.c:9149:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
threads @ main.c:9031
	Cluster ID: 63
	Escapes? true / true 
	Accessed at locs:
	[main.c:8440:(1184.f), main.c:8482:(1184.f)] and
	[main.c:9150:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 98
	Escapes? true / true 
	Accessed at locs:
	[main.c:2078:(394.f), main.c:2084:(394.f), main.c:2087:(394.f), main.c:2093:(394.f), main.c:2096:(394.f), main.c:2099:(394.f), main.c:2104:(394.f), main.c:2107:(394.f), main.c:2110:(394.f), main.c:2113:(394.f), main.c:4407:(579.f), main.c:5072:(744.f), main.c:5076:(744.f), main.c:7322:(1065.f), main.c:7399:(1065.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 67
	Escapes? true / true 
	Accessed at locs:
	[main.c:2078:(394.f), main.c:2084:(394.f), main.c:2087:(394.f), main.c:2093:(394.f), main.c:2096:(394.f), main.c:2099:(394.f), main.c:2104:(394.f), main.c:2107:(394.f), main.c:2110:(394.f), main.c:2113:(394.f), main.c:4407:(579.f), main.c:5072:(744.f), main.c:5076:(744.f), main.c:7322:(1065.f), main.c:7399:(1065.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 108
	Escapes? true / true 
	Accessed at locs:
	[main.c:2169:(408.f), main.c:2188:(408.f), main.c:2455:(430.f), main.c:3056:(507.f), main.c:3063:(507.f), main.c:3076:(507.f), main.c:3083:(507.f), main.c:3097:(507.f), main.c:3104:(507.f), main.c:3117:(507.f), main.c:3124:(507.f), main.c:3150:(507.f), main.c:3157:(507.f), main.c:3170:(507.f), main.c:3177:(507.f), main.c:3191:(507.f), main.c:3198:(507.f), main.c:3211:(507.f), main.c:3218:(507.f), main.c:3250:(507.f), main.c:3257:(507.f), main.c:3270:(507.f), main.c:3277:(507.f), main.c:3291:(507.f), main.c:3298:(507.f), main.c:3311:(507.f), main.c:3318:(507.f), main.c:3369:(507.f), main.c:3376:(507.f), main.c:3389:(507.f), main.c:3396:(507.f), main.c:3410:(507.f), main.c:3417:(507.f), main.c:3430:(507.f), main.c:3437:(507.f), main.c:3457:(507.f), main.c:3464:(507.f), main.c:3478:(507.f), main.c:3485:(507.f), main.c:3498:(507.f), main.c:3505:(507.f), main.c:3519:(507.f), main.c:3526:(507.f), main.c:3539:(507.f), main.c:3546:(507.f), main.c:3753:(579.f), main.c:3760:(579.f), main.c:3778:(579.f), main.c:3785:(579.f), main.c:3813:(579.f), main.c:3820:(579.f), main.c:3833:(579.f), main.c:3840:(579.f), main.c:3880:(579.f), main.c:3887:(579.f), main.c:3900:(579.f), main.c:3907:(579.f), main.c:3924:(579.f), main.c:3931:(579.f), main.c:3944:(579.f), main.c:3951:(579.f), main.c:3971:(579.f), main.c:3978:(579.f), main.c:3991:(579.f), main.c:3998:(579.f), main.c:4012:(579.f), main.c:4019:(579.f), main.c:4032:(579.f), main.c:4039:(579.f), main.c:4068:(579.f), main.c:4075:(579.f), main.c:4088:(579.f), main.c:4095:(579.f), main.c:4109:(579.f), main.c:4116:(579.f), main.c:4129:(579.f), main.c:4136:(579.f), main.c:4150:(579.f), main.c:4157:(579.f), main.c:4170:(579.f), main.c:4177:(579.f), main.c:4191:(579.f), main.c:4198:(579.f), main.c:4211:(579.f), main.c:4218:(579.f), main.c:4232:(579.f), main.c:4239:(579.f), main.c:4252:(579.f), main.c:4259:(579.f), main.c:4273:(579.f), main.c:4280:(579.f), main.c:4293:(579.f), main.c:4300:(579.f), main.c:4314:(579.f), main.c:4321:(579.f), main.c:4334:(579.f), main.c:4341:(579.f), main.c:4355:(579.f), main.c:4362:(579.f), main.c:4375:(579.f), main.c:4382:(579.f), main.c:4450:(579.f), main.c:4458:(579.f), main.c:4472:(579.f), main.c:4480:(579.f), main.c:4498:(579.f), main.c:4506:(579.f), main.c:4520:(579.f), main.c:4528:(579.f), main.c:4543:(579.f), main.c:4551:(579.f), main.c:4565:(579.f), main.c:4573:(579.f), main.c:4622:(579.f), main.c:4630:(579.f), main.c:4644:(579.f), main.c:4652:(579.f), main.c:4712:(579.f), main.c:4720:(579.f), main.c:4771:(579.f), main.c:4779:(579.f), main.c:4799:(579.f), main.c:4806:(579.f), main.c:4819:(579.f), main.c:4826:(579.f), main.c:4890:(744.f), main.c:4897:(744.f), main.c:4910:(744.f), main.c:4917:(744.f), main.c:4931:(744.f), main.c:4938:(744.f), main.c:4951:(744.f), main.c:4958:(744.f), main.c:5001:(744.f), main.c:5071:(744.f), main.c:5373:(819.f), main.c:5932:(880.f), main.c:5939:(880.f), main.c:5952:(880.f), main.c:5959:(880.f), main.c:5973:(880.f), main.c:5980:(880.f), main.c:5993:(880.f), main.c:6000:(880.f), main.c:6014:(880.f), main.c:6021:(880.f), main.c:6034:(880.f), main.c:6041:(880.f), main.c:6055:(880.f), main.c:6062:(880.f), main.c:6075:(880.f), main.c:6082:(880.f), main.c:6096:(880.f), main.c:6103:(880.f), main.c:6116:(880.f), main.c:6123:(880.f), main.c:6137:(880.f), main.c:6144:(880.f), main.c:6157:(880.f), main.c:6164:(880.f), main.c:6196:(880.f), main.c:6203:(880.f), main.c:6216:(880.f), main.c:6223:(880.f), main.c:6237:(880.f), main.c:6244:(880.f), main.c:6257:(880.f), main.c:6264:(880.f), main.c:6283:(880.f), main.c:6290:(880.f), main.c:6303:(880.f), main.c:6310:(880.f), main.c:6324:(880.f), main.c:6331:(880.f), main.c:6344:(880.f), main.c:6351:(880.f), main.c:6365:(880.f), main.c:6372:(880.f), main.c:6385:(880.f), main.c:6392:(880.f), main.c:6406:(880.f), main.c:6413:(880.f), main.c:6426:(880.f), main.c:6433:(880.f), main.c:6465:(880.f), main.c:6472:(880.f), main.c:6486:(880.f), main.c:6493:(880.f), main.c:6507:(880.f), main.c:6514:(880.f), main.c:6528:(880.f), main.c:6535:(880.f), main.c:6556:(880.f), main.c:6563:(880.f), main.c:6576:(880.f), main.c:6583:(880.f), main.c:6597:(880.f), main.c:6604:(880.f), main.c:6617:(880.f), main.c:6624:(880.f), main.c:6638:(880.f), main.c:6645:(880.f), main.c:6658:(880.f), main.c:6665:(880.f), main.c:6679:(880.f), main.c:6686:(880.f), main.c:6699:(880.f), main.c:6706:(880.f), main.c:6872:(997.f), main.c:6908:(997.f), main.c:6922:(997.f), main.c:6980:(997.f), main.c:6996:(997.f), main.c:7383:(1065.f), main.c:7393:(1065.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 107
	Escapes? true / true 
	Accessed at locs:
	[main.c:8010:(1161.f), main.c:8014:(1161.f), main.c:8017:(1161.f), main.c:8021:(1161.f), main.c:8025:(1161.f), main.c:8027:(1161.f), main.c:8055:(1165.f), main.c:8063:(1165.f), main.c:8065:(1165.f), main.c:8068:(1165.f), main.c:8093:(1165.f), main.c:8095:(1165.f), main.c:8096:(1165.f), main.c:8097:(1165.f), main.c:8098:(1165.f), main.c:8099:(1165.f), main.c:8100:(1165.f), main.c:8101:(1165.f), main.c:8102:(1165.f), main.c:8103:(1165.f), main.c:8104:(1165.f), main.c:8105:(1165.f), main.c:8107:(1165.f), main.c:8108:(1165.f), main.c:8115:(1165.f), main.c:8120:(1165.f), main.c:8129:(1165.f), main.c:8132:(1165.f), main.c:8135:(1165.f), main.c:8138:(1165.f), main.c:8141:(1165.f), main.c:8144:(1165.f), main.c:8147:(1165.f), main.c:8151:(1165.f), main.c:8158:(1165.f), main.c:8161:(1165.f), main.c:8164:(1165.f), main.c:8167:(1165.f), main.c:8170:(1165.f), main.c:8173:(1165.f), main.c:8181:(1165.f), main.c:8184:(1165.f), main.c:8188:(1165.f), main.c:8191:(1165.f), main.c:8194:(1165.f), main.c:8197:(1165.f), main.c:8203:(1165.f), main.c:8206:(1165.f), main.c:8209:(1165.f), main.c:8212:(1165.f), main.c:8215:(1165.f), main.c:8218:(1165.f), main.c:8221:(1165.f), main.c:8222:(1165.f), main.c:8225:(1165.f), main.c:8228:(1165.f), main.c:8231:(1165.f), main.c:8234:(1165.f), main.c:8237:(1165.f), main.c:8240:(1165.f), main.c:8243:(1165.f), main.c:8251:(1165.f), main.c:8255:(1165.f), main.c:8294:(1165.f), main.c:8399:(1184.f), main.c:8415:(1184.f), main.c:8417:(1184.f), main.c:8418:(1184.f), main.c:8426:(1184.f), main.c:8427:(1184.f), main.c:8428:(1184.f), main.c:8439:(1184.f), main.c:8457:(1184.f), main.c:8459:(1184.f), main.c:8460:(1184.f), main.c:8468:(1184.f), main.c:8469:(1184.f), main.c:8470:(1184.f), main.c:8481:(1184.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 97
	Escapes? true / true 
	Accessed at locs:
	[main.c:8440:(1184.f), main.c:8482:(1184.f)] and
	[main.c:9171:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 66
	Escapes? true / true 
	Accessed at locs:
	[main.c:8440:(1184.f), main.c:8482:(1184.f)] and
	[main.c:9186:(75.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {threads_lock.mutex#g:1325} (1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 39
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:2078:(394.f), main.c:2084:(394.f), main.c:2087:(394.f), main.c:2093:(394.f), main.c:2096:(394.f), main.c:2099:(394.f), main.c:2104:(394.f), main.c:2107:(394.f), main.c:2110:(394.f), main.c:2113:(394.f), main.c:4407:(579.f), main.c:5072:(744.f), main.c:5076:(744.f), main.c:7322:(1065.f), main.c:7399:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 40
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:2269:(408.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 38
	Escapes? true / true 
	Accessed at locs:
	[main.c:9048:(1327.f)] and
	[main.c:8440:(1184.f), main.c:8482:(1184.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 16
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:2078:(394.f), main.c:2084:(394.f), main.c:2087:(394.f), main.c:2093:(394.f), main.c:2096:(394.f), main.c:2099:(394.f), main.c:2104:(394.f), main.c:2107:(394.f), main.c:2110:(394.f), main.c:2113:(394.f), main.c:4407:(579.f), main.c:5072:(744.f), main.c:5076:(744.f), main.c:7322:(1065.f), main.c:7399:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 25
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:2169:(408.f), main.c:2188:(408.f), main.c:2455:(430.f), main.c:3056:(507.f), main.c:3063:(507.f), main.c:3076:(507.f), main.c:3083:(507.f), main.c:3097:(507.f), main.c:3104:(507.f), main.c:3117:(507.f), main.c:3124:(507.f), main.c:3150:(507.f), main.c:3157:(507.f), main.c:3170:(507.f), main.c:3177:(507.f), main.c:3191:(507.f), main.c:3198:(507.f), main.c:3211:(507.f), main.c:3218:(507.f), main.c:3250:(507.f), main.c:3257:(507.f), main.c:3270:(507.f), main.c:3277:(507.f), main.c:3291:(507.f), main.c:3298:(507.f), main.c:3311:(507.f), main.c:3318:(507.f), main.c:3369:(507.f), main.c:3376:(507.f), main.c:3389:(507.f), main.c:3396:(507.f), main.c:3410:(507.f), main.c:3417:(507.f), main.c:3430:(507.f), main.c:3437:(507.f), main.c:3457:(507.f), main.c:3464:(507.f), main.c:3478:(507.f), main.c:3485:(507.f), main.c:3498:(507.f), main.c:3505:(507.f), main.c:3519:(507.f), main.c:3526:(507.f), main.c:3539:(507.f), main.c:3546:(507.f), main.c:3753:(579.f), main.c:3760:(579.f), main.c:3778:(579.f), main.c:3785:(579.f), main.c:3813:(579.f), main.c:3820:(579.f), main.c:3833:(579.f), main.c:3840:(579.f), main.c:3880:(579.f), main.c:3887:(579.f), main.c:3900:(579.f), main.c:3907:(579.f), main.c:3924:(579.f), main.c:3931:(579.f), main.c:3944:(579.f), main.c:3951:(579.f), main.c:3971:(579.f), main.c:3978:(579.f), main.c:3991:(579.f), main.c:3998:(579.f), main.c:4012:(579.f), main.c:4019:(579.f), main.c:4032:(579.f), main.c:4039:(579.f), main.c:4068:(579.f), main.c:4075:(579.f), main.c:4088:(579.f), main.c:4095:(579.f), main.c:4109:(579.f), main.c:4116:(579.f), main.c:4129:(579.f), main.c:4136:(579.f), main.c:4150:(579.f), main.c:4157:(579.f), main.c:4170:(579.f), main.c:4177:(579.f), main.c:4191:(579.f), main.c:4198:(579.f), main.c:4211:(579.f), main.c:4218:(579.f), main.c:4232:(579.f), main.c:4239:(579.f), main.c:4252:(579.f), main.c:4259:(579.f), main.c:4273:(579.f), main.c:4280:(579.f), main.c:4293:(579.f), main.c:4300:(579.f), main.c:4314:(579.f), main.c:4321:(579.f), main.c:4334:(579.f), main.c:4341:(579.f), main.c:4355:(579.f), main.c:4362:(579.f), main.c:4375:(579.f), main.c:4382:(579.f), main.c:4450:(579.f), main.c:4458:(579.f), main.c:4472:(579.f), main.c:4480:(579.f), main.c:4498:(579.f), main.c:4506:(579.f), main.c:4520:(579.f), main.c:4528:(579.f), main.c:4543:(579.f), main.c:4551:(579.f), main.c:4565:(579.f), main.c:4573:(579.f), main.c:4622:(579.f), main.c:4630:(579.f), main.c:4644:(579.f), main.c:4652:(579.f), main.c:4712:(579.f), main.c:4720:(579.f), main.c:4771:(579.f), main.c:4779:(579.f), main.c:4799:(579.f), main.c:4806:(579.f), main.c:4819:(579.f), main.c:4826:(579.f), main.c:4890:(744.f), main.c:4897:(744.f), main.c:4910:(744.f), main.c:4917:(744.f), main.c:4931:(744.f), main.c:4938:(744.f), main.c:4951:(744.f), main.c:4958:(744.f), main.c:5001:(744.f), main.c:5071:(744.f), main.c:5373:(819.f), main.c:5932:(880.f), main.c:5939:(880.f), main.c:5952:(880.f), main.c:5959:(880.f), main.c:5973:(880.f), main.c:5980:(880.f), main.c:5993:(880.f), main.c:6000:(880.f), main.c:6014:(880.f), main.c:6021:(880.f), main.c:6034:(880.f), main.c:6041:(880.f), main.c:6055:(880.f), main.c:6062:(880.f), main.c:6075:(880.f), main.c:6082:(880.f), main.c:6096:(880.f), main.c:6103:(880.f), main.c:6116:(880.f), main.c:6123:(880.f), main.c:6137:(880.f), main.c:6144:(880.f), main.c:6157:(880.f), main.c:6164:(880.f), main.c:6196:(880.f), main.c:6203:(880.f), main.c:6216:(880.f), main.c:6223:(880.f), main.c:6237:(880.f), main.c:6244:(880.f), main.c:6257:(880.f), main.c:6264:(880.f), main.c:6283:(880.f), main.c:6290:(880.f), main.c:6303:(880.f), main.c:6310:(880.f), main.c:6324:(880.f), main.c:6331:(880.f), main.c:6344:(880.f), main.c:6351:(880.f), main.c:6365:(880.f), main.c:6372:(880.f), main.c:6385:(880.f), main.c:6392:(880.f), main.c:6406:(880.f), main.c:6413:(880.f), main.c:6426:(880.f), main.c:6433:(880.f), main.c:6465:(880.f), main.c:6472:(880.f), main.c:6486:(880.f), main.c:6493:(880.f), main.c:6507:(880.f), main.c:6514:(880.f), main.c:6528:(880.f), main.c:6535:(880.f), main.c:6556:(880.f), main.c:6563:(880.f), main.c:6576:(880.f), main.c:6583:(880.f), main.c:6597:(880.f), main.c:6604:(880.f), main.c:6617:(880.f), main.c:6624:(880.f), main.c:6638:(880.f), main.c:6645:(880.f), main.c:6658:(880.f), main.c:6665:(880.f), main.c:6679:(880.f), main.c:6686:(880.f), main.c:6699:(880.f), main.c:6706:(880.f), main.c:6872:(997.f), main.c:6908:(997.f), main.c:6922:(997.f), main.c:6980:(997.f), main.c:6996:(997.f), main.c:7383:(1065.f), main.c:7393:(1065.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 17
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:2269:(408.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 24
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:8010:(1161.f), main.c:8014:(1161.f), main.c:8017:(1161.f), main.c:8021:(1161.f), main.c:8025:(1161.f), main.c:8027:(1161.f), main.c:8055:(1165.f), main.c:8063:(1165.f), main.c:8065:(1165.f), main.c:8068:(1165.f), main.c:8093:(1165.f), main.c:8095:(1165.f), main.c:8096:(1165.f), main.c:8097:(1165.f), main.c:8098:(1165.f), main.c:8099:(1165.f), main.c:8100:(1165.f), main.c:8101:(1165.f), main.c:8102:(1165.f), main.c:8103:(1165.f), main.c:8104:(1165.f), main.c:8105:(1165.f), main.c:8107:(1165.f), main.c:8108:(1165.f), main.c:8115:(1165.f), main.c:8120:(1165.f), main.c:8129:(1165.f), main.c:8132:(1165.f), main.c:8135:(1165.f), main.c:8138:(1165.f), main.c:8141:(1165.f), main.c:8144:(1165.f), main.c:8147:(1165.f), main.c:8151:(1165.f), main.c:8158:(1165.f), main.c:8161:(1165.f), main.c:8164:(1165.f), main.c:8167:(1165.f), main.c:8170:(1165.f), main.c:8173:(1165.f), main.c:8181:(1165.f), main.c:8184:(1165.f), main.c:8188:(1165.f), main.c:8191:(1165.f), main.c:8194:(1165.f), main.c:8197:(1165.f), main.c:8203:(1165.f), main.c:8206:(1165.f), main.c:8209:(1165.f), main.c:8212:(1165.f), main.c:8215:(1165.f), main.c:8218:(1165.f), main.c:8221:(1165.f), main.c:8222:(1165.f), main.c:8225:(1165.f), main.c:8228:(1165.f), main.c:8231:(1165.f), main.c:8234:(1165.f), main.c:8237:(1165.f), main.c:8240:(1165.f), main.c:8243:(1165.f), main.c:8251:(1165.f), main.c:8255:(1165.f), main.c:8294:(1165.f), main.c:8399:(1184.f), main.c:8415:(1184.f), main.c:8417:(1184.f), main.c:8418:(1184.f), main.c:8426:(1184.f), main.c:8427:(1184.f), main.c:8428:(1184.f), main.c:8439:(1184.f), main.c:8457:(1184.f), main.c:8459:(1184.f), main.c:8460:(1184.f), main.c:8468:(1184.f), main.c:8469:(1184.f), main.c:8470:(1184.f), main.c:8481:(1184.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2] and
[REP: 2]
	Cluster ID: 15
	Escapes? true / true 
	Accessed at locs:
	[main.c:9063:(1327.f)] and
	[main.c:8440:(1184.f), main.c:8482:(1184.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main

Different possible paths & LS (first 4):

****
Possible race between access to:

[REP: 2].file and
[REP: 2].file
	Cluster ID: 41
	Escapes? true / true 
	Accessed at locs:
	[main.c:9045:(1327.f)] and
	[main.c:9125:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

[REP: 2].file and
[REP: 2].file
	Cluster ID: 42
	Escapes? true / true 
	Accessed at locs:
	[main.c:9059:(1327.f), main.c:9067:(1327.f)] and
	[main.c:9125:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

[REP: 2].file and
[REP: 2].file
	Cluster ID: 69
	Escapes? true / true 
	Accessed at locs:
	[main.c:9125:(74.f)] and
	[main.c:9125:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

[REP: 2].line and
[REP: 2].line
	Cluster ID: 43
	Escapes? true / true 
	Accessed at locs:
	[main.c:9045:(1327.f)] and
	[main.c:9126:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

[REP: 2].line and
[REP: 2].line
	Cluster ID: 44
	Escapes? true / true 
	Accessed at locs:
	[main.c:9059:(1327.f), main.c:9067:(1327.f)] and
	[main.c:9126:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

[REP: 2].line and
[REP: 2].line
	Cluster ID: 70
	Escapes? true / true 
	Accessed at locs:
	[main.c:9126:(74.f)] and
	[main.c:9126:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

[REP: 2].payload and
[REP: 2].payload
	Cluster ID: 45
	Escapes? true / true 
	Accessed at locs:
	[main.c:9097:(1336.f)] and
	[main.c:9124:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main
****
Possible race between access to:

[REP: 2].payload and
[REP: 2].payload
	Cluster ID: 71
	Escapes? true / true 
	Accessed at locs:
	[main.c:9124:(74.f)] and
	[main.c:9124:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

[REP: 2].probe and
[REP: 2].probe
	Cluster ID: 72
	Escapes? true / true 
	Accessed at locs:
	[main.c:9123:(74.f)] and
	[main.c:9123:(74.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

[REP: 2].value and
[REP: 2].value
	Cluster ID: 73
	Escapes? true / true 
	Accessed at locs:
	[main.c:8891:(77.f)] and
	[main.c:8891:(77.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

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

[REP: 2].value and
[REP: 2].value
	Cluster ID: 4
	Escapes? true / true 
	Accessed at locs:
	[main.c:8891:(77.f)] and
	[main.c:8930:(80.f), main.c:8933:(80.f)]

	Confidence: used PTA nodes lblSet(25, 25)

LS for 1st access:
L+ = empty;
LS for 2nd access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
	Th. 1 spawned: #entry_point:0 0 w/ func: inb
	Th. 2 spawned: #entry_point:0 0 w/ func: inb

Different possible paths & LS (first 4):

(0)
LS for 1st access:
L+ = {[REP: 2].mutex#g} (1)
	(rep. lock)
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(1)
	Th. 1 spawned: #entry_point:0 0 w/ func: main
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(2)
LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
	lval 1: threads_lock.value
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: inb
(3)
LS for 1st access:
L+ = {threads_lock.mutex#g:1325} (1)
	lval 1: threads_lock.value
LS for 2nd access:
L+ = empty;
	Th. 1 spawned: main.c:9139 258959 w/ func: ignition
	Th. 2 spawned: #entry_point:0 0 w/ func: main


$$$$$$
Total Warnings: 109


Printing Alias assumptions used by warnings
-----
wp	104	l:1215:*argv/g:1326:threads	25	25
nc	93	[REP: 0]#g/[REP: 0]#g	0	0
nc	0	[REP: 1].ball.code#g/[REP: 1].ball.code#g	1	1
nc	1	[REP: 1].ball.free#g/[REP: 1].ball.free#g	1	1
nc	2	[REP: 1].ball.ret#g/[REP: 1].ball.ret#g	1	1
nc	3	[REP: 1].ball.why#g/[REP: 1].ball.why#g	1	1
nc	88	compress_head#g:299/[REP: 2]#g	25	25
nc	57	compress_head#g:299/[REP: 2]#g	25	25
nc	96	[REP: 2]#g/threads#g:1326	25	25
nc	65	[REP: 2]#g/threads#g:1326	25	25
nc	99	[REP: 2]#g/[REP: 2]#g	25	25
nc	68	[REP: 2]#g/[REP: 2]#g	25	25
nc	28	[REP: 2].value#g/[REP: 2].value#g	25	25
nc	86	_a543_19624_main_1#g:103/[REP: 2]#g	25	25
nc	55	_a543_19624_main_1#g:103/[REP: 2]#g	25	25
nc	87	compress_head#g:299/[REP: 2]#g	25	25
nc	56	compress_head#g:299/[REP: 2]#g	25	25
nc	89	write_head#g:302/[REP: 2]#g	25	25
nc	58	write_head#g:302/[REP: 2]#g	25	25
nc	102	_a5315_149264_main_1#g:818/[REP: 2]#g	25	25
nc	101	_a7175_200214_main_3#g:1069/[REP: 2]#g	25	25
nc	90	_a7175_200214_main_3#g:1069/[REP: 2]#g	25	25
nc	59	_a7175_200214_main_3#g:1069/[REP: 2]#g	25	25
nc	103	_a7175_200214_main_4#g:1070/[REP: 2]#g	25	25
nc	91	_a7175_200214_main_4#g:1070/[REP: 2]#g	25	25
nc	60	_a7175_200214_main_4#g:1070/[REP: 2]#g	25	25
nc	5	threads_lock.value#g:1325/[REP: 2].value#g	25	25
nc	18	threads_lock.value#g:1325/[REP: 2].value#g	25	25
nc	61	threads_lock.value#g:1325/[REP: 2].value#g	25	25
nc	62	threads_lock.value#g:1325/[REP: 2].value#g	25	25
nc	92	threads_lock.value#g:1325/[REP: 2].value#g	25	25
nc	30	threads#g:1326/[REP: 2]#g	25	25
nc	31	threads#g:1326/[REP: 2]#g	25	25
nc	29	threads#g:1326/[REP: 2]#g	25	25
nc	7	threads#g:1326/[REP: 2]#g	25	25
nc	20	threads#g:1326/[REP: 2]#g	25	25
nc	8	threads#g:1326/[REP: 2]#g	25	25
nc	19	threads#g:1326/[REP: 2]#g	25	25
nc	6	threads#g:1326/[REP: 2]#g	25	25
nc	32	[REP: 2]#g/_a543_19624_main_1#g:103	25	25
nc	9	[REP: 2]#g/_a543_19624_main_1#g:103	25	25
nc	33	[REP: 2]#g/compress_head#g:299	25	25
nc	34	[REP: 2]#g/compress_head#g:299	25	25
nc	10	[REP: 2]#g/compress_head#g:299	25	25
nc	11	[REP: 2]#g/compress_head#g:299	25	25
nc	35	[REP: 2]#g/write_head#g:302	25	25
nc	12	[REP: 2]#g/write_head#g:302	25	25
nc	22	[REP: 2]#g/_a5315_149264_main_1#g:818	25	25
nc	36	[REP: 2]#g/_a7175_200214_main_3#g:1069	25	25
nc	21	[REP: 2]#g/_a7175_200214_main_3#g:1069	25	25
nc	13	[REP: 2]#g/_a7175_200214_main_3#g:1069	25	25
nc	37	[REP: 2]#g/_a7175_200214_main_4#g:1070	25	25
nc	23	[REP: 2]#g/_a7175_200214_main_4#g:1070	25	25
nc	14	[REP: 2]#g/_a7175_200214_main_4#g:1070	25	25
nc	95	[REP: 2]#g/threads#g:1326	25	25
nc	64	[REP: 2]#g/threads#g:1326	25	25
nc	106	[REP: 2]#g/threads#g:1326	25	25
nc	105	[REP: 2]#g/threads#g:1326	25	25
nc	94	[REP: 2]#g/threads#g:1326	25	25
nc	63	[REP: 2]#g/threads#g:1326	25	25
nc	98	[REP: 2]#g/[REP: 2]#g	25	25
nc	67	[REP: 2]#g/[REP: 2]#g	25	25
nc	108	[REP: 2]#g/[REP: 2]#g	25	25
nc	107	[REP: 2]#g/[REP: 2]#g	25	25
nc	97	[REP: 2]#g/[REP: 2]#g	25	25
nc	66	[REP: 2]#g/[REP: 2]#g	25	25
nc	39	[REP: 2]#g/[REP: 2]#g	25	25
nc	40	[REP: 2]#g/[REP: 2]#g	25	25
nc	38	[REP: 2]#g/[REP: 2]#g	25	25
nc	16	[REP: 2]#g/[REP: 2]#g	25	25
nc	25	[REP: 2]#g/[REP: 2]#g	25	25
nc	17	[REP: 2]#g/[REP: 2]#g	25	25
nc	24	[REP: 2]#g/[REP: 2]#g	25	25
nc	15	[REP: 2]#g/[REP: 2]#g	25	25
nc	41	[REP: 2].file#g/[REP: 2].file#g	25	25
nc	42	[REP: 2].file#g/[REP: 2].file#g	25	25
nc	69	[REP: 2].file#g/[REP: 2].file#g	25	25
nc	43	[REP: 2].line#g/[REP: 2].line#g	25	25
nc	44	[REP: 2].line#g/[REP: 2].line#g	25	25
nc	70	[REP: 2].line#g/[REP: 2].line#g	25	25
nc	45	[REP: 2].payload#g/[REP: 2].payload#g	25	25
nc	71	[REP: 2].payload#g/[REP: 2].payload#g	25	25
nc	72	[REP: 2].probe#g/[REP: 2].probe#g	25	25
nc	73	[REP: 2].value#g/[REP: 2].value#g	25	25
nc	4	[REP: 2].value#g/[REP: 2].value#g	25	25


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

writeState: Not needed for Steens PTA
Elapsed time (secs): 0.404084
Top heap size (MB): 17
Current heap size (MB): 17
Lifetime allocated bytes (MB): 285
Collections -- minor: 82 major: 12 compactions: 0
Bytes per word: 8
Exhausted tries: 1
return value is 0
ran 1 times
cleared status file: /tmp//temp.status5YhUY7
Sun Mar 17 16:40:47 UTC 2024
server.exe: no process found
