clang
7.0.0
|
#include "clang/Sema/SemaInternal.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTDiagnostic.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/AST/StmtCXX.h"
#include "clang/AST/StmtObjC.h"
#include "clang/AST/TypeLoc.h"
#include "clang/AST/TypeOrdering.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/SmallVector.h"
Go to the source code of this file.
Classes | |
struct | llvm::DenseMapInfo< CatchHandlerType > |
Namespaces | |
llvm | |
DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterators. | |
Typedefs | |
typedef SmallVector< std::pair< llvm::APSInt, EnumConstantDecl * >, 64 > | EnumValsTy |
Enumerations | |
enum | BeginEndFunction |
Functions | |
static bool | DiagnoseUnusedComparison (Sema &S, const Expr *E) |
Diagnose unused comparisons, both builtin and overloaded operators. More... | |
static bool | CmpCaseVals (const std::pair< llvm::APSInt, CaseStmt *> &lhs, const std::pair< llvm::APSInt, CaseStmt *> &rhs) |
CmpCaseVals - Comparison predicate for sorting case values. More... | |
static bool | CmpEnumVals (const std::pair< llvm::APSInt, EnumConstantDecl *> &lhs, const std::pair< llvm::APSInt, EnumConstantDecl *> &rhs) |
CmpEnumVals - Comparison predicate for sorting enumeration values. More... | |
static bool | EqEnumVals (const std::pair< llvm::APSInt, EnumConstantDecl *> &lhs, const std::pair< llvm::APSInt, EnumConstantDecl *> &rhs) |
EqEnumVals - Comparison preficate for uniqing enumeration values. More... | |
static QualType | GetTypeBeforeIntegralPromotion (const Expr *&E) |
GetTypeBeforeIntegralPromotion - Returns the pre-promotion type of potentially integral-promoted expression expr . More... | |
static void | AdjustAPSInt (llvm::APSInt &Val, unsigned BitWidth, bool IsSigned) |
static void | checkCaseValue (Sema &S, SourceLocation Loc, const llvm::APSInt &Val, unsigned UnpromotedWidth, bool UnpromotedSign) |
Check the specified case value is in range for the given unpromoted switch type. More... | |
static bool | ShouldDiagnoseSwitchCaseNotInEnum (const Sema &S, const EnumDecl *ED, const Expr *CaseExpr, EnumValsTy::iterator &EI, EnumValsTy::iterator &EIEnd, const llvm::APSInt &Val) |
Returns true if we should emit a diagnostic about this case expression not being a part of the enum used in the switch controlling expression. More... | |
static void | checkEnumTypesInSwitchStmt (Sema &S, const Expr *Cond, const Expr *Case) |
static bool | FinishForRangeVarDecl (Sema &SemaRef, VarDecl *Decl, Expr *Init, SourceLocation Loc, int DiagID) |
Finish building a variable declaration for a for-range statement. More... | |
static bool | ObjCEnumerationCollection (Expr *Collection) |
static Sema::ForRangeStatus | BuildNonArrayForRange (Sema &SemaRef, Expr *BeginRange, Expr *EndRange, QualType RangeType, VarDecl *BeginVar, VarDecl *EndVar, SourceLocation ColonLoc, SourceLocation CoawaitLoc, OverloadCandidateSet *CandidateSet, ExprResult *BeginExpr, ExprResult *EndExpr, BeginEndFunction *BEF) |
Create the initialization, compare, and increment steps for the range-based for loop expression. More... | |
static StmtResult | RebuildForRangeWithDereference (Sema &SemaRef, Scope *S, SourceLocation ForLoc, SourceLocation CoawaitLoc, Stmt *LoopVarDecl, SourceLocation ColonLoc, Expr *Range, SourceLocation RangeLoc, SourceLocation RParenLoc) |
Speculatively attempt to dereference an invalid range expression. More... | |
static void | DiagnoseForRangeReferenceVariableCopies (Sema &SemaRef, const VarDecl *VD, QualType RangeInitType) |
static void | DiagnoseForRangeConstVariableCopies (Sema &SemaRef, const VarDecl *VD) |
static void | DiagnoseForRangeVariableCopies (Sema &SemaRef, const CXXForRangeStmt *ForStmt) |
DiagnoseForRangeVariableCopies - Diagnose three cases and fixes for them. More... | |
static void | CheckJumpOutOfSEHFinally (Sema &S, SourceLocation Loc, const Scope &DestScope) |
static void | TryMoveInitialization (Sema &S, const InitializedEntity &Entity, const VarDecl *NRVOCandidate, QualType ResultType, Expr *&Value, bool ConvertingConstructorsOnly, ExprResult &Res) |
Try to perform the initialization of a potentially-movable value, which is the operand to a return or throw statement. More... | |
static bool | hasDeducedReturnType (FunctionDecl *FD) |
Determine whether the declared return type of the specified function contains 'auto'. More... | |
static void | buildCapturedStmtCaptureList (SmallVectorImpl< CapturedStmt::Capture > &Captures, SmallVectorImpl< Expr *> &CaptureInits, ArrayRef< sema::Capture > Candidates) |
typedef SmallVector<std::pair<llvm::APSInt, EnumConstantDecl*>, 64> EnumValsTy |
Definition at line 766 of file SemaStmt.cpp.
enum BeginEndFunction |
Definition at line 1986 of file SemaStmt.cpp.
|
static |
Definition at line 737 of file SemaStmt.cpp.
|
static |
Definition at line 4155 of file SemaStmt.cpp.
References clang::CapturedStmt::VCK_ByCopy, clang::CapturedStmt::VCK_ByRef, clang::CapturedStmt::VCK_This, and clang::CapturedStmt::VCK_VLAType.
|
static |
Create the initialization, compare, and increment steps for the range-based for loop expression.
This function does not handle array-based for loops, which are created in Sema::BuildCXXForRangeStmt.
Definition at line 2125 of file SemaStmt.cpp.
References clang::Sema::ActOnCoawaitExpr(), clang::Sema::BuildForRangeBeginEndCall(), ColonLoc, clang::Sema::Diag(), clang::LookupResult::empty(), FinishForRangeVarDecl(), clang::Sema::FRS_DiagnosticIssued, clang::Sema::FRS_Success, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::IdentifierTable::get(), clang::Type::getAsCXXRecordDecl(), clang::Sema::getCurScope(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::Stmt::getLocStart(), clang::Expr::getType(), clang::SourceLocation::isInvalid(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::LookupMemberName, clang::Sema::LookupQualifiedName(), and clang::Sema::PP.
|
static |
Check the specified case value is in range for the given unpromoted switch type.
Definition at line 744 of file SemaStmt.cpp.
Definition at line 802 of file SemaStmt.cpp.
|
static |
Definition at line 2810 of file SemaStmt.cpp.
Referenced by clang::Sema::ActOnReturnStmt(), and clang::Sema::ActOnSEHLeaveStmt().
|
static |
CmpCaseVals - Comparison predicate for sorting case values.
Definition at line 603 of file SemaStmt.cpp.
|
static |
CmpEnumVals - Comparison predicate for sorting enumeration values.
Definition at line 617 of file SemaStmt.cpp.
Definition at line 2680 of file SemaStmt.cpp.
References clang::Sema::Context, clang::Sema::Diag(), clang::VarDecl::getInit(), clang::Decl::getLocation(), clang::DeclaratorDecl::getLocStart(), clang::ASTContext::getLValueReferenceType(), clang::VarDecl::getSourceRange(), clang::Expr::getType(), clang::ValueDecl::getType(), and clang::QualType::isPODType().
Referenced by DiagnoseForRangeVariableCopies().
|
static |
Definition at line 2606 of file SemaStmt.cpp.
References clang::MemberExpr::getBase(), clang::VarDecl::getInit(), clang::MaterializeTemporaryExpr::GetTemporaryExpr(), clang::ValueDecl::getType(), and clang::Expr::IgnoreImpCasts().
Referenced by DiagnoseForRangeVariableCopies().
|
static |
DiagnoseForRangeVariableCopies - Diagnose three cases and fixes for them.
1) for (const foo &x : foos) where foos only returns a copy. Suggest using "const foo x" to show that a copy is made 2) for (const bar &x : foos) where bar is a temporary initialized by bar. Suggest either "const bar x" to keep the copying or "const foo& x" to prevent the copy. 3) for (const foo x : foos) where x is constructed from a reference foo. Suggest "const foo &x" to prevent the copy.
Definition at line 2721 of file SemaStmt.cpp.
References DiagnoseForRangeConstVariableCopies(), DiagnoseForRangeReferenceVariableCopies(), clang::Sema::Diags, clang::VarDecl::getInit(), clang::CXXForRangeStmt::getLocStart(), clang::CXXForRangeStmt::getLoopVariable(), clang::CXXForRangeStmt::getRangeInit(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::QualType::isConstQualified(), clang::DiagnosticsEngine::isIgnored(), clang::Type::isIncompleteType(), and clang::Type::isReferenceType().
Diagnose unused comparisons, both builtin and overloaded operators.
For '==' and '!=', suggest fixits for '=' or '|='.
Adding a cast to void (or other expression wrappers) will prevent the warning from firing.
Definition at line 129 of file SemaStmt.cpp.
|
static |
EqEnumVals - Comparison preficate for uniqing enumeration values.
Definition at line 625 of file SemaStmt.cpp.
|
static |
Finish building a variable declaration for a for-range statement.
Definition at line 1946 of file SemaStmt.cpp.
References clang::DeclContext::addHiddenDecl(), clang::Sema::AddInitializerToDecl(), clang::Sema::CorrectDelayedTyposInExpr(), clang::Sema::CurContext, clang::Sema::DAR_Failed, clang::Sema::DeduceAutoType(), clang::Sema::Diag(), clang::Sema::FinalizeDeclaration(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Sema::getLangOpts(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::Sema::inferObjCARCLifetime(), clang::QualType::isNull(), clang::Type::isUndeducedType(), clang::ActionResult< PtrTy, CompressInvalid >::isUsable(), clang::Type::isVoidType(), clang::Decl::setInvalidDecl(), and clang::ValueDecl::setType().
Referenced by BuildNonArrayForRange().
GetTypeBeforeIntegralPromotion - Returns the pre-promotion type of potentially integral-promoted expression expr
.
Definition at line 633 of file SemaStmt.cpp.
Referenced by clang::Sema::ActOnFinishSwitchStmt().
|
static |
Determine whether the declared return type of the specified function contains 'auto'.
Definition at line 3127 of file SemaStmt.cpp.
References clang::Type::castAs(), clang::FunctionType::getReturnType(), clang::TypeSourceInfo::getType(), clang::DeclaratorDecl::getTypeSourceInfo(), and clang::Type::isUndeducedType().
Referenced by clang::Sema::ActOnCapScopeReturnStmt().
Definition at line 2031 of file SemaStmt.cpp.
References clang::Type::getAs(), clang::Expr::getType(), and clang::Expr::isTypeDependent().
|
static |
Speculatively attempt to dereference an invalid range expression.
If the attempt fails, this function will return a valid, null StmtResult and emit no diagnostics.
Definition at line 2213 of file SemaStmt.cpp.
|
static |
Returns true if we should emit a diagnostic about this case expression not being a part of the enum used in the switch controlling expression.
Definition at line 770 of file SemaStmt.cpp.
|
static |
Try to perform the initialization of a potentially-movable value, which is the operand to a return or throw statement.
This routine implements C++14 [class.copy]p32, which attempts to treat returned lvalues as rvalues in certain cases (to prefer move construction), then falls back to treating them as lvalues if that failed.
ConvertingConstructorsOnly | If true, follow [class.copy]p32 and reject resolutions that find non-constructors, such as derived-to-base conversions or operator T()&& member functions. If false, do consider such conversion sequences. |
Res | We will fill this in if move-initialization was possible. If move-initialization is not possible, such that we must fall back to treating the operand as an lvalue, we will leave Res in its original invalid state. |
Definition at line 2941 of file SemaStmt.cpp.
Referenced by clang::Sema::PerformMoveOrCopyInitialization().