projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 122aad1) | patch
dataraces: don't print an uninformative "Data race" bug msg
authorBrian Norris <banorris@uci.edu>
Fri, 16 Nov 2012 22:44:32 +0000 (14:44 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 16 Nov 2012 22:44:32 +0000 (14:44 -0800)
commitecf16617a0c289981925fcd2437595f3a2fce8fe
tree722260157bedf540727a13d1af5f3d50ec6c0cb3tree | snapshot
parent122aad1259a2df612ad39c640551be8da9cb26b9commit | diff
dataraces: don't print an uninformative "Data race" bug msg

Now that checkDataRaces() handles all bug reporting and assertions on
its own, we don't need an additional bug report message printed by the
caller. In some cases, this means the caller doesn't have any action to
take. In one case (a race immediately-realized from a user thread), we
still need to "bail out" to the model-checker.
datarace.cc diff | blob | history
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.