clang
6.0.0
|
#include "clang/Sema/ScopeInfo.h"
Classes | |
class | Capture |
Public Types | |
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... | |
Public Member Functions | |
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 |
bool | isCoroutine () const |
void | setFirstCoroutineStmt (SourceLocation Loc, StringRef Keyword) |
StringRef | getFirstCoroutineStmtKeyword () const |
void | setNeedsCoroutineSuspends (bool value=true) |
bool | hasInvalidCoroutineSuspends () const |
void | setCoroutineSuspends (Stmt *Initial, Stmt *Final) |
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) |
Public Attributes | |
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: 1 |
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 | HasPotentialAvailabilityViolations: 1 |
Whether we make reference to a declaration that could be unavailable. 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... | |
bool | NeedsCoroutineSuspends: 1 |
True only when this function has not already built, or attempted to build, the initial and final coroutine suspend points. More... | |
unsigned char | FirstCoroutineStmtKind: 2 |
An enumeration represeting the kind of the first coroutine statement in the function. More... | |
SourceLocation | FirstCoroutineStmtLoc |
First coroutine statement in the current function. 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 = nullptr |
The promise object for this coroutine, if any. More... | |
std::pair< Stmt *, Stmt * > | CoroutineSuspends |
The initial and final coroutine suspend points. 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... | |
Protected Member Functions | |
CapturingScopeInfo (const CapturingScopeInfo &)=default | |
![]() | |
FunctionScopeInfo (const FunctionScopeInfo &)=default | |
Additional Inherited Members | |
![]() | |
enum | ScopeKind { SK_Function, SK_Block, SK_Lambda, SK_CapturedRegion } |
Definition at line 457 of file ScopeInfo.h.
Enumerator | |
---|---|
ImpCap_None | |
ImpCap_LambdaByval | |
ImpCap_LambdaByref | |
ImpCap_Block | |
ImpCap_CapturedRegion |
Definition at line 462 of file ScopeInfo.h.
|
protecteddefault |
|
inline |
Definition at line 588 of file ScopeInfo.h.
|
inline |
Definition at line 611 of file ScopeInfo.h.
|
inline |
Definition at line 965 of file ScopeInfo.h.
Referenced by clang::Sema::CheckCXXThisCapture().
|
inline |
Definition at line 619 of file ScopeInfo.h.
|
inlinestatic |
Definition at line 663 of file ScopeInfo.h.
References clang::sema::FunctionScopeInfo::Kind.
Retrieve the capture of the given variable, if it has been captured already.
Definition at line 651 of file ScopeInfo.h.
Referenced by isVariableAlreadyCapturedInScopeInfo(), and clang::Sema::tryCaptureVariable().
Definition at line 656 of file ScopeInfo.h.
|
inline |
Retrieve the capture of C++ 'this', if it has been captured.
Definition at line 636 of file ScopeInfo.h.
Determine whether the given variable has been captured.
Definition at line 642 of file ScopeInfo.h.
Referenced by getStackIndexOfNearestEnclosingCaptureReadyLambda().
|
inline |
Determine whether the C++ 'this' is captured.
Definition at line 633 of file ScopeInfo.h.
Referenced by getStackIndexOfNearestEnclosingCaptureReadyLambda(), and tryImplicitlyCaptureThisIfImplicitMemberFunctionAccessWithDependentArgs().
bool CapturingScopeInfo::isVLATypeCaptured | ( | const VariableArrayType * | VAT | ) | const |
Determine whether the given variable-array type has been captured.
Definition at line 113 of file ScopeInfo.cpp.
References clang::RecordDecl::fields().
llvm::DenseMap<VarDecl*, unsigned> clang::sema::CapturingScopeInfo::CaptureMap |
CaptureMap - A map of captured variables to (index+1) into Captures.
Definition at line 594 of file ScopeInfo.h.
Referenced by isVariableAlreadyCapturedInScopeInfo().
SmallVector<Capture, 4> clang::sema::CapturingScopeInfo::Captures |
Captures - The captures.
Definition at line 601 of file ScopeInfo.h.
Referenced by getCaptureLocation().
unsigned clang::sema::CapturingScopeInfo::CXXThisCaptureIndex |
CXXThisCaptureIndex - The (index+1) of the capture of 'this'; zero if 'this' is not captured.
Definition at line 598 of file ScopeInfo.h.
bool clang::sema::CapturingScopeInfo::HasImplicitReturnType |
a lambda or block with omitted return type).
Definition at line 605 of file ScopeInfo.h.
Referenced by clang::Sema::ActOnBlockStmtExpr(), clang::Sema::ActOnCapScopeReturnStmt(), clang::Sema::BuildLambdaExpr(), clang::Sema::buildLambdaScope(), and clang::Sema::deduceClosureReturnType().
ImplicitCaptureStyle clang::sema::CapturingScopeInfo::ImpCaptureStyle |
QualType clang::sema::CapturingScopeInfo::ReturnType |
ReturnType - The target type of return statements in this context, or null if unknown.
Definition at line 609 of file ScopeInfo.h.
Referenced by clang::Sema::ActOnCapScopeReturnStmt(), clang::Sema::buildLambdaScope(), clang::Sema::deduceClosureReturnType(), and clang::Sema::PushCapturedRegionScope().