clang
3.9.0
|
Retains information about a block that is currently being parsed. More...
#include <ScopeInfo.h>
Public Member Functions | |
BlockScopeInfo (DiagnosticsEngine &Diag, Scope *BlockScope, BlockDecl *Block) | |
~BlockScopeInfo () override | |
![]() | |
CapturingScopeInfo (DiagnosticsEngine &Diag, ImplicitCaptureStyle Style) | |
void | addCapture (VarDecl *Var, bool isBlock, bool isByref, bool isNested, SourceLocation Loc, SourceLocation EllipsisLoc, QualType CaptureType, Expr *Cpy) |
void | addVLATypeCapture (SourceLocation Loc, QualType CaptureType) |
void | addThisCapture (bool isNested, SourceLocation Loc, Expr *Cpy, bool ByCopy) |
bool | isCXXThisCaptured () const |
Determine whether the C++ 'this' is captured. More... | |
Capture & | getCXXThisCapture () |
Retrieve the capture of C++ 'this', if it has been captured. More... | |
bool | isCaptured (VarDecl *Var) const |
Determine whether the given variable has been captured. More... | |
bool | isVLATypeCaptured (const VariableArrayType *VAT) const |
Determine whether the given variable-array type has been captured. More... | |
Capture & | getCapture (VarDecl *Var) |
Retrieve the capture of the given variable, if it has been captured already. More... | |
const Capture & | getCapture (VarDecl *Var) const |
![]() | |
template<typename ExprT > | |
void | recordUseOfWeak (const ExprT *E, bool IsRead=true) |
Record that a weak object was accessed. More... | |
void | recordUseOfWeak (const ObjCMessageExpr *Msg, const ObjCPropertyDecl *Prop) |
void | markSafeWeakUse (const Expr *E) |
Record that a given expression is a "safe" access of a weak object (e.g. More... | |
const WeakObjectUseMap & | getWeakObjectUses () const |
void | setHasBranchIntoScope () |
void | setHasBranchProtectedScope () |
void | setHasIndirectGoto () |
void | setHasDroppedStmt () |
void | setHasOMPDeclareReductionCombiner () |
void | setHasFallthroughStmt () |
void | setHasCXXTry (SourceLocation TryLoc) |
void | setHasSEHTry (SourceLocation TryLoc) |
bool | NeedsScopeChecking () const |
FunctionScopeInfo (DiagnosticsEngine &Diag) | |
virtual | ~FunctionScopeInfo () |
void | Clear () |
Clear out the information in this function scope, making it suitable for reuse. More... | |
Static Public Member Functions | |
static bool | classof (const FunctionScopeInfo *FSI) |
![]() | |
static bool | classof (const FunctionScopeInfo *FSI) |
Public Attributes | |
BlockDecl * | TheDecl |
Scope * | TheScope |
TheScope - This is the scope for the block itself, which contains arguments etc. More... | |
QualType | FunctionType |
BlockType - The function type of the block, if one was given. More... | |
![]() | |
ImplicitCaptureStyle | ImpCaptureStyle |
llvm::DenseMap< VarDecl *, unsigned > | CaptureMap |
CaptureMap - A map of captured variables to (index+1) into Captures. More... | |
unsigned | CXXThisCaptureIndex |
CXXThisCaptureIndex - The (index+1) of the capture of 'this'; zero if 'this' is not captured. More... | |
SmallVector< Capture, 4 > | Captures |
Captures - The captures. More... | |
bool | HasImplicitReturnType |
| |
QualType | ReturnType |
ReturnType - The target type of return statements in this context, or null if unknown. More... | |
![]() | |
ScopeKind | Kind: 3 |
What kind of scope we are describing. More... | |
bool | HasBranchProtectedScope: 1 |
Whether this function contains a VLA, @try, try, C++ initializer, or anything else that can't be jumped past. More... | |
bool | HasBranchIntoScope: 1 |
Whether this function contains any switches or direct gotos. More... | |
bool | HasIndirectGoto: 1 |
Whether this function contains any indirect gotos. More... | |
bool | HasDroppedStmt: 1 |
Whether a statement was dropped because it was invalid. More... | |
bool | HasOMPDeclareReductionCombiner |
True if current scope is for OpenMP declare reduction combiner. More... | |
bool | HasFallthroughStmt: 1 |
Whether there is a fallthrough statement in this function. More... | |
bool | ObjCShouldCallSuper: 1 |
A flag that is set when parsing a method that must call super's implementation, such as -dealloc , -finalize , or any method marked with attribute ((objc_requires_super)). More... | |
bool | ObjCIsDesignatedInit: 1 |
True when this is a method marked as a designated initializer. More... | |
bool | ObjCWarnForNoDesignatedInitChain: 1 |
This starts true for a method marked as designated initializer and will be set to false if there is an invocation to a designated initializer of the super class. More... | |
bool | ObjCIsSecondaryInit: 1 |
True when this is an initializer method not marked as a designated initializer within a class that has at least one initializer marked as a designated initializer. More... | |
bool | ObjCWarnForNoInitDelegation: 1 |
This starts true for a secondary initializer method and will be set to false if there is an invocation of an initializer on 'self'. More... | |
SourceLocation | FirstReturnLoc |
First 'return' statement in the current function. More... | |
SourceLocation | FirstCXXTryLoc |
First C++ 'try' statement in the current function. More... | |
SourceLocation | FirstSEHTryLoc |
First SEH '__try' statement in the current function. More... | |
DiagnosticErrorTrap | ErrorTrap |
Used to determine if errors occurred in this function or block. More... | |
SmallVector< SwitchStmt *, 8 > | SwitchStack |
SwitchStack - This is the current set of active switch statements in the block. More... | |
SmallVector< ReturnStmt *, 4 > | Returns |
The list of return statements that occur within the function or block, if there is any chance of applying the named return value optimization, or if we need to infer a return type. More... | |
VarDecl * | CoroutinePromise |
The promise object for this coroutine, if any. More... | |
SmallVector< Stmt *, 4 > | CoroutineStmts |
The list of coroutine control flow constructs (co_await, co_yield, co_return) that occur within the function or block. More... | |
SmallVector< CompoundScopeInfo, 4 > | CompoundScopes |
The stack of currently active compound stamement scopes in the function. More... | |
SmallVector < PossiblyUnreachableDiag, 4 > | PossiblyUnreachableDiags |
A list of PartialDiagnostics created but delayed within the current function scope. More... | |
llvm::SmallPtrSet< const ParmVarDecl *, 8 > | ModifiedNonNullParams |
A list of parameters which have the nonnull attribute and are modified in the function. More... | |
Additional Inherited Members | |
![]() | |
enum | ImplicitCaptureStyle { ImpCap_None, ImpCap_LambdaByval, ImpCap_LambdaByref, ImpCap_Block, ImpCap_CapturedRegion } |
![]() | |
typedef SmallVector< WeakUseTy, 4 > | WeakUseVector |
Used to collect uses of a particular weak object in a function body. More... | |
typedef llvm::SmallDenseMap < WeakObjectProfileTy, WeakUseVector, 8, WeakObjectProfileTy::DenseMapInfo > | WeakObjectUseMap |
Used to collect all uses of weak objects in a function body. More... | |
![]() | |
enum | ScopeKind { SK_Function, SK_Block, SK_Lambda, SK_CapturedRegion } |
![]() | |
CapturingScopeInfo (const CapturingScopeInfo &)=default | |
![]() | |
FunctionScopeInfo (const FunctionScopeInfo &)=default | |
Retains information about a block that is currently being parsed.
Definition at line 597 of file ScopeInfo.h.
|
inline |
Definition at line 609 of file ScopeInfo.h.
References clang::sema::FunctionScopeInfo::SK_Block.
|
override |
Definition at line 242 of file ScopeInfo.cpp.
|
inlinestatic |
Definition at line 618 of file ScopeInfo.h.
References clang::sema::FunctionScopeInfo::Kind, and clang::sema::FunctionScopeInfo::SK_Block.
QualType clang::sema::BlockScopeInfo::FunctionType |
BlockType - The function type of the block, if one was given.
Its return type may be BuiltinType::Dependent.
Definition at line 607 of file ScopeInfo.h.
Referenced by clang::Sema::ActOnBlockStmtExpr().
BlockDecl* clang::sema::BlockScopeInfo::TheDecl |
Definition at line 599 of file ScopeInfo.h.
Referenced by clang::Sema::ActOnBlockStmtExpr().
Scope* clang::sema::BlockScopeInfo::TheScope |
TheScope - This is the scope for the block itself, which contains arguments etc.
Definition at line 603 of file ScopeInfo.h.