clang
19.0.0git
|
Implements semantic analysis for C++ expressions. More...
#include "TreeTransform.h"
#include "TypeLocBuilder.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprConcepts.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/AST/Type.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Basic/AlignedAllocation.h"
#include "clang/Basic/DiagnosticSema.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Basic/TokenKinds.h"
#include "clang/Basic/TypeTraits.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/EnterExpressionEvaluationContext.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/ParsedTemplate.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaCUDA.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/SemaLambda.h"
#include "clang/Sema/SemaObjC.h"
#include "clang/Sema/Template.h"
#include "clang/Sema/TemplateDeduction.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/STLForwardCompat.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/TypeSize.h"
#include <optional>
Go to the source code of this file.
Enumerations | |
enum class | TypeTraitReturnType { Bool } |
Functions | |
static void | getUuidAttrOfType (Sema &SemaRef, QualType QT, llvm::SmallSetVector< const UuidAttr *, 1 > &UuidAttrs) |
Grabs __declspec(uuid()) off a type, or returns 0 if we cannot resolve to a single GUID. More... | |
static void | collectPublicBases (CXXRecordDecl *RD, llvm::DenseMap< CXXRecordDecl *, unsigned > &SubobjectsSeen, llvm::SmallPtrSetImpl< CXXRecordDecl * > &VBases, llvm::SetVector< CXXRecordDecl * > &PublicSubobjectsSeen, bool ParentIsPublic) |
static void | getUnambiguousPublicSubobjects (CXXRecordDecl *RD, llvm::SmallVectorImpl< CXXRecordDecl * > &Objects) |
static QualType | adjustCVQualifiersForCXXThisWithinLambda (ArrayRef< FunctionScopeInfo * > FunctionScopes, QualType ThisTy, DeclContext *CurSemaContext, ASTContext &ASTCtx) |
static void | buildLambdaThisCaptureFixit (Sema &Sema, LambdaScopeInfo *LSI) |
static bool | isNonPlacementDeallocationFunction (Sema &S, FunctionDecl *FD) |
Determine whether the given function is a non-placement deallocation function. More... | |
static bool | hasNewExtendedAlignment (Sema &S, QualType AllocType) |
Determine whether a type has new-extended alignment. More... | |
static UsualDeallocFnInfo | resolveDeallocationOverload (Sema &S, LookupResult &R, bool WantSize, bool WantAlign, llvm::SmallVectorImpl< UsualDeallocFnInfo > *BestFns=nullptr) |
Select the correct "usual" deallocation function to use from a selection of deallocation functions (either global or class-scope). More... | |
static bool | doesUsualArrayDeleteWantSize (Sema &S, SourceLocation loc, QualType allocType) |
Determine whether a given type is a class for which 'delete[]' would call a member 'operator delete[]' with a 'size_t' parameter. More... | |
static bool | isLegalArrayNewInitializer (CXXNewInitializationStyle Style, Expr *Init, bool IsCPlusPlus20) |
static bool | resolveAllocationOverload (Sema &S, LookupResult &R, SourceRange Range, SmallVectorImpl< Expr * > &Args, bool &PassAlignment, FunctionDecl *&Operator, OverloadCandidateSet *AlignedCandidates, Expr *AlignArg, bool Diagnose) |
static void | DiagnoseMismatchedNewDelete (Sema &SemaRef, SourceLocation DeleteLoc, const MismatchingNewDeleteDetector &Detector) |
static bool | resolveBuiltinNewDeleteOverload (Sema &S, CallExpr *TheCall, bool IsDelete, FunctionDecl *&Operator) |
static ExprResult | BuildCXXCastArgument (Sema &S, SourceLocation CastLoc, QualType Ty, CastKind Kind, CXXMethodDecl *Method, DeclAccessPair FoundDecl, bool HadMultipleCandidates, Expr *From) |
static bool | DiagnoseVLAInCXXTypeTrait (Sema &S, const TypeSourceInfo *T, clang::tok::TokenKind TypeTraitID) |
Checks that type T is not a VLA. More... | |
static bool | CheckUnaryTypeTraitTypeCompleteness (Sema &S, TypeTrait UTT, SourceLocation Loc, QualType ArgTy) |
Check the completeness of a type in a unary type trait. More... | |
static bool | HasNoThrowOperator (const RecordType *RT, OverloadedOperatorKind Op, Sema &Self, SourceLocation KeyLoc, ASTContext &C, bool(CXXRecordDecl::*HasTrivial)() const, bool(CXXRecordDecl::*HasNonTrivial)() const, bool(CXXMethodDecl::*IsDesiredOp)() const) |
static bool | EvaluateUnaryTypeTrait (Sema &Self, TypeTrait UTT, SourceLocation KeyLoc, TypeSourceInfo *TInfo) |
static bool | EvaluateBinaryTypeTrait (Sema &Self, TypeTrait BTT, const TypeSourceInfo *Lhs, const TypeSourceInfo *Rhs, SourceLocation KeyLoc) |
static ExprResult | CheckConvertibilityForTypeTraits (Sema &Self, const TypeSourceInfo *Lhs, const TypeSourceInfo *Rhs, SourceLocation KeyLoc, llvm::BumpPtrAllocator &OpaqueExprAllocator) |
static bool | EvaluateBooleanTypeTrait (Sema &S, TypeTrait Kind, SourceLocation KWLoc, ArrayRef< TypeSourceInfo * > Args, SourceLocation RParenLoc, bool IsDependent) |
static TypeTraitReturnType | GetReturnType (TypeTrait Kind) |
static uint64_t | EvaluateArrayTypeTrait (Sema &Self, ArrayTypeTrait ATT, QualType T, Expr *DimExpr, SourceLocation KeyLoc) |
static bool | EvaluateExpressionTrait (ExpressionTrait ET, Expr *E) |
static bool | TryClassUnification (Sema &Self, Expr *From, Expr *To, SourceLocation QuestionLoc, bool &HaveConversion, QualType &ToType) |
Try to convert a type to another according to C++11 5.16p3. More... | |
static bool | FindConditionalOverload (Sema &Self, ExprResult &LHS, ExprResult &RHS, SourceLocation QuestionLoc) |
Try to find a common type for two according to C++0x 5.16p5. More... | |
static bool | ConvertForConditional (Sema &Self, ExprResult &E, QualType T) |
Perform an "extended" implicit conversion as returned by TryClassUnification. More... | |
static bool | isValidVectorForConditionalCondition (ASTContext &Ctx, QualType CondTy) |
static bool | isValidSizelessVectorForConditionalCondition (ASTContext &Ctx, QualType CondTy) |
static void | noteOperatorArrows (Sema &S, ArrayRef< FunctionDecl * > OperatorArrows) |
Note a set of 'operator->' functions that were used for a member access. More... | |
static bool | CheckArrow (Sema &S, QualType &ObjectType, Expr *&Base, tok::TokenKind &OpKind, SourceLocation OpLoc) |
static bool | canRecoverDotPseudoDestructorCallsOnPointerObjects (Sema &SemaRef, QualType DestructedType) |
Check if it's ok to try and recover dot pseudo destructor calls on pointer objects. More... | |
static void | MaybeDecrementCount (Expr *E, llvm::DenseMap< const VarDecl *, int > &RefsMinusAssignments) |
static bool | VariableCanNeverBeAConstantExpression (VarDecl *Var, ASTContext &Context) |
static void | CheckIfAnyEnclosingLambdasMustCaptureAnyPotentialCaptures (Expr *const FE, LambdaScopeInfo *const CurrentLSI, Sema &S) |
Check if the current lambda has any potential captures that must be captured by any of its enclosing lambdas that are ready to capture. More... | |
static ExprResult | attemptRecovery (Sema &SemaRef, const TypoCorrectionConsumer &Consumer, const TypoCorrection &TC) |
Implements semantic analysis for C++ expressions.
Definition in file SemaExprCXX.cpp.
|
strong |
Enumerator | |
---|---|
Bool |
Definition at line 5914 of file SemaExprCXX.cpp.
|
static |
Definition at line 1131 of file SemaExprCXX.cpp.
References clang::QualType::addConst(), clang::sema::LambdaScopeInfo::CallOperator, clang::CXXRecordDecl::captures(), clang::sema::CapturingScopeInfo::getCXXThisCapture(), clang::Decl::getDeclContext(), clang::getLambdaAwareParentOfDeclContext(), clang::CXXRecordDecl::getLambdaCallOperator(), clang::DeclContext::getParent(), clang::Type::getPointeeType(), clang::ASTContext::getPointerType(), clang::CXXMethodDecl::isConst(), clang::sema::CapturingScopeInfo::isCXXThisCaptured(), clang::isGenericLambdaCallOperatorSpecialization(), clang::isLambdaCallOperator(), clang::sema::LambdaScopeInfo::Lambda, clang::sema::LambdaScopeInfo::lambdaCaptureShouldBeConst(), and clang::LCK_StarThis.
|
static |
Definition at line 8681 of file SemaExprCXX.cpp.
References clang::LookupResult::addDecl(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::BuildPossibleImplicitMemberExpr(), clang::Sema::Consumer, clang::Sema::Context, clang::TypoCorrection::getCorrectionRange(), clang::TypoCorrection::getCorrectionSpecifier(), clang::TypoCorrection::getFoundDecl(), clang::Sema::isPotentialImplicitMemberAccess(), clang::SemaObjC::LookupInObjCMethod(), clang::CXXScopeSpec::MakeTrivial(), clang::Sema::ObjC(), clang::SemaBase::SemaRef, clang::LookupResult::setLookupName(), clang::LookupResult::setNamingClass(), and clang::TypoCorrection::WillReplaceSpecifier().
|
static |
Definition at line 4203 of file SemaExprCXX.cpp.
Referenced by clang::Sema::PerformImplicitConversion().
|
static |
Definition at line 1300 of file SemaExprCXX.cpp.
References clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::SourceRange::getEnd(), clang::Sema::getLangOpts(), clang::sema::CapturingScopeInfo::ImpCap_LambdaByval, clang::sema::CapturingScopeInfo::ImpCaptureStyle, clang::sema::LambdaScopeInfo::IntroducerRange, clang::sema::CapturingScopeInfo::isCXXThisCaptured(), and clang::sema::LambdaScopeInfo::NumExplicitCaptures.
Referenced by clang::Sema::CheckCXXThisCapture().
|
static |
Check if it's ok to try and recover dot pseudo destructor calls on pointer objects.
Definition at line 8066 of file SemaExprCXX.cpp.
References clang::Sema::CanUseDecl(), clang::Type::getAsCXXRecordDecl(), clang::CXXRecordDecl::hasDefinition(), clang::Type::isDependentType(), clang::Type::isScalarType(), clang::Type::isVectorType(), clang::Sema::LookupDestructor(), and clang::SemaBase::SemaRef.
Referenced by clang::Sema::BuildPseudoDestructorExpr().
|
static |
Definition at line 8018 of file SemaExprCXX.cpp.
Referenced by clang::Sema::BuildPseudoDestructorExpr().
|
static |
Definition at line 5645 of file SemaExprCXX.cpp.
References clang::InitializationKind::CreateCopy(), clang::ExprError(), clang::TypeLoc::getBeginLoc(), clang::QualType::getNonLValueExprType(), clang::TypeSourceInfo::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::Expr::getValueKindForType(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::InitializedEntity::InitializeTemporary(), clang::Type::isArrayType(), clang::Type::isFunctionType(), clang::Type::isObjectType(), clang::Unevaluated, and clang::Sema::Unevaluated.
Referenced by EvaluateBinaryTypeTrait().
|
static |
Check if the current lambda has any potential captures that must be captured by any of its enclosing lambdas that are ready to capture.
If there is a lambda that can capture a nested potential-capture, go ahead and do so. Also, check to see if any variables are uncaptureable or do not involve an odr-use so do not need to be captured.
Definition at line 8593 of file SemaExprCXX.cpp.
Referenced by clang::Sema::ActOnFinishFullExpr().
|
static |
Check the completeness of a type in a unary type trait.
If the particular type trait requires a complete type, tries to complete it. If completing the type fails, a diagnostic is emitted and false returned. If completing the type succeeds or no completion was required, returns true.
Definition at line 5039 of file SemaExprCXX.cpp.
Referenced by clang::Sema::BuildTypeTrait().
|
static |
Definition at line 946 of file SemaExprCXX.cpp.
References clang::AS_public, and clang::CXXRecordDecl::bases().
Referenced by getUnambiguousPublicSubobjects().
|
static |
Perform an "extended" implicit conversion as returned by TryClassUnification.
Definition at line 6612 of file SemaExprCXX.cpp.
References clang::InitializationKind::CreateCopy(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::InitializedEntity::InitializeTemporary(), clang::InitializationSequence::Perform(), and clang::T.
Referenced by clang::Sema::CXXCheckConditionalOperands().
|
static |
Definition at line 3626 of file SemaExprCXX.cpp.
References clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateRemoval(), clang::SemaBase::Diag(), clang::Lexer::findLocationAfterToken(), clang::Sema::getLangOpts(), clang::Sema::getLocForEndOfToken(), clang::Sema::getSourceManager(), clang::SourceLocation::isValid(), clang::interp::NE(), and clang::SemaBase::SemaRef.
|
static |
Checks that type T is not a VLA.
true
if T
is VLA and a diagnostic was emitted, false
otherwise. Definition at line 5023 of file SemaExprCXX.cpp.
Referenced by EvaluateBinaryTypeTrait(), and EvaluateUnaryTypeTrait().
|
static |
Determine whether a given type is a class for which 'delete[]' would call a member 'operator delete[]' with a 'size_t' parameter.
This implies that we need to store the array size (even if the type is trivially-destructible).
Definition at line 1892 of file SemaExprCXX.cpp.
|
static |
Definition at line 6186 of file SemaExprCXX.cpp.
References clang::Stmt::getSourceRange(), clang::Type::isArrayType(), clang::Type::isDependentType(), and clang::T.
Referenced by clang::Sema::BuildArrayTypeTrait().
|
static |
Definition at line 5971 of file SemaExprCXX.cpp.
References CheckConvertibilityForTypeTraits(), clang::CT_Cannot, DiagnoseVLAInCXXTypeTrait(), clang::Type::getAs(), clang::TypeLoc::getBeginLoc(), clang::RecordType::getDecl(), clang::ObjCObjectType::getInterface(), clang::QualType::getNonLValueExprType(), clang::QualType::getNonReferenceType(), clang::TypeSourceInfo::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::Expr::getValueKindForType(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::QualType::hasNonTrivialObjCLifetime(), clang::Type::isDependentType(), clang::Type::isFunctionType(), clang::Type::isIncompleteArrayType(), clang::Type::isObjectType(), clang::Type::isStructureOrClassType(), clang::ObjCInterfaceDecl::isSuperClassOf(), clang::TagDecl::isUnion(), clang::Type::isVoidType(), clang::Success, clang::Unevaluated, and clang::Sema::Unevaluated.
|
static |
Definition at line 5715 of file SemaExprCXX.cpp.
Referenced by clang::Sema::BuildTypeTrait().
|
static |
Definition at line 6275 of file SemaExprCXX.cpp.
References clang::Expr::isLValue(), and clang::Expr::isPRValue().
Referenced by clang::Sema::BuildExpressionTrait().
|
static |
Definition at line 5208 of file SemaExprCXX.cpp.
References clang::AS_public, clang::RecordDecl::canPassInRegisters(), DiagnoseVLAInCXXTypeTrait(), clang::Type::getAs(), clang::Type::getAsCXXRecordDecl(), clang::FunctionProtoType::getNumParams(), clang::TypeSourceInfo::getType(), clang::Decl::hasAttr(), clang::CXXRecordDecl::hasNonTrivialCopyAssignment(), clang::CXXRecordDecl::hasNonTrivialCopyConstructor(), clang::CXXRecordDecl::hasNonTrivialDefaultConstructor(), clang::CXXRecordDecl::hasNonTrivialMoveAssignment(), clang::CXXRecordDecl::hasNonTrivialMoveConstructor(), HasNoThrowOperator(), clang::CXXRecordDecl::hasTrivialCopyAssignment(), clang::CXXRecordDecl::hasTrivialCopyConstructor(), clang::CXXRecordDecl::hasTrivialDefaultConstructor(), clang::CXXRecordDecl::hasTrivialDestructor(), clang::CXXRecordDecl::hasTrivialMoveAssignment(), clang::CXXRecordDecl::hasTrivialMoveConstructor(), clang::CXXRecordDecl::isAbstract(), clang::Type::isAggregateType(), clang::Type::isAnyComplexType(), clang::Type::isAnyPointerType(), clang::Type::isArithmeticType(), clang::Type::isArrayType(), clang::Type::isClassType(), clang::Type::isCompoundType(), clang::CXXMethodDecl::isCopyAssignmentOperator(), clang::Type::isDependentType(), clang::CXXRecordDecl::isEmpty(), clang::Type::isEnumeralType(), clang::Type::isExtVectorType(), clang::Type::isFloatingType(), clang::Type::isFunctionType(), clang::Type::isFundamentalType(), clang::Type::isIncompleteArrayType(), clang::Type::isIncompleteType(), clang::Type::isIntegralType(), clang::Type::isInterfaceType(), clang::Type::isLiteralType(), clang::Type::isLValueReferenceType(), clang::Type::isMemberDataPointerType(), clang::Type::isMemberFunctionPointerType(), clang::Type::isMemberPointerType(), clang::CXXMethodDecl::isMoveAssignmentOperator(), clang::FunctionProtoType::isNothrow(), clang::Type::isNullPtrType(), clang::Type::isObjCLifetimeType(), clang::Type::isObjectType(), clang::CXXRecordDecl::isPolymorphic(), clang::Type::isReferenceType(), clang::Type::isRValueReferenceType(), clang::Type::isScalarType(), clang::Type::isScopedEnumeralType(), clang::Type::isSignedIntegerType(), clang::Type::isStandardLayoutType(), clang::Type::isStructureType(), clang::TagDecl::isUnion(), clang::Type::isUnionType(), clang::Type::isUnsignedIntegerType(), clang::Type::isVectorType(), clang::Type::isVoidType(), clang::Qualifiers::OCL_Autoreleasing, clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_None, clang::Qualifiers::OCL_Strong, clang::Qualifiers::OCL_Weak, and clang::T.
|
static |
Try to find a common type for two according to C++0x 5.16p5.
This is part of the parameter validation for the ? operator. If either value operand is a class type, overload resolution is used to find a conversion to a common type.
Definition at line 6553 of file SemaExprCXX.cpp.
References clang::Sema::AA_Converting, clang::OverloadCandidateSet::BestViableFunction(), clang::OverloadCandidateSet::CSK_Operator, clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::OR_Ambiguous, clang::OR_Deleted, clang::OR_No_Viable_Function, and clang::OR_Success.
Referenced by clang::Sema::CXXCheckConditionalOperands().
|
static |
Definition at line 5918 of file SemaExprCXX.cpp.
References Bool.
Referenced by clang::Sema::BuildTypeTrait().
|
static |
Definition at line 975 of file SemaExprCXX.cpp.
References collectPublicBases().
|
static |
Grabs __declspec(uuid()) off a type, or returns 0 if we cannot resolve to a single GUID.
Definition at line 715 of file SemaExprCXX.cpp.
References clang::TemplateArgumentList::asArray(), clang::TemplateArgument::Declaration, clang::Type::getAsTagDecl(), clang::Type::getBaseElementTypeUnsafe(), clang::Type::getPointeeType(), clang::QualType::getTypePtr(), clang::Type::isArrayType(), clang::Type::isPointerType(), clang::Type::isReferenceType(), and clang::TemplateArgument::Type.
Referenced by clang::Sema::BuildCXXUuidof().
Determine whether a type has new-extended alignment.
This may be called when the type is incomplete (for a delete-expression with an incomplete pointee type), in which case it will conservatively return false if the alignment is not known.
Definition at line 1846 of file SemaExprCXX.cpp.
|
static |
Definition at line 5173 of file SemaExprCXX.cpp.
References clang::RecordType::getDecl().
Referenced by EvaluateUnaryTypeTrait().
|
static |
Definition at line 2012 of file SemaExprCXX.cpp.
|
static |
Determine whether the given function is a non-placement deallocation function.
Definition at line 1750 of file SemaExprCXX.cpp.
|
static |
Definition at line 6638 of file SemaExprCXX.cpp.
References clang::QualType::getCanonicalType(), clang::Type::getSveEltType(), clang::Type::isEnumeralType(), clang::Type::isIntegralType(), and clang::Type::isSveVLSBuiltinType().
Referenced by clang::Sema::CXXCheckConditionalOperands().
|
static |
Definition at line 6628 of file SemaExprCXX.cpp.
References clang::QualType::getCanonicalType(), clang::Type::isEnumeralType(), clang::Type::isExtVectorType(), clang::Type::isIntegralType(), and clang::Type::isVectorType().
Referenced by clang::Sema::CXXCheckConditionalOperands().
|
static |
Definition at line 8421 of file SemaExprCXX.cpp.
References clang::DeclRefExpr::getDecl(), clang::ValueDecl::getType(), clang::QualType::isVolatileQualified(), and clang::Sema::RefsMinusAssignments.
Referenced by clang::Sema::IgnoredValueConversions().
|
static |
Note a set of 'operator->' functions that were used for a member access.
Definition at line 7849 of file SemaExprCXX.cpp.
|
static |
Definition at line 2593 of file SemaExprCXX.cpp.
Referenced by clang::Sema::FindAllocationFunctions().
|
static |
Definition at line 3912 of file SemaExprCXX.cpp.
|
static |
Select the correct "usual" deallocation function to use from a selection of deallocation functions (either global or class-scope).
Definition at line 1854 of file SemaExprCXX.cpp.
|
static |
Try to convert a type to another according to C++11 5.16p3.
This is part of the parameter validation for the ? operator. If either value operand is a class type, the two operands are attempted to be converted to each other. This function does the conversion in one direction. It returns true if the program is ill-formed and has already been diagnosed as such.
Definition at line 6463 of file SemaExprCXX.cpp.
References clang::InitializationKind::CreateCopy(), clang::InitializationSequence::Diagnose(), clang::InitializationSequence::Failed(), clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::QualType::getNonLValueExprType(), clang::Expr::getType(), clang::InitializedEntity::InitializeTemporary(), clang::InitializationSequence::isAmbiguous(), clang::QualType::isAtLeastAsQualifiedAs(), clang::InitializationSequence::isDirectReferenceBinding(), clang::Expr::isGLValue(), and clang::T.
Referenced by clang::Sema::CXXCheckConditionalOperands().
|
inlinestatic |
Definition at line 8563 of file SemaExprCXX.cpp.
References clang::Sema::Context, clang::VarDecl::getAnyInitializer(), clang::ValueDecl::getType(), clang::Type::isDependentType(), clang::VarDecl::isUsableInConstantExpressions(), and clang::ValueDecl::isWeak().