clang 19.0.0git
Namespaces | Typedefs | Functions
ThreadSafetyCommon.cpp File Reference
#include "clang/Analysis/Analyses/ThreadSafetyCommon.h"
#include "clang/AST/Attr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclGroup.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
#include "clang/Analysis/CFG.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/OperatorKinds.h"
#include "clang/Basic/Specifiers.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Casting.h"
#include <algorithm>
#include <cassert>
#include <string>
#include <utility>

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::threadSafety
 

Typedefs

using CallingContext = SExprBuilder::CallingContext
 

Functions

static bool isIncompletePhi (const til::SExpr *E)
 
static bool isCalleeArrow (const Expr *E)
 
static StringRef ClassifyDiagnostic (const CapabilityAttr *A)
 
static StringRef ClassifyDiagnostic (QualType VDT)
 
static const ValueDeclgetValueDeclFromSExpr (const til::SExpr *E)
 
static bool hasAnyPointerType (const til::SExpr *E)
 
static const CXXMethodDeclgetFirstVirtualDecl (const CXXMethodDecl *D)
 
static void maybeUpdateVD (til::SExpr *E, const ValueDecl *VD)
 
void clang::threadSafety::printSCFG (CFGWalker &Walker)
 

Typedef Documentation

◆ CallingContext

Definition at line 70 of file ThreadSafetyCommon.cpp.

Function Documentation

◆ ClassifyDiagnostic() [1/2]

static StringRef ClassifyDiagnostic ( const CapabilityAttr *  A)
static

◆ ClassifyDiagnostic() [2/2]

static StringRef ClassifyDiagnostic ( QualType  VDT)
static

◆ getFirstVirtualDecl()

static const CXXMethodDecl * getFirstVirtualDecl ( const CXXMethodDecl D)
static

◆ getValueDeclFromSExpr()

static const ValueDecl * getValueDeclFromSExpr ( const til::SExpr E)
static

Definition at line 356 of file ThreadSafetyCommon.cpp.

References P, and V.

Referenced by hasAnyPointerType().

◆ hasAnyPointerType()

static bool hasAnyPointerType ( const til::SExpr E)
static

◆ isCalleeArrow()

static bool isCalleeArrow ( const Expr E)
static

◆ isIncompletePhi()

static bool isIncompletePhi ( const til::SExpr E)
static

◆ maybeUpdateVD()

static void maybeUpdateVD ( til::SExpr E,
const ValueDecl VD 
)
static

Definition at line 704 of file ThreadSafetyCommon.cpp.

References V.