+++ /dev/null
-key_delete is called
-has write to location: 0x60c1e0 values: 1
-has write to location: 0x1a82928 values: 1a82a10 1a82a20 1a82a30 1a82a40 1a82a50
-has write to location: 0x1a82980 values: 1 2 3 4 5 6 7 8 9 a b c d e f 10 11
-has write to location: 0x1a829e0 values: 7f74888ecf28 0 1a82b10 0 1a82b20 0 1a82b30 0 1a82b40 0 7f74888ecf28 0 1a82b20 0 1a82b20 0 1a82b40 0 1a82b40 0 0 0
-has write to location: 0x1a829f0 values: 1a82b10 0 1a82b10 0 1a82b30 0 1a82b30 0 1a82b50 0 1a82b50 0
-has write to location: 0x1a82b10 values: 0 1a82b20
-has write to location: 0x1a82b20 values: 0 1a82b30
-has write to location: 0x1a82b30 values: 0 1a82b40
-has write to location: 0x1a82b40 values: 0 1a82b50
-has write to location: 0x1a82b50 values: 0
-has write to location: 0x7f74888ecea8 values: 1a82b10 1a82b20 1a82b30 1a82b40 1a82b50 0
-has write to location: 0x7f74888ecee8 values: 1a82b10 1a82b20 1a82b30 1a82b40 1a82b50 0
-has write to location: 0x7f74888ecf28 values: 0 1a82b10
-has write to location: 0x7f74888ecf68 values: 1 2 3 4 5 4 3 2 1 0
-has write to location: 0x7f74888ecf78 values: aaa ccc bbb
------------------------------------------
-location: 0x60c1e0:
-0 0 uninitialized relaxed 0x60c1e0 0 ( 0)
-location: 0x7f74888ecee8:
-0 0 uninitialized relaxed 0x7f74888ecee8 0x7f74888ecf28 ( 0)
-location: 0x1a82980:
-0 0 uninitialized relaxed 0x1a82980 0 ( 0)
-location: 0x7f74888ecee8:
-0 0 uninitialized relaxed 0x7f74888ecee8 0x7f74888ecf28 ( 0)
-location: 0x7f74888ecf28:
-9 1 atomic write release 0x7f74888ecf28 0 ( 0, 9)
-location: 0x7f74888ecf28:
-9 1 atomic write release 0x7f74888ecf28 0 ( 0, 9)
-location: 0x7f74888ecf68:
-0 0 uninitialized relaxed 0x7f74888ecf68 0 ( 0)
-location: 0x7f74888ecee8:
-0 0 uninitialized relaxed 0x7f74888ecee8 0x7f74888ecf28 ( 0)
-location: 0x7f74888ecee8:
-17 1 atomic rmw release 0x7f74888ecee8 0x7f74888ecf28 0 ( 0, 17)
-location: 0x1a82980:
-12 1 atomic rmw acq_rel 0x1a82980 0 0 ( 0, 12)
-location: 0x7f74888ecee8:
-17 1 atomic rmw release 0x7f74888ecee8 0x7f74888ecf28 0 ( 0, 17)
-location: 0x1a82b10:
-3 1 atomic write release 0x1a82b10 0 ( 0, 3)
-location: 0x1a82b10:
-3 1 atomic write release 0x1a82b10 0 ( 0, 3)
-location: 0x7f74888ecf68:
-16 1 atomic rmw relaxed 0x7f74888ecf68 0 0 ( 0, 16)
-location: 0x7f74888ecee8:
-17 1 atomic rmw release 0x7f74888ecee8 0x7f74888ecf28 0 ( 0, 17)
-location: 0x7f74888ecee8:
-26 1 atomic rmw release 0x7f74888ecee8 0x1a82b10 17 ( 0, 26)
-location: 0x1a82980:
-21 1 atomic rmw acq_rel 0x1a82980 0x1 12 ( 0, 21)
-location: 0x7f74888ecee8:
-26 1 atomic rmw release 0x7f74888ecee8 0x1a82b10 17 ( 0, 26)
-location: 0x1a82b20:
-4 1 atomic write release 0x1a82b20 0 ( 0, 4)
-location: 0x1a82b20:
-4 1 atomic write release 0x1a82b20 0 ( 0, 4)
-location: 0x7f74888ecf68:
-25 1 atomic rmw relaxed 0x7f74888ecf68 0x1 16 ( 0, 25)
-location: 0x7f74888ecee8:
-26 1 atomic rmw release 0x7f74888ecee8 0x1a82b10 17 ( 0, 26)
-location: 0x7f74888ecee8:
-35 1 atomic rmw release 0x7f74888ecee8 0x1a82b20 26 ( 0, 35)
-location: 0x1a82980:
-30 1 atomic rmw acq_rel 0x1a82980 0x2 21 ( 0, 30)
-location: 0x7f74888ecee8:
-35 1 atomic rmw release 0x7f74888ecee8 0x1a82b20 26 ( 0, 35)
-location: 0x1a82b30:
-5 1 atomic write release 0x1a82b30 0 ( 0, 5)
-location: 0x1a82b30:
-5 1 atomic write release 0x1a82b30 0 ( 0, 5)
-location: 0x7f74888ecf68:
-34 1 atomic rmw relaxed 0x7f74888ecf68 0x2 25 ( 0, 34)
-location: 0x7f74888ecee8:
-35 1 atomic rmw release 0x7f74888ecee8 0x1a82b20 26 ( 0, 35)
-location: 0x7f74888ecee8:
-44 1 atomic rmw release 0x7f74888ecee8 0x1a82b30 35 ( 0, 44)
-location: 0x1a82980:
-39 1 atomic rmw acq_rel 0x1a82980 0x3 30 ( 0, 39)
-location: 0x7f74888ecee8:
-44 1 atomic rmw release 0x7f74888ecee8 0x1a82b30 35 ( 0, 44)
-location: 0x1a82b40:
-6 1 atomic write release 0x1a82b40 0 ( 0, 6)
-location: 0x1a82b40:
-6 1 atomic write release 0x1a82b40 0 ( 0, 6)
-location: 0x7f74888ecf68:
-43 1 atomic rmw relaxed 0x7f74888ecf68 0x3 34 ( 0, 43)
-location: 0x7f74888ecee8:
-44 1 atomic rmw release 0x7f74888ecee8 0x1a82b30 35 ( 0, 44)
-location: 0x7f74888ecea8:
-0 0 uninitialized relaxed 0x7f74888ecea8 0x7f74888ecf28 ( 0)
-location: 0x1a82980:
-48 1 atomic rmw acq_rel 0x1a82980 0x4 39 ( 0, 48)
-location: 0x7f74888ecea8:
-0 0 uninitialized relaxed 0x7f74888ecea8 0x7f74888ecf28 ( 0)
-location: 0x7f74888ecf28:
-15 1 atomic rmw release 0x7f74888ecf28 0 9 ( 0, 15)
-location: 0x1a82980:
-58 1 atomic rmw acq_rel 0x1a82980 0x5 48 ( 0, 58)
-location: 0x7f74888ecf28:
-15 1 atomic rmw release 0x7f74888ecf28 0 9 ( 0, 15)
-location: 0x7f74888ecea8:
-0 0 uninitialized relaxed 0x7f74888ecea8 0x7f74888ecf28 ( 0)
-location: 0x7f74888ecee8:
-53 1 atomic rmw release 0x7f74888ecee8 0x1a82b40 44 ( 0, 53)
-location: 0x7f74888ecea8:
-0 0 uninitialized relaxed 0x7f74888ecea8 0x7f74888ecf28 ( 0)
-location: 0x7f74888ecf68:
-52 1 atomic rmw relaxed 0x7f74888ecf68 0x4 43 ( 0, 52)
-location: 0x7f74888ecea8:
-66 1 atomic rmw acquire 0x7f74888ecea8 0x7f74888ecf28 0 ( 0, 66)
-location: 0x1a82980:
-62 1 atomic rmw acq_rel 0x1a82980 0x6 58 ( 0, 62)
-location: 0x7f74888ecea8:
-66 1 atomic rmw acquire 0x7f74888ecea8 0x7f74888ecf28 0 ( 0, 66)
-location: 0x1a82b10:
-24 1 atomic rmw release 0x1a82b10 0 3 ( 0, 24)
-location: 0x1a82980:
-72 1 atomic rmw acq_rel 0x1a82980 0x7 62 ( 0, 72)
-location: 0x1a82b10:
-24 1 atomic rmw release 0x1a82b10 0 3 ( 0, 24)
-location: 0x7f74888ecea8:
-66 1 atomic rmw acquire 0x7f74888ecea8 0x7f74888ecf28 0 ( 0, 66)
-location: 0x7f74888ecee8:
-53 1 atomic rmw release 0x7f74888ecee8 0x1a82b40 44 ( 0, 53)
-location: 0x7f74888ecea8:
-66 1 atomic rmw acquire 0x7f74888ecea8 0x7f74888ecf28 0 ( 0, 66)
-location: 0x7f74888ecf68:
-67 1 atomic rmw relaxed 0x7f74888ecf68 0x5 52 ( 0, 67)
-location: 0x1a82928:
-0 0 uninitialized relaxed 0x1a82928 0x1a82a00 ( 0)
-location: 0x7f74888ecea8:
-80 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b10 66 ( 0, 80)
-location: 0x1a82980:
-76 1 atomic rmw acq_rel 0x1a82980 0x8 72 ( 0, 76)
-location: 0x7f74888ecea8:
-80 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b10 66 ( 0, 80)
-location: 0x1a82b20:
-33 1 atomic rmw release 0x1a82b20 0 4 ( 0, 33)
-location: 0x1a82980:
-88 1 atomic rmw acq_rel 0x1a82980 0x9 76 ( 0, 88)
-location: 0x1a82b20:
-33 1 atomic rmw release 0x1a82b20 0 4 ( 0, 33)
-location: 0x7f74888ecea8:
-80 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b10 66 ( 0, 80)
-location: 0x7f74888ecee8:
-53 1 atomic rmw release 0x7f74888ecee8 0x1a82b40 44 ( 0, 53)
-location: 0x7f74888ecea8:
-80 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b10 66 ( 0, 80)
-location: 0x7f74888ecf68:
-81 1 atomic rmw relaxed 0x7f74888ecf68 0x4 67 ( 0, 81)
-location: 0x1a82928:
-83 1 atomic write relaxed 0x1a82928 0x1a82a10 ( 0, 83)
-location: 0x7f74888ecea8:
-96 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b20 80 ( 0, 96)
-location: 0x1a82980:
-92 1 atomic rmw acq_rel 0x1a82980 0xa 88 ( 0, 92)
-location: 0x7f74888ecea8:
-96 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b20 80 ( 0, 96)
-location: 0x1a82b30:
-42 1 atomic rmw release 0x1a82b30 0 5 ( 0, 42)
-location: 0x1a82980:
-104 1 atomic rmw acq_rel 0x1a82980 0xb 92 ( 0, 104)
-location: 0x1a82b30:
-42 1 atomic rmw release 0x1a82b30 0 5 ( 0, 42)
-location: 0x7f74888ecea8:
-96 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b20 80 ( 0, 96)
-location: 0x7f74888ecee8:
-53 1 atomic rmw release 0x7f74888ecee8 0x1a82b40 44 ( 0, 53)
-location: 0x7f74888ecea8:
-96 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b20 80 ( 0, 96)
-location: 0x7f74888ecf68:
-97 1 atomic rmw relaxed 0x7f74888ecf68 0x3 81 ( 0, 97)
-location: 0x1a82928:
-99 1 atomic write relaxed 0x1a82928 0x1a82a20 ( 0, 99)
-location: 0x7f74888ecea8:
-112 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b30 96 ( 0, 112)
-location: 0x1a82980:
-108 1 atomic rmw acq_rel 0x1a82980 0xc 104 ( 0, 108)
-location: 0x7f74888ecea8:
-112 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b30 96 ( 0, 112)
-location: 0x1a82b40:
-51 1 atomic rmw release 0x1a82b40 0 6 ( 0, 51)
-location: 0x1a82980:
-120 1 atomic rmw acq_rel 0x1a82980 0xd 108 ( 0, 120)
-location: 0x1a82b40:
-51 1 atomic rmw release 0x1a82b40 0 6 ( 0, 51)
-location: 0x7f74888ecea8:
-112 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b30 96 ( 0, 112)
-location: 0x7f74888ecee8:
-53 1 atomic rmw release 0x7f74888ecee8 0x1a82b40 44 ( 0, 53)
-location: 0x7f74888ecea8:
-112 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b30 96 ( 0, 112)
-location: 0x7f74888ecf68:
-113 1 atomic rmw relaxed 0x7f74888ecf68 0x2 97 ( 0, 113)
-location: 0x1a82928:
-115 1 atomic write relaxed 0x1a82928 0x1a82a30 ( 0, 115)
-location: 0x7f74888ecea8:
-128 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b40 112 ( 0, 128)
-location: 0x1a82980:
-124 1 atomic rmw acq_rel 0x1a82980 0xe 120 ( 0, 124)
-location: 0x7f74888ecea8:
-128 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b40 112 ( 0, 128)
-location: 0x1a82b50:
-7 1 atomic write release 0x1a82b50 0 ( 0, 7)
-location: 0x1a82980:
-137 1 atomic rmw acq_rel 0x1a82980 0xf 124 ( 0, 137)
-location: 0x1a82b50:
-7 1 atomic write release 0x1a82b50 0 ( 0, 7)
-location: 0x7f74888ecea8:
-128 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b40 112 ( 0, 128)
-location: 0x7f74888ecea8:
-128 1 atomic rmw acquire 0x7f74888ecea8 0x1a82b40 112 ( 0, 128)
-location: 0x7f74888ecee8:
-53 1 atomic rmw release 0x7f74888ecee8 0x1a82b40 44 ( 0, 53)
-location: 0x1a82928:
-131 1 atomic write relaxed 0x1a82928 0x1a82a40 ( 0, 131)
-Program output from execution 1:
----- BEGIN PROGRAM OUTPUT ----
-test start
-libcds - enqueue node m_pTail loc: 0x7f74888ecee8
-libcds - enqueue node m_pTail loc: 0x7f74888ecee8
-libcds - enqueue node m_pTail loc: 0x7f74888ecee8
-libcds - enqueue node m_pTail loc: 0x7f74888ecee8
-libcds - enqueue node m_pTail loc: 0x7f74888ecee8
-libcds - do_dequeue hode m_pHead loc: 0x7f74888ecea8
-libcds - do_dequeue hode m_pTail loc: 0x7f74888ecee8
-libcds - do_dequeue hode m_pHead loc: 0x7f74888ecea8
-libcds - do_dequeue hode m_pTail loc: 0x7f74888ecee8
-libcds - do_dequeue hode m_pHead loc: 0x7f74888ecea8
-libcds - do_dequeue hode m_pTail loc: 0x7f74888ecee8
-libcds - do_dequeue hode m_pHead loc: 0x7f74888ecea8
-libcds - do_dequeue hode m_pTail loc: 0x7f74888ecee8
-libcds - do_dequeue hode m_pHead loc: 0x7f74888ecea8
-libcds - do_dequeue hode m_pTail loc: 0x7f74888ecee8
-libcds - do_dequeue hode m_pHead loc: 0x7f74888ecea8
-libcds - do_dequeue hode m_pTail loc: 0x7f74888ecee8
-test end
----- END PROGRAM OUTPUT ----
-
-ecee8: ecf28, 1a82b10, 1a82b20, 1a82b30, 1a82b40, 1a82b50
-
projects / c11tester.git / blobdiff