clang  3.9.0
Enumerations | Functions
SemaInit.cpp File Reference
#include "clang/Sema/Initialization.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Sema/Designator.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/SemaInternal.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <map>
Include dependency graph for SemaInit.cpp:

Go to the source code of this file.

Enumerations

enum  StringInitFailureKind {
  SIF_None, SIF_NarrowStringIntoWideChar, SIF_WideStringIntoChar, SIF_IncompatWideStringIntoWideChar,
  SIF_Other
}
 
enum  InvalidICRKind { IIK_okay, IIK_nonlocal, IIK_nonscalar }
 The non-zero enum values here are indexes into diagnostic alternatives. More...
 

Functions

static bool IsWideCharCompatible (QualType T, ASTContext &Context)
 Check whether T is compatible with a wide character type (wchar_t, char16_t or char32_t). More...
 
static StringInitFailureKind IsStringInit (Expr *Init, const ArrayType *AT, ASTContext &Context)
 Check whether the array of type AT can be initialized by the Init expression by means of string initialization. More...
 
static StringInitFailureKind IsStringInit (Expr *init, QualType declType, ASTContext &Context)
 
static void updateStringLiteralType (Expr *E, QualType Ty)
 Update the type of a string literal, including any surrounding parentheses, to match the type of the object which it is initializing. More...
 
static void CheckStringInit (Expr *Str, QualType &DeclT, const ArrayType *AT, Sema &S)
 
static void warnBracedScalarInit (Sema &S, const InitializedEntity &Entity, SourceRange Braces)
 Warn that Entity was of scalar type and was initialized by a single-element braced initializer list. More...
 
static void ExpandAnonymousFieldDesignator (Sema &SemaRef, DesignatedInitExpr *DIE, unsigned DesigIdx, IndirectFieldDecl *IndirectField)
 Expand a field designator that refers to a member of an anonymous struct or union into a series of field designators that refers to the field within the appropriate subobject. More...
 
static DesignatedInitExprCloneDesignatedInitExpr (Sema &SemaRef, DesignatedInitExpr *DIE)
 
static ExprResult CheckArrayDesignatorExpr (Sema &S, Expr *Index, llvm::APSInt &Value)
 Check that the given Index expression is a valid array designator value. More...
 
static bool maybeRecoverWithZeroInitialization (Sema &S, InitializationSequence &Sequence, const InitializedEntity &Entity)
 Tries to add a zero initializer. Returns true if that worked. More...
 
static void MaybeProduceObjCObject (Sema &S, InitializationSequence &Sequence, const InitializedEntity &Entity)
 
static void TryListInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, InitListExpr *InitList, InitializationSequence &Sequence, bool TreatUnavailableAsInvalid)
 Attempt list initialization (C++0x [dcl.init.list]) More...
 
static bool TryInitializerListConstruction (Sema &S, InitListExpr *List, QualType DestType, InitializationSequence &Sequence, bool TreatUnavailableAsInvalid)
 When initializing from init list via constructor, handle initialization of an object of type std::initializer_list<T>. More...
 
static OverloadingResult ResolveConstructorOverload (Sema &S, SourceLocation DeclLoc, MultiExprArg Args, OverloadCandidateSet &CandidateSet, DeclContext::lookup_result Ctors, OverloadCandidateSet::iterator &Best, bool CopyInitializing, bool AllowExplicit, bool OnlyListConstructors, bool IsListInit)
 
static void TryConstructorInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, MultiExprArg Args, QualType DestType, InitializationSequence &Sequence, bool IsListInit=false, bool IsInitListCopy=false)
 Attempt initialization by constructor (C++ [dcl.init]), which enumerates the constructors of the initialized entity and performs overload resolution to select the best. More...
 
static bool ResolveOverloadedFunctionForReferenceBinding (Sema &S, Expr *Initializer, QualType &SourceType, QualType &UnqualifiedSourceType, QualType UnqualifiedTargetType, InitializationSequence &Sequence)
 
static void TryReferenceInitializationCore (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, Expr *Initializer, QualType cv1T1, QualType T1, Qualifiers T1Quals, QualType cv2T2, QualType T2, Qualifiers T2Quals, InitializationSequence &Sequence)
 Reference initialization without resolving overloaded functions. More...
 
static void TryValueInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, InitializationSequence &Sequence, InitListExpr *InitList)
 Attempt value initialization (C++ [dcl.init]p7). More...
 
static void TryReferenceListInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, InitListExpr *InitList, InitializationSequence &Sequence, bool TreatUnavailableAsInvalid)
 Attempt list initialization of a reference. More...
 
static OverloadingResult TryRefInitWithConversionFunction (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, Expr *Initializer, bool AllowRValues, InitializationSequence &Sequence)
 Try a reference initialization that involves calling a conversion function. More...
 
static void CheckCXX98CompatAccessibleCopy (Sema &S, const InitializedEntity &Entity, Expr *CurInitExpr)
 Check whether elidable copy construction for binding a reference to a temporary would have succeeded if we were building in C++98 mode, for -Wc++98-compat. More...
 
static void TryReferenceInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, Expr *Initializer, InitializationSequence &Sequence)
 Attempt reference initialization (C++0x [dcl.init.ref]) More...
 
static ExprValueKind convertQualifiersAndValueKindIfNecessary (Sema &S, InitializationSequence &Sequence, Expr *Initializer, QualType cv1T1, Qualifiers T1Quals, Qualifiers T2Quals, bool IsLValueRef)
 Converts the target of reference initialization so that it has the appropriate qualifiers and value kind. More...
 
static void TryStringLiteralInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, Expr *Initializer, InitializationSequence &Sequence)
 Attempt character array initialization from a string literal (C++ [dcl.init.string], C99 6.7.8). More...
 
static void TryDefaultInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, InitializationSequence &Sequence)
 Attempt default initialization (C++ [dcl.init]p6). More...
 
static void TryUserDefinedConversion (Sema &S, QualType DestType, const InitializationKind &Kind, Expr *Initializer, InitializationSequence &Sequence, bool TopLevelOfInitList)
 Attempt a user-defined conversion between two types (C++ [dcl.init]), which enumerates all conversion functions and performs overload resolution to select the best. More...
 
static bool isLibstdcxxPointerReturnFalseHack (Sema &S, const InitializedEntity &Entity, const Expr *Init)
 An egregious hack for compatibility with libstdc++-4.2: in <tr1/hashtable>, a function with a pointer return type contains a 'return false;' statement. More...
 
static InvalidICRKind isInvalidICRSource (ASTContext &C, Expr *e, bool isAddressOf, bool &isWeakAccess)
 Determines whether this expression is an acceptable ICR source. More...
 
static void checkIndirectCopyRestoreSource (Sema &S, Expr *src)
 Check whether the given expression is a valid operand for an indirect copy/restore. More...
 
static bool hasCompatibleArrayTypes (ASTContext &Context, const ArrayType *Dest, const ArrayType *Source)
 Determine whether we have compatible array types for the purposes of GNU by-copy array initialization. More...
 
static bool tryObjCWritebackConversion (Sema &S, InitializationSequence &Sequence, const InitializedEntity &Entity, Expr *Initializer)
 
static bool TryOCLSamplerInitialization (Sema &S, InitializationSequence &Sequence, QualType DestType, Expr *Initializer)
 
static bool TryOCLZeroEventInitialization (Sema &S, InitializationSequence &Sequence, QualType DestType, Expr *Initializer)
 
static bool isExprAnUnaddressableFunction (Sema &S, const Expr *E)
 Tries to get a FunctionDecl out of E. More...
 
static Sema::AssignmentAction getAssignmentAction (const InitializedEntity &Entity, bool Diagnose=false)
 
static bool shouldBindAsTemporary (const InitializedEntity &Entity)
 Whether we should bind a created object as a temporary when initializing the given entity. More...
 
static bool shouldDestroyTemporary (const InitializedEntity &Entity)
 Whether the given entity, when initialized with an object created for that initialization, requires destruction. More...
 
static void LookupCopyAndMoveConstructors (Sema &S, OverloadCandidateSet &CandidateSet, CXXRecordDecl *Class, Expr *CurInitExpr)
 Look for copy and move constructors and constructor templates, for copying an object via direct-initialization (per C++11 [dcl.init]p16). More...
 
static SourceLocation getInitializationLoc (const InitializedEntity &Entity, Expr *Initializer)
 Get the location at which initialization diagnostics should appear. More...
 
static ExprResult CopyObject (Sema &S, QualType T, const InitializedEntity &Entity, ExprResult CurInit, bool IsExtraneousCopy)
 Make a (potentially elidable) temporary copy of the object provided by the given initializer by calling the appropriate copy constructor. More...
 
static bool isReferenceBinding (const InitializationSequence::Step &s)
 
static bool isExplicitTemporary (const InitializedEntity &Entity, const InitializationKind &Kind, unsigned NumArgs)
 Returns true if the parameters describe a constructor initialization of an explicit temporary object, e.g. More...
 
static ExprResult PerformConstructorInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, MultiExprArg Args, const InitializationSequence::Step &Step, bool &ConstructorInitRequiresZeroInit, bool IsListInitialization, bool IsStdInitListInitialization, SourceLocation LBraceLoc, SourceLocation RBraceLoc)
 
static bool InitializedEntityOutlivesFullExpression (const InitializedEntity &Entity)
 Determine whether the specified InitializedEntity definitely has a lifetime longer than the current full-expression. More...
 
static const InitializedEntitygetEntityForTemporaryLifetimeExtension (const InitializedEntity *Entity, const InitializedEntity *FallbackDecl=nullptr)
 Determine the declaration which an initialized entity ultimately refers to, for the purpose of lifetime-extending a temporary bound to a reference in the initialization of Entity. More...
 
static void performLifetimeExtension (Expr *Init, const InitializedEntity *ExtendingEntity)
 Update a prvalue expression that is going to be materialized as a lifetime-extended temporary. More...
 
static bool performReferenceExtension (Expr *Init, const InitializedEntity *ExtendingEntity)
 Update a glvalue expression that is used as the initializer of a reference to note that its lifetime is extended. More...
 
static void warnOnLifetimeExtension (Sema &S, const InitializedEntity &Entity, const Expr *Init, bool IsInitializerList, const ValueDecl *ExtendingDecl)
 
static void DiagnoseNarrowingInInitList (Sema &S, const ImplicitConversionSequence &ICS, QualType PreNarrowingType, QualType EntityType, const Expr *PostInit)
 
static void CheckMoveOnConstruction (Sema &S, const Expr *InitExpr, bool IsReturnStmt)
 Provide warnings when std::move is used on construction. More...
 
static void CheckForNullPointerDereference (Sema &S, const Expr *E)
 
static bool DiagnoseUninitializedReference (Sema &S, SourceLocation Loc, QualType T)
 Somewhere within T there is an uninitialized reference subobject. More...
 
static void emitBadConversionNotes (Sema &S, const InitializedEntity &entity, Expr *op)
 Emit notes associated with an initialization that failed due to a "simple" conversion failure. More...
 
static void diagnoseListInit (Sema &S, const InitializedEntity &Entity, InitListExpr *InitList)
 

Enumeration Type Documentation

The non-zero enum values here are indexes into diagnostic alternatives.

Enumerator
IIK_okay 
IIK_nonlocal 
IIK_nonscalar 

Definition at line 4733 of file SemaInit.cpp.

Enumerator
SIF_None 
SIF_NarrowStringIntoWideChar 
SIF_WideStringIntoChar 
SIF_IncompatWideStringIntoWideChar 
SIF_Other 

Definition at line 48 of file SemaInit.cpp.

Function Documentation

static ExprResult CheckArrayDesignatorExpr ( Sema S,
Expr Index,
llvm::APSInt &  Value 
)
static

Check that the given Index expression is a valid array designator value.

This is essentially just a wrapper around VerifyIntegerConstantExpression that also checks for negative values and produces a reasonable diagnostic if there is a failure. Returns the index expression, possibly with an implicit cast added, on success. If everything went okay, Value will receive the value of the constant expression.

Definition at line 2736 of file SemaInit.cpp.

References clang::Sema::Diag(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), and clang::Sema::VerifyIntegerConstantExpression().

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

static void CheckCXX98CompatAccessibleCopy ( Sema S,
const InitializedEntity Entity,
Expr CurInitExpr 
)
static
static void CheckForNullPointerDereference ( Sema S,
const Expr E 
)
static
static void checkIndirectCopyRestoreSource ( Sema S,
Expr src 
)
static
static void CheckMoveOnConstruction ( Sema S,
const Expr InitExpr,
bool  IsReturnStmt 
)
static
static void CheckStringInit ( Expr Str,
QualType DeclT,
const ArrayType AT,
Sema S 
)
static
static DesignatedInitExpr* CloneDesignatedInitExpr ( Sema SemaRef,
DesignatedInitExpr DIE 
)
static
static ExprValueKind convertQualifiersAndValueKindIfNecessary ( Sema S,
InitializationSequence Sequence,
Expr Initializer,
QualType  cv1T1,
Qualifiers  T1Quals,
Qualifiers  T2Quals,
bool  IsLValueRef 
)
static

Converts the target of reference initialization so that it has the appropriate qualifiers and value kind.

In this case, 'x' is an 'int' lvalue, but it needs to be 'const int'.

int x;
const int &r = x;

In this case the reference is binding to a bitfield lvalue, which isn't valid. Perform a load to create a lifetime-extended temporary instead.

const int &r = someStruct.bitfield;

Definition at line 4164 of file SemaInit.cpp.

References clang::InitializationSequence::AddLValueToRValueStep(), clang::InitializationSequence::AddQualificationConversionStep(), clang::QualType::getUnqualifiedType(), clang::Expr::getValueKind(), clang::Qualifiers::hasConst(), clang::Qualifiers::hasVolatile(), clang::Expr::isGLValue(), clang::Expr::refersToBitField(), clang::Expr::refersToVectorElement(), and clang::VK_RValue.

Referenced by TryReferenceInitializationCore().

static ExprResult CopyObject ( Sema S,
QualType  T,
const InitializedEntity Entity,
ExprResult  CurInit,
bool  IsExtraneousCopy 
)
static

Make a (potentially elidable) temporary copy of the object provided by the given initializer by calling the appropriate copy constructor.

Parameters
SThe Sema object used for type-checking.
TThe type of the temporary object, which must either be the type of the initializer expression or a superclass thereof.
EntityThe entity being initialized.
CurInitThe initializer expression.
IsExtraneousCopyWhether this is an "extraneous" copy that is permitted in C++03 (but not C++0x) when binding a reference to an rvalue.
Returns
An expression that copies the initializer expression into a temporary object, or an error expression if a copy could not be created.

Definition at line 5441 of file SemaInit.cpp.

References clang::OverloadCandidateSet::BestViableFunction(), clang::Sema::BuildCXXConstructExpr(), clang::Sema::BuildCXXDefaultArgExpr(), clang::Sema::CheckConstructorAccess(), clang::CXXConstructExpr::CK_Complete, clang::Sema::CompleteConstructorCall(), clang::Sema::Context, clang::OverloadCandidateSet::CSK_Normal, clang::Sema::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::ActionResult< PtrTy, CompressInvalid >::getAs(), clang::Type::getAs(), getInitializationLoc(), clang::InitializedEntity::getKind(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::Expr::getType(), clang::ValueDecl::getType(), I, clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::isSFINAEContext(), clang::Expr::isTemporaryObject(), LookupCopyAndMoveConstructors(), clang::Sema::MaybeBindToTemporary(), clang::OverloadCandidateSet::NoteCandidates(), clang::Sema::NoteDeletedFunction(), clang::OCD_AllCandidates, clang::OCD_ViableCandidates, clang::OR_Ambiguous, clang::OR_Deleted, clang::OR_No_Viable_Function, clang::OR_Success, clang::Sema::RequireCompleteType(), shouldBindAsTemporary(), and clang::OverloadCandidateSet::size().

Referenced by clang::InitializationSequence::Perform().

static void diagnoseListInit ( Sema S,
const InitializedEntity Entity,
InitListExpr InitList 
)
static
static void DiagnoseNarrowingInInitList ( Sema S,
const ImplicitConversionSequence ICS,
QualType  PreNarrowingType,
QualType  EntityType,
const Expr PostInit 
)
static
static bool DiagnoseUninitializedReference ( Sema S,
SourceLocation  Loc,
QualType  T 
)
static
static void emitBadConversionNotes ( Sema S,
const InitializedEntity entity,
Expr op 
)
static
static void ExpandAnonymousFieldDesignator ( Sema SemaRef,
DesignatedInitExpr DIE,
unsigned  DesigIdx,
IndirectFieldDecl IndirectField 
)
static

Expand a field designator that refers to a member of an anonymous struct or union into a series of field designators that refers to the field within the appropriate subobject.

Definition at line 1945 of file SemaInit.cpp.

References clang::IndirectFieldDecl::chain_begin(), clang::IndirectFieldDecl::chain_end(), clang::Sema::Context, clang::DesignatedInitExpr::ExpandDesignator(), clang::DesignatedInitExpr::getDesignator(), clang::DesignatedInitExpr::Designator::getDotLoc(), and clang::DesignatedInitExpr::Designator::getFieldLoc().

static Sema::AssignmentAction getAssignmentAction ( const InitializedEntity Entity,
bool  Diagnose = false 
)
static
static const InitializedEntity* getEntityForTemporaryLifetimeExtension ( const InitializedEntity Entity,
const InitializedEntity FallbackDecl = nullptr 
)
static
static SourceLocation getInitializationLoc ( const InitializedEntity Entity,
Expr Initializer 
)
static
static bool hasCompatibleArrayTypes ( ASTContext Context,
const ArrayType Dest,
const ArrayType Source 
)
static

Determine whether we have compatible array types for the purposes of GNU by-copy array initialization.

Definition at line 4821 of file SemaInit.cpp.

References clang::ArrayType::getElementType(), clang::ASTContext::hasSameType(), clang::Type::isConstantArrayType(), and clang::Type::isIncompleteArrayType().

Referenced by clang::InitializationSequence::InitializeFrom().

static bool InitializedEntityOutlivesFullExpression ( const InitializedEntity Entity)
static
static bool isExplicitTemporary ( const InitializedEntity Entity,
const InitializationKind Kind,
unsigned  NumArgs 
)
static
static bool isExprAnUnaddressableFunction ( Sema S,
const Expr E 
)
static

Tries to get a FunctionDecl out of E.

If it succeeds and we can take the address of that function, this returns true. Otherwise, it returns false.

Definition at line 4930 of file SemaInit.cpp.

References clang::Sema::checkAddressOfFunctionIsAvailable(), and E.

Referenced by clang::InitializationSequence::InitializeFrom().

static InvalidICRKind isInvalidICRSource ( ASTContext C,
Expr e,
bool  isAddressOf,
bool isWeakAccess 
)
static
static bool isLibstdcxxPointerReturnFalseHack ( Sema S,
const InitializedEntity Entity,
const Expr Init 
)
static

An egregious hack for compatibility with libstdc++-4.2: in <tr1/hashtable>, a function with a pointer return type contains a 'return false;' statement.

In C++11, 'false' is not a null pointer, so this breaks the build of any code using that header.

Work around this by treating 'return false;' as zero-initializing the result if it's used in a pointer-returning function in a system header.

Definition at line 4721 of file SemaInit.cpp.

References clang::InitializedEntity::EK_Result, clang::Expr::getExprLoc(), clang::InitializedEntity::getKind(), clang::Sema::getLangOpts(), clang::Sema::getSourceManager(), clang::InitializedEntity::getType(), clang::SourceManager::isInSystemHeader(), and clang::Type::isPointerType().

Referenced by clang::InitializationSequence::InitializeFrom().

static bool isReferenceBinding ( const InitializationSequence::Step s)
static
static StringInitFailureKind IsStringInit ( Expr Init,
const ArrayType AT,
ASTContext Context 
)
static
static StringInitFailureKind IsStringInit ( Expr init,
QualType  declType,
ASTContext Context 
)
static

Definition at line 124 of file SemaInit.cpp.

References clang::ASTContext::getAsArrayType(), IsStringInit(), and SIF_Other.

static bool IsWideCharCompatible ( QualType  T,
ASTContext Context 
)
static

Check whether T is compatible with a wide character type (wchar_t, char16_t or char32_t).

Definition at line 38 of file SemaInit.cpp.

References clang::ASTContext::Char16Ty, clang::ASTContext::Char32Ty, clang::ASTContext::getLangOpts(), clang::ASTContext::getWideCharType(), and clang::ASTContext::typesAreCompatible().

Referenced by clang::InitializationSequence::InitializeFrom(), and IsStringInit().

static void LookupCopyAndMoveConstructors ( Sema S,
OverloadCandidateSet CandidateSet,
CXXRecordDecl Class,
Expr CurInitExpr 
)
static

Look for copy and move constructors and constructor templates, for copying an object via direct-initialization (per C++11 [dcl.init]p16).

Definition at line 5345 of file SemaInit.cpp.

References clang::Sema::AddOverloadCandidate(), clang::Sema::AddTemplateOverloadCandidate(), clang::DeclContextLookupResult::begin(), clang::DeclContextLookupResult::end(), clang::getConstructorInfo(), and clang::Sema::LookupConstructors().

Referenced by CheckCXX98CompatAccessibleCopy(), and CopyObject().

static void MaybeProduceObjCObject ( Sema S,
InitializationSequence Sequence,
const InitializedEntity Entity 
)
static

When initializing a parameter, produce the value if it's marked attribute((ns_consumed)).

When initializing a return value, if the return type is a retainable type, then returns need to immediately retain the object. If an autorelease is required, it will be done at the last instant.

Definition at line 3368 of file SemaInit.cpp.

References clang::InitializationSequence::AddProduceObjCObjectStep(), clang::InitializedEntity::EK_Result, clang::InitializedEntity::getKind(), clang::Sema::getLangOpts(), clang::InitializedEntity::getType(), clang::Type::isObjCRetainableType(), clang::InitializedEntity::isParameterConsumed(), and clang::InitializedEntity::isParameterKind().

Referenced by clang::InitializationSequence::InitializeFrom().

static bool maybeRecoverWithZeroInitialization ( Sema S,
InitializationSequence Sequence,
const InitializedEntity Entity 
)
static
static ExprResult PerformConstructorInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
MultiExprArg  Args,
const InitializationSequence::Step Step,
bool ConstructorInitRequiresZeroInit,
bool  IsListInitialization,
bool  IsStdInitListInitialization,
SourceLocation  LBraceLoc,
SourceLocation  RBraceLoc 
)
static

Definition at line 5678 of file SemaInit.cpp.

References clang::InitializationKind::AllowExplicit(), clang::InitializedEntity::allowsNRVO(), clang::Sema::BuildCXXConstructExpr(), clang::Sema::CheckConstructorAccess(), clang::CXXConstructExpr::CK_Complete, clang::CXXConstructExpr::CK_Delegating, clang::CXXConstructExpr::CK_NonVirtualBase, clang::CXXConstructExpr::CK_VirtualBase, clang::Sema::CompleteConstructorCall(), clang::Sema::Context, clang::Sema::DefineImplicitDefaultConstructor(), clang::Sema::DiagnoseUseOfDecl(), clang::InitializedEntity::EK_Base, clang::InitializedEntity::EK_Delegating, clang::ExprError(), clang::Sema::findInheritingConstructor(), clang::InitializationSequence::Step::F::FoundDecl, clang::InitializationSequence::Step::F::Function, clang::InitializationSequence::Step::Function, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::InitializedEntity::getBaseSpecifier(), clang::DeclAccessPair::getDecl(), clang::InitializationKind::getEqualLoc(), clang::InitializedEntity::getKind(), clang::InitializationKind::getKind(), clang::InitializationKind::getLocation(), clang::InitializationKind::getParenRange(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::InitializedEntity::getType(), clang::InitializedEntity::getTypeSourceInfo(), clang::InitializationSequence::Step::F::HadMultipleCandidates, clang::InitializationKind::IK_Default, clang::InitializationKind::IK_Direct, clang::InitializationKind::IK_DirectList, clang::InitializationKind::isCopyInit(), clang::CXXConstructorDecl::isCopyOrMoveConstructor(), clang::CXXConstructorDecl::isDefaultConstructor(), clang::FunctionDecl::isDefaulted(), isExplicitTemporary(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::FunctionDecl::isTrivial(), clang::SourceLocation::isValid(), clang::CXXBaseSpecifier::isVirtual(), clang::Sema::MarkFunctionReferenced(), clang::Sema::MaybeBindToTemporary(), clang::NumArgs, and shouldBindAsTemporary().

Referenced by clang::InitializationSequence::Perform().

static void performLifetimeExtension ( Expr Init,
const InitializedEntity ExtendingEntity 
)
static

Update a prvalue expression that is going to be materialized as a lifetime-extended temporary.

Definition at line 5982 of file SemaInit.cpp.

References clang::RecordDecl::fields(), I, clang::TagDecl::isUnion(), performReferenceExtension(), and clang::Expr::skipRValueSubobjectAdjustments().

Referenced by performReferenceExtension().

static bool performReferenceExtension ( Expr Init,
const InitializedEntity ExtendingEntity 
)
static

Update a glvalue expression that is used as the initializer of a reference to note that its lifetime is extended.

Returns
true if any temporary had its lifetime extended.

Definition at line 5936 of file SemaInit.cpp.

References clang::InitializedEntity::allocateManglingNumber(), clang::InitializedEntity::getDecl(), performLifetimeExtension(), and clang::Expr::skipRValueSubobjectAdjustments().

Referenced by clang::InitializationSequence::Perform(), and performLifetimeExtension().

static OverloadingResult ResolveConstructorOverload ( Sema S,
SourceLocation  DeclLoc,
MultiExprArg  Args,
OverloadCandidateSet CandidateSet,
DeclContext::lookup_result  Ctors,
OverloadCandidateSet::iterator Best,
bool  CopyInitializing,
bool  AllowExplicit,
bool  OnlyListConstructors,
bool  IsListInit 
)
static
static bool ResolveOverloadedFunctionForReferenceBinding ( Sema S,
Expr Initializer,
QualType SourceType,
QualType UnqualifiedSourceType,
QualType  UnqualifiedTargetType,
InitializationSequence Sequence 
)
static
static bool shouldBindAsTemporary ( const InitializedEntity Entity)
static
static bool shouldDestroyTemporary ( const InitializedEntity Entity)
static
static void TryConstructorInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
MultiExprArg  Args,
QualType  DestType,
InitializationSequence Sequence,
bool  IsListInit = false,
bool  IsInitListCopy = false 
)
static

Attempt initialization by constructor (C++ [dcl.init]), which enumerates the constructors of the initialized entity and performs overload resolution to select the best.

Parameters
IsListInitIs this list-initialization?
IsInitListCopyIs this non-list-initialization resulting from a list-initialization from {x} where x is the same type as the entity?

Definition at line 3511 of file SemaInit.cpp.

References clang::InitializationSequence::AddConstructorInitializationStep(), clang::CXXRecordDecl::allowConstDefaultInit(), clang::InitializationKind::AllowExplicit(), clang::InitializationSequence::FK_ConstructorOverloadFailed, clang::InitializationSequence::FK_DefaultInitOfConst, clang::InitializationSequence::FK_ExplicitConstructor, clang::InitializationSequence::FK_ListConstructorOverloadFailed, clang::Type::getAs(), clang::RecordType::getDecl(), clang::InitializationSequence::getFailedCandidateSet(), clang::InitListExpr::getInits(), clang::InitializationKind::getKind(), clang::InitializationKind::getLocation(), clang::InitListExpr::getNumInits(), clang::CXXMethodDecl::getParent(), clang::InitializedEntity::getType(), clang::CXXRecordDecl::hasDefaultConstructor(), clang::InitializationKind::IK_Copy, clang::InitializationKind::IK_Default, clang::Sema::isCompleteType(), clang::QualType::isConstQualified(), clang::CXXConstructorDecl::isExplicit(), clang::Sema::LookupConstructors(), maybeRecoverWithZeroInitialization(), clang::OR_No_Viable_Function, ResolveConstructorOverload(), clang::InitializationSequence::SetFailed(), clang::InitializationSequence::setIncompleteTypeFailure(), and clang::InitializationSequence::SetOverloadFailure().

Referenced by clang::InitializationSequence::InitializeFrom(), TryDefaultInitialization(), TryListInitialization(), and TryValueInitialization().

static void TryDefaultInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
InitializationSequence Sequence 
)
static
static bool TryInitializerListConstruction ( Sema S,
InitListExpr List,
QualType  DestType,
InitializationSequence Sequence,
bool  TreatUnavailableAsInvalid 
)
static
static void TryListInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
InitListExpr InitList,
InitializationSequence Sequence,
bool  TreatUnavailableAsInvalid 
)
static

Attempt list initialization (C++0x [dcl.init.list])

Definition at line 3750 of file SemaInit.cpp.

References clang::InitializationSequence::AddConversionSequenceStep(), clang::InitializationSequence::AddListInitializationStep(), clang::Sema::Context, clang::InitializationKind::CreateDirect(), clang::InitializationSequence::FK_InitListBadDestinationType, clang::InitializationSequence::FK_ListInitializationFailed, clang::InitializationSequence::FK_TooManyInitsForScalar, clang::Type::getAs(), clang::ASTContext::getAsArrayType(), clang::Type::getAsCXXRecordDecl(), clang::InitListExpr::getInit(), clang::InitializationKind::getKind(), clang::Sema::getLangOpts(), clang::InitListExpr::getLBraceLoc(), clang::InitializationKind::getLocation(), clang::InitListExpr::getLocStart(), clang::InitListExpr::getNumInits(), clang::InitListExpr::getRBraceLoc(), clang::StandardConversionSequence::getToType(), clang::Expr::getType(), clang::InitializedEntity::getType(), clang::CXXRecordDecl::hasDefaultConstructor(), clang::ASTContext::hasSameUnqualifiedType(), clang::ICK_Floating_Integral, clang::ICK_Integral_Conversion, clang::InitializationKind::IK_DirectList, clang::InitializationSequence::InitializeFrom(), clang::Type::isAggregateType(), clang::Type::isAnyComplexType(), clang::Sema::isCompleteType(), clang::Sema::IsDerivedFrom(), clang::Type::isFloatingType(), clang::Type::isIntegralOrEnumerationType(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Type::isScalarType(), clang::Sema::isStdInitializerList(), IsStringInit(), clang::InitializationSequence::RewrapReferenceInitList(), clang::StandardConversionSequence::Second, clang::StandardConversionSequence::setAsIdentityConversion(), clang::InitializationSequence::SetFailed(), clang::StandardConversionSequence::setFromType(), clang::InitializationSequence::setIncompleteTypeFailure(), clang::ImplicitConversionSequence::setStandard(), clang::StandardConversionSequence::setToType(), SIF_None, clang::ImplicitConversionSequence::Standard, TryConstructorInitialization(), TryInitializerListConstruction(), TryReferenceListInitialization(), and TryValueInitialization().

Referenced by clang::InitializationSequence::InitializeFrom(), TryInitializerListConstruction(), and TryReferenceListInitialization().

static bool tryObjCWritebackConversion ( Sema S,
InitializationSequence Sequence,
const InitializedEntity Entity,
Expr Initializer 
)
static
static bool TryOCLSamplerInitialization ( Sema S,
InitializationSequence Sequence,
QualType  DestType,
Expr Initializer 
)
static
static bool TryOCLZeroEventInitialization ( Sema S,
InitializationSequence Sequence,
QualType  DestType,
Expr Initializer 
)
static
static void TryReferenceInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
Expr Initializer,
InitializationSequence Sequence 
)
static
static void TryReferenceInitializationCore ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
Expr Initializer,
QualType  cv1T1,
QualType  T1,
Qualifiers  T1Quals,
QualType  cv2T2,
QualType  T2,
Qualifiers  T2Quals,
InitializationSequence Sequence 
)
static

Reference initialization without resolving overloaded functions.

Definition at line 4200 of file SemaInit.cpp.

References clang::InitializationSequence::AddConversionSequenceStep(), clang::InitializationSequence::AddDerivedToBaseCastStep(), clang::InitializationSequence::AddExtraneousCopyToTemporary(), clang::InitializationSequence::AddObjCObjectConversionStep(), clang::InitializationSequence::AddReferenceBindingStep(), CheckCXX98CompatAccessibleCopy(), clang::Expr::Classify(), clang::Sema::CompareReferenceRelationship(), clang::Sema::Context, convertQualifiersAndValueKindIfNecessary(), clang::OverloadCandidateSet::empty(), clang::InitializationSequence::FK_AddressOfOverloadFailed, clang::InitializationSequence::FK_NonConstLValueReferenceBindingToTemporary, clang::InitializationSequence::FK_NonConstLValueReferenceBindingToUnrelated, clang::InitializationSequence::FK_ReferenceInitDropsQualifiers, clang::InitializationSequence::FK_ReferenceInitFailed, clang::InitializationSequence::FK_ReferenceInitOverloadFailed, clang::InitializationSequence::FK_RValueReferenceBindingToLValue, clang::ASTContext::getCanonicalType(), clang::Qualifiers::getCVRQualifiers(), clang::InitializationSequence::getFailedCandidateSet(), clang::Sema::getLangOpts(), clang::ASTContext::getQualifiedType(), clang::InitializedEntity::getType(), clang::Qualifiers::hasConst(), clang::Qualifiers::hasVolatile(), clang::InitializedEntity::InitializeTemporary(), clang::Type::isArrayType(), clang::ImplicitConversionSequence::isBad(), clang::InitializationKind::isCStyleOrFunctionalCast(), clang::Type::isFunctionType(), clang::Expr::Classification::isLValue(), clang::Type::isLValueReferenceType(), clang::Expr::Classification::isPRValue(), clang::Type::isRecordType(), clang::Expr::Classification::isRValue(), isRValueRef(), clang::Expr::Classification::isXValue(), clang::OR_No_Viable_Function, clang::OR_Success, clang::ASTContext::OverloadTy, clang::Sema::Ref_Compatible, clang::Sema::Ref_Compatible_With_Added_Qualification, clang::Sema::Ref_Incompatible, clang::Sema::Ref_Related, clang::InitializationSequence::SetFailed(), clang::InitializationSequence::SetOverloadFailure(), clang::Sema::TryImplicitConversion(), TryRefInitWithConversionFunction(), clang::VK_LValue, clang::VK_RValue, and clang::VK_XValue.

Referenced by TryReferenceInitialization(), and TryReferenceListInitialization().

static void TryReferenceListInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
InitListExpr InitList,
InitializationSequence Sequence,
bool  TreatUnavailableAsInvalid 
)
static
static OverloadingResult TryRefInitWithConversionFunction ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
Expr Initializer,
bool  AllowRValues,
InitializationSequence Sequence 
)
static

Try a reference initialization that involves calling a conversion function.

Definition at line 3943 of file SemaInit.cpp.

References clang::Sema::AddConversionCandidate(), clang::InitializationSequence::AddConversionSequenceStep(), clang::InitializationSequence::AddDerivedToBaseCastStep(), clang::InitializationSequence::AddObjCObjectConversionStep(), clang::Sema::AddOverloadCandidate(), clang::InitializationSequence::AddQualificationConversionStep(), clang::InitializationSequence::AddReferenceBindingStep(), clang::Sema::AddTemplateConversionCandidate(), clang::Sema::AddTemplateOverloadCandidate(), clang::InitializationSequence::AddUserConversionStep(), clang::InitializationKind::AllowExplicit(), clang::InitializationKind::allowExplicitConversionFunctionsInRefBinding(), clang::OverloadCandidateSet::BestViableFunction(), clang::OverloadCandidateSet::clear(), clang::Sema::CompareReferenceRelationship(), clang::Sema::Context, E, clang::Type::getAs(), clang::getConstructorInfo(), clang::RecordType::getDecl(), clang::InitializationSequence::getFailedCandidateSet(), clang::InitializationKind::getLocation(), clang::QualType::getNonLValueExprType(), clang::QualType::getNonReferenceType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::FunctionDecl::getReturnType(), clang::FunctionTemplateDecl::getTemplatedDecl(), clang::StandardConversionSequence::getToType(), clang::Expr::getType(), clang::InitializedEntity::getType(), clang::QualType::getUnqualifiedType(), clang::CXXRecordDecl::getVisibleConversionFunctions(), I, clang::Sema::isCompleteType(), clang::Type::isReferenceType(), clang::Sema::LookupConstructors(), clang::OR_No_Viable_Function, clang::OR_Success, clang::Sema::Ref_Incompatible, clang::ImplicitConversionSequence::setStandard(), clang::OverloadCandidateSet::size(), clang::ImplicitConversionSequence::Standard, clang::VK_LValue, clang::VK_RValue, and clang::VK_XValue.

Referenced by TryReferenceInitializationCore().

static void TryStringLiteralInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
Expr Initializer,
InitializationSequence Sequence 
)
static

Attempt character array initialization from a string literal (C++ [dcl.init.string], C99 6.7.8).

Definition at line 4437 of file SemaInit.cpp.

References clang::InitializationSequence::AddStringInitStep(), and clang::InitializedEntity::getType().

Referenced by clang::InitializationSequence::InitializeFrom().

static void TryUserDefinedConversion ( Sema S,
QualType  DestType,
const InitializationKind Kind,
Expr Initializer,
InitializationSequence Sequence,
bool  TopLevelOfInitList 
)
static

Attempt a user-defined conversion between two types (C++ [dcl.init]), which enumerates all conversion functions and performs overload resolution to select the best.

Definition at line 4564 of file SemaInit.cpp.

References clang::Sema::AddConversionCandidate(), clang::InitializationSequence::AddConversionSequenceStep(), clang::Sema::AddOverloadCandidate(), clang::Sema::AddTemplateConversionCandidate(), clang::Sema::AddTemplateOverloadCandidate(), clang::InitializationSequence::AddUserConversionStep(), clang::InitializationKind::AllowExplicit(), clang::DeclContextLookupResult::begin(), clang::OverloadCandidateSet::BestViableFunction(), clang::OverloadCandidateSet::clear(), E, clang::DeclContextLookupResult::end(), clang::InitializationSequence::FK_UserConversionOverloadFailed, clang::Type::getAs(), clang::FunctionDecl::getCallResultType(), clang::getConstructorInfo(), clang::InitializationSequence::getFailedCandidateSet(), clang::InitializationKind::getLocation(), clang::FunctionTemplateDecl::getTemplatedDecl(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::CXXRecordDecl::getVisibleConversionFunctions(), I, clang::Sema::isCompleteType(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Sema::LookupConstructors(), clang::InitializationSequence::SetOverloadFailure(), clang::ImplicitConversionSequence::setStandard(), clang::OverloadCandidateSet::size(), and clang::ImplicitConversionSequence::Standard.

Referenced by clang::InitializationSequence::InitializeFrom().

static void TryValueInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
InitializationSequence Sequence,
InitListExpr InitList = nullptr 
)
static
static void updateStringLiteralType ( Expr E,
QualType  Ty 
)
static

Update the type of a string literal, including any surrounding parentheses, to match the type of the object which it is initializing.

Definition at line 134 of file SemaInit.cpp.

References clang::Expr::setType().

Referenced by CheckStringInit().

static void warnBracedScalarInit ( Sema S,
const InitializedEntity Entity,
SourceRange  Braces 
)
static

Warn that Entity was of scalar type and was initialized by a single-element braced initializer list.

Definition at line 892 of file SemaInit.cpp.

References clang::Sema::ActiveTemplateInstantiations, clang::Sema::Diag(), clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::InitializedEntity::getKind(), and clang::InitializedEntity::getParent().

static void warnOnLifetimeExtension ( Sema S,
const InitializedEntity Entity,
const Expr Init,
bool  IsInitializerList,
const ValueDecl ExtendingDecl 
)
static