ΒΆvoid runThreadSafetyAnalysis(
clang::AnalysisDeclContext& AC,
clang::threadSafety::ThreadSafetyHandler&
Handler,
clang::threadSafety::BeforeSet** Bset)
void runThreadSafetyAnalysis(
clang::AnalysisDeclContext& AC,
clang::threadSafety::ThreadSafetyHandler&
Handler,
clang::threadSafety::BeforeSet** Bset)
Description
Check a function's CFG for thread-safety violations. We traverse the blocks in the CFG, compute the set of mutexes that are held at the end of each block, and issue warnings for thread safety violations. Each block in the CFG is traversed exactly once.
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafety.h:246
Parameters
- clang::AnalysisDeclContext& AC
- clang::threadSafety::ThreadSafetyHandler& Handler
- clang::threadSafety::BeforeSet** Bset