clang
7.0.0
|
Public Member Functions | |
BeforeSet ()=default | |
BeforeInfo * | insertAttrExprs (const ValueDecl *Vd, ThreadSafetyAnalyzer &Analyzer) |
Process acquired_before and acquired_after attributes on Vd. More... | |
BeforeInfo * | getBeforeInfoForDecl (const ValueDecl *Vd, ThreadSafetyAnalyzer &Analyzer) |
void | checkBeforeAfter (const ValueDecl *Vd, const FactSet &FSet, ThreadSafetyAnalyzer &Analyzer, SourceLocation Loc, StringRef CapKind) |
Return true if any mutexes in FSet are in the acquired_before set of Vd. More... | |
Definition at line 278 of file ThreadSafety.cpp.
|
default |
void BeforeSet::checkBeforeAfter | ( | const ValueDecl * | Vd, |
const FactSet & | FSet, | ||
ThreadSafetyAnalyzer & | Analyzer, | ||
SourceLocation | Loc, | ||
StringRef | CapKind | ||
) |
Return true if any mutexes in FSet are in the acquired_before set of Vd.
Definition at line 1080 of file ThreadSafety.cpp.
References clang::NamedDecl::getName().
BeforeSet::BeforeInfo * BeforeSet::getBeforeInfoForDecl | ( | const ValueDecl * | Vd, |
ThreadSafetyAnalyzer & | Analyzer | ||
) |
Definition at line 1067 of file ThreadSafety.cpp.
BeforeSet::BeforeInfo * BeforeSet::insertAttrExprs | ( | const ValueDecl * | Vd, |
ThreadSafetyAnalyzer & | Analyzer | ||
) |
Process acquired_before and acquired_after attributes on Vd.
Definition at line 1012 of file ThreadSafety.cpp.
References clang::Decl::attrs(), and clang::threadSafety::CapabilityExpr::valueDecl().