ΒΆ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