All instances of coRW1 in libatomic-ops

CycleObjectsSource locationsSource events
DpDatasW Rficons::1::extratests/test_malloc.c:42 tests/test_malloc.c:48R:cons::1::extra (tests/test_malloc.c:42 function cons thread 0) W:cons::1::extra (tests/test_malloc.c:48 function cons thread 0)
PosRW Rficons::1::extratests/test_malloc.c:42 tests/test_malloc.c:50R:cons::1::extra (tests/test_malloc.c:42 function cons thread 0) W:cons::1::extra (tests/test_malloc.c:50 function cons thread 0)
PosRW Rficons::1::extratests/test_malloc.c:50R:cons::1::extra (tests/test_malloc.c:50 function cons thread 0) W:cons::1::extra (tests/test_malloc.c:50 function cons thread 0)
DpDatasW Rficons::1::extratests/test_malloc.c:42 tests/test_malloc.c:48R:cons::1::extra (tests/test_malloc.c:42 function cons thread 0) W:cons::1::extra (tests/test_malloc.c:48 function cons thread 0)
PosRW Rficons::1::extratests/test_malloc.c:42 tests/test_malloc.c:50R:cons::1::extra (tests/test_malloc.c:42 function cons thread 0) W:cons::1::extra (tests/test_malloc.c:50 function cons thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/test_stack.c:54R:__CPROVER_malloc_object (tests/test_stack.c:54 function add_elements thread 0) W:__CPROVER_malloc_object (tests/test_stack.c:54 function add_elements thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/test_stack.c:54R:__CPROVER_malloc_is_new_array (tests/test_stack.c:54 function add_elements thread 0) W:__CPROVER_malloc_is_new_array (tests/test_stack.c:54 function add_elements thread 0)
PosRW Rfi__CPROVER_next_thread_id<builtin-library>-pthread_create:33R:__CPROVER_next_thread_id (<builtin-library>-pthread_create:33 function pthread_create thread 0) W:__CPROVER_next_thread_id (<builtin-library>-pthread_create:33 function pthread_create thread 0)
PosRW Rfimarkstests/test_stack.c:85 tests/test_stack.c:83R:marks (tests/test_stack.c:83 function check_list thread 0) W:marks (tests/test_stack.c:85 function check_list thread 0)
PosRW Rfilocked_countertests/test_atomic.c:135R:locked_counter (tests/test_atomic.c:135 function test_and_set_thr thread 0) W:locked_counter (tests/test_atomic.c:135 function test_and_set_thr thread 0)
PosRW Rfilocked_countertests/test_atomic.c:136 tests/test_atomic.c:142R:locked_counter (tests/test_atomic.c:136 function test_and_set_thr thread 0) W:locked_counter (tests/test_atomic.c:142 function test_and_set_thr thread 0)
PosRW Rfilocked_countertests/test_atomic.c:142R:locked_counter (tests/test_atomic.c:142 function test_and_set_thr thread 0) W:locked_counter (tests/test_atomic.c:142 function test_and_set_thr thread 0)
PosRW Rfilocked_countertests/test_atomic.c:143R:locked_counter (tests/test_atomic.c:143 function test_and_set_thr thread 0) W:locked_counter (tests/test_atomic.c:143 function test_and_set_thr thread 0)
PosRW Rfilocked_countertests/test_atomic.c:144R:locked_counter (tests/test_atomic.c:144 function test_and_set_thr thread 0) W:locked_counter (tests/test_atomic.c:144 function test_and_set_thr thread 0)
PosRW Rfilocked_countertests/test_atomic.c:145R:locked_counter (tests/test_atomic.c:145 function test_and_set_thr thread 0) W:locked_counter (tests/test_atomic.c:145 function test_and_set_thr thread 0)
PosRW Rfilocked_countertests/test_atomic.c:152 tests/test_atomic.c:146R:locked_counter (tests/test_atomic.c:146 function test_and_set_thr thread 0) W:locked_counter (tests/test_atomic.c:152 function test_and_set_thr thread 0)
PosRW Rfilocked_countertests/test_atomic.c:152R:locked_counter (tests/test_atomic.c:152 function test_and_set_thr thread 0) W:locked_counter (tests/test_atomic.c:152 function test_and_set_thr thread 0)
PosRW Rfijunktests/test_atomic.c:155R:junk (tests/test_atomic.c:155 function test_and_set_thr thread 0) W:junk (tests/test_atomic.c:155 function test_and_set_thr thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptratomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 src/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (atomic_ops/sysdeps/gcc/../aligned_atomic_load_store.h:34 function AO_load thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfiinitial_heap_ptrsrc/atomic_ops/sysdeps/gcc/x86_64.h:125R:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0) W:initial_heap_ptr (src/atomic_ops/sysdeps/gcc/x86_64.h:125 function AO_compare_and_swap_full thread 0)
PosRW Rfimarkstests/test_stack.c:85 tests/test_stack.c:83R:marks (tests/test_stack.c:83 function check_list thread 0) W:marks (tests/test_stack.c:85 function check_list thread 0)
PosRW Rfimarkstests/test_stack.c:85 tests/test_stack.c:83R:marks (tests/test_stack.c:83 function check_list thread 0) W:marks (tests/test_stack.c:85 function check_list thread 0)
PosRW Rfimarkstests/test_stack.c:85 tests/test_stack.c:83R:marks (tests/test_stack.c:83 function check_list thread 0) W:marks (tests/test_stack.c:85 function check_list thread 0)
This document was translated from LATEX by HEVEA.