initialize and use dataflow analysis debugging flags safely
authorJohn Mellor-Crummey <jmellorcrummey@comcast.net>
Fri, 5 Jan 2018 23:21:32 +0000 (17:21 -0600)
committerJohn Mellor-Crummey <jmellorcrummey@comcast.net>
Fri, 5 Jan 2018 23:21:32 +0000 (17:21 -0600)
commitf5d95d704d6924d4450631e1af1e7f6a84e7d8ec
treefbba0ef4c5c5e29d1180591e2efdef49de1a46f0
parent2233767a255ce76bc488e5e3469a13561d4455ba
initialize and use dataflow analysis debugging flags safely

dataflow analysis debugging flags are now set upon demand just before
they are first inspected.  the new interface ensures that they are set
before they are ever inspected.  use of call_once guarantees that they
are only initialized once.  use of race detector annotations suppresses
benign races that arise from the use of the call_once idiom.
dataflowAPI/src/debug_dataflow.C
dataflowAPI/src/debug_dataflow.h
dataflowAPI/src/liveness.C
dataflowAPI/src/slicing.C
dataflowAPI/src/stackanalysis.C