clang
9.0.0svn
|
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTDiagnostic.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclFriend.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/PrettyDeclStackTrace.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Basic/DiagnosticOptions.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Lex/HeaderSearch.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/CXXFieldCollector.h"
#include "clang/Sema/DelayedDiagnostic.h"
#include "clang/Sema/ExternalSemaSource.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/MultiplexExternalSemaSource.h"
#include "clang/Sema/ObjCMethodList.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaConsumer.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/TemplateDeduction.h"
#include "clang/Sema/TemplateInstCallback.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/SmallSet.h"
#include "clang/Basic/OpenCLImageTypes.def"
#include "clang/Basic/OpenCLExtensionTypes.def"
Go to the source code of this file.
Classes | |
class | clang::sema::SemaPPCallbacks |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::sema | |
Macros | |
#define | GENERIC_IMAGE_TYPE_EXT(Type, Id, Ext) setOpenCLExtensionForType(Context.Id, Ext); |
#define | EXT_OPAQUE_TYPE(ExtType, Id, Ext) |
Typedefs | |
typedef llvm::DenseMap< const CXXRecordDecl *, bool > | RecordCompleteMap |
Functions | |
static bool | ShouldRemoveFromUnused (Sema *SemaRef, const DeclaratorDecl *D) |
Used to prune the decls of Sema's UnusedFileScopedDecls vector. More... | |
static bool | isFunctionOrVarDeclExternC (NamedDecl *ND) |
static void | checkUndefinedButUsed (Sema &S) |
checkUndefinedButUsed - Check for undefined objects with internal linkage or that are inline. More... | |
static bool | MethodsAndNestedClassesComplete (const CXXRecordDecl *RD, RecordCompleteMap &MNCComplete) |
Returns true, if all methods and nested classes of the given CXXRecordDecl are defined in this translation unit. More... | |
static bool | IsRecordFullyDefined (const CXXRecordDecl *RD, RecordCompleteMap &RecordsComplete, RecordCompleteMap &MNCComplete) |
Returns true, if the given CXXRecordDecl is fully defined in this translation unit, i.e. More... | |
static void | emitCallStackNotes (Sema &S, FunctionDecl *FD) |
static void | emitDeferredDiags (Sema &S, FunctionDecl *FD) |
static void | checkEscapingByref (VarDecl *VD, Sema &S) |
static void | markEscapingByrefs (const FunctionScopeInfo &FSI, Sema &S) |
static void | noteOverloads (Sema &S, const UnresolvedSetImpl &Overloads, const SourceLocation FinalNoteLoc) |
Give notes for a set of overloads. More... | |
static void | notePlausibleOverloads (Sema &S, SourceLocation Loc, const UnresolvedSetImpl &Overloads, bool(*IsPlausibleResult)(QualType)) |
static bool | IsCallableWithAppend (Expr *E) |
Determine whether the given expression can be called by just putting parentheses after it. More... | |
static bool | IsCPUDispatchCPUSpecificMultiVersion (const Expr *E) |
#define EXT_OPAQUE_TYPE | ( | ExtType, | |
Id, | |||
Ext | |||
) |
#define GENERIC_IMAGE_TYPE_EXT | ( | Type, | |
Id, | |||
Ext | |||
) | setOpenCLExtensionForType(Context.Id, Ext); |
typedef llvm::DenseMap<const CXXRecordDecl*, bool> RecordCompleteMap |
Definition at line 1597 of file Sema.cpp.
References clang::Sema::canThrow(), clang::Sema::Context, clang::ActionResult< PtrTy, CompressInvalid >::getAs(), clang::Type::getAsCXXRecordDecl(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::InitializedEntity::InitializeBlock(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::MaybeCreateExprWithCleanups(), clang::Sema::PerformMoveOrCopyInitialization(), clang::Sema::PotentiallyEvaluated, clang::Sema::ResolveExceptionSpec(), clang::Result, clang::ASTContext::setBlockVarCopyInit(), and clang::VK_LValue.
Referenced by markEscapingByrefs().
|
static |
checkUndefinedButUsed - Check for undefined objects with internal linkage or that are inline.
Definition at line 679 of file Sema.cpp.
Referenced by clang::Sema::ActOnEndOfTranslationUnit().
|
static |
Definition at line 1330 of file Sema.cpp.
Referenced by clang::Sema::DeviceDiagBuilder::~DeviceDiagBuilder().
|
static |
Definition at line 1344 of file Sema.cpp.
Referenced by clang::Sema::markKnownEmitted().
Determine whether the given expression can be called by just putting parentheses after it.
Notably, expressions with unary operators can't be because the unary operator will start parsing outside the call.
Definition at line 1979 of file Sema.cpp.
References clang::Expr::IgnoreImplicit().
Referenced by clang::Sema::tryToRecoverWithCall().
Definition at line 1987 of file Sema.cpp.
Referenced by clang::Sema::tryToRecoverWithCall().
Definition at line 607 of file Sema.cpp.
References isExternC().
Referenced by clang::Sema::isExternalWithNoLinkageType().
|
static |
Returns true, if the given CXXRecordDecl is fully defined in this translation unit, i.e.
all methods are defined or pure virtual and all friends, friend functions and nested classes are fully defined in this translation unit.
Should only be called from ActOnEndOfTranslationUnit so that all definitions are actually read.
Definition at line 789 of file Sema.cpp.
References clang::CXXRecordDecl::friend_begin(), clang::CXXRecordDecl::friend_end(), and MethodsAndNestedClassesComplete().
|
static |
Definition at line 1622 of file Sema.cpp.
References clang::sema::FunctionScopeInfo::Blocks, clang::sema::FunctionScopeInfo::ByrefBlockVars, clang::BlockDecl::captures(), checkEscapingByref(), clang::BlockDecl::doesNotEscape(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::VarDecl::isEscapingByref(), clang::Type::isStructureOrClassType(), and clang::VarDecl::setEscapingByref().
Referenced by clang::Sema::PopFunctionScopeInfo().
|
static |
Returns true, if all methods and nested classes of the given CXXRecordDecl are defined in this translation unit.
Should only be called from ActOnEndOfTranslationUnit so that all definitions are actually read.
Definition at line 747 of file Sema.cpp.
References clang::DeclContext::decls_begin(), clang::DeclContext::decls_end(), clang::if(), and clang::TagDecl::isCompleteDefinition().
Referenced by IsRecordFullyDefined().
|
static |
Give notes for a set of overloads.
A companion to tryExprAsCall. In cases when the name that the programmer wrote was an overloaded function, we may be able to make some guesses about plausible overloads based on their return types; such guesses can be handed off to this method to be emitted as notes.
Overloads | - The overloads to note. |
FinalNoteLoc | - If we've suppressed printing some overloads due to -fshow-overloads=best, this is the location to attach to the note about too many candidates. Typically this will be the location of the original ill-formed expression. |
Definition at line 1929 of file Sema.cpp.
References clang::UnresolvedSetImpl::begin(), clang::Sema::Diag(), clang::Sema::Diags, clang::UnresolvedSetImpl::end(), clang::Decl::getAsFunction(), clang::Decl::getLocation(), clang::DiagnosticsEngine::getShowOverloads(), clang::NamedDecl::getUnderlyingDecl(), and clang::Ovl_Best.
Referenced by notePlausibleOverloads().
|
static |
Definition at line 1958 of file Sema.cpp.
References clang::UnresolvedSetImpl::addDecl(), clang::UnresolvedSetImpl::begin(), clang::UnresolvedSetImpl::end(), clang::FunctionDecl::getReturnType(), and noteOverloads().
Referenced by clang::Sema::tryToRecoverWithCall().
|
static |
Used to prune the decls of Sema's UnusedFileScopedDecls vector.
Definition at line 546 of file Sema.cpp.
References clang::Sema::Context, clang::VarDecl::getDefinition(), clang::Redeclarable< decl_type >::getMostRecentDecl(), clang::NamedDecl::getMostRecentDecl(), clang::NamedDecl::isExternallyVisible(), clang::Decl::isUsed(), and clang::Sema::ShouldWarnIfUnusedFileScopedDecl().
Referenced by clang::Sema::ActOnEndOfTranslationUnit().