1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768 |
- //===- 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
|