clang  6.0.0svn
Enumerations | Functions
SemaInit.cpp File Reference
#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/Initialization.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 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 bool isIdiomaticBraceElisionEntity (const InitializedEntity &Entity)
 Determine whether Entity is an entity for which it is idiomatic to elide the braces in aggregate initialization. More...
 
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 bool hasCopyOrMoveCtorParam (ASTContext &Ctx, const ConstructorInfo &Info)
 Determine if the constructor has the signature of a copy or move constructor for the type T of the class in which it was found. More...
 
static OverloadingResult ResolveConstructorOverload (Sema &S, SourceLocation DeclLoc, MultiExprArg Args, OverloadCandidateSet &CandidateSet, QualType DestType, DeclContext::lookup_result Ctors, OverloadCandidateSet::iterator &Best, bool CopyInitializing, bool AllowExplicit, bool OnlyListConstructors, bool IsListInit, bool SecondStepOfCopyInit=false)
 
static void TryConstructorInitialization (Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, MultiExprArg Args, QualType DestType, QualType DestArrayType, 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, bool IsLValueRef, 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 bool isNonReferenceableGLValue (Expr *E)
 Determine whether an expression is a non-referenceable glvalue (one to which a reference can never bind). 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 TryOCLZeroQueueInitialization (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 bool canPerformArrayCopy (const InitializedEntity &Entity)
 Determine whether we can perform an elementwise array copy for this kind of entity. 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 shouldDestroyEntity (const InitializedEntity &Entity)
 Whether the given entity, when initialized with an object created for that initialization, requires destruction. 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 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)
 
static bool isOrIsDerivedFromSpecializationOf (CXXRecordDecl *RD, ClassTemplateDecl *CTD)
 Determine whether RD is, or is derived from, a specialization of CTD. More...
 

Enumeration Type Documentation

◆ InvalidICRKind

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

Enumerator
IIK_okay 
IIK_nonlocal 
IIK_nonscalar 

Definition at line 4960 of file SemaInit.cpp.

◆ StringInitFailureKind

Enumerator
SIF_None 
SIF_NarrowStringIntoWideChar 
SIF_WideStringIntoChar 
SIF_IncompatWideStringIntoWideChar 
SIF_Other 

Definition at line 47 of file SemaInit.cpp.

Function Documentation

◆ canPerformArrayCopy()

static bool canPerformArrayCopy ( const InitializedEntity Entity)
static

◆ CheckArrayDesignatorExpr()

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 2793 of file SemaInit.cpp.

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

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

◆ CheckCXX98CompatAccessibleCopy()

static void CheckCXX98CompatAccessibleCopy ( Sema S,
const InitializedEntity Entity,
Expr CurInitExpr 
)
static

◆ CheckForNullPointerDereference()

static void CheckForNullPointerDereference ( Sema S,
const Expr E 
)
static

Definition at line 6481 of file SemaInit.cpp.

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

◆ checkIndirectCopyRestoreSource()

static void checkIndirectCopyRestoreSource ( Sema S,
Expr src 
)
static

◆ CheckMoveOnConstruction()

static void CheckMoveOnConstruction ( Sema S,
const Expr InitExpr,
bool  IsReturnStmt 
)
static

◆ CheckStringInit()

static void CheckStringInit ( Expr Str,
QualType DeclT,
const ArrayType AT,
Sema S 
)
static

Definition at line 149 of file SemaInit.cpp.

Referenced by warnBracedScalarInit().

◆ CloneDesignatedInitExpr()

static DesignatedInitExpr* CloneDesignatedInitExpr ( Sema SemaRef,
DesignatedInitExpr DIE 
)
static

Definition at line 2024 of file SemaInit.cpp.

References clang::DesignatedInitExpr::getNumSubExprs().

◆ CopyObject()

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 5725 of file SemaInit.cpp.

References clang::Sema::CheckConstructorAccess(), clang::OverloadCandidateSet::CSK_Normal, clang::Sema::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Type::getAs(), getInitializationLoc(), clang::InitializedEntity::getKind(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::isSFINAEContext(), clang::Sema::LookupConstructors(), 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(), ResolveConstructorOverload(), and clang::OverloadCandidateSet::size().

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

◆ diagnoseListInit()

static void diagnoseListInit ( Sema S,
const InitializedEntity Entity,
InitListExpr InitList 
)
static

◆ DiagnoseNarrowingInInitList()

static void DiagnoseNarrowingInInitList ( Sema S,
const ImplicitConversionSequence ICS,
QualType  PreNarrowingType,
QualType  EntityType,
const Expr PostInit 
)
static

◆ DiagnoseUninitializedReference()

static bool DiagnoseUninitializedReference ( Sema S,
SourceLocation  Loc,
QualType  T 
)
static

◆ emitBadConversionNotes()

static void emitBadConversionNotes ( Sema S,
const InitializedEntity entity,
Expr op 
)
static

◆ ExpandAnonymousFieldDesignator()

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 1996 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().

◆ getAssignmentAction()

static Sema::AssignmentAction getAssignmentAction ( const InitializedEntity Entity,
bool  Diagnose = false 
)
static

◆ getEntityForTemporaryLifetimeExtension()

static const InitializedEntity* getEntityForTemporaryLifetimeExtension ( const InitializedEntity Entity,
const InitializedEntity FallbackDecl = nullptr 
)
static

◆ getInitializationLoc()

static SourceLocation getInitializationLoc ( const InitializedEntity Entity,
Expr Initializer 
)
static

◆ hasCompatibleArrayTypes()

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 5048 of file SemaInit.cpp.

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

◆ hasCopyOrMoveCtorParam()

static bool hasCopyOrMoveCtorParam ( ASTContext Ctx,
const ConstructorInfo Info 
)
static

Determine if the constructor has the signature of a copy or move constructor for the type T of the class in which it was found.

That is, determine if its first parameter is of type T or reference to (possibly cv-qualified) T.

Definition at line 3549 of file SemaInit.cpp.

References clang::ConstructorInfo::Constructor, clang::ConstructorInfo::FoundDecl, clang::Decl::getDeclContext(), clang::QualType::getNonReferenceType(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::ASTContext::getRecordType(), clang::ValueDecl::getType(), and clang::ASTContext::hasSameUnqualifiedType().

Referenced by PerformConstructorInitialization(), and ResolveConstructorOverload().

◆ InitializedEntityOutlivesFullExpression()

static bool InitializedEntityOutlivesFullExpression ( const InitializedEntity Entity)
static

◆ isExplicitTemporary()

static bool isExplicitTemporary ( const InitializedEntity Entity,
const InitializationKind Kind,
unsigned  NumArgs 
)
static

◆ isExprAnUnaddressableFunction()

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 5172 of file SemaInit.cpp.

◆ isIdiomaticBraceElisionEntity()

static bool isIdiomaticBraceElisionEntity ( const InitializedEntity Entity)
static

◆ isInvalidICRSource()

static InvalidICRKind isInvalidICRSource ( ASTContext C,
Expr e,
bool  isAddressOf,
bool isWeakAccess 
)
static

◆ isLibstdcxxPointerReturnFalseHack()

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 4948 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().

◆ isNonReferenceableGLValue()

static bool isNonReferenceableGLValue ( Expr E)
static

Determine whether an expression is a non-referenceable glvalue (one to which a reference can never bind).

Attemting to bind a reference to such a glvalue will always create a temporary.

Definition at line 4376 of file SemaInit.cpp.

Referenced by TryReferenceInitializationCore().

◆ isOrIsDerivedFromSpecializationOf()

static bool isOrIsDerivedFromSpecializationOf ( CXXRecordDecl RD,
ClassTemplateDecl CTD 
)
static

Determine whether RD is, or is derived from, a specialization of CTD.

Definition at line 8440 of file SemaInit.cpp.

References clang::declaresSameEntity(), and clang::CXXRecordDecl::forallBases().

◆ IsStringInit() [1/2]

static StringInitFailureKind IsStringInit ( Expr Init,
const ArrayType AT,
ASTContext Context 
)
static

Check whether the array of type AT can be initialized by the Init expression by means of string initialization.

Returns SIF_None if so, otherwise returns a StringInitFailureKind that describes why the initialization would not work.

Definition at line 59 of file SemaInit.cpp.

Referenced by TryListInitialization(), and warnBracedScalarInit().

◆ IsStringInit() [2/2]

static StringInitFailureKind IsStringInit ( Expr init,
QualType  declType,
ASTContext Context 
)
static

Definition at line 123 of file SemaInit.cpp.

◆ IsWideCharCompatible()

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 37 of file SemaInit.cpp.

◆ MaybeProduceObjCObject()

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 3476 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(), clang::InitializedEntity::isParameterKind(), and TryListInitialization().

◆ maybeRecoverWithZeroInitialization()

static bool maybeRecoverWithZeroInitialization ( Sema S,
InitializationSequence Sequence,
const InitializedEntity Entity 
)
static

◆ PerformConstructorInitialization()

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 5973 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::getConstructorInfo(), clang::DeclAccessPair::getDecl(), clang::InitializationKind::getEqualLoc(), clang::InitializedEntity::getKind(), clang::InitializationKind::getKind(), clang::InitializationKind::getLocation(), clang::QualType::getNonLValueExprType(), clang::InitializationKind::getParenRange(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::InitializedEntity::getType(), clang::InitializedEntity::getTypeSourceInfo(), clang::InitializationSequence::Step::F::HadMultipleCandidates, hasCopyOrMoveCtorParam(), clang::InitializationKind::IK_Default, clang::InitializationKind::IK_Direct, clang::InitializationKind::IK_DirectList, clang::InitializationKind::isCopyInit(), clang::CXXConstructorDecl::isDefaultConstructor(), clang::FunctionDecl::isDefaulted(), isExplicitTemporary(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::FunctionDecl::isTrivial(), clang::Decl::isUsed(), clang::SourceLocation::isValid(), clang::CXXBaseSpecifier::isVirtual(), clang::Sema::MarkFunctionReferenced(), clang::Sema::MaybeBindToTemporary(), shouldBindAsTemporary(), and clang::InitializationSequence::Step::Type.

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

◆ performLifetimeExtension()

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 6285 of file SemaInit.cpp.

References clang::Expr::getType(), clang::Type::isArrayType(), performReferenceExtension(), and clang::Expr::skipRValueSubobjectAdjustments().

Referenced by getEntityForTemporaryLifetimeExtension(), and performReferenceExtension().

◆ 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 6241 of file SemaInit.cpp.

References clang::InitializedEntity::allocateManglingNumber(), clang::InitializedEntity::getDecl(), clang::InitListExpr::getInit(), clang::InitListExpr::getNumInits(), clang::Expr::isGLValue(), performLifetimeExtension(), and clang::Expr::skipRValueSubobjectAdjustments().

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

◆ ResolveConstructorOverload()

static OverloadingResult ResolveConstructorOverload ( Sema S,
SourceLocation  DeclLoc,
MultiExprArg  Args,
OverloadCandidateSet CandidateSet,
QualType  DestType,
DeclContext::lookup_result  Ctors,
OverloadCandidateSet::iterator Best,
bool  CopyInitializing,
bool  AllowExplicit,
bool  OnlyListConstructors,
bool  IsListInit,
bool  SecondStepOfCopyInit = false 
)
static

◆ ResolveOverloadedFunctionForReferenceBinding()

static bool ResolveOverloadedFunctionForReferenceBinding ( Sema S,
Expr Initializer,
QualType SourceType,
QualType UnqualifiedSourceType,
QualType  UnqualifiedTargetType,
InitializationSequence Sequence 
)
static

◆ shouldBindAsTemporary()

static bool shouldBindAsTemporary ( const InitializedEntity Entity)
static

◆ shouldDestroyEntity()

static bool shouldDestroyEntity ( const InitializedEntity Entity)
static

◆ TryConstructorInitialization()

static void TryConstructorInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
MultiExprArg  Args,
QualType  DestType,
QualType  DestArrayType,
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
DestTypeThe destination class type.
DestArrayTypeThe destination type, which is either DestType or a (possibly multidimensional) array of DestType.
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 3681 of file SemaInit.cpp.

References clang::InitializationSequence::AddConstructorInitializationStep(), clang::InitializationSequence::AddQualificationConversionStep(), clang::InitializationSequence::AddUserConversionStep(), clang::CXXRecordDecl::allowConstDefaultInit(), clang::InitializationKind::AllowExplicit(), clang::Sema::Context, clang::InitializedEntity::EK_Base, clang::InitializedEntity::EK_Delegating, clang::InitializedEntity::EK_LambdaToBlockConversionBlockElement, 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::InitializedEntity::getKind(), clang::InitializationKind::getKind(), clang::Sema::getLangOpts(), clang::InitializationKind::getLocation(), clang::InitListExpr::getNumInits(), clang::CXXMethodDecl::getParent(), clang::InitializedEntity::getType(), clang::CXXRecordDecl::hasDefaultConstructor(), clang::ASTContext::hasSameType(), clang::ASTContext::hasSameUnqualifiedType(), 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::Result, clang::InitializationSequence::RewrapReferenceInitList(), clang::InitializationSequence::SetFailed(), clang::InitializationSequence::setIncompleteTypeFailure(), clang::InitializationSequence::SetOverloadFailure(), and clang::VK_RValue.

Referenced by TryDefaultInitialization(), TryListInitialization(), and TryValueInitialization().

◆ TryDefaultInitialization()

static void TryDefaultInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
InitializationSequence Sequence 
)
static

◆ TryInitializerListConstruction()

static bool TryInitializerListConstruction ( Sema S,
InitListExpr List,
QualType  DestType,
InitializationSequence Sequence,
bool  TreatUnavailableAsInvalid 
)
static

When initializing from init list via constructor, handle initialization of an object of type std::initializer_list<T>.

Returns
true if we have handled initialization of an object of type std::initializer_list<T>, false otherwise.

Definition at line 3515 of file SemaInit.cpp.

Referenced by TryListInitialization().

◆ TryListInitialization()

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 3963 of file SemaInit.cpp.

References clang::Sema::Context, clang::InitializationKind::CreateDirect(), clang::InitializationSequence::FK_InitListBadDestinationType, clang::InitializationSequence::FK_TooManyInitsForScalar, 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::Expr::getType(), clang::InitializedEntity::getType(), clang::CXXRecordDecl::hasDefaultConstructor(), clang::ASTContext::hasSameUnqualifiedType(), clang::InitializationKind::IK_DirectList, clang::InitializationSequence::InitializeFrom(), clang::Type::isAggregateType(), clang::Type::isAnyComplexType(), clang::Sema::isCompleteType(), clang::Sema::IsDerivedFrom(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Type::isScalarType(), clang::Sema::isStdInitializerList(), IsStringInit(), clang::InitializationSequence::RewrapReferenceInitList(), clang::InitializationSequence::SetFailed(), clang::InitializationSequence::setIncompleteTypeFailure(), SIF_None, TryConstructorInitialization(), TryInitializerListConstruction(), TryReferenceListInitialization(), and TryValueInitialization().

Referenced by MaybeProduceObjCObject(), and TryReferenceListInitialization().

◆ tryObjCWritebackConversion()

static bool tryObjCWritebackConversion ( Sema S,
InitializationSequence Sequence,
const InitializedEntity Entity,
Expr Initializer 
)
static

◆ TryOCLSamplerInitialization()

static bool TryOCLSamplerInitialization ( Sema S,
InitializationSequence Sequence,
QualType  DestType,
Expr Initializer 
)
static

◆ TryOCLZeroEventInitialization()

static bool TryOCLZeroEventInitialization ( Sema S,
InitializationSequence Sequence,
QualType  DestType,
Expr Initializer 
)
static

◆ TryOCLZeroQueueInitialization()

static bool TryOCLZeroQueueInitialization ( Sema S,
InitializationSequence Sequence,
QualType  DestType,
Expr Initializer 
)
static

◆ TryReferenceInitialization()

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

◆ TryReferenceInitializationCore()

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 4381 of file SemaInit.cpp.

References clang::InitializationSequence::AddConversionSequenceStep(), clang::InitializationSequence::AddDerivedToBaseCastStep(), clang::InitializationSequence::AddExtraneousCopyToTemporary(), clang::InitializationSequence::AddObjCObjectConversionStep(), clang::InitializationSequence::AddQualificationConversionStep(), clang::InitializationSequence::AddReferenceBindingStep(), CheckCXX98CompatAccessibleCopy(), clang::Expr::Classify(), clang::Sema::CompareReferenceRelationship(), clang::Sema::Context, 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::Stmt::getLocStart(), clang::ASTContext::getQualifiedType(), clang::InitializedEntity::getType(), clang::Expr::getValueKind(), 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(), isNonReferenceableGLValue(), 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_Incompatible, clang::Sema::Ref_Related, clang::Expr::refersToBitField(), clang::Expr::refersToVectorElement(), clang::InitializationSequence::SetFailed(), clang::InitializationSequence::SetOverloadFailure(), clang::Sema::TryImplicitConversion(), TryRefInitWithConversionFunction(), clang::VK_LValue, clang::VK_RValue, and clang::VK_XValue.

Referenced by ResolveOverloadedFunctionForReferenceBinding(), TryReferenceInitialization(), and TryReferenceListInitialization().

◆ TryReferenceListInitialization()

static void TryReferenceListInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
InitListExpr InitList,
InitializationSequence Sequence,
bool  TreatUnavailableAsInvalid 
)
static

◆ TryRefInitWithConversionFunction()

static OverloadingResult TryRefInitWithConversionFunction ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
Expr Initializer,
bool  AllowRValues,
bool  IsLValueRef,
InitializationSequence Sequence 
)
static

◆ TryStringLiteralInitialization()

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 4642 of file SemaInit.cpp.

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

◆ TryUserDefinedConversion()

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

◆ TryValueInitialization()

static void TryValueInitialization ( Sema S,
const InitializedEntity Entity,
const InitializationKind Kind,
InitializationSequence Sequence,
InitListExpr InitList = nullptr 
)
static

◆ updateStringLiteralType()

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 133 of file SemaInit.cpp.

◆ warnBracedScalarInit()

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 935 of file SemaInit.cpp.

References clang::ast_matchers::arrayType, clang::Sema::CanPerformCopyInitialization(), clang::Sema::CanUseDecl(), clang::Sema::CheckSingleAssignmentConstraints(), CheckStringInit(), clang::Sema::Context, clang::InitializationKind::CreateCopy(), clang::FixItHint::CreateRemoval(), clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::Sema::Diag(), clang::Sema::DiagnoseUseOfDecl(), clang::InitializedEntity::EK_ArrayElement, clang::InitializedEntity::EK_Base, clang::InitializedEntity::EK_Binding, clang::InitializedEntity::EK_BlockElement, clang::InitializedEntity::EK_ComplexElement, clang::InitializedEntity::EK_CompoundLiteralInit, clang::InitializedEntity::EK_Delegating, clang::InitializedEntity::EK_Exception, clang::InitializedEntity::EK_LambdaCapture, clang::InitializedEntity::EK_LambdaToBlockConversionBlockElement, clang::InitializedEntity::EK_Member, clang::InitializedEntity::EK_New, clang::InitializedEntity::EK_Parameter, clang::InitializedEntity::EK_Parameter_CF_Audited, clang::InitializedEntity::EK_RelatedResult, clang::InitializedEntity::EK_Result, clang::InitializedEntity::EK_Temporary, clang::InitializedEntity::EK_Variable, clang::InitializedEntity::EK_VectorElement, clang::ast_matchers::expr, clang::RecordDecl::field_end(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::ActionResult< PtrTy, CompressInvalid >::getAs(), clang::Type::getAs(), clang::ASTContext::getAsArrayType(), clang::SourceRange::getBegin(), clang::ASTContext::getConstantArrayType(), clang::InitializedEntity::getDecl(), clang::ArrayType::getElementType(), clang::VectorType::getElementType(), clang::SourceRange::getEnd(), clang::ASTContext::getExtVectorType(), clang::InitListExpr::getInit(), clang::InitializedEntity::getKind(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::InitListExpr::getLocEnd(), clang::Stmt::getLocStart(), clang::InitListExpr::getLocStart(), clang::QualType::getNonLValueExprType(), clang::VectorType::getNumElements(), clang::InitListExpr::getNumInits(), clang::InitializedEntity::getParent(), clang::ASTContext::getSizeType(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), clang::Expr::getType(), clang::CXXBaseSpecifier::getType(), clang::InitializedEntity::getType(), clang::ASTContext::getTypeSize(), clang::VectorType::getVectorKind(), clang::ASTContext::getVectorType(), clang::ASTContext::hasSameType(), clang::Sema::Incompatible, clang::InitializedEntity::InitializeBase(), clang::InitializedEntity::InitializeElement(), clang::InitializedEntity::InitializeMember(), clang::Sema::inTemplateInstantiation(), clang::Type::isAggregateType(), clang::Type::isAnyComplexType(), clang::Type::isArrayType(), clang::Type::isAtomicType(), clang::TargetInfo::isBigEndian(), clang::Type::isExtVectorType(), clang::Type::isFloatingType(), clang::Type::isFunctionType(), clang::InitListExpr::isIdiomaticZeroInitializer(), clang::Type::isIncompleteArrayType(), clang::Type::isIncompleteType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Decl::isInvalidDecl(), clang::Type::isObjCObjectType(), clang::Type::isOpenCLSpecificType(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Type::isScalarType(), clang::Type::isSignedIntegerType(), IsStringInit(), clang::Type::isUnionType(), clang::Type::isUnsignedIntegerType(), clang::InitializedEntity::isVariableLengthArrayNew(), clang::Type::isVectorType(), clang::Type::isVoidType(), clang::VectorType::NeonPolyVector, clang::VectorType::NeonVector, clang::ArrayType::Normal, clang::Sema::PerformCopyInitialization(), clang::InitListExpr::resizeInits(), clang::Result, clang::InitializedEntity::setElementIndex(), clang::InitListExpr::setInit(), clang::InitListExpr::setInitializedFieldInUnion(), clang::InitListExpr::setSyntacticForm(), clang::Expr::setType(), SIF_None, and clang::T.

◆ warnOnLifetimeExtension()

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