Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/SemaCoroutine_8cpp_source.html below:

clang: lib/Sema/SemaCoroutine.cpp Source File

;

(

*MD = dyn_cast<CXXMethodDecl>(FD)) {

(MD->isImplicitObjectMemberFunction()) {

= MD->getFunctionObjectParameterType();

diag::err_coroutine_type_missing_specialization))

assert(RD &&

);

diag::err_implied_std_coroutine_traits_promise_type_not_found)

buildElaboratedType = [&]() {

diag::err_implied_std_coroutine_traits_promise_type_not_class)

<< buildElaboratedType();

diag::err_coroutine_promise_type_incomplete))

(PromiseType.

())

assert(CoroNamespace &&

);

S.

(

, diag::err_implied_coroutine_type_not_found)

<<

;

Result.suppressDiagnostics();

S.

(

->getLocation(), diag::err_malformed_std_coroutine_handle);

(CoroHandleType.

())

diag::err_coroutine_type_missing_specialization))

CoroHandleType;

*FD = dyn_cast<FunctionDecl>(S.

);

? diag::err_coroutine_objc_method

: diag::err_coroutine_outside_function) << Keyword;

InvalidFuncDiag {

Diagnosed =

;

DiagInvalid = [&](InvalidFuncDiag ID) {

S.

(

, diag::err_coroutine_invalid_func_context) << ID << Keyword;

*MD = dyn_cast<CXXMethodDecl>(FD);

(MD && isa<CXXConstructorDecl>(MD))

DiagInvalid(DiagCtor);

(MD && isa<CXXDestructorDecl>(MD))

DiagInvalid(DiagDtor);

(FD->isMain())

DiagInvalid(DiagMain);

(FD->isConstexpr())

DiagInvalid(FD->isConsteval() ? DiagConsteval : DiagConstexpr);

(FD->getReturnType()->isUndeducedType())

DiagInvalid(DiagAutoRet);

(FD->isVariadic())

DiagInvalid(DiagVarargs);

cast<UnresolvedLookupExpr>(R.

()));

(CoroHandleType.

())

S.

(

, diag::err_coroutine_handle_missing_member)

(

*TE = dyn_cast<TypoExpr>(

.get())) {

S.

(

, diag::err_no_member)

<< NameInfo.

() <<

->getType()->getAsCXXRecordDecl()

<<

->getSourceRange();

EndLoc = Args.empty() ?

: Args.back()->getEndLoc();

*JustAddress = AddressExpr.

();

S.

(cast<CallExpr>(JustAddress)->getCalleeDecl()->getLocation(),

diag::warn_coroutine_handle_address_invalid_return_type)

BuildSubExpr = [&](ACT CallType, StringRef

,

(

.isInvalid()) {

cast_or_null<CallExpr>(BuildSubExpr(ACT::ACT_Ready,

, {}));

diag::note_await_ready_no_bool_conversion);

S.

(

, diag::note_coroutine_promise_call_implicitly_required)

*CoroHandle = CoroHandleRes.

();

*AwaitSuspend = cast_or_null<CallExpr>(

BuildSubExpr(ACT::ACT_Suspend,

, CoroHandle));

(

*TailCallSuspend =

Calls.

[ACT::ACT_Suspend] = TailCallSuspend;

diag::err_await_suspend_invalid_return_type)

S.

(

, diag::note_coroutine_promise_call_implicitly_required)

Calls.

[ACT::ACT_Suspend] =

BuildSubExpr(ACT::ACT_Resume,

, {});

assert(isa<FunctionDecl>(

) &&

);

IsThisDependentType = [&] {

(

*MD = dyn_cast_if_present<CXXMethodDecl>(FD))

MD->isImplicitObjectMemberFunction() &&

MD->getThisType()->isDependentType();

(VD->isInvalidDecl())

(

*MD = dyn_cast<CXXMethodDecl>(FD)) {

CtorArgExprs.push_back(ThisExpr.

());

&Moves = ScopeInfo->CoroutineParameterMoves;

(

*PD : FD->parameters()) {

(PD->getType()->isDependentType())

Move = Moves.find(PD);

assert(Move != Moves.end() &&

);

cast<VarDecl>(cast<DeclStmt>(Move->second)->getSingleDecl());

(RefExpr.isInvalid())

CtorArgExprs.push_back(RefExpr.get());

(!CtorArgExprs.empty()) {

CtorArgExprs, FD->getLocation());

VD->getLocation(),

, PLE);

(

.isInvalid()) {

VD->setInvalidDecl();

}

(

.get()) {

IsImplicit =

) {

assert(isa<FunctionDecl>(S.

) &&

);

assert(ScopeInfo &&

);

(ScopeInfo->FirstCoroutineStmtLoc.isInvalid() && !IsImplicit)

ScopeInfo->setFirstCoroutineStmt(

, Keyword);

(ScopeInfo->CoroutinePromise)

(!ScopeInfo->CoroutinePromise)

llvm::SmallPtrSetImpl<const Decl *> &ThrowingDecls) {

checkDeclNoexcept = [&](

*

,

IsDtor =

) {

(

*FD = dyn_cast<FunctionDecl>(

)) {

(FD->getBuiltinID() == Builtin::BI__builtin_coro_resume)

(ThrowingDecls.empty()) {

diag::err_coroutine_promise_final_suspend_requires_nothrow);

ThrowingDecls.insert(

);

(

*CE = dyn_cast<CXXConstructExpr>(

)) {

checkDeclNoexcept(Ctor);

}

(

*CE = dyn_cast<CallExpr>(

)) {

(CE->isTypeDependent())

checkDeclNoexcept(CE->getCalleeDecl());

checkDeclNoexcept(cast<CXXRecordDecl>(

->getDecl())->getDestructor(),

(

*Child :

->

()) {

ThrowingDecls.end()};

sort(SortedDecls, [](

*A,

*B) {

(

*

: SortedDecls) {

(

->

(), diag::note_coroutine_function_declare_noexcept);

ThrowingDecls.empty();

assert(FSI &&

);

);

assert(ScopeInfo->CoroutinePromise);

(ScopeInfo->FirstCoroutineStmtLoc == KWLoc)

(!ScopeInfo->NeedsCoroutineSuspends)

ScopeInfo->setNeedsCoroutineSuspends(

);

buildSuspends = [&](StringRef Name)

->

{

(Operand.isInvalid())

(

, diag::note_coroutine_promise_suspend_implicitly_required)

<< ((Name ==

) ? 0 : 1);

(KWLoc, diag::note_declared_coroutine_here) << Keyword;

cast<Stmt>(Suspend.

());

InitSuspend = buildSuspends(

);

FinalSuspend = buildSuspends(

);

ScopeInfo->setCoroutineSuspends(InitSuspend.

(), FinalSuspend.

());

(S && !S->isFunctionScope()) {

(S->isCatchScope())

S.

(

, diag::err_coroutine_unevaluated_context) << Keyword;

S.

(

, diag::err_coroutine_within_handler) << Keyword;

cast<UnresolvedLookupExpr>(Lookup.

()));

assert(!Operators.

() &&

);

Functions.end(),

,

*

= dyn_cast<CallExpr>(Operand->IgnoreImplicit());

->setCoroElideSafe();

*Fn = llvm::dyn_cast_if_present<FunctionDecl>(

->getCalleeDecl());

(PD->hasAttr<CoroAwaitElidableArgumentAttr>())

(Operand->hasPlaceholderType()) {

*Promise = FSI->CoroutinePromise;

(Promise->getType()->isDependentType()) {

(CurFnAwaitElidable)

*Transformed = Operand;

diag::note_coroutine_promise_implicit_await_transform_required_here)

<< Operand->getSourceRange();

Transformed = R.

();

*Awaiter,

IsImplicit) {

*

, Coroutine->CoroutinePromise,

,

);

*Promise = FSI->CoroutinePromise;

assert(

&&

);

S.

(

, diag::err_implicit_coroutine_std_nothrow_type_not_found);

.suppressDiagnostics();

S.

(

->getLocation(), diag::err_malformed_std_nothrow);

assert(PointeeRD &&

);

Overaligned = S.

().CoroAlignedAllocation;

(!OperatorDelete) {

CanProvideSize =

;

Overaligned, DeleteName);

(!OperatorDelete)

assert(Fn && Fn->isCoroutine() &&

);

);

(!Fn->CoroutinePromise)

(isa<CoroutineBodyStmt>(Body)) {

(FD->

<AlwaysInlineAttr>())

(Fn->FirstVLALoc.isValid())

(Fn->FirstVLALoc, diag::err_vla_in_coroutine_unsupported);

(Builder.isInvalid() || !Builder.buildStatements())

(

*CS = dyn_cast<CompoundStmt>(Body))

assert(isa<CXXTryStmt>(Body) &&

);

: S(S), FD(FD), Fn(Fn),

(FD.getLocation()),

IsPromiseDependentType(

!Fn.CoroutinePromise ||

Fn.CoroutinePromise->getType()->isDependentType()) {

(

KV : Fn.CoroutineParameterMoves)

this->ParamMovesVector.push_back(KV.second);

(!IsPromiseDependentType) {

PromiseRecordDecl = Fn.CoroutinePromise->getType()->getAsCXXRecordDecl();

assert(PromiseRecordDecl &&

);

this->IsValid = makePromiseStmt() && makeInitialAndFinalSuspend();

assert(this->IsValid &&

);

this->IsValid = makeReturnObject();

(this->IsValid && !IsPromiseDependentType)

this->IsValid;

assert(this->IsValid &&

);

assert(!this->IsPromiseDependentType &&

);

this->IsValid = makeOnException() && makeOnFallthrough() &&

makeGroDeclAndReturnStmt() && makeReturnOnAllocFailure() &&

makeNewAndDeleteExpr();

this->IsValid;

CoroutineStmtBuilder::makePromiseStmt() {

CoroutineStmtBuilder::makeInitialAndFinalSuspend() {

(

*DeclRef = dyn_cast_or_null<DeclRefExpr>(

)) {

*

= DeclRef->getDecl();

(Method->isStatic())

diag::err_coroutine_promise_get_return_object_on_allocation_failure)

<< PromiseRecordDecl;

S.

(Fn.FirstCoroutineStmtLoc, diag::note_declared_coroutine_here)

<< Fn.getFirstCoroutineStmtKeyword();

CoroutineStmtBuilder::makeReturnOnAllocFailure() {

assert(!IsPromiseDependentType &&

);

(ReturnObjectOnAllocationFailure.

())

S.

(

.getFoundDecl()->getLocation(), diag::note_member_declared_here)

(

*MD = dyn_cast<CXXMethodDecl>(&FD)) {

PlacementArgs.push_back(ThisExpr.

());

(PD->getType()->isDependentType())

PDLoc = PD->getLocation();

PlacementArgs.push_back(PDRefExpr.

());

CoroutineStmtBuilder::makeNewAndDeleteExpr() {

assert(!IsPromiseDependentType &&

);

PromiseContainsNew = [

, &PromiseType]() ->

{

!R.empty() && !R.isAmbiguous();

PassAlignment = S.

().CoroAlignedAllocation;

WithoutPlacementArgs =

,

ForceNonAligned =

) {

PassAlignment = !ForceNonAligned && S.

().CoroAlignedAllocation;

, PassAlignment,

OperatorNew, UnusedResult,

);

LookupAllocationFunction();

(PromiseContainsNew && !PlacementArgs.empty()) {

(S.

().CoroAlignedAllocation && !PassAlignment))

FoundNonAlignedInPromise =

;

(PromiseContainsNew && S.

().CoroAlignedAllocation)

(!OperatorNew || !PassAlignment) {

FoundNonAlignedInPromise = OperatorNew;

(!OperatorNew && !PlacementArgs.empty())

IsGlobalOverload =

OperatorNew && !isa<CXXRecordDecl>(OperatorNew->getDeclContext());

(RequiresNoThrowAlloc && (!OperatorNew || IsGlobalOverload)) {

PlacementArgs = {StdNoThrow};

OperatorNew =

;

(FoundNonAlignedInPromise) {

S.

(OperatorNew->getLocation(),

diag::warn_non_aligned_allocation_function)

(PromiseContainsNew)

S.

(Loc, diag::err_coroutine_unusable_new) << PromiseType << &FD;

(RequiresNoThrowAlloc)

S.

(Loc, diag::err_coroutine_unfound_nothrow_new)

<< &FD << S.

().CoroAlignedAllocation;

(RequiresNoThrowAlloc) {

(!FT->isNothrow(

)) {

S.

(OperatorNew->getLocation(),

diag::err_coroutine_promise_new_requires_nothrow)

S.

(Loc, diag::note_coroutine_promise_call_implicitly_required)

*FrameAlignment =

;

(S.

().CoroAlignedAllocation && PassAlignment)

NewArgs.push_back(FrameAlignment);

(OperatorNew->getNumParams() > NewArgs.size())

llvm::append_range(NewArgs, PlacementArgs);

OpDeleteQualType = OperatorDelete->getType();

*OpDeleteType =

(OpDeleteType->getNumParams() > DeleteArgs.size() &&

OpDeleteType->getParamType(DeleteArgs.size()), FrameSize->

()))

DeleteArgs.push_back(FrameSize);

OpDeleteType->getNumParams() > DeleteArgs.size() &&

OpDeleteType->getParamType(DeleteArgs.size()),

DeleteArgs.push_back(FrameAlignment);

CoroutineStmtBuilder::makeOnFallthrough() {

assert(!IsPromiseDependentType &&

);

HasRVoid, HasRValue;

(S,

, PromiseRecordDecl, Loc, HasRVoid);

(S,

, PromiseRecordDecl, Loc, HasRValue);

(HasRVoid && HasRValue) {

S.

(FD.getLocation(),

diag::err_coroutine_promise_incompatible_return_functions)

<< PromiseRecordDecl;

diag::note_member_first_declared_here)

diag::note_member_first_declared_here)

}

(!HasRVoid && !HasRValue) {

}

(HasRVoid) {

CoroutineStmtBuilder::makeOnException() {

assert(!IsPromiseDependentType &&

);

RequireUnhandledException = S.

().CXXExceptions;

(!

(S,

, PromiseRecordDecl, Loc)) {

RequireUnhandledException

? diag::err_coroutine_promise_unhandled_exception_required

warn_coroutine_promise_unhandled_exception_required_with_exceptions;

S.

(Loc, DiagID) << PromiseRecordDecl;

<< PromiseRecordDecl;

!RequireUnhandledException;

CoroutineStmtBuilder::makeReturnObject() {

(

*MbrRef = dyn_cast<CXXMemberCallExpr>(

)) {

*MethodDecl = MbrRef->getMethodDecl();

S.

(MethodDecl->getLocation(), diag::note_member_declared_here)

S.

(Fn.FirstCoroutineStmtLoc, diag::note_declared_coroutine_here)

<< Fn.getFirstCoroutineStmtKeyword();

CoroutineStmtBuilder::makeGroDeclAndReturnStmt() {

assert(!IsPromiseDependentType &&

);

assert(this->

&&

);

);

FnRetType = FD.getReturnType();

);

(!GroMatchesRetType)

(GroMatchesRetType) {

S.

, &FD, FD.getLocation(), FD.getLocation(),

(!GroMatchesRetType &&

cast<clang::ReturnStmt>(

.get())->getNRVOCandidate() == GroDecl)

assert(isa<FunctionDecl>(

) &&

);

(!ScopeInfo->CoroutineParameterMoves.empty())

(

*PD : FD->parameters()) {

(PD->getType()->isDependentType())

DeclReferenced = PD->isReferenced();

PD->setReferenced(DeclReferenced);

*CExpr =

;

(PD->getType()->getAsCXXRecordDecl() ||

PD->getType()->isRValueReferenceType())

CExpr = PDRefExpr.

();

*

=

(*

,

, PD->getType(), PD->getIdentifier());

(

.isInvalid())

ScopeInfo->CoroutineParameterMoves.insert(std::make_pair(PD,

.get()));

(KwLoc, diag::err_implied_coroutine_type_not_found)

<<

;

.suppressDiagnostics();

(

->getLocation(), diag::err_malformed_std_coroutine_traits);

This file provides some common utility functions for processing Lambda related AST Constructs.

Defines enum values for all the target-independent builtin functions.

Defines the clang::Expr interface and subclasses for C++ expressions.

llvm::MachO::Record Record

Defines the clang::Preprocessor interface.

static ExprResult buildCoroutineHandle(Sema &S, QualType PromiseType, SourceLocation Loc)

static void noteMemberDeclaredHere(Sema &S, Expr *E, FunctionScopeInfo &Fn)

static void checkReturnStmtInCoroutine(Sema &S, FunctionScopeInfo *FSI)

static bool isValidCoroutineContext(Sema &S, SourceLocation Loc, StringRef Keyword)

static void applySafeElideContext(Expr *Operand)

static Expr * buildStdNoThrowDeclRef(Sema &S, SourceLocation Loc)

Look up the std::nothrow object.

static ExprResult buildOperatorCoawaitCall(Sema &SemaRef, Scope *S, SourceLocation Loc, Expr *E)

static bool diagReturnOnAllocFailure(Sema &S, Expr *E, CXXRecordDecl *PromiseRecordDecl, FunctionScopeInfo &Fn)

static ExprResult buildPromiseCall(Sema &S, VarDecl *Promise, SourceLocation Loc, StringRef Name, MultiExprArg Args)

static Expr * castForMoving(Sema &S, Expr *E, QualType T=QualType())

static Expr * maybeTailCall(Sema &S, QualType RetType, Expr *E, SourceLocation Loc)

static ExprResult buildMemberCall(Sema &S, Expr *Base, SourceLocation Loc, StringRef Name, MultiExprArg Args)

static LookupResult lookupMember(Sema &S, const char *Name, CXXRecordDecl *RD, SourceLocation Loc, bool &Res)

static TypeSourceInfo * getTypeSourceInfoForStdAlignValT(Sema &S, SourceLocation Loc)

static bool isWithinCatchScope(Scope *S)

static bool findDeleteForPromise(Sema &S, SourceLocation Loc, QualType PromiseType, FunctionDecl *&OperatorDelete)

static VarDecl * buildVarDecl(Sema &S, SourceLocation Loc, QualType Type, IdentifierInfo *II)

Build a variable declaration for move parameter.

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 de...

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 bool checkSuspensionContext(Sema &S, SourceLocation Loc, StringRef Keyword)

static QualType lookupCoroutineHandleType(Sema &S, QualType PromiseType, SourceLocation Loc)

Look up the std::coroutine_handle<PromiseType>.

static bool collectPlacementArgs(Sema &S, FunctionDecl &FD, SourceLocation Loc, SmallVectorImpl< Expr * > &PlacementArgs)

static CompoundStmt * buildCoroutineBody(Stmt *Body, ASTContext &Context)

static QualType lookupPromiseType(Sema &S, const FunctionDecl *FD, SourceLocation KwLoc)

Look up the std::coroutine_traits<...>::promise_type for the given function type.

static bool isAttributedCoroAwaitElidable(const QualType &QT)

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.

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

QualType getRValueReferenceType(QualType T) const

Return the uniqued reference to the type for an rvalue reference to the specified type.

DeclarationNameTable DeclarationNames

bool hasSameType(QualType T1, QualType T2) const

Determine whether the given types T1 and T2 are equivalent.

QualType getLValueReferenceType(QualType T, bool SpelledAsLValue=true) const

Return the uniqued reference to the type for an lvalue reference to the specified type.

QualType getTypeDeclType(const TypeDecl *Decl, const TypeDecl *PrevDecl=nullptr) const

Return the unique reference to the type for the specified type declaration.

TypeSourceInfo * getTrivialTypeSourceInfo(QualType T, SourceLocation Loc=SourceLocation()) const

Allocate a TypeSourceInfo where all locations have been initialized to a given location,...

QualType getElaboratedType(ElaboratedTypeKeyword Keyword, NestedNameSpecifier *NNS, QualType NamedType, TagDecl *OwnedTagDecl=nullptr) const

bool hasSameUnqualifiedType(QualType T1, QualType T2) const

Determine whether the given types are equivalent after cvr-qualifiers have been removed.

AddrLabelExpr - The GNU address of label extension, representing &&label.

SourceLocation getBeginLoc() const LLVM_READONLY

Represents a C++ constructor within a class.

Represents a static or instance method of a struct/union/class.

const CXXRecordDecl * getParent() const

Return the parent of this method declaration, which is the class in which this method is defined.

Represents a C++ struct/union/class.

CXXDestructorDecl * getDestructor() const

Returns the destructor decl for this class.

Represents a C++ nested-name-specifier or a global scope specifier.

CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).

FunctionDecl * getDirectCallee()

If the callee is a FunctionDecl, return it. Otherwise return null.

QualType getCallReturnType(const ASTContext &Ctx) const

getCallReturnType - Get the return type of the call expr.

Declaration of a class template.

void setExprNeedsCleanups(bool SideEffects)

Represents a 'co_await' expression.

CompoundStmt - This represents a group of statements like { stmt stmt }.

static CompoundStmt * Create(const ASTContext &C, ArrayRef< Stmt * > Stmts, FPOptionsOverride FPFeatures, SourceLocation LB, SourceLocation RB)

Represents a 'co_return' statement in the C++ Coroutines TS.

Represents the body of a coroutine.

static CoroutineBodyStmt * Create(const ASTContext &C, CtorArgs const &Args)

CoroutineStmtBuilder(Sema &S, FunctionDecl &FD, sema::FunctionScopeInfo &Fn, Stmt *Body)

Construct a CoroutineStmtBuilder and initialize the promise statement and initial/final suspends from...

bool buildDependentStatements()

Build the coroutine body statements that require a non-dependent promise type in order to construct.

bool buildStatements()

Build the coroutine body statements, including the "promise dependent" statements when the promise ty...

Represents a 'co_yield' expression.

DeclContext - This is used only as base class of specific decl types that can act as declaration cont...

Decl - This represents one declaration (or definition), e.g.

SourceLocation getEndLoc() const LLVM_READONLY

void setInvalidDecl(bool Invalid=true)

setInvalidDecl - Indicates the Decl had a semantic error.

bool isInvalidDecl() const

SourceLocation getLocation() const

void setImplicit(bool I=true)

The name of a declaration.

SourceLocation getBeginLoc() const LLVM_READONLY

Represents a 'co_await' expression while the type of the promise is dependent.

RAII object that enters a new expression evaluation context.

This represents one expression.

ExprObjectKind getObjectKind() const

getObjectKind - The object kind that this expression produces.

SourceLocation getExprLoc() const LLVM_READONLY

getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...

bool hasPlaceholderType() const

Returns whether this expression has a placeholder type.

Represents difference between two FPOptions values.

Represents a function declaration or definition.

ArrayRef< ParmVarDecl * > parameters() const

Represents a prototype with parameter type info, e.g.

ArrayRef< QualType > getParamTypes() const

RefQualifierKind getRefQualifier() const

Retrieve the ref-qualifier associated with this function type.

QualType getReturnType() const

One of these records is kept for each identifier that is lexed.

IdentifierInfo & get(StringRef Name)

Return the identifier token info for the specified named identifier.

Describes the kind of initialization being performed, along with location information for tokens rela...

static InitializationKind CreateForInit(SourceLocation Loc, bool DirectInit, Expr *Init)

Create an initialization from an initializer (which, for direct initialization from a parenthesized l...

Describes the sequence of initializations required to initialize a given object or reference with a s...

ExprResult Perform(Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, MultiExprArg Args, QualType *ResultType=nullptr)

Perform the actual initialization of the given entity based on the computed initialization sequence.

Describes an entity that is being initialized.

static InitializedEntity InitializeResult(SourceLocation ReturnLoc, QualType Type)

Create the initialization entity for the result of a function.

static InitializedEntity InitializeVariable(VarDecl *Var)

Create the initialization entity for a variable.

Represents the results of name lookup.

DeclClass * getAsSingle() const

const UnresolvedSetImpl & asUnresolvedSet() const

NamedDecl * getRepresentativeDecl() const

Fetches a representative decl. Useful for lazy diagnostics.

void suppressDiagnostics()

Suppress the diagnostics that would normally fire because of this lookup.

DeclarationName getLookupName() const

Gets the name to look up.

This represents a decl that may have a name.

Represent a C++ namespace.

A C++ nested-name-specifier augmented with source location information.

static NestedNameSpecifier * Create(const ASTContext &Context, NestedNameSpecifier *Prefix, const IdentifierInfo *II)

Builds a specifier combining a prefix and an identifier.

OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.

decls_iterator decls_begin() const

decls_iterator decls_end() const

static ParenListExpr * Create(const ASTContext &Ctx, SourceLocation LParenLoc, ArrayRef< Expr * > Exprs, SourceLocation RParenLoc)

Create a paren list.

Represents a parameter to a function.

IdentifierInfo * getIdentifierInfo(StringRef Name) const

Return information about the specified preprocessor identifier token.

IdentifierTable & getIdentifierTable()

A (possibly-)qualified type.

bool isNull() const

Return true if this QualType doesn't point to a type yet.

const Type * getTypePtr() const

Retrieves a pointer to the underlying (unqualified) type.

QualType getNonReferenceType() const

If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...

QualType getCanonicalType() const

DestructionKind isDestructedType() const

Returns a nonzero value if objects of this type require non-trivial work to clean up after.

ReturnStmt - This represents a return, optionally of an expression: return; return 4;.

Scope - A scope is a transient data structure that is used while parsing the program.

SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)

Emit a diagnostic.

Sema - This implements semantic analysis and AST building for C.

FunctionDecl * FindUsualDeallocationFunction(SourceLocation StartLoc, bool CanProvideSize, bool Overaligned, DeclarationName Name)

ExprResult BuildOperatorCoawaitCall(SourceLocation Loc, Expr *E, UnresolvedLookupExpr *Lookup)

Build a call to 'operator co_await' if there is a suitable operator for the given expression.

Scope * getCurScope() const

Retrieve the parser's current scope.

ExprResult BuildMemberReferenceExpr(Expr *Base, QualType BaseType, SourceLocation OpLoc, bool IsArrow, CXXScopeSpec &SS, SourceLocation TemplateKWLoc, NamedDecl *FirstQualifierInScope, const DeclarationNameInfo &NameInfo, const TemplateArgumentListInfo *TemplateArgs, const Scope *S, ActOnMemberAccessExtraArgs *ExtraArgs=nullptr)

ExprResult CreateBuiltinUnaryOp(SourceLocation OpLoc, UnaryOperatorKind Opc, Expr *InputExpr, bool IsAfterAmp=false)

@ LookupOrdinaryName

Ordinary name lookup, which finds ordinary names (functions, variables, typedefs, etc....

@ LookupOperatorName

Look up of an operator name (e.g., operator+) for use with operator overloading.

@ LookupMemberName

Member name lookup, which finds the names of class/struct/union members.

bool checkFinalSuspendNoThrow(const Stmt *FinalSuspend)

Check that the expression co_await promise.final_suspend() shall not be potentially-throwing.

StmtResult BuildCoroutineBodyStmt(CoroutineBodyStmt::CtorArgs)

ExprResult BuildCoyieldExpr(SourceLocation KwLoc, Expr *E)

void CheckCompletedCoroutineBody(FunctionDecl *FD, Stmt *&Body)

bool ActOnCoroutineBodyStart(Scope *S, SourceLocation KwLoc, StringRef Keyword)

VarDecl * buildCoroutinePromise(SourceLocation Loc)

StmtResult BuildCoreturnStmt(SourceLocation KwLoc, Expr *E, bool IsImplicit=false)

Expr * BuildBuiltinCallExpr(SourceLocation Loc, Builtin::ID Id, MultiExprArg CallArgs)

BuildBuiltinCallExpr - Create a call to a builtin function specified by Id.

ExprResult BuildResolvedCoawaitExpr(SourceLocation KwLoc, Expr *Operand, Expr *Awaiter, bool IsImplicit=false)

FunctionDecl * getCurFunctionDecl(bool AllowLambda=false) const

Returns a pointer to the innermost enclosing function, or nullptr if the current context is not insid...

void FinalizeDeclaration(Decl *D)

FinalizeDeclaration - called by ParseDeclarationAfterDeclarator to perform any semantic actions neces...

ExprResult ActOnCoyieldExpr(Scope *S, SourceLocation KwLoc, Expr *E)

DeclGroupPtrTy ConvertDeclToDeclGroup(Decl *Ptr, Decl *OwnedType=nullptr)

ClassTemplateDecl * StdCoroutineTraitsCache

The C++ "std::coroutine_traits" template, which is defined in <coroutine_traits>

ASTContext & getASTContext() const

DeclRefExpr * BuildDeclRefExpr(ValueDecl *D, QualType Ty, ExprValueKind VK, SourceLocation Loc, const CXXScopeSpec *SS=nullptr)

EnumDecl * getStdAlignValT() const

NamedReturnInfo getNamedReturnInfo(Expr *&E, SimplerImplicitMoveMode Mode=SimplerImplicitMoveMode::Normal)

Determine whether the given expression might be move-eligible or copy-elidable in either a (co_)retur...

StmtResult ActOnCoreturnStmt(Scope *S, SourceLocation KwLoc, Expr *E)

const LangOptions & getLangOpts() const

StmtResult ActOnFinishFullStmt(Stmt *Stmt)

ExprResult BuildCallExpr(Scope *S, Expr *Fn, SourceLocation LParenLoc, MultiExprArg ArgExprs, SourceLocation RParenLoc, Expr *ExecConfig=nullptr, bool IsExecConfig=false, bool AllowRecovery=false)

BuildCallExpr - Handle a call to Fn with the specified array of arguments.

bool FindAllocationFunctions(SourceLocation StartLoc, SourceRange Range, AllocationFunctionScope NewScope, AllocationFunctionScope DeleteScope, QualType AllocType, bool IsArray, bool &PassAlignment, MultiExprArg PlaceArgs, FunctionDecl *&OperatorNew, FunctionDecl *&OperatorDelete, bool Diagnose=true)

Finds the overloads of operator new and delete that are appropriate for the allocation.

CleanupInfo Cleanup

Used to control the generation of ExprWithCleanups.

StmtResult ActOnNullStmt(SourceLocation SemiLoc, bool HasLeadingEmptyMacro=false)

ExprResult BuildUnresolvedCoawaitExpr(SourceLocation KwLoc, Expr *Operand, UnresolvedLookupExpr *Lookup)

bool buildCoroutineParameterMoves(SourceLocation Loc)

sema::FunctionScopeInfo * getCurFunction() const

QualType BuildReferenceType(QualType T, bool LValueRef, SourceLocation Loc, DeclarationName Entity)

Build a reference type.

ExprResult CreateOverloadedUnaryOp(SourceLocation OpLoc, UnaryOperatorKind Opc, const UnresolvedSetImpl &Fns, Expr *input, bool RequiresADL=true)

Create a unary operation that may resolve to an overloaded operator.

ExprResult ActOnCoawaitExpr(Scope *S, SourceLocation KwLoc, Expr *E)

ExprResult BuildDeclarationNameExpr(const CXXScopeSpec &SS, LookupResult &R, bool NeedsADL, bool AcceptInvalidDecl=false)

DeclContext * CurContext

CurContext - This is the current declaration context of parsing.

bool FindDeallocationFunction(SourceLocation StartLoc, CXXRecordDecl *RD, DeclarationName Name, FunctionDecl *&Operator, bool Diagnose=true, bool WantSize=false, bool WantAligned=false)

MaterializeTemporaryExpr * CreateMaterializeTemporaryExpr(QualType T, Expr *Temporary, bool BoundToLvalueReference)

ExprResult PerformContextuallyConvertToBool(Expr *From)

PerformContextuallyConvertToBool - Perform a contextual conversion of the expression From to bool (C+...

bool isUnevaluatedContext() const

Determines whether we are currently in a context that is not evaluated as per C++ [expr] p5.

ExprResult CheckPlaceholderExpr(Expr *E)

Check for operands with placeholder types and complain if found.

ClassTemplateDecl * lookupCoroutineTraits(SourceLocation KwLoc, SourceLocation FuncLoc)

Lookup 'coroutine_traits' in std namespace and std::experimental namespace.

DeclContext * computeDeclContext(QualType T)

Compute the DeclContext that is associated with the given type.

QualType CheckTemplateIdType(TemplateName Template, SourceLocation TemplateLoc, TemplateArgumentListInfo &TemplateArgs)

StmtResult BuildReturnStmt(SourceLocation ReturnLoc, Expr *RetValExp, bool AllowRecovery=false)

void CheckCompleteVariableDeclaration(VarDecl *VD)

@ PotentiallyEvaluated

The current expression is potentially evaluated at run time, which means that code may be generated t...

ExprResult BuildOperatorCoawaitLookupExpr(Scope *S, SourceLocation Loc)

StmtResult ActOnDeclStmt(DeclGroupPtrTy Decl, SourceLocation StartLoc, SourceLocation EndLoc)

bool RequireCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)

Ensure that the type T is a complete type.

bool LookupQualifiedName(LookupResult &R, DeclContext *LookupCtx, bool InUnqualifiedLookup=false)

Perform qualified name lookup into a given context.

Expr * MaybeCreateExprWithCleanups(Expr *SubExpr)

MaybeCreateExprWithCleanups - If the current full-expression requires any cleanups,...

FullExprArg MakeFullDiscardedValueExpr(Expr *Arg)

NamespaceDecl * getStdNamespace() const

ExprResult PerformCopyInitialization(const InitializedEntity &Entity, SourceLocation EqualLoc, ExprResult Init, bool TopLevelOfInitList=false, bool AllowExplicit=false)

void ActOnUninitializedDecl(Decl *dcl)

void AddInitializerToDecl(Decl *dcl, Expr *init, bool DirectInit)

AddInitializerToDecl - Adds the initializer Init to the declaration dcl.

ExprResult BuildCXXNamedCast(SourceLocation OpLoc, tok::TokenKind Kind, TypeSourceInfo *Ty, Expr *E, SourceRange AngleBrackets, SourceRange Parens)

void MarkFunctionReferenced(SourceLocation Loc, FunctionDecl *Func, bool MightBeOdrUse=true)

Mark a function referenced, and check whether it is odr-used (C++ [basic.def.odr]p2,...

void clearDelayedTypo(TypoExpr *TE)

Clears the state of the given TypoExpr.

void CheckVariableDeclarationType(VarDecl *NewVD)

bool LookupName(LookupResult &R, Scope *S, bool AllowBuiltinCreation=false, bool ForceNoCPlusPlus=false)

Perform unqualified name lookup starting from a given scope.

ExprResult ActOnCXXThis(SourceLocation Loc)

AllocationFunctionScope

The scope in which to find allocation functions.

@ AFS_Both

Look for allocation functions in both the global scope and in the scope of the allocated class.

@ AFS_Class

Only look for allocation functions in the scope of the allocated class.

@ AFS_Global

Only look for allocation functions in the global scope.

ExprResult CorrectDelayedTyposInExpr(Expr *E, VarDecl *InitDecl=nullptr, bool RecoverUncorrectedTypos=false, llvm::function_ref< ExprResult(Expr *)> Filter=[](Expr *E) -> ExprResult { return E;})

Process any TypoExprs in the given Expr and its children, generating diagnostics as appropriate and r...

static CanThrowResult canCalleeThrow(Sema &S, const Expr *E, const Decl *D, SourceLocation Loc=SourceLocation())

Determine whether the callee of a particular function call can throw.

ExprResult ActOnFinishFullExpr(Expr *Expr, bool DiscardedValue)

Encodes a location in the source.

bool isValid() const

Return true if this is a valid SourceLocation object.

A trivial tuple used to represent a source range.

Stmt - This represents one statement.

SourceRange getSourceRange() const LLVM_READONLY

SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...

SourceLocation getBeginLoc() const LLVM_READONLY

A convenient class for passing around template argument information.

void addArgument(const TemplateArgumentLoc &Loc)

Location wrapper for a TemplateArgument.

Represents a template argument.

Represents a C++ template name within the type system.

Represents a declaration of a type.

A container of type source information.

The base class of the type hierarchy.

bool isStructureType() const

CXXRecordDecl * getAsCXXRecordDecl() const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...

bool isBooleanType() const

bool isVoidPointerType() const

const T * castAs() const

Member-template castAs<specific type>.

bool isReferenceType() const

bool isDependentType() const

Whether this type is a dependent type, meaning that its definition somehow depends on a template para...

bool isRecordType() const

A reference to a name which we were able to look up during parsing but could not resolve to a specifi...

static UnresolvedLookupExpr * Create(const ASTContext &Context, CXXRecordDecl *NamingClass, NestedNameSpecifierLoc QualifierLoc, const DeclarationNameInfo &NameInfo, bool RequiresADL, UnresolvedSetIterator Begin, UnresolvedSetIterator End, bool KnownDependent, bool KnownInstantiationDependent)

void append(iterator I, iterator E)

A set of unresolved declarations.

Represents a variable declaration or definition.

static VarDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass S)

@ CallInit

Call-style initialization (C++98)

void setNRVOVariable(bool NRVO)

Retains information about a function, method, or block that is currently being parsed.

SourceLocation FirstCoroutineStmtLoc

First coroutine statement in the current function.

std::pair< Stmt *, Stmt * > CoroutineSuspends

The initial and final coroutine suspend points.

VarDecl * CoroutinePromise

The promise object for this coroutine, if any.

bool hasInvalidCoroutineSuspends() const

StringRef getFirstCoroutineStmtKeyword() const

SourceLocation FirstReturnLoc

First 'return' statement in the current function.

SourceLocation FirstSEHTryLoc

First SEH '__try' statement in the current function.

The JSON file list parser is used to communicate input to InstallAPI.

@ RQ_RValue

An rvalue ref-qualifier was provided (&&).

bool isLambdaCallOperator(const CXXMethodDecl *MD)

@ Result

The result type of a method or function.

@ VK_LValue

An l-value expression is a reference to an object with independent storage.

const FunctionProtoType * T

OpaqueValueExpr * OpaqueValue

Stmt * ReturnStmtOnAllocFailure

ArrayRef< Stmt * > ParamMoves

DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...

DeclarationName getName() const

getName - Returns the embedded declaration name.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4