projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2370e6) | patch
Avoid seg fault in the case where ensureModel is called in cds_func_entry and then...
authorweiyu <weiyuluo1232@gmail.com>
Sun, 10 Nov 2019 21:55:25 +0000 (13:55 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Sun, 10 Nov 2019 21:55:25 +0000 (13:55 -0800)
commitbb18310b8c8c97d8e396940bdfee740bd6d3e30a
treebe9091fe991979d0fa71f31bf72d78ae40f6f7eatree | snapshot
parentf2370e62cde5daffcd0a75c0e95b2050ed63d414commit | diff
Avoid seg fault in the case where ensureModel is called in cds_func_entry and then a normal memory access comes before first recorded ModelAction
datarace.cc diff | blob | history
C11 Tester Tool Public Repository