projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d97490) | patch
model: don't create UNINIT actions for Threads, mutexes, etc.
authorBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:57:02 +0000 (22:57 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:57:02 +0000 (22:57 -0800)
commitcd32776770fd546ecfe34e9238d0e2d5187a1106
tree7a42a1fe16de9f5a1762f6e1d6a7b58a7634dbc2tree | snapshot
parent7d97490a3d445eedb6073b5b00ee60604755f9a0commit | diff
model: don't create UNINIT actions for Threads, mutexes, etc.

ModelActions may be associated with fences, mutexes, threads, etc., all
of which never hit the "uninitialized" case. So, we shouldn't create
these UNINIT actions.
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.