//===- ThreadSafety.cpp ----------------------------------------*- C++ --*-===////// The LLVM Compiler Infrastructure//// This file is distributed under the University of Illinois Open Source// License. See LICENSE.TXT for details.////===----------------------------------------------------------------------===////// A intra-procedural analysis for thread safety (e.g. deadlocks and race// conditions), based off of an annotation system.//// See http://clang.llvm.org/docs/LanguageExtensions.html#threadsafety for more// information.////===----------------------------------------------------------------------===//#include"clang/Analysis/Analyses/ThreadSafety.h"#include"clang/Analysis/Analyses/PostOrderCFGView.h"#include"clang/Analysis/AnalysisContext.h"#include"clang/Analysis/CFG.h"#include"clang/Analysis/CFGStmtMap.h"#include"clang/AST/DeclCXX.h"#include"clang/AST/ExprCXX.h"#include"clang/AST/StmtCXX.h"#include"clang/AST/StmtVisitor.h"#include"clang/Basic/SourceManager.h"#include"clang/Basic/SourceLocation.h"#include"llvm/ADT/BitVector.h"#include"llvm/ADT/FoldingSet.h"#include"llvm/ADT/ImmutableMap.h"