class BeforeSet

Declaration

class BeforeSet { /* full declaration omitted */ };

Declared at: clang/lib/Analysis/ThreadSafety.cpp:277

Member Variables

private clang::threadSafety::BeforeSet::BeforeMap BMap

private clang::threadSafety::BeforeSet::CycleMap CycMap

Method Overview

• public BeforeSet()
• public void checkBeforeAfter(const clang::ValueDecl * Vd, const (anonymous namespace)::FactSet & FSet, (anonymous namespace)::ThreadSafetyAnalyzer & Analyzer, clang::SourceLocation Loc, llvm::StringRef CapKind)
• public clang::threadSafety::BeforeSet::BeforeInfo * getBeforeInfoForDecl(const clang::ValueDecl * Vd, (anonymous namespace)::ThreadSafetyAnalyzer & Analyzer)
• public clang::threadSafety::BeforeSet::BeforeInfo * insertAttrExprs(const clang::ValueDecl * Vd, (anonymous namespace)::ThreadSafetyAnalyzer & Analyzer)

Methods

¶BeforeSet()

Declared at: clang/lib/Analysis/ThreadSafety.cpp:294

¶void checkBeforeAfter(
    const clang::ValueDecl* Vd,
    const(anonymous namespace)::FactSet& FSet,
    (anonymous namespace)::ThreadSafetyAnalyzer&
        Analyzer,
    clang::SourceLocation Loc,
    llvm::StringRef CapKind)

Description

Return true if any mutexes in FSet are in the acquired_before set of Vd.

Declared at: clang/lib/Analysis/ThreadSafety.cpp:302

Parameters

const clang::ValueDecl* Vd

const(anonymous namespace)::FactSet& FSet

(anonymous namespace)::ThreadSafetyAnalyzer& Analyzer

clang::SourceLocation Loc

llvm::StringRef CapKind

¶clang::threadSafety::BeforeSet::BeforeInfo*
getBeforeInfoForDecl(
    const clang::ValueDecl* Vd,
    (anonymous namespace)::ThreadSafetyAnalyzer&
        Analyzer)

Declared at: clang/lib/Analysis/ThreadSafety.cpp:299

Parameters

const clang::ValueDecl* Vd

(anonymous namespace)::ThreadSafetyAnalyzer& Analyzer

¶clang::threadSafety::BeforeSet::BeforeInfo*
insertAttrExprs(
    const clang::ValueDecl* Vd,
    (anonymous namespace)::ThreadSafetyAnalyzer&
        Analyzer)

Description

Process acquired_before and acquired_after attributes on Vd.

Declared at: clang/lib/Analysis/ThreadSafety.cpp:296

Parameters

const clang::ValueDecl* Vd

(anonymous namespace)::ThreadSafetyAnalyzer& Analyzer