| Cycle | Objects | Source locations | Source events |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:57 <builtin-library>-read:48 | R:__CPROVER_pipes (<builtin-library>-read:48 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:57 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:62 <builtin-library>-read:48 | R:__CPROVER_pipes (<builtin-library>-read:48 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:62 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:57 <builtin-library>-read:48 | R:__CPROVER_pipes (<builtin-library>-read:48 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:57 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:62 <builtin-library>-read:48 | R:__CPROVER_pipes (<builtin-library>-read:48 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:62 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:62 <builtin-library>-read:48 | R:__CPROVER_pipes (<builtin-library>-read:48 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:62 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:62 <builtin-library>-read:48 | R:__CPROVER_pipes (<builtin-library>-read:48 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:62 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:57 <builtin-library>-read:55 | R:__CPROVER_pipes (<builtin-library>-read:55 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:57 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:60 <builtin-library>-read:57 | R:__CPROVER_pipes (<builtin-library>-read:60 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:57 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:60 <builtin-library>-read:62 | R:__CPROVER_pipes (<builtin-library>-read:60 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:62 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:60 <builtin-library>-read:62 | R:__CPROVER_pipes (<builtin-library>-read:60 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:62 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-read:60 <builtin-library>-read:62 | R:__CPROVER_pipes (<builtin-library>-read:60 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:62 function read thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-write:39 <builtin-library>-write:44 | R:__CPROVER_pipes (<builtin-library>-write:39 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:44 function write thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-write:39 <builtin-library>-write:44 | R:__CPROVER_pipes (<builtin-library>-write:39 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:44 function write thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-write:39 <builtin-library>-write:46 | R:__CPROVER_pipes (<builtin-library>-write:39 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:46 function write thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-write:39 <builtin-library>-write:44 | R:__CPROVER_pipes (<builtin-library>-write:39 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:44 function write thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-write:39 <builtin-library>-write:44 | R:__CPROVER_pipes (<builtin-library>-write:39 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:44 function write thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-write:44 | R:__CPROVER_pipes (<builtin-library>-write:44 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:44 function write thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:81 misc/unix/otherchild.c:80 | R:other_children (misc/unix/otherchild.c:80 function apr_proc_other_child_register thread 0) W:other_children (misc/unix/otherchild.c:81 function apr_proc_other_child_register thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:81 misc/unix/otherchild.c:80 | R:other_children (misc/unix/otherchild.c:80 function apr_proc_other_child_register thread 0) W:other_children (misc/unix/otherchild.c:81 function apr_proc_other_child_register thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:81 misc/unix/otherchild.c:80 | R:other_children (misc/unix/otherchild.c:80 function apr_proc_other_child_register thread 0) W:other_children (misc/unix/otherchild.c:81 function apr_proc_other_child_register thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:45 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:45 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:45 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:45 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:45 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:45 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | value | test/testthread.c:40 | R:value (test/testthread.c:40 function init_func thread 0) W:value (test/testthread.c:40 function init_func thread 0) |
| PosRW Rfi | value | test/testthread.c:40 | R:value (test/testthread.c:40 function init_func thread 0) W:value (test/testthread.c:40 function init_func thread 0) |
| PosRW Rfi | value | test/testthread.c:40 | R:value (test/testthread.c:40 function init_func thread 0) W:value (test/testthread.c:40 function init_func thread 0) |
| PosRW Rfi | x | test/testthread.c:51 | R:x (test/testthread.c:51 function thread_func1 thread 0) W:x (test/testthread.c:51 function thread_func1 thread 0) |
| PosRW Rfi | x | test/testthread.c:51 | R:x (test/testthread.c:51 function thread_func1 thread 0) W:x (test/testthread.c:51 function thread_func1 thread 0) |
| PosRW Rfi | x | test/testthread.c:51 | R:x (test/testthread.c:51 function thread_func1 thread 0) W:x (test/testthread.c:51 function thread_func1 thread 0) |
| PosRW Rfi | counter | test/testmutexscope.c:95 | R:counter (test/testmutexscope.c:95 function eachThread thread 0) W:counter (test/testmutexscope.c:95 function eachThread thread 0) |
| PosRW Rfi | counter | test/testmutexscope.c:95 | R:counter (test/testmutexscope.c:95 function eachThread thread 0) W:counter (test/testmutexscope.c:95 function eachThread thread 0) |
| PosRW Rfi | counter | test/testmutexscope.c:95 | R:counter (test/testmutexscope.c:95 function eachThread thread 0) W:counter (test/testmutexscope.c:95 function eachThread thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:78 | R:initialized (misc/unix/start.c:78 function apr_terminate thread 0) W:initialized (misc/unix/start.c:78 function apr_terminate thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:78 | R:initialized (misc/unix/start.c:78 function apr_terminate thread 0) W:initialized (misc/unix/start.c:78 function apr_terminate thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:78 | R:initialized (misc/unix/start.c:78 function apr_terminate thread 0) W:initialized (misc/unix/start.c:78 function apr_terminate thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:78 | R:initialized (misc/unix/start.c:78 function apr_terminate thread 0) W:initialized (misc/unix/start.c:78 function apr_terminate thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:78 | R:initialized (misc/unix/start.c:78 function apr_terminate thread 0) W:initialized (misc/unix/start.c:78 function apr_terminate thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:78 | R:initialized (misc/unix/start.c:78 function apr_terminate thread 0) W:initialized (misc/unix/start.c:78 function apr_terminate thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | initialized | misc/unix/start.c:46 | R:initialized (misc/unix/start.c:46 function apr_initialize thread 0) W:initialized (misc/unix/start.c:46 function apr_initialize thread 0) |
| PosRW Rfi | mutex_locks | test/testatomic.c:241 | R:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) W:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) |
| PosRW Rfi | mutex_locks | test/testatomic.c:241 | R:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) W:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) |
| PosRW Rfi | mutex_locks | test/testatomic.c:241 | R:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) W:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:81 misc/unix/otherchild.c:80 | R:other_children (misc/unix/otherchild.c:80 function apr_proc_other_child_register thread 0) W:other_children (misc/unix/otherchild.c:81 function apr_proc_other_child_register thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:81 misc/unix/otherchild.c:80 | R:other_children (misc/unix/otherchild.c:80 function apr_proc_other_child_register thread 0) W:other_children (misc/unix/otherchild.c:81 function apr_proc_other_child_register thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:81 misc/unix/otherchild.c:80 | R:other_children (misc/unix/otherchild.c:80 function apr_proc_other_child_register thread 0) W:other_children (misc/unix/otherchild.c:81 function apr_proc_other_child_register thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:45 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:45 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:45 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:45 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:90 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:90 function apr_proc_other_child_unregister thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:47 | R:other_children ( thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | other_children | misc/unix/otherchild.c:44 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:44 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| DpDatasW Rfi | other_children | misc/unix/otherchild.c:45 misc/unix/otherchild.c:47 | R:other_children (misc/unix/otherchild.c:45 function other_child_cleanup thread 0) W:other_children (misc/unix/otherchild.c:47 function other_child_cleanup thread 0) |
| PosRW Rfi | value | test/testthread.c:40 | R:value (test/testthread.c:40 function init_func thread 0) W:value (test/testthread.c:40 function init_func thread 0) |
| PosRW Rfi | value | test/testthread.c:40 | R:value (test/testthread.c:40 function init_func thread 0) W:value (test/testthread.c:40 function init_func thread 0) |
| PosRW Rfi | value | test/testthread.c:40 | R:value (test/testthread.c:40 function init_func thread 0) W:value (test/testthread.c:40 function init_func thread 0) |
| PosRW Rfi | x | test/testthread.c:51 | R:x (test/testthread.c:51 function thread_func1 thread 0) W:x (test/testthread.c:51 function thread_func1 thread 0) |
| PosRW Rfi | x | test/testthread.c:51 | R:x (test/testthread.c:51 function thread_func1 thread 0) W:x (test/testthread.c:51 function thread_func1 thread 0) |
| PosRW Rfi | x | test/testthread.c:51 | R:x (test/testthread.c:51 function thread_func1 thread 0) W:x (test/testthread.c:51 function thread_func1 thread 0) |
| PosRW Rfi | state | test/testcond.c:553 test/testcond.c:554 | R:state (test/testcond.c:553 function pong thread 0) W:state (test/testcond.c:554 function pong thread 0) |
| PosRW Rfi | state | test/testcond.c:524 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:524 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:414 test/testcond.c:409 | R:pipe_count (test/testcond.c:409 function pipe_write thread 0) W:pipe_count (test/testcond.c:414 function pipe_write thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:366 test/testcond.c:377 | R:pipe_count (test/testcond.c:366 function pipe_consumer thread 0) W:pipe_count (test/testcond.c:377 function pipe_consumer thread 0) |
| PosRW Rfi | state | test/testcond.c:553 test/testcond.c:554 | R:state (test/testcond.c:553 function pong thread 0) W:state (test/testcond.c:554 function pong thread 0) |
| PosRW Rfi | state | test/testcond.c:524 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:524 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:414 test/testcond.c:409 | R:pipe_count (test/testcond.c:409 function pipe_write thread 0) W:pipe_count (test/testcond.c:414 function pipe_write thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:366 test/testcond.c:377 | R:pipe_count (test/testcond.c:366 function pipe_consumer thread 0) W:pipe_count (test/testcond.c:377 function pipe_consumer thread 0) |
| PosRW Rfi | state | test/testcond.c:553 test/testcond.c:554 | R:state (test/testcond.c:553 function pong thread 0) W:state (test/testcond.c:554 function pong thread 0) |
| PosRW Rfi | state | test/testcond.c:524 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:524 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:414 test/testcond.c:409 | R:pipe_count (test/testcond.c:409 function pipe_write thread 0) W:pipe_count (test/testcond.c:414 function pipe_write thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:366 test/testcond.c:377 | R:pipe_count (test/testcond.c:366 function pipe_consumer thread 0) W:pipe_count (test/testcond.c:377 function pipe_consumer thread 0) |
| PosRW Rfi | state | test/testcond.c:553 test/testcond.c:554 | R:state (test/testcond.c:553 function pong thread 0) W:state (test/testcond.c:554 function pong thread 0) |
| PosRW Rfi | state | test/testcond.c:524 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:524 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:414 test/testcond.c:409 | R:pipe_count (test/testcond.c:409 function pipe_write thread 0) W:pipe_count (test/testcond.c:414 function pipe_write thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:366 test/testcond.c:377 | R:pipe_count (test/testcond.c:366 function pipe_consumer thread 0) W:pipe_count (test/testcond.c:377 function pipe_consumer thread 0) |
| PosRW Rfi | state | test/testcond.c:553 test/testcond.c:554 | R:state (test/testcond.c:553 function pong thread 0) W:state (test/testcond.c:554 function pong thread 0) |
| PosRW Rfi | state | test/testcond.c:524 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:524 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:414 test/testcond.c:409 | R:pipe_count (test/testcond.c:409 function pipe_write thread 0) W:pipe_count (test/testcond.c:414 function pipe_write thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:366 test/testcond.c:377 | R:pipe_count (test/testcond.c:366 function pipe_consumer thread 0) W:pipe_count (test/testcond.c:377 function pipe_consumer thread 0) |
| PosRW Rfi | state | test/testcond.c:553 test/testcond.c:554 | R:state (test/testcond.c:553 function pong thread 0) W:state (test/testcond.c:554 function pong thread 0) |
| PosRW Rfi | state | test/testcond.c:524 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:524 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | state | test/testcond.c:530 test/testcond.c:523 | R:state (test/testcond.c:523 function ping thread 0) W:state (test/testcond.c:530 function ping thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:414 test/testcond.c:409 | R:pipe_count (test/testcond.c:409 function pipe_write thread 0) W:pipe_count (test/testcond.c:414 function pipe_write thread 0) |
| PosRW Rfi | pipe_count | test/testcond.c:366 test/testcond.c:377 | R:pipe_count (test/testcond.c:366 function pipe_consumer thread 0) W:pipe_count (test/testcond.c:377 function pipe_consumer thread 0) |
| DpDatasW Rfi | all_random | random/unix/apr_random.c:147 random/unix/apr_random.c:146 | R:all_random (random/unix/apr_random.c:146 function apr_random_init thread 0) W:all_random (random/unix/apr_random.c:147 function apr_random_init thread 0) |
| DpDatasW Rfi | all_random | random/unix/apr_random.c:147 random/unix/apr_random.c:146 | R:all_random (random/unix/apr_random.c:146 function apr_random_init thread 0) W:all_random (random/unix/apr_random.c:147 function apr_random_init thread 0) |
| DpDatasW Rfi | all_random | random/unix/apr_random.c:147 random/unix/apr_random.c:146 | R:all_random (random/unix/apr_random.c:146 function apr_random_init thread 0) W:all_random (random/unix/apr_random.c:147 function apr_random_init thread 0) |
| DpDatasW Rfi | all_random | random/unix/apr_random.c:92 random/unix/apr_random.c:96 | R:all_random (random/unix/apr_random.c:92 function random_cleanup thread 0) W:all_random (random/unix/apr_random.c:96 function random_cleanup thread 0) |
| PosRW Rfi | mutex_locks | test/testatomic.c:241 | R:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) W:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) |
| PosRW Rfi | mutex_locks | test/testatomic.c:241 | R:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) W:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) |
| PosRW Rfi | mutex_locks | test/testatomic.c:241 | R:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) W:mutex_locks (test/testatomic.c:241 function thread_func_mutex thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:60 | R:file1 (test/testmmap.c:60 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:60 | R:file1 (test/testmmap.c:60 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:60 | R:file1 (test/testmmap.c:60 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| DpDatasW Rfi | all_random | random/unix/apr_random.c:147 random/unix/apr_random.c:146 | R:all_random (random/unix/apr_random.c:146 function apr_random_init thread 0) W:all_random (random/unix/apr_random.c:147 function apr_random_init thread 0) |
| DpDatasW Rfi | all_random | random/unix/apr_random.c:147 random/unix/apr_random.c:146 | R:all_random (random/unix/apr_random.c:146 function apr_random_init thread 0) W:all_random (random/unix/apr_random.c:147 function apr_random_init thread 0) |
| DpDatasW Rfi | all_random | random/unix/apr_random.c:147 random/unix/apr_random.c:146 | R:all_random (random/unix/apr_random.c:146 function apr_random_init thread 0) W:all_random (random/unix/apr_random.c:147 function apr_random_init thread 0) |
| DpDatasW Rfi | all_random | random/unix/apr_random.c:92 random/unix/apr_random.c:96 | R:all_random (random/unix/apr_random.c:92 function random_cleanup thread 0) W:all_random (random/unix/apr_random.c:96 function random_cleanup thread 0) |
| PosRW Rfi | counter | test/testmutexscope.c:95 | R:counter (test/testmutexscope.c:95 function eachThread thread 0) W:counter (test/testmutexscope.c:95 function eachThread thread 0) |
| PosRW Rfi | counter | test/testmutexscope.c:95 | R:counter (test/testmutexscope.c:95 function eachThread thread 0) W:counter (test/testmutexscope.c:95 function eachThread thread 0) |
| PosRW Rfi | counter | test/testmutexscope.c:95 | R:counter (test/testmutexscope.c:95 function eachThread thread 0) W:counter (test/testmutexscope.c:95 function eachThread thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:60 | R:file1 (test/testmmap.c:60 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:60 | R:file1 (test/testmmap.c:60 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:59 test/testmmap.c:60 | R:file1 (test/testmmap.c:59 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
| PosRW Rfi | file1 | test/testmmap.c:60 | R:file1 (test/testmmap.c:60 function create_filename thread 0) W:file1 (test/testmmap.c:60 function create_filename thread 0) |
This document was translated from LATEX by HEVEA.