clang
3.9.0
|
#include "clang/Analysis/Analyses/ThreadSafetyCommon.h"
#include "clang/AST/Attr.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Analysis/Analyses/PostOrderCFGView.h"
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
#include "clang/Analysis/Analyses/ThreadSafetyTraverse.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Basic/OperatorKinds.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/SourceManager.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringRef.h"
#include <algorithm>
#include <climits>
#include <vector>
Go to the source code of this file.
Typedefs | |
typedef SExprBuilder::CallingContext | CallingContext |
Functions | |
static bool | isIncompletePhi (const til::SExpr *E) |
static bool | isCalleeArrow (const Expr *E) |
static const ValueDecl * | getValueDeclFromSExpr (const til::SExpr *E) |
static bool | hasCppPointerType (const til::SExpr *E) |
static const CXXMethodDecl * | getFirstVirtualDecl (const CXXMethodDecl *D) |
static void | maybeUpdateVD (til::SExpr *E, const ValueDecl *VD) |
Definition at line 68 of file ThreadSafetyCommon.cpp.
|
static |
Definition at line 322 of file ThreadSafetyCommon.cpp.
References clang::CXXMethodDecl::begin_overridden_methods(), E, clang::CXXMethodDecl::end_overridden_methods(), clang::CXXMethodDecl::getCanonicalDecl(), and I.
|
static |
Definition at line 299 of file ThreadSafetyCommon.cpp.
References P.
Referenced by hasCppPointerType().
|
static |
Definition at line 311 of file ThreadSafetyCommon.cpp.
References clang::threadSafety::til::CAST_objToPtr, clang::ValueDecl::getType(), getValueDeclFromSExpr(), and clang::Type::isPointerType().
Definition at line 82 of file ThreadSafetyCommon.cpp.
References clang::Expr::IgnoreParenCasts(), and clang::MemberExpr::isArrow().
Referenced by clang::threadSafety::SExprBuilder::translateAttrExpr().
|
static |
Definition at line 62 of file ThreadSafetyCommon.cpp.
References clang::threadSafety::til::Phi::PH_Incomplete.
|
static |
Definition at line 634 of file ThreadSafetyCommon.cpp.