SemaLambda.cpp File Reference

#include "clang/Sema/SemaLambda.h"
#include "TypeLocBuilder.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/MangleNumberingContext.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaARM.h"
#include "clang/Sema/SemaCUDA.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/SemaOpenMP.h"
#include "clang/Sema/SemaSYCL.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/STLExtras.h"
#include <optional>

Go to the source code of this file.

Functions
static UnsignedOrNone	getStackIndexOfNearestEnclosingCaptureReadyLambda (ArrayRef< const clang::sema::FunctionScopeInfo * > FunctionScopes, ValueDecl *VarToCapture)
	Examines the FunctionScopeInfo stack to determine the nearest enclosing lambda (to the current lambda) that is 'capture-ready' for the variable referenced in the current lambda (i.e.
static TemplateParameterList *	getGenericLambdaTemplateParameterList (LambdaScopeInfo *LSI, Sema &SemaRef)
static QualType	buildTypeForLambdaCallOperator (Sema &S, clang::CXXRecordDecl *Class, TemplateParameterList *TemplateParams, TypeSourceInfo *MethodTypeInfo)
static void	buildLambdaScopeReturnType (Sema &S, LambdaScopeInfo *LSI, CXXMethodDecl *CallOperator, bool ExplicitResultType)
static EnumDecl *	findEnumForBlockReturn (Expr *E)
	If this expression is an enumerator-like expression of some type T, return the type T; otherwise, return null.
static EnumDecl *	findEnumForBlockReturn (ReturnStmt *ret)
	Attempt to find a type T for which the returned expression of the given statement is an enumerator-like expression of that type.
static EnumDecl *	findCommonEnumForBlockReturns (ArrayRef< ReturnStmt * > returns)
	Attempt to find a common type T for which all of the returned expressions in a block are enumerator-like expressions of that type.
static void	adjustBlockReturnsToEnum (Sema &S, ArrayRef< ReturnStmt * > returns, QualType returnType)
	Adjust the given return statements so that they formally return the given type.
static LambdaScopeInfo *	getCurrentLambdaScopeUnsafe (Sema &S)
static TypeSourceInfo *	getDummyLambdaType (Sema &S, SourceLocation Loc=SourceLocation())
static TypeSourceInfo *	getLambdaType (Sema &S, LambdaIntroducer &Intro, Declarator &ParamInfo, Scope *CurScope, SourceLocation Loc, bool &ExplicitResultType)
template<typename Func>
static void	repeatForLambdaConversionFunctionCallingConvs (Sema &S, const FunctionProtoType &CallOpProto, Func F)
static CallingConv	getLambdaConversionFunctionCallConv (Sema &S, const FunctionProtoType *CallOpProto)
static void	addFunctionPointerConversion (Sema &S, SourceRange IntroducerRange, CXXRecordDecl *Class, CXXMethodDecl *CallOperator, QualType InvokerFunctionTy)
	Add a lambda's conversion to function pointer, as described in C++11 [expr.prim.lambda]p6.
static void	addFunctionPointerConversions (Sema &S, SourceRange IntroducerRange, CXXRecordDecl *Class, CXXMethodDecl *CallOperator)
	Add a lambda's conversion to function pointers, as described in C++11 [expr.prim.lambda]p6.
static void	addBlockPointerConversion (Sema &S, SourceRange IntroducerRange, CXXRecordDecl *Class, CXXMethodDecl *CallOperator)
	Add a lambda's conversion to block pointer.
static LambdaCaptureDefault	mapImplicitCaptureStyle (CapturingScopeInfo::ImplicitCaptureStyle ICS)
static SourceRange	ConstructFixItRangeForUnusedCapture (Sema &S, SourceRange CaptureRange, SourceLocation PrevCaptureLoc, bool CurHasPreviousCapture, bool IsLast)
static FunctionDecl *	getPatternFunctionDecl (FunctionDecl *FD)

Function Documentation

addBlockPointerConversion()

void addBlockPointerConversion ( Sema & S, SourceRange IntroducerRange, CXXRecordDecl * Class, CXXMethodDecl * CallOperator )

static

Add a lambda's conversion to block pointer.

Definition at line 1898 of file SemaLambda.cpp.

References clang::Qualifiers::addConst(), clang::AS_public, clang::Type::castAs(), clang::Sema::Context, clang::CXXConversionDecl::Create(), clang::ASTContext::DeclarationNames, clang::SourceRange::getBegin(), clang::ASTContext::getBlockPointerType(), clang::FunctionDecl::getBody(), clang::ASTContext::getCanonicalType(), clang::Sema::getCurFPFeatures(), clang::DeclarationNameTable::getCXXConversionFunctionName(), clang::ASTContext::getDefaultCallingConvention(), clang::Stmt::getEndLoc(), clang::ASTContext::getFunctionType(), getLambdaConversionFunctionCallConv(), clang::Sema::getLambdaConversionFunctionResultType(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::ValueDecl::getType(), clang::FPOptions::isFPConstrained(), clang::DeclarationNameLoc::makeNamedTypeLoc(), clang::Decl::setAccess(), clang::Decl::setImplicit(), clang::FunctionProtoType::ExtProtoInfo::TypeQuals, and clang::Unspecified.

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

addFunctionPointerConversion()

void addFunctionPointerConversion ( Sema & S, SourceRange IntroducerRange, CXXRecordDecl * Class, CXXMethodDecl * CallOperator, QualType InvokerFunctionTy )

static

Add a lambda's conversion to function pointer, as described in C++11 [expr.prim.lambda]p6.

Definition at line 1707 of file SemaLambda.cpp.

References clang::Qualifiers::addConst(), clang::AS_private, clang::AS_public, clang::Constexpr, clang::Sema::Context, clang::CXXConversionDecl::Create(), clang::CXXMethodDecl::Create(), clang::FunctionTemplateDecl::Create(), clang::ParmVarDecl::Create(), clang::ASTContext::DeclarationNames, clang::EST_BasicNoexcept, clang::FunctionProtoType::ExtProtoInfo::ExceptionSpec, clang::IdentifierTable::get(), clang::TypeLoc::getAs(), clang::SourceRange::getBegin(), clang::DeclaratorDecl::getBeginLoc(), clang::FunctionDecl::getBody(), clang::ASTContext::getCanonicalType(), clang::FunctionDecl::getConstexprKind(), clang::Sema::getCurFPFeatures(), clang::DeclarationNameTable::getCXXConversionFunctionName(), clang::ASTContext::getDefaultCallingConvention(), clang::FunctionDecl::getDescribedFunctionTemplate(), clang::Stmt::getEndLoc(), clang::ASTContext::getFunctionType(), clang::NamedDecl::getIdentifier(), clang::getLambdaStaticInvokerName(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::ASTContext::getPointerType(), clang::FunctionTypeLoc::getReturnLoc(), clang::VarDecl::getStorageClass(), clang::TemplateDecl::getTemplateParameters(), clang::DeclaratorDecl::getTrailingRequiresClause(), clang::ASTContext::getTranslationUnitDecl(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::ValueDecl::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::ASTContext::Idents, clang::FPOptions::isFPConstrained(), clang::CXXMethodDecl::isImplicitObjectMemberFunction(), clang::DeclarationNameLoc::makeNamedTypeLoc(), clang::FunctionDecl::parameters(), clang::SC_Static, clang::Decl::setAccess(), clang::FunctionDecl::setDescribedFunctionTemplate(), clang::Decl::setImplicit(), clang::FunctionDecl::setParams(), clang::DeclaratorDecl::setTrailingRequiresClause(), clang::FunctionProtoType::ExceptionSpecInfo::Type, clang::FunctionProtoType::ExtProtoInfo::TypeQuals, and clang::Unspecified.

Referenced by addFunctionPointerConversions().

addFunctionPointerConversions()

void addFunctionPointerConversions ( Sema & S, SourceRange IntroducerRange, CXXRecordDecl * Class, CXXMethodDecl * CallOperator )

static

Add a lambda's conversion to function pointers, as described in C++11 [expr.prim.lambda]p6.

Note that in most cases, this should emit only a single pointer conversion. In the event that the default calling convention for free and member functions is different, it will emit both conventions.

Definition at line 1882 of file SemaLambda.cpp.

References addFunctionPointerConversion(), clang::Type::castAs(), clang::Sema::getLambdaConversionFunctionResultType(), clang::ValueDecl::getType(), and repeatForLambdaConversionFunctionCallingConvs().

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

adjustBlockReturnsToEnum()

void adjustBlockReturnsToEnum ( Sema & S, ArrayRef< ReturnStmt * > returns, QualType returnType )

static

Adjust the given return statements so that they formally return the given type.

It should require, at most, an IntegralCast.

Definition at line 706 of file SemaLambda.cpp.

References clang::Sema::Context, clang::ImplicitCastExpr::Create(), clang::ReturnStmt::getRetValue(), clang::FullExpr::getSubExpr(), clang::Expr::getType(), clang::ASTContext::hasSameType(), clang::Type::isIntegralOrUnscopedEnumerationType(), clang::ReturnStmt::setRetValue(), clang::FullExpr::setSubExpr(), and clang::VK_PRValue.

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

buildLambdaScopeReturnType()

void buildLambdaScopeReturnType ( Sema & S, LambdaScopeInfo * LSI, CXXMethodDecl * CallOperator, bool ExplicitResultType )

static

Definition at line 552 of file SemaLambda.cpp.

References clang::DeclaratorDecl::getBeginLoc(), clang::FunctionDecl::getReturnType(), clang::sema::CapturingScopeInfo::HasImplicitReturnType, clang::Type::isDependentType(), clang::Type::isVoidType(), clang::Sema::RequireCompleteType(), and clang::sema::CapturingScopeInfo::ReturnType.

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

buildTypeForLambdaCallOperator()

QualType buildTypeForLambdaCallOperator ( Sema & S, clang::CXXRecordDecl * Class, TemplateParameterList * TemplateParams, TypeSourceInfo * MethodTypeInfo )

static

Definition at line 400 of file SemaLambda.cpp.

References clang::Type::castAs(), clang::Sema::Context, clang::FunctionProtoType::getExtProtoInfo(), clang::ASTContext::getFunctionType(), clang::FunctionProtoType::getParamTypes(), clang::FunctionType::getReturnType(), clang::TypeSourceInfo::getType(), and clang::Sema::SubstAutoTypeDependent().

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

ConstructFixItRangeForUnusedCapture()

SourceRange ConstructFixItRangeForUnusedCapture ( Sema & S, SourceRange CaptureRange, SourceLocation PrevCaptureLoc, bool CurHasPreviousCapture, bool IsLast )

static

Definition at line 2130 of file SemaLambda.cpp.

References clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::Sema::getLocForEndOfToken(), clang::SourceLocation::getLocWithOffset(), clang::Sema::getRangeForNextToken(), and clang::SourceRange::isValid().

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

findCommonEnumForBlockReturns()

EnumDecl * findCommonEnumForBlockReturns ( ArrayRef< ReturnStmt * > returns )

static

Attempt to find a common type T for which all of the returned expressions in a block are enumerator-like expressions of that type.

Definition at line 685 of file SemaLambda.cpp.

References findEnumForBlockReturn(), and clang::TagDecl::hasNameForLinkage().

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

findEnumForBlockReturn() [1/2]

EnumDecl * findEnumForBlockReturn ( Expr * E )

static

If this expression is an enumerator-like expression of some type T, return the type T; otherwise, return null.

Pointer comparisons on the result here should always work because it's derived from either the parent of an EnumConstantDecl (i.e. the definition) or the declaration returned by EnumType::getDecl() (i.e. the definition).

Definition at line 614 of file SemaLambda.cpp.

References clang::cast(), findEnumForBlockReturn(), clang::Type::getAsEnumDecl(), clang::Expr::getType(), and clang::Expr::IgnoreParens().

Referenced by findCommonEnumForBlockReturns(), findEnumForBlockReturn(), and findEnumForBlockReturn().

findEnumForBlockReturn() [2/2]

EnumDecl * findEnumForBlockReturn ( ReturnStmt * ret )

static

Attempt to find a type T for which the returned expression of the given statement is an enumerator-like expression of that type.

Definition at line 676 of file SemaLambda.cpp.

References findEnumForBlockReturn(), and clang::ReturnStmt::getRetValue().

getCurrentLambdaScopeUnsafe()

LambdaScopeInfo * getCurrentLambdaScopeUnsafe ( Sema & S )

static

Definition at line 927 of file SemaLambda.cpp.

References clang::cast(), and clang::Sema::FunctionScopes.

Referenced by clang::Sema::ActOnLambdaClosureParameters(), clang::Sema::ActOnLambdaClosureQualifiers(), clang::Sema::ActOnStartOfLambdaDefinition(), and clang::Sema::CompleteLambdaCallOperator().

getDummyLambdaType()

TypeSourceInfo * getDummyLambdaType ( Sema & S, SourceLocation Loc = SourceLocation() )

static

Definition at line 933 of file SemaLambda.cpp.

References clang::Qualifiers::addAddressSpace(), clang::Qualifiers::addConst(), clang::Sema::Context, clang::Default, clang::ASTContext::DependentTy, clang::ASTContext::getAutoDeductType(), clang::ASTContext::getDefaultCallingConvention(), clang::Sema::getDefaultCXXMethodAddrSpace(), clang::ASTContext::getFunctionType(), clang::Sema::getLangOpts(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::FunctionProtoType::ExtProtoInfo::HasTrailingReturn, and clang::FunctionProtoType::ExtProtoInfo::TypeQuals.

Referenced by getLambdaType().

getGenericLambdaTemplateParameterList()

TemplateParameterList * getGenericLambdaTemplateParameterList ( LambdaScopeInfo * LSI, Sema & SemaRef )

inlinestatic

Definition at line 234 of file SemaLambda.cpp.

References clang::Sema::Context, clang::TemplateParameterList::Create(), clang::sema::LambdaScopeInfo::ExplicitTemplateParamsRange, clang::ActionResult< PtrTy, Compress >::get(), clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::sema::LambdaScopeInfo::GLTemplateParameterList, clang::sema::LambdaScopeInfo::IntroducerRange, clang::sema::LambdaScopeInfo::RequiresClause, and clang::InventedTemplateParameterInfo::TemplateParams.

Referenced by clang::Sema::ActOnLambdaClosureParameters(), clang::Sema::ActOnStartOfLambdaDefinition(), clang::Sema::CompleteLambdaCallOperator(), and clang::Sema::createLambdaClosureType().

getLambdaConversionFunctionCallConv()

CallingConv getLambdaConversionFunctionCallConv ( Sema & S, const FunctionProtoType * CallOpProto )

static

Definition at line 1677 of file SemaLambda.cpp.

References clang::Sema::Context, clang::FunctionType::getCallConv(), clang::ASTContext::getDefaultCallingConvention(), and clang::FunctionProtoType::isVariadic().

Referenced by addBlockPointerConversion().

getLambdaType()

TypeSourceInfo * getLambdaType ( Sema & S, LambdaIntroducer & Intro, Declarator & ParamInfo, Scope * CurScope, SourceLocation Loc, bool & ExplicitResultType )

static

Definition at line 959 of file SemaLambda.cpp.

References clang::Sema::CheckExplicitObjectLambda(), clang::Type::containsUnexpandedParameterPack(), clang::Default, clang::SemaBase::Diag(), clang::Sema::DiagnoseUnexpandedParameterPack(), clang::OpaquePtr< PtrTy >::get(), clang::QualType::getAddressSpace(), clang::SourceRange::getBegin(), clang::Declarator::getDeclSpec(), getDummyLambdaType(), clang::Declarator::getFunctionTypeInfo(), clang::Sema::getLangOpts(), clang::Declarator::getNumTypeObjects(), clang::DeclaratorChunk::FunctionTypeInfo::getOrCreateMethodQualifiers(), clang::DeclSpec::getStorageClassSpec(), clang::DeclaratorChunk::FunctionTypeInfo::getTrailingReturnType(), clang::DeclaratorChunk::FunctionTypeInfo::getTrailingReturnTypeLoc(), clang::TypeSourceInfo::getType(), clang::Sema::GetTypeForDeclarator(), clang::DeclaratorChunk::FunctionTypeInfo::hasMutableQualifier(), clang::DeclaratorChunk::FunctionTypeInfo::hasTrailingReturnType(), clang::Declarator::isExplicitObjectMemberFunction(), clang::QualType::isNull(), clang::LambdaIntroducer::Range, clang::DeclSpec::SCS_static, clang::DeclSpec::SCS_unspecified, clang::DeclSpec::SetTypeQual(), clang::DeclSpec::TQ_const, and clang::Sema::UPPC_DeclarationType.

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

getPatternFunctionDecl()

FunctionDecl * getPatternFunctionDecl ( FunctionDecl * FD )

static

Definition at line 2442 of file SemaLambda.cpp.

References clang::FunctionDecl::getInstantiatedFromDecl(), clang::FunctionDecl::getInstantiatedFromMemberFunction(), clang::FunctionTemplateDecl::getInstantiatedFromMemberTemplate(), clang::FunctionDecl::getPrimaryTemplate(), clang::FunctionTemplateDecl::getTemplatedDecl(), clang::FunctionDecl::getTemplatedKind(), clang::FunctionDecl::TK_DependentNonTemplate, and clang::FunctionDecl::TK_MemberSpecialization.

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

getStackIndexOfNearestEnclosingCaptureReadyLambda()

UnsignedOrNone getStackIndexOfNearestEnclosingCaptureReadyLambda ( ArrayRef< const clang::sema::FunctionScopeInfo * > FunctionScopes, ValueDecl * VarToCapture )

inlinestatic

Examines the FunctionScopeInfo stack to determine the nearest enclosing lambda (to the current lambda) that is 'capture-ready' for the variable referenced in the current lambda (i.e.

VarToCapture). If successful, returns the index into Sema's FunctionScopeInfo stack of the capture-ready lambda's LambdaScopeInfo.

Climbs down the stack of lambdas (deepest nested lambda - i.e. current lambda - is on top) to determine the index of the nearest enclosing/outer lambda that is ready to capture the VarToCapture being referenced in the current lambda. As we climb down the stack, we want the index of the first such lambda - that is the lambda with the highest index that is 'capture-ready'.

A lambda 'L' is capture-ready for 'V' (var or this) if:

• its enclosing context is non-dependent
• and if the chain of lambdas between L and the lambda in which V is potentially used (i.e. the lambda at the top of the scope info stack), can all capture or have already captured V. If VarToCapture is 'null' then we are trying to capture 'this'.

Note that a lambda that is deemed 'capture-ready' still needs to be checked for whether it is 'capture-capable' (see getStackIndexOfNearestEnclosingCaptureCapableLambda), before it can truly capture.

Parameters

FunctionScopes	- Sema's stack of nested FunctionScopeInfo's (which a LambdaScopeInfo inherits from). The current/deepest/innermost lambda is at the top of the stack and has the highest index.
VarToCapture	- the variable to capture. If NULL, capture 'this'.

Returns

An UnsignedOrNone Index that if evaluates to 'true' contains the index (into Sema's FunctionScopeInfo stack) of the innermost lambda which is capture-ready. If the return value evaluates to 'false' then no lambda is capture-ready for VarToCapture.

Definition at line 70 of file SemaLambda.cpp.

References clang::cast(), clang::DeclContext::Equals(), clang::Decl::getDeclContext(), clang::getLambdaAwareParentOfDeclContext(), clang::sema::CapturingScopeInfo::ImpCap_None, clang::sema::CapturingScopeInfo::ImpCaptureStyle, clang::isa(), clang::sema::CapturingScopeInfo::isCaptured(), clang::sema::CapturingScopeInfo::isCXXThisCaptured(), clang::DeclContext::isDependentContext(), clang::isLambdaCallOperator(), and clang::DeclContext::isTranslationUnit().

Referenced by clang::getStackIndexOfNearestEnclosingCaptureCapableLambda().

mapImplicitCaptureStyle()

LambdaCaptureDefault mapImplicitCaptureStyle ( CapturingScopeInfo::ImplicitCaptureStyle ICS )

static

Definition at line 2009 of file SemaLambda.cpp.

References clang::sema::CapturingScopeInfo::ImpCap_Block, clang::sema::CapturingScopeInfo::ImpCap_CapturedRegion, clang::sema::CapturingScopeInfo::ImpCap_LambdaByref, clang::sema::CapturingScopeInfo::ImpCap_LambdaByval, clang::sema::CapturingScopeInfo::ImpCap_None, clang::LCD_ByCopy, clang::LCD_ByRef, and clang::LCD_None.

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

repeatForLambdaConversionFunctionCallingConvs()

template<typename Func>

void repeatForLambdaConversionFunctionCallingConvs ( Sema & S, const FunctionProtoType & CallOpProto, Func F )

static

Implement emitting a version of the operator for many of the calling conventions for MSVC, as described here: https://devblogs.microsoft.com/oldnewthing/20150220-00/?p=44623. Experimentally, we determined that cdecl, stdcall, fastcall, and vectorcall are generated by MSVC when it is supported by the target. Additionally, we are ensuring that the default-free/default-member and call-operator calling convention are generated as well. NOTE: We intentionally generate a 'thiscall' on Win32 implicitly from the 'member default', despite MSVC not doing so. We do this in order to ensure that someone who intentionally places 'thiscall' on the lambda call operator will still get that overload, since we don't have the a way of detecting the attribute by the time we get here.

Definition at line 1629 of file SemaLambda.cpp.

References clang::C, clang::CC_C, clang::CC_X86FastCall, clang::CC_X86StdCall, clang::CC_X86VectorCall, clang::TargetInfo::CCCR_OK, clang::TargetInfo::checkCallingConvention(), clang::Sema::Context, clang::Func, clang::Sema::getASTContext(), clang::FunctionType::getCallConv(), clang::ASTContext::getDefaultCallingConvention(), clang::Sema::getLangOpts(), clang::ASTContext::getTargetInfo(), and clang::FunctionProtoType::isVariadic().

Referenced by addFunctionPointerConversions().