Sema.cpp File Reference

#include "clang/Sema/SemaInternal.h"
#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/StmtCXX.h"
#include "clang/Basic/DiagnosticOptions.h"
#include "clang/Basic/FileManager.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/MultiplexExternalSemaSource.h"
#include "clang/Sema/ObjCMethodList.h"
#include "clang/Sema/PrettyDeclStackTrace.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaConsumer.h"
#include "clang/Sema/TemplateDeduction.h"
#include "llvm/ADT/APFloat.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/Support/CrashRecoveryContext.h"

Include dependency graph for Sema.cpp:

Go to the source code of this file.

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.
static void	checkUndefinedButUsed (Sema &S)
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.
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. all methods are defined or pure virtual and all friends, friend functions and nested classes are fully defined in this translation unit.
static void	noteOverloads (Sema &S, const UnresolvedSetImpl &Overloads, const SourceLocation FinalNoteLoc)
	Give notes for a set of overloads.
static void	notePlausibleOverloads (Sema &S, SourceLocation Loc, const UnresolvedSetImpl &Overloads, bool(*IsPlausibleResult)(QualType))
static bool	IsCallableWithAppend (Expr *E)

---

Typedef Documentation

typedef llvm::DenseMap<const CXXRecordDecl*, bool> RecordCompleteMap

Definition at line 524 of file Sema.cpp.

---

Function Documentation

static void checkUndefinedButUsed

(

Sema &

S

)

[static]

checkUndefinedButUsed - Check for undefined objects with internal linkage or that are inline.

Definition at line 475 of file Sema.cpp.

References clang::Sema::Diag(), clang::Decl::getLocation(), clang::Sema::getUndefinedButUsed(), clang::Decl::hasAttr(), clang::NamedDecl::isExternallyVisible(), and clang::Sema::UndefinedButUsed.

Referenced by clang::Sema::ActOnEndOfTranslationUnit().

static bool IsCallableWithAppend

(

Expr *

E

)

[static]

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 1407 of file Sema.cpp.

References clang::Expr::IgnoreImplicit().

Referenced by clang::Sema::tryToRecoverWithCall().

static bool IsRecordFullyDefined	(	const CXXRecordDecl *	RD,
		RecordCompleteMap &	RecordsComplete,
		RecordCompleteMap &	MNCComplete
	)		[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 572 of file Sema.cpp.

References clang::CodeGen::Complete, clang::CXXRecordDecl::friend_begin(), clang::CXXRecordDecl::friend_end(), and MethodsAndNestedClassesComplete().

Referenced by clang::Sema::ActOnEndOfTranslationUnit().

static bool MethodsAndNestedClassesComplete	(	const CXXRecordDecl *	RD,
		RecordCompleteMap &	MNCComplete
	)		[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 531 of file Sema.cpp.

References clang::CodeGen::Complete, clang::DeclContext::decls_begin(), clang::DeclContext::decls_end(), and clang::TagDecl::isCompleteDefinition().

Referenced by IsRecordFullyDefined().

static void noteOverloads	(	Sema &	S,
		const UnresolvedSetImpl &	Overloads,
		const SourceLocation	FinalNoteLoc
	)		[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.

Parameters:

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 1363 of file Sema.cpp.

References clang::UnresolvedSetImpl::begin(), clang::Sema::Diag(), clang::Sema::Diags, clang::UnresolvedSetImpl::end(), clang::Decl::getLocation(), clang::DiagnosticsEngine::getShowOverloads(), clang::NamedDecl::getUnderlyingDecl(), and clang::Ovl_Best.

Referenced by notePlausibleOverloads().

static void notePlausibleOverloads	(	Sema &	S,
		SourceLocation	Loc,
		const UnresolvedSetImpl &	Overloads,
		bool(*)(QualType)	IsPlausibleResult
	)		[static]

Definition at line 1386 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 bool ShouldRemoveFromUnused	(	Sema *	SemaRef,
		const DeclaratorDecl *	D
	)		[static]

Used to prune the decls of Sema's UnusedFileScopedDecls vector.

Definition at line 379 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().