#include "clang/Analysis/Analyses/ThreadSafety.h"
#include "clang/AST/Attr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclGroup.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/Analyses/PostOrderCFGView.h"
#include "clang/Analysis/Analyses/ThreadSafetyCommon.h"
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
#include "clang/Analysis/Analyses/ThreadSafetyTraverse.h"
#include "clang/Analysis/Analyses/ThreadSafetyUtil.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/OperatorKinds.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/Specifiers.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/ImmutableMap.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Allocator.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>
#include <functional>
#include <iterator>
#include <memory>
#include <string>
#include <type_traits>
#include <utility>
#include <vector>

Include dependency graph for ThreadSafety.cpp:

Classes
class	clang::threadSafety::BeforeSet

Namespaces
	clang
	Dataflow Directional Tag Classes.

	clang::threadSafety

Enumerations
enum	CFGBlockSide
	A side (entry or exit) of a CFG node. More...

Functions
static void	warnInvalidLock (ThreadSafetyHandler &Handler, const Expr MutexExp, const NamedDecl D, const Expr *DeclExp, StringRef Kind)
	Issue a warning about an invalid lock expression. More...

static void	findBlockLocations (CFG CFGraph, const PostOrderCFGView SortedGraph, std::vector< CFGBlockInfo > &BlockInfo)
	Find the appropriate source locations to use when producing diagnostics for each block in the CFG. More...

static const ValueDecl *	getValueDecl (const Expr *Exp)
	Gets the value decl pointer from DeclRefExprs or MemberExprs. More...

static StringRef	ClassifyDiagnostic (const CapabilityAttr *A)

static StringRef	ClassifyDiagnostic (QualType VDT)

static StringRef	ClassifyDiagnostic (const ValueDecl *VD)

template<typename AttrTy >
static std::enable_if<!has_arg_iterator_range< AttrTy >::value, StringRef >::type	ClassifyDiagnostic (const AttrTy *A)

template<typename AttrTy >
static std::enable_if< has_arg_iterator_range< AttrTy >::value, StringRef >::type	ClassifyDiagnostic (const AttrTy *A)

static bool	getStaticBooleanValue (Expr *E, bool &TCond)

static CXXConstructorDecl *	findConstructorForByValueReturn (const CXXRecordDecl *RD)

static Expr *	buildFakeCtorCall (CXXConstructorDecl CD, ArrayRef< Expr > Args, SourceLocation Loc)

static bool	neverReturns (const CFGBlock *B)