projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65a7909) | patch
action: add ATOMIC_UNINIT type
authorBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 05:12:29 +0000 (21:12 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:41:29 +0000 (22:41 -0800)
commitb385a968b6b2f2695cceafcba62abcb398f41bb2
tree0e5807f29750fa50f3c73516686b35f3b8c6f1ddtree | snapshot
parent65a79092518f7818c93238caa9ebfdab3f36cda8commit | diff
action: add ATOMIC_UNINIT type

Adding a new type of "uninitialized atomic" action, to serve as a store
which, if any load is able to "see" this store, constitutes an
uninitialized load - a bug in the user program. It has to act like a
store operation, but it triggers a bug (ModelChecker::assert_bug) if any
load tries to read from it.
action.cc diff | blob | history
action.h diff | blob | history
C11 Tester Tool Public Repository