clang 17.0.0git
|
#include "CoroutineStmtBuilder.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/Decl.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Basic/Builtins.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Overload.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "llvm/ADT/SmallSet.h"
Go to the source code of this file.
Classes | |
struct | ReadySuspendResumeResult |
Functions | |
static LookupResult | lookupMember (Sema &S, const char *Name, CXXRecordDecl *RD, SourceLocation Loc, bool &Res) |
static bool | lookupMember (Sema &S, const char *Name, CXXRecordDecl *RD, SourceLocation Loc) |
static QualType | lookupPromiseType (Sema &S, const FunctionDecl *FD, SourceLocation KwLoc) |
Look up the std::coroutine_traits<...>::promise_type for the given function type. | |
static QualType | lookupCoroutineHandleType (Sema &S, QualType PromiseType, SourceLocation Loc) |
Look up the std::coroutine_handle<PromiseType>. | |
static bool | isValidCoroutineContext (Sema &S, SourceLocation Loc, StringRef Keyword) |
static ExprResult | buildOperatorCoawaitCall (Sema &SemaRef, Scope *S, SourceLocation Loc, Expr *E) |
static ExprResult | buildCoroutineHandle (Sema &S, QualType PromiseType, SourceLocation Loc) |
static ExprResult | buildMemberCall (Sema &S, Expr *Base, SourceLocation Loc, StringRef Name, MultiExprArg Args) |
static Expr * | maybeTailCall (Sema &S, QualType RetType, Expr *E, SourceLocation Loc) |
static ReadySuspendResumeResult | buildCoawaitCalls (Sema &S, VarDecl *CoroPromise, SourceLocation Loc, Expr *E) |
Build calls to await_ready, await_suspend, and await_resume for a co_await expression. | |
static ExprResult | buildPromiseCall (Sema &S, VarDecl *Promise, SourceLocation Loc, StringRef Name, MultiExprArg Args) |
static FunctionScopeInfo * | checkCoroutineContext (Sema &S, SourceLocation Loc, StringRef Keyword, bool IsImplicit=false) |
Check that this is a context in which a coroutine suspension can appear. | |
static void | checkNoThrow (Sema &S, const Stmt *E, llvm::SmallPtrSetImpl< const Decl * > &ThrowingDecls) |
Recursively check E and all its children to see if any call target (including constructor call) is declared noexcept. | |
static bool | isWithinCatchScope (Scope *S) |
static bool | checkSuspensionContext (Sema &S, SourceLocation Loc, StringRef Keyword) |
static Expr * | buildStdNoThrowDeclRef (Sema &S, SourceLocation Loc) |
Look up the std::nothrow object. | |
static TypeSourceInfo * | getTypeSourceInfoForStdAlignValT (Sema &S, SourceLocation Loc) |
static bool | findDeleteForPromise (Sema &S, SourceLocation Loc, QualType PromiseType, FunctionDecl *&OperatorDelete) |
static bool | diagReturnOnAllocFailure (Sema &S, Expr *E, CXXRecordDecl *PromiseRecordDecl, FunctionScopeInfo &Fn) |
static bool | collectPlacementArgs (Sema &S, FunctionDecl &FD, SourceLocation Loc, SmallVectorImpl< Expr * > &PlacementArgs) |
static void | noteMemberDeclaredHere (Sema &S, Expr *E, FunctionScopeInfo &Fn) |
static Expr * | castForMoving (Sema &S, Expr *E, QualType T=QualType()) |
static VarDecl * | buildVarDecl (Sema &S, SourceLocation Loc, QualType Type, IdentifierInfo *II) |
Build a variable declaration for move parameter. | |
|
static |
Build calls to await_ready, await_suspend, and await_resume for a co_await expression.
The generated AST tries to clean up temporary objects as early as possible so that they don't live across suspension points if possible. Having temporary objects living across suspension points unnecessarily can lead to large frame size, and also lead to memory corruptions if the coroutine frame is destroyed after coming back from suspension. This is done by wrapping both the await_ready call and the await_suspend call with ExprWithCleanups. In the end of this function, we also need to explicitly set cleanup state so that the CoawaitExpr is also wrapped with an ExprWithCleanups to clean up the awaiter associated with the co_await expression.
Definition at line 374 of file SemaCoroutine.cpp.
References buildCoroutineHandle(), buildMemberCall(), clang::Sema::Cleanup, clang::Sema::Context, clang::Sema::Diag(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::DeclaratorDecl::getBeginLoc(), clang::CallExpr::getCalleeDecl(), clang::CallExpr::getCallReturnType(), clang::CallExpr::getDirectCallee(), clang::Decl::getLocation(), clang::Expr::getObjectKind(), clang::Stmt::getSourceRange(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::Type::isBooleanType(), clang::Type::isDependentType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), ReadySuspendResumeResult::IsInvalid, clang::Type::isReferenceType(), clang::Type::isVoidType(), clang::Sema::MaybeCreateExprWithCleanups(), maybeTailCall(), clang::Sema::PerformContextuallyConvertToBool(), clang::Result, ReadySuspendResumeResult::Results, clang::CleanupInfo::setExprNeedsCleanups(), and clang::VK_LValue.
Referenced by clang::Sema::BuildCoyieldExpr(), and clang::Sema::BuildResolvedCoawaitExpr().
|
static |
Definition at line 265 of file SemaCoroutine.cpp.
References clang::Sema::BuildBuiltinCallExpr(), clang::Sema::BuildCallExpr(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::computeDeclContext(), clang::Sema::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::QualType::isNull(), lookupCoroutineHandleType(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), and clang::Sema::PP.
Referenced by buildCoawaitCalls().
|
static |
Definition at line 299 of file SemaCoroutine.cpp.
References clang::Sema::BuildCallExpr(), clang::Sema::BuildMemberReferenceExpr(), clang::Sema::clearDelayedTypo(), clang::Sema::Diag(), clang::ExprError(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::DeclarationNameInfo::getName(), clang::Sema::PP, and clang::Result.
Referenced by buildCoawaitCalls(), buildPromiseCall(), and maybeTailCall().
|
static |
Definition at line 256 of file SemaCoroutine.cpp.
References clang::Sema::BuildOperatorCoawaitCall(), clang::Sema::BuildOperatorCoawaitLookupExpr(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), and clang::ActionResult< PtrTy, CompressInvalid >::isInvalid().
Referenced by clang::Sema::ActOnCoroutineBodyStart(), and clang::Sema::ActOnCoyieldExpr().
|
static |
Definition at line 466 of file SemaCoroutine.cpp.
References clang::Sema::BuildDeclRefExpr(), buildMemberCall(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::QualType::getNonReferenceType(), clang::ValueDecl::getType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), and clang::VK_LValue.
Referenced by clang::Sema::ActOnCoroutineBodyStart(), clang::Sema::ActOnCoyieldExpr(), clang::Sema::BuildCoreturnStmt(), and clang::Sema::BuildUnresolvedCoawaitExpr().
|
static |
Look up the std::nothrow object.
Definition at line 1010 of file SemaCoroutine.cpp.
References clang::Sema::BuildDeclRefExpr(), clang::Sema::Diag(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::Sema::getStdNamespace(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, clang::Result, Std, and clang::VK_LValue.
|
static |
Build a variable declaration for move parameter.
Definition at line 1837 of file SemaCoroutine.cpp.
References clang::Sema::Context, clang::VarDecl::Create(), clang::Sema::CurContext, clang::ASTContext::getTrivialTypeSourceInfo(), clang::SC_None, and clang::Decl::setImplicit().
Referenced by actOnOMPReductionKindClause(), clang::Sema::ActOnOpenMPCopyinClause(), clang::Sema::ActOnOpenMPCopyprivateClause(), clang::Sema::ActOnOpenMPDeclareReductionCombinerStart(), clang::Sema::ActOnOpenMPDeclareReductionInitializerStart(), clang::Sema::ActOnOpenMPFirstprivateClause(), clang::Sema::ActOnOpenMPLastprivateClause(), clang::Sema::ActOnOpenMPLinearClause(), clang::Sema::ActOnOpenMPPrivateClause(), clang::Sema::ActOnOpenMPTileDirective(), clang::Sema::ActOnOpenMPUnrollDirective(), clang::Sema::ActOnOpenMPUseDevicePtrClause(), clang::Sema::buildCoroutineParameterMoves(), checkOpenMPLoop(), clang::Sema::EndOpenMPDSABlock(), and precomputeExpr().
Definition at line 1821 of file SemaCoroutine.cpp.
References clang::Sema::BuildCXXNamedCast(), clang::Sema::BuildReferenceType(), clang::Sema::Context, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTrivialTypeSourceInfo(), and clang::Expr::getType().
Referenced by clang::Sema::buildCoroutineParameterMoves().
|
static |
Check that this is a context in which a coroutine suspension can appear.
Definition at line 583 of file SemaCoroutine.cpp.
References clang::Sema::buildCoroutineParameterMoves(), clang::Sema::buildCoroutinePromise(), clang::Sema::CurContext, clang::Sema::getCurFunction(), and isValidCoroutineContext().
Referenced by clang::Sema::ActOnCoroutineBodyStart(), clang::Sema::BuildCoreturnStmt(), clang::Sema::BuildCoyieldExpr(), clang::Sema::BuildResolvedCoawaitExpr(), and clang::Sema::BuildUnresolvedCoawaitExpr().
|
static |
Recursively check E
and all its children to see if any call target (including constructor call) is declared noexcept.
Also any value returned from the call has a noexcept destructor.
Definition at line 613 of file SemaCoroutine.cpp.
References clang::Sema::canCalleeThrow(), checkNoThrow(), clang::Stmt::children(), clang::Sema::CurContext, clang::Sema::Diag(), clang::QualType::DK_cxx_destructor, clang::Sema::getASTContext(), clang::QualType::getCanonicalType(), clang::CXXRecordDecl::getDestructor(), clang::CXXMethodDecl::getParent(), clang::QualType::getTypePtr(), and clang::QualType::isDestructedType().
Referenced by clang::Sema::checkFinalSuspendNoThrow(), and checkNoThrow().
|
static |
Definition at line 769 of file SemaCoroutine.cpp.
References clang::Sema::Diag(), clang::Sema::getCurScope(), clang::Sema::isUnevaluatedContext(), and isWithinCatchScope().
Referenced by clang::Sema::ActOnCoawaitExpr(), and clang::Sema::ActOnCoyieldExpr().
|
static |
Definition at line 1271 of file SemaCoroutine.cpp.
References clang::Sema::ActOnCXXThis(), clang::Sema::BuildDeclRefExpr(), clang::Sema::CreateBuiltinUnaryOp(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::isLambdaCallOperator(), clang::FunctionDecl::parameters(), and clang::VK_LValue.
|
static |
Definition at line 1198 of file SemaCoroutine.cpp.
References clang::Sema::Diag(), clang::sema::FunctionScopeInfo::FirstCoroutineStmtLoc, clang::Expr::getExprLoc(), clang::sema::FunctionScopeInfo::getFirstCoroutineStmtKeyword(), and clang::Decl::getLocation().
|
static |
Definition at line 1047 of file SemaCoroutine.cpp.
References clang::Sema::Context, clang::ASTContext::DeclarationNames, clang::Sema::FindDeallocationFunction(), clang::Sema::FindUsualDeallocationFunction(), clang::Type::getAsCXXRecordDecl(), clang::DeclarationNameTable::getCXXOperatorName(), clang::Sema::getLangOpts(), and clang::Sema::MarkFunctionReferenced().
|
static |
Definition at line 1039 of file SemaCoroutine.cpp.
References clang::Sema::Context, clang::Sema::getStdAlignValT(), clang::ASTContext::getTrivialTypeSourceInfo(), and clang::ASTContext::getTypeDeclType().
|
static |
Definition at line 181 of file SemaCoroutine.cpp.
References clang::Sema::CurContext, and clang::Sema::Diag().
Referenced by checkCoroutineContext().
Definition at line 741 of file SemaCoroutine.cpp.
Referenced by checkSuspensionContext().
|
static |
Look up the std::coroutine_handle<PromiseType>.
Definition at line 138 of file SemaCoroutine.cpp.
References clang::TemplateArgumentListInfo::addArgument(), clang::Sema::CheckTemplateIdType(), clang::Sema::Context, clang::Sema::Diag(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::Sema::getStdNamespace(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::QualType::isNull(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, and clang::Sema::RequireCompleteType().
Referenced by buildCoroutineHandle().
|
static |
Definition at line 43 of file SemaCoroutine.cpp.
References lookupMember().
|
static |
Definition at line 32 of file SemaCoroutine.cpp.
References clang::Preprocessor::getIdentifierInfo(), clang::Sema::LookupMemberName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, and clang::LookupResult::suppressDiagnostics().
Referenced by clang::Sema::BuildUnresolvedCoawaitExpr(), and lookupMember().
|
static |
Look up the std::coroutine_traits<...>::promise_type for the given function type.
Definition at line 52 of file SemaCoroutine.cpp.
References clang::TemplateArgumentListInfo::addArgument(), clang::Type::castAs(), clang::Sema::CheckTemplateIdType(), clang::Sema::Context, clang::NestedNameSpecifier::Create(), clang::Sema::Diag(), clang::ETK_None, clang::IdentifierTable::get(), clang::Type::getAsCXXRecordDecl(), clang::LookupResult::getAsSingle(), clang::ASTContext::getElaboratedType(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::ASTContext::getLValueReferenceType(), clang::FunctionProtoType::getParamTypes(), clang::FunctionProtoType::getRefQualifier(), clang::FunctionType::getReturnType(), clang::ASTContext::getRValueReferenceType(), clang::Sema::getStdNamespace(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::ValueDecl::getType(), clang::ASTContext::getTypeDeclType(), clang::QualType::getTypePtr(), clang::QualType::isNull(), clang::Sema::lookupCoroutineTraits(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, clang::Sema::RequireCompleteType(), and clang::RQ_RValue.
Referenced by clang::Sema::buildCoroutinePromise().
|
static |
Definition at line 328 of file SemaCoroutine.cpp.
References clang::Sema::BuildBuiltinCallExpr(), buildMemberCall(), clang::Sema::Diag(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Expr::getType(), clang::QualType::getTypePtr(), clang::Type::isClassType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Type::isReferenceType(), clang::Type::isStructureType(), clang::Type::isVoidPointerType(), and clang::Sema::MaybeCreateExprWithCleanups().
Referenced by buildCoawaitCalls().
|
static |
Definition at line 1710 of file SemaCoroutine.cpp.
References clang::Sema::Diag(), clang::sema::FunctionScopeInfo::FirstCoroutineStmtLoc, and clang::sema::FunctionScopeInfo::getFirstCoroutineStmtKeyword().