| //===- CoroutineStmtBuilder.h - Implicit coroutine stmt builder -*- C++ -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| //===----------------------------------------------------------------------===// |
| // |
| // This file defines CoroutineStmtBuilder, a class for building the implicit |
| // statements required for building a coroutine body. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LLVM_CLANG_LIB_SEMA_COROUTINESTMTBUILDER_H |
| #define LLVM_CLANG_LIB_SEMA_COROUTINESTMTBUILDER_H |
| |
| #include "clang/AST/Decl.h" |
| #include "clang/AST/ExprCXX.h" |
| #include "clang/AST/StmtCXX.h" |
| #include "clang/Lex/Preprocessor.h" |
| #include "clang/Sema/SemaInternal.h" |
| |
| namespace clang { |
| |
| class CoroutineStmtBuilder : public CoroutineBodyStmt::CtorArgs { |
| Sema &S; |
| FunctionDecl &FD; |
| sema::FunctionScopeInfo &Fn; |
| bool IsValid = true; |
| SourceLocation Loc; |
| SmallVector<Stmt *, 4> ParamMovesVector; |
| const bool IsPromiseDependentType; |
| CXXRecordDecl *PromiseRecordDecl = nullptr; |
| |
| public: |
| /// Construct a CoroutineStmtBuilder and initialize the promise |
| /// statement and initial/final suspends from the FunctionScopeInfo. |
| CoroutineStmtBuilder(Sema &S, FunctionDecl &FD, sema::FunctionScopeInfo &Fn, |
| Stmt *Body); |
| |
| /// Build the coroutine body statements, including the |
| /// "promise dependent" statements when the promise type is not dependent. |
| bool buildStatements(); |
| |
| /// Build the coroutine body statements that require a non-dependent |
| /// promise type in order to construct. |
| /// |
| /// For example different new/delete overloads are selected depending on |
| /// if the promise type provides `unhandled_exception()`, and therefore they |
| /// cannot be built until the promise type is complete so that we can perform |
| /// name lookup. |
| bool buildDependentStatements(); |
| |
| bool isInvalid() const { return !this->IsValid; } |
| |
| private: |
| bool makePromiseStmt(); |
| bool makeInitialAndFinalSuspend(); |
| bool makeNewAndDeleteExpr(); |
| bool makeOnFallthrough(); |
| bool makeOnException(); |
| bool makeReturnObject(); |
| bool makeGroDeclAndReturnStmt(); |
| bool makeReturnOnAllocFailure(); |
| }; |
| |
| } // end namespace clang |
| |
| #endif // LLVM_CLANG_LIB_SEMA_COROUTINESTMTBUILDER_H |