SemaExpr.cpp File Reference

#include "CheckExprLifetime.h"
#include "TreeTransform.h"
#include "UsedDeclVisitor.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTDiagnostic.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/ASTMutationListener.h"
#include "clang/AST/Attrs.inc"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/DynamicRecursiveASTVisitor.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/MangleNumberingContext.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/Type.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/DiagnosticSema.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/Specifiers.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Basic/TypeTraits.h"
#include "clang/Lex/LiteralSupport.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/AnalysisBasedWarnings.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/DelayedDiagnostic.h"
#include "clang/Sema/Designator.h"
#include "clang/Sema/EnterExpressionEvaluationContext.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Overload.h"
#include "clang/Sema/ParsedTemplate.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaARM.h"
#include "clang/Sema/SemaCUDA.h"
#include "clang/Sema/SemaFixItUtils.h"
#include "clang/Sema/SemaHLSL.h"
#include "clang/Sema/SemaObjC.h"
#include "clang/Sema/SemaOpenMP.h"
#include "clang/Sema/SemaPseudoObject.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/ConvertUTF.h"
#include "llvm/Support/SaveAndRestore.h"
#include "llvm/Support/TimeProfiler.h"
#include "llvm/Support/TypeSize.h"
#include <limits>
#include <optional>
#include "clang/AST/DeclNodes.inc"
#include "clang/AST/TypeNodes.inc"
#include "clang/Basic/OpenCLImageTypes.def"
#include "clang/Basic/OpenCLExtensionTypes.def"
#include "clang/Basic/AArch64ACLETypes.def"
#include "clang/Basic/PPCTypes.def"
#include "clang/Basic/RISCVVTypes.def"
#include "clang/Basic/WebAssemblyReferenceTypes.def"
#include "clang/Basic/AMDGPUTypes.def"
#include "clang/Basic/HLSLIntangibleTypes.def"
#include "clang/AST/BuiltinTypes.def"

Go to the source code of this file.

Classes
struct	ImmediateCallVisitor
struct	EnsureImmediateInvocationInDefaultArgs

Macros
#define	ABSTRACT_DECL(kind)
#define	VALUE(type, base)
#define	DECL(type, base)
#define	TYPE(Class, Base)
#define	ABSTRACT_TYPE(Class, Base)
#define	NON_CANONICAL_TYPE(Class, Base)
#define	DEPENDENT_TYPE(Class, Base)
#define	NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base)
#define	IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix)
#define	EXT_OPAQUE_TYPE(ExtType, Id, Ext)
#define	SVE_TYPE(Name, Id, SingletonId)
#define	PPC_VECTOR_TYPE(Name, Id, Size)
#define	RVV_TYPE(Name, Id, SingletonId)
#define	WASM_TYPE(Name, Id, SingletonId)
#define	AMDGPU_TYPE(Name, Id, SingletonId, Width, Align)
#define	HLSL_INTANGIBLE_TYPE(Name, Id, SingletonId)
#define	PLACEHOLDER_TYPE(ID, SINGLETON_ID)
#define	BUILTIN_TYPE(ID, SINGLETON_ID)
#define	IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix)
#define	EXT_OPAQUE_TYPE(ExtType, Id, Ext)
#define	SVE_TYPE(Name, Id, SingletonId)
#define	PPC_VECTOR_TYPE(Name, Id, Size)
#define	RVV_TYPE(Name, Id, SingletonId)
#define	WASM_TYPE(Name, Id, SingletonId)
#define	AMDGPU_TYPE(Name, Id, SingletonId, Width, Align)
#define	HLSL_INTANGIBLE_TYPE(Name, Id, SingletonId)
#define	BUILTIN_TYPE(Id, SingletonId)
#define	PLACEHOLDER_TYPE(Id, SingletonId)

Typedefs
typedef ExprResult	PerformCastFn(Sema &S, Expr *operand, QualType toType)

Enumerations
enum	NonConstCaptureKind { NCCK_None , NCCK_Block , NCCK_Lambda }
	Is the given expression (which must be 'const') a reference to a variable which was originally non-const, but which has become 'const' due to being captured within a block? More...
enum	{   ConstFunction , ConstVariable , ConstMember , ConstMethod ,   NestedConstMember , ConstUnknown }
enum	OriginalExprKind { OEK_Variable , OEK_Member , OEK_LValue }

Functions
static void	DiagnoseUnusedOfDecl (Sema &S, NamedDecl *D, SourceLocation Loc)
static bool	hasAnyExplicitStorageClass (const FunctionDecl *D)
	Determine whether a FunctionDecl was ever declared with an explicit storage class.
static void	diagnoseUseOfInternalDeclInInlineFunction (Sema &S, const NamedDecl *D, SourceLocation Loc)
	Check whether we're in an extern inline function and referring to a variable or function with internal linkage (C11 6.7.4p3).
static void	CheckForNullPointerDereference (Sema &S, Expr *E)
static void	DiagnoseDirectIsaAccess (Sema &S, const ObjCIvarRefExpr *OIRE, SourceLocation AssignLoc, const Expr *RHS)
static bool	handleComplexIntegerToFloatConversion (Sema &S, ExprResult &IntExpr, ExprResult &ComplexExpr, QualType IntTy, QualType ComplexTy, bool SkipCast)
	Convert complex integers to complex floats and real integers to real floats as required for complex arithmetic.
static QualType	handleComplexFloatConversion (Sema &S, ExprResult &Shorter, QualType ShorterType, QualType LongerType, bool PromotePrecision)
static QualType	handleComplexConversion (Sema &S, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, bool IsCompAssign)
	Handle arithmetic conversion with complex types.
static QualType	handleIntToFloatConversion (Sema &S, ExprResult &FloatExpr, ExprResult &IntExpr, QualType FloatTy, QualType IntTy, bool ConvertFloat, bool ConvertInt)
	Handle arithmetic conversion from integer to float.
static QualType	handleFloatConversion (Sema &S, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, bool IsCompAssign)
	Handle arithmethic conversion with floating point types.
static bool	unsupportedTypeConversion (const Sema &S, QualType LHSType, QualType RHSType)
	Diagnose attempts to convert between __float128, __ibm128 and long double if there is no support for such conversion.
template<PerformCastFn doLHSCast, PerformCastFn doRHSCast>
static QualType	handleIntegerConversion (Sema &S, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, bool IsCompAssign)
	Handle integer arithmetic conversions.
static QualType	handleComplexIntConversion (Sema &S, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, bool IsCompAssign)
	Handle conversions with GCC complex int extension.
static unsigned	GetFixedPointRank (QualType Ty)
	Return the rank of a given fixed point or integer type.
static QualType	handleFixedPointConversion (Sema &S, QualType LHSTy, QualType RHSTy)
	handleFixedPointConversion - Fixed point operations between fixed point types and integers or other fixed point types do not fall under usual arithmetic conversion since these conversions could result in loss of precsision (N1169 4.1.4).
static void	CheckUnicodeArithmeticConversions (Sema &SemaRef, Expr *LHS, Expr *RHS, SourceLocation Loc, ArithConvKind ACK)
static PredefinedIdentKind	getPredefinedExprKind (tok::TokenKind Kind)
static Decl *	getPredefinedExprDecl (DeclContext *DC)
	getPredefinedExprDecl - Returns Decl of a given DeclContext that can be used to determine the value of a PredefinedExpr.
static SourceLocation	getUDSuffixLoc (Sema &S, SourceLocation TokLoc, unsigned Offset)
	getUDSuffixLoc - Create a SourceLocation for a ud-suffix, given the location of the token and the offset of the ud-suffix within it.
static ExprResult	BuildCookedLiteralOperatorCall (Sema &S, Scope *Scope, IdentifierInfo *UDSuffix, SourceLocation UDSuffixLoc, ArrayRef< Expr * > Args, SourceLocation LitEndLoc)
	BuildCookedLiteralOperatorCall - A user-defined literal was found.
static bool	isCapturingReferenceToHostVarInCUDADeviceLambda (const Sema &S, VarDecl *VD)
static Expr *	recoverFromMSUnqualifiedLookup (Sema &S, ASTContext &Context, DeclarationNameInfo &NameInfo, SourceLocation TemplateKWLoc, const TemplateArgumentListInfo *TemplateArgs)
	In Microsoft mode, if we are inside a template class whose parent class has dependent base classes, and we can't resolve an unqualified identifier, then assume the identifier is a member of a dependent base class.
static bool	CheckDeclInExpr (Sema &S, SourceLocation Loc, NamedDecl *D, bool AcceptInvalid)
	Diagnoses obvious problems with the use of the given declaration as an expression.
static bool	ShouldLookupResultBeMultiVersionOverload (const LookupResult &R)
static void	ConvertUTF8ToWideString (unsigned CharByteWidth, StringRef Source, SmallString< 32 > &Target)
static Expr *	BuildFloatingLiteral (Sema &S, NumericLiteralParser &Literal, QualType Ty, SourceLocation Loc)
static bool	CheckVecStepTraitOperandType (Sema &S, QualType T, SourceLocation Loc, SourceRange ArgRange)
static bool	CheckVectorElementsTraitOperandType (Sema &S, QualType T, SourceLocation Loc, SourceRange ArgRange)
static bool	checkPtrAuthTypeDiscriminatorOperandType (Sema &S, QualType T, SourceLocation Loc, SourceRange ArgRange)
static bool	CheckExtensionTraitOperandType (Sema &S, QualType T, SourceLocation Loc, SourceRange ArgRange, UnaryExprOrTypeTrait TraitKind)
static bool	CheckObjCTraitOperandConstraints (Sema &S, QualType T, SourceLocation Loc, SourceRange ArgRange, UnaryExprOrTypeTrait TraitKind)
static void	warnOnSizeofOnArrayDecay (Sema &S, SourceLocation Loc, QualType T, const Expr *E)
	Check whether E is a pointer from a decayed array type (the decayed pointer type is equal to T) and emit a warning if it is.
static bool	CheckAlignOfExpr (Sema &S, Expr *E, UnaryExprOrTypeTrait ExprKind)
static void	captureVariablyModifiedType (ASTContext &Context, QualType T, CapturingScopeInfo *CSI)
static QualType	CheckRealImagOperand (Sema &S, ExprResult &V, SourceLocation Loc, bool IsReal)
static bool	checkArithmeticOnObjCPointer (Sema &S, SourceLocation opLoc, Expr *op)
	Diagnose if arithmetic on the given ObjC pointer is illegal.
static bool	isMSPropertySubscriptExpr (Sema &S, Expr *Base)
static QualType	getDependentArraySubscriptType (Expr *LHS, Expr *RHS, const ASTContext &Ctx)
static FieldDecl *	FindFieldDeclInstantiationPattern (const ASTContext &Ctx, FieldDecl *Field)
static TypoCorrection	TryTypoCorrectionForCall (Sema &S, Expr *Fn, FunctionDecl *FDecl, ArrayRef< Expr * > Args)
static bool	isParenthetizedAndQualifiedAddressOfExpr (Expr *Fn)
static void	DiagnoseCalleeStaticArrayParam (Sema &S, ParmVarDecl *PVD)
static ExprResult	rebuildUnknownAnyFunction (Sema &S, Expr *fn)
	Given a function expression of unknown-any type, try to rebuild it to have a function type.
static bool	isPlaceholderToRemoveAsArg (QualType type)
	Is the given type a placeholder that we need to lower out immediately during argument processing?
static FunctionDecl *	rewriteBuiltinFunctionDecl (Sema *Sema, ASTContext &Context, FunctionDecl *FDecl, MultiExprArg ArgExprs)
	If a builtin function has a pointer argument with no explicit address space, then it should be able to accept a pointer to any address space as input.
static void	checkDirectCallValidity (Sema &S, const Expr *Fn, FunctionDecl *Callee, MultiExprArg ArgExprs)
static bool	enclosingClassIsRelatedToClassInWhichMembersWereFound (const UnresolvedMemberExpr *const UME, Sema &S)
static void	tryImplicitlyCaptureThisIfImplicitMemberFunctionAccessWithDependentArgs (Sema &S, const UnresolvedMemberExpr *const UME, SourceLocation CallLoc)
static void	DiagnosedUnqualifiedCallsToStdFunctions (Sema &S, const CallExpr *Call)
static bool	MayBeFunctionType (const ASTContext &Context, const Expr *E)
static bool	breakDownVectorType (QualType type, uint64_t &len, QualType &eltType)
static void	CheckSufficientAllocSize (Sema &S, QualType DestType, const Expr *E)
	Check that a call to alloc_size function specifies sufficient space for the destination type.
static bool	checkCondition (Sema &S, const Expr *Cond, SourceLocation QuestionLoc)
	Return false if the condition expression is valid, true otherwise.
static bool	checkConditionalNullPointer (Sema &S, ExprResult &NullExpr, QualType PointerTy)
	Return false if the NullExpr can be promoted to PointerTy, true otherwise.
static QualType	checkConditionalPointerCompatibility (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc)
	Checks compatibility between two pointers and return the resulting type.
static QualType	checkConditionalBlockPointerCompatibility (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc)
	Return the resulting type when the operands are both block pointers.
static QualType	checkConditionalObjectPointersCompatibility (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc)
	Return the resulting type when the operands are both pointers.
static bool	checkPointerIntegerMismatch (Sema &S, ExprResult &Int, Expr *PointerExpr, SourceLocation Loc, bool IsIntFirstExpr)
	Return false if the first expression is not an integer and the second expression is not a pointer, true otherwise.
static QualType	OpenCLArithmeticConversions (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation QuestionLoc)
	Simple conversion between integer and floating point types.
static QualType	OpenCLConvertScalarsToVectors (Sema &S, ExprResult &LHS, ExprResult &RHS, QualType CondTy, SourceLocation QuestionLoc)
	Convert scalar operands to a vector that matches the condition in length.
static bool	checkOpenCLConditionVector (Sema &S, Expr *Cond, SourceLocation QuestionLoc)
	Return false if this is a valid OpenCL condition vector.
static bool	checkVectorResult (Sema &S, QualType CondTy, QualType VecResTy, SourceLocation QuestionLoc)
	Return false if the vector condition type and the vector result type are compatible.
static QualType	OpenCLCheckVectorConditional (Sema &S, ExprResult &Cond, ExprResult &LHS, ExprResult &RHS, SourceLocation QuestionLoc)
	Return the resulting type for the conditional operator in OpenCL (aka "ternary selection operator", OpenCL v1.1 s6.3.i) when the condition is a vector type.
static bool	checkBlockType (Sema &S, const Expr *E)
	Return true if the Expr is block type.
static void	SuggestParentheses (Sema &Self, SourceLocation Loc, const PartialDiagnostic &Note, SourceRange ParenRange)
	SuggestParentheses - Emit a note with a fixit hint that wraps ParenRange in parentheses.
static bool	IsArithmeticOp (BinaryOperatorKind Opc)
static bool	IsArithmeticBinaryExpr (const Expr *E, BinaryOperatorKind *Opcode, const Expr **RHSExprs)
	IsArithmeticBinaryExpr - Returns true if E is an arithmetic binary expression, either using a built-in or overloaded operator, and sets *OpCode to the opcode and *RHSExprs to the right-hand side expression.
static bool	ExprLooksBoolean (const Expr *E)
	ExprLooksBoolean - Returns true if E looks boolean, i.e.
static void	DiagnoseConditionalPrecedence (Sema &Self, SourceLocation OpLoc, Expr *Condition, const Expr *LHSExpr, const Expr *RHSExpr)
	DiagnoseConditionalPrecedence - Emit a warning when a conditional operator and binary operator are mixed in a way that suggests the programmer assumed the conditional operator has higher precedence, for example: "int x = a + someBinaryCondition ? 1 : 2".
static QualType	computeConditionalNullability (QualType ResTy, bool IsBin, QualType LHSTy, QualType RHSTy, ASTContext &Ctx)
	Compute the nullability of a conditional expression.
static bool	IsInvalidCmseNSCallConversion (Sema &S, QualType FromType, QualType ToType)
static AssignConvertType	checkPointerTypesForAssignment (Sema &S, QualType LHSType, QualType RHSType, SourceLocation Loc)
static AssignConvertType	checkBlockPointerTypesForAssignment (Sema &S, QualType LHSType, QualType RHSType)
	checkBlockPointerTypesForAssignment - This routine determines whether two block pointer types are compatible or whether a block and normal pointer are compatible.
static AssignConvertType	checkObjCPointerTypesForAssignment (Sema &S, QualType LHSType, QualType RHSType)
	checkObjCPointerTypesForAssignment - Compares two objective-c pointer types for assignment compatibility.
static bool	isVector (QualType QT, QualType ElementType)
	This helper function returns true if QT is a vector type that has element type ElementType.
static void	ConstructTransparentUnion (Sema &S, ASTContext &C, ExprResult &EResult, QualType UnionType, FieldDecl *Field)
	Constructs a transparent union from an expression that is used to initialize the transparent union.
static bool	tryVectorConvertAndSplat (Sema &S, ExprResult *scalar, QualType scalarTy, QualType vectorEltTy, QualType vectorTy, unsigned &DiagID)
	Try to convert a value of non-vector type to a vector type by converting the type to the element type of the vector and then performing a splat.
static ExprResult	convertVector (Expr *E, QualType ElementType, Sema &S)
	Convert vector E to a vector with the same number of elements but different element type.
static bool	canConvertIntToOtherIntTy (Sema &S, ExprResult *Int, QualType OtherIntTy)
	Test if a (constant) integer Int can be casted to another integer type IntTy without losing precision.
static bool	canConvertIntTyToFloatTy (Sema &S, ExprResult *Int, QualType FloatTy)
	Test if a (constant) integer Int can be casted to floating point type FloatTy without losing precision.
static bool	tryGCCVectorConvertAndSplat (Sema &S, ExprResult *Scalar, ExprResult *Vector)
	Attempt to convert and splat Scalar into a vector whose types matches Vector following GCC conversion rules.
static void	checkArithmeticNull (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc, bool IsCompare)
static void	DetectPrecisionLossInComplexDivision (Sema &S, QualType DivisorTy, SourceLocation OpLoc)
static void	DiagnoseDivisionSizeofPointerOrArray (Sema &S, Expr *LHS, Expr *RHS, SourceLocation Loc)
static void	DiagnoseBadDivideOrRemainderValues (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc, bool IsDiv)
static void	diagnoseScopedEnums (Sema &S, const SourceLocation Loc, const ExprResult &LHS, const ExprResult &RHS, BinaryOperatorKind Opc)
static void	diagnoseArithmeticOnTwoVoidPointers (Sema &S, SourceLocation Loc, Expr *LHSExpr, Expr *RHSExpr)
	Diagnose invalid arithmetic on two void pointers.
static void	diagnoseArithmeticOnVoidPointer (Sema &S, SourceLocation Loc, Expr *Pointer)
	Diagnose invalid arithmetic on a void pointer.
static void	diagnoseArithmeticOnNullPointer (Sema &S, SourceLocation Loc, Expr *Pointer, bool IsGNUIdiom)
	Diagnose invalid arithmetic on a null pointer.
static void	diagnoseSubtractionOnNullPointer (Sema &S, SourceLocation Loc, Expr *Pointer, bool BothNull)
	Diagnose invalid subraction on a null pointer.
static void	diagnoseArithmeticOnTwoFunctionPointers (Sema &S, SourceLocation Loc, Expr *LHS, Expr *RHS)
	Diagnose invalid arithmetic on two function pointers.
static void	diagnoseArithmeticOnFunctionPointer (Sema &S, SourceLocation Loc, Expr *Pointer)
	Diagnose invalid arithmetic on a function pointer.
static bool	checkArithmeticIncompletePointerType (Sema &S, SourceLocation Loc, Expr *Operand)
	Emit error if Operand is incomplete pointer type.
static bool	checkArithmeticOpPointerOperand (Sema &S, SourceLocation Loc, Expr *Operand)
	Check the validity of an arithmetic pointer operand.
static bool	checkArithmeticBinOpPointerOperands (Sema &S, SourceLocation Loc, Expr *LHSExpr, Expr *RHSExpr)
	Check the validity of a binary arithmetic operation w.r.t.
static void	diagnoseStringPlusInt (Sema &Self, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
	diagnoseStringPlusInt - Emit a warning when adding an integer to a string literal.
static void	diagnoseStringPlusChar (Sema &Self, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
	Emit a warning when adding a char literal to a string.
static void	diagnosePointerIncompatibility (Sema &S, SourceLocation Loc, Expr *LHSExpr, Expr *RHSExpr)
	Emit error when two pointers are incompatible.
static bool	isScopedEnumerationType (QualType T)
static void	DiagnoseBadShiftValues (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc, BinaryOperatorKind Opc, QualType LHSType)
static QualType	checkVectorShift (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc, bool IsCompAssign)
	Return the resulting type when a vector is shifted by a scalar or vector shift amount.
static QualType	checkSizelessVectorShift (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc, bool IsCompAssign)
static void	diagnoseDistinctPointerComparison (Sema &S, SourceLocation Loc, ExprResult &LHS, ExprResult &RHS, bool IsError)
	Diagnose bad pointer comparisons.
static bool	convertPointersToCompositeType (Sema &S, SourceLocation Loc, ExprResult &LHS, ExprResult &RHS)
	Returns false if the pointers are converted to a composite type, true otherwise.
static void	diagnoseFunctionPointerToVoidComparison (Sema &S, SourceLocation Loc, ExprResult &LHS, ExprResult &RHS, bool IsError)
static bool	isObjCObjectLiteral (ExprResult &E)
static bool	hasIsEqualMethod (Sema &S, const Expr *LHS, const Expr *RHS)
static void	diagnoseObjCLiteralComparison (Sema &S, SourceLocation Loc, ExprResult &LHS, ExprResult &RHS, BinaryOperator::Opcode Opc)
static void	diagnoseLogicalNotOnLHSofCheck (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc, BinaryOperatorKind Opc)
	Warns on !x < y, !x & y where !(x < y), !(x & y) was probably intended.
static bool	checkForArray (const Expr *E)
static std::optional< bool >	isTautologicalBoundsCheck (Sema &S, const Expr *LHS, const Expr *RHS, BinaryOperatorKind Opc)
	Detect patterns ptr + size >= ptr and ptr + size < ptr, where ptr is a pointer and size is an unsigned integer.
static void	diagnoseTautologicalComparison (Sema &S, SourceLocation Loc, Expr *LHS, Expr *RHS, BinaryOperatorKind Opc)
	Diagnose some forms of syntactically-obvious tautological comparison.
static ImplicitConversionKind	castKindToImplicitConversionKind (CastKind CK)
static bool	checkThreeWayNarrowingConversion (Sema &S, QualType ToType, Expr *E, QualType FromType, SourceLocation Loc)
static QualType	checkArithmeticOrEnumeralThreeWayCompare (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc)
static QualType	checkArithmeticOrEnumeralCompare (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc, BinaryOperatorKind Opc)
static void	diagnoseXorMisusedAsPow (Sema &S, const ExprResult &XorLHS, const ExprResult &XorRHS, const SourceLocation Loc)
static bool	isLegalBoolVectorBinaryOp (BinaryOperatorKind Opc)
static bool	IsReadonlyMessage (Expr *E, Sema &S)
static NonConstCaptureKind	isReferenceToNonConstCapture (Sema &S, Expr *E)
static bool	IsTypeModifiable (QualType Ty, bool IsDereference)
static void	DiagnoseConstAssignment (Sema &S, const Expr *E, SourceLocation Loc)
	Emit the "read-only variable not assignable" error and print notes to give more information about why the variable is not assignable, such as pointing to the declaration of a const variable, showing that a method is const, or that the function is returning a const reference.
static void	DiagnoseRecursiveConstFields (Sema &S, const ValueDecl *VD, const RecordType *Ty, SourceLocation Loc, SourceRange Range, OriginalExprKind OEK, bool &DiagnosticEmitted)
static void	DiagnoseRecursiveConstFields (Sema &S, const Expr *E, SourceLocation Loc)
	Emit an error for the case where a record we are trying to assign to has a const-qualified field somewhere in its hierarchy.
static bool	CheckForModifiableLvalue (Expr *E, SourceLocation Loc, Sema &S)
	CheckForModifiableLvalue - Verify that E is a modifiable lvalue.
static void	CheckIdentityFieldAssignment (Expr *LHSExpr, Expr *RHSExpr, SourceLocation Loc, Sema &Sema)
static bool	IgnoreCommaOperand (const Expr *E, const ASTContext &Context)
static QualType	CheckCommaOperands (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc)
static QualType	CheckIncrementDecrementOperand (Sema &S, Expr *Op, ExprValueKind &VK, ExprObjectKind &OK, SourceLocation OpLoc, bool IsInc, bool IsPrefix)
	CheckIncrementDecrementOperand - unlike most "Check" methods, this routine doesn't need to call UsualUnaryConversions or UsualArithmeticConversions.
static ValueDecl *	getPrimaryDecl (Expr *E)
	getPrimaryDecl - Helper function for CheckAddressOfOperand().
static void	diagnoseAddressOfInvalidType (Sema &S, SourceLocation Loc, Expr *E, unsigned Type)
	Diagnose invalid operand for address of operations.
static void	RecordModifiableNonNullParam (Sema &S, const Expr *Exp)
static QualType	CheckIndirectionOperand (Sema &S, Expr *Op, ExprValueKind &VK, SourceLocation OpLoc, bool IsAfterAmp=false)
	CheckIndirectionOperand - Type check unary indirection (prefix '*').
static UnaryOperatorKind	ConvertTokenKindToUnaryOpcode (tok::TokenKind Kind)
static void	DiagnoseSelfAssignment (Sema &S, Expr *LHSExpr, Expr *RHSExpr, SourceLocation OpLoc, bool IsBuiltin)
	DiagnoseSelfAssignment - Emits a warning if a value is assigned to itself.
static void	checkObjCPointerIntrospection (Sema &S, ExprResult &L, ExprResult &R, SourceLocation OpLoc)
	Check if a bitwise-& is performed on an Objective-C pointer.
static ExprResult	convertHalfVecBinOp (Sema &S, ExprResult LHS, ExprResult RHS, BinaryOperatorKind Opc, QualType ResultTy, ExprValueKind VK, ExprObjectKind OK, bool IsCompAssign, SourceLocation OpLoc, FPOptionsOverride FPFeatures)
static bool	needsConversionOfHalfVec (bool OpRequiresConversion, ASTContext &Ctx, Expr *E0, Expr *E1=nullptr)
	Returns true if conversion between vectors of halfs and vectors of floats is needed.
static void	DiagnoseBitwisePrecedence (Sema &Self, BinaryOperatorKind Opc, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
	DiagnoseBitwisePrecedence - Emit a warning when bitwise and comparison operators are mixed in a way that suggests that the programmer forgot that comparison operators have higher precedence.
static void	EmitDiagnosticForLogicalAndInLogicalOr (Sema &Self, SourceLocation OpLoc, BinaryOperator *Bop)
	It accepts a '&&' expr that is inside a '||' one.
static void	DiagnoseLogicalAndInLogicalOrLHS (Sema &S, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
	Look for '&&' in the left hand of a '||' expr.
static void	DiagnoseLogicalAndInLogicalOrRHS (Sema &S, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
	Look for '&&' in the right hand of a '||' expr.
static void	DiagnoseBitwiseOpInBitwiseOp (Sema &S, BinaryOperatorKind Opc, SourceLocation OpLoc, Expr *SubExpr)
	Look for bitwise op in the left or right hand of a bitwise op with lower precedence and emit a diagnostic together with a fixit hint that wraps the '&' expression in parentheses.
static void	DiagnoseAdditionInShift (Sema &S, SourceLocation OpLoc, Expr *SubExpr, StringRef Shift)
static void	DiagnoseShiftCompare (Sema &S, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
static void	DiagnoseBinOpPrecedence (Sema &Self, BinaryOperatorKind Opc, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
	DiagnoseBinOpPrecedence - Emit warnings for expressions with tricky precedence.
static ExprResult	BuildOverloadedBinOp (Sema &S, Scope *Sc, SourceLocation OpLoc, BinaryOperatorKind Opc, Expr *LHS, Expr *RHS)
	Build an overloaded binary operator expression in the given scope.
static bool	isOverflowingIntegerType (ASTContext &Ctx, QualType T)
static CXXRecordDecl *	LookupStdSourceLocationImpl (Sema &S, SourceLocation Loc)
static bool	maybeDiagnoseAssignmentToFunction (Sema &S, QualType DstType, const Expr *SrcExpr)
static void	EvaluateAndDiagnoseImmediateInvocation (Sema &SemaRef, Sema::ImmediateInvocationCandidate Candidate)
static void	RemoveNestedImmediateInvocation (Sema &SemaRef, Sema::ExpressionEvaluationContextRecord &Rec, SmallVector< Sema::ImmediateInvocationCandidate, 4 >::reverse_iterator It)
static void	HandleImmediateInvocations (Sema &SemaRef, Sema::ExpressionEvaluationContextRecord &Rec)
static bool	isPotentiallyConstantEvaluatedContext (Sema &SemaRef)
	Are we in a context that is potentially constant evaluated per C++20 [expr.const]p12?
static bool	funcHasParameterSizeMangling (Sema &S, FunctionDecl *FD)
	Return true if this function has a calling convention that requires mangling in the size of the parameter pack.
static void	CheckCompleteParameterTypesForMangler (Sema &S, FunctionDecl *FD, SourceLocation Loc)
	Require that all of the parameter types of function be complete.
static OdrUseContext	isOdrUseContext (Sema &SemaRef)
	Are we within a context in which references to resolved functions or to variables result in odr-use?
static bool	isImplicitlyDefinableConstexprFunction (FunctionDecl *Func)
static void	MarkVarDeclODRUsed (ValueDecl *V, SourceLocation Loc, Sema &SemaRef, const unsigned *const FunctionScopeIndexToStopAt=nullptr)
	Directly mark a variable odr-used.
static void	diagnoseUncapturableValueReferenceOrBinding (Sema &S, SourceLocation loc, ValueDecl *var)
static bool	isVariableAlreadyCapturedInScopeInfo (CapturingScopeInfo *CSI, ValueDecl *Var, bool &SubCapturesAreNested, QualType &CaptureType, QualType &DeclRefType)
static DeclContext *	getParentOfCapturingContextOrNull (DeclContext *DC, ValueDecl *Var, SourceLocation Loc, const bool Diagnose, Sema &S)
static bool	isVariableCapturable (CapturingScopeInfo *CSI, ValueDecl *Var, SourceLocation Loc, const bool Diagnose, Sema &S)
static bool	captureInBlock (BlockScopeInfo *BSI, ValueDecl *Var, SourceLocation Loc, const bool BuildAndDiagnose, QualType &CaptureType, QualType &DeclRefType, const bool Nested, Sema &S, bool Invalid)
static bool	captureInCapturedRegion (CapturedRegionScopeInfo *RSI, ValueDecl *Var, SourceLocation Loc, const bool BuildAndDiagnose, QualType &CaptureType, QualType &DeclRefType, const bool RefersToCapturedVariable, TryCaptureKind Kind, bool IsTopScope, Sema &S, bool Invalid)
	Capture the given variable in the captured region.
static bool	captureInLambda (LambdaScopeInfo *LSI, ValueDecl *Var, SourceLocation Loc, const bool BuildAndDiagnose, QualType &CaptureType, QualType &DeclRefType, const bool RefersToCapturedVariable, const TryCaptureKind Kind, SourceLocation EllipsisLoc, const bool IsTopScope, Sema &S, bool Invalid)
	Capture the given variable in the lambda.
static bool	canCaptureVariableByCopy (ValueDecl *Var, const ASTContext &Context)
static void	buildLambdaCaptureFixit (Sema &Sema, LambdaScopeInfo *LSI, ValueDecl *Var)
	Create up to 4 fix-its for explicit reference and value capture of Var or default capture.
static ExprResult	rebuildPotentialResultsAsNonOdrUsed (Sema &S, Expr *E, NonOdrUseReason NOUR)
	Walk the set of potential results of an expression and mark them all as non-odr-uses if they satisfy the side-conditions of the NonOdrUseReason.
static void	DoMarkPotentialCapture (Sema &SemaRef, SourceLocation Loc, ValueDecl *Var, Expr *E)
static void	DoMarkVarDeclReferenced (Sema &SemaRef, SourceLocation Loc, VarDecl *Var, Expr *E, llvm::DenseMap< const VarDecl *, int > &RefsMinusAssignments)
static void	DoMarkBindingDeclReferenced (Sema &SemaRef, SourceLocation Loc, BindingDecl *BD, Expr *E)
static void	FixDependencyOfIdExpressionsInLambdaWithDependentObjectParameter (Sema &SemaRef, ValueDecl *D, Expr *E)
static void	MarkExprReferenced (Sema &SemaRef, SourceLocation Loc, Decl *D, Expr *E, bool MightBeOdrUse, llvm::DenseMap< const VarDecl *, int > &RefsMinusAssignments)
static ExprResult	diagnoseUnknownAnyExpr (Sema &S, Expr *E)

Macro Definition Documentation

ABSTRACT_DECL

#define ABSTRACT_DECL

(

kind

)

ABSTRACT_TYPE

#define ABSTRACT_TYPE	(		Class,
			Base )

AMDGPU_TYPE [1/2]

#define AMDGPU_TYPE	(		Name,
			Id,
			SingletonId,
			Width,
			Align )

Value:

case BuiltinType::Id:

AMDGPU_TYPE [2/2]

#define AMDGPU_TYPE	(		Name,
			Id,
			SingletonId,
			Width,
			Align )

Value:

case BuiltinType::Id:

BUILTIN_TYPE [1/2]

#define BUILTIN_TYPE	(		ID,
			SINGLETON_ID )

Value:

case BuiltinType::ID:

BUILTIN_TYPE [2/2]

#define BUILTIN_TYPE	(		Id,
			SingletonId )

Value:

case BuiltinType::Id:

DECL

#define DECL	(		type,
			base )

Value:

case Decl::type:

DEPENDENT_TYPE

#define DEPENDENT_TYPE	(		Class,
			Base )

Value:

case Type::Class:

EXT_OPAQUE_TYPE [1/2]

#define EXT_OPAQUE_TYPE	(		ExtType,
			Id,
			Ext )

Value:

  case BuiltinType::Id:

EXT_OPAQUE_TYPE [2/2]

#define EXT_OPAQUE_TYPE	(		ExtType,
			Id,
			Ext )

Value:

  case BuiltinType::Id:

HLSL_INTANGIBLE_TYPE [1/2]

#define HLSL_INTANGIBLE_TYPE	(		Name,
			Id,
			SingletonId )

Value:

case BuiltinType::Id:

HLSL_INTANGIBLE_TYPE [2/2]

#define HLSL_INTANGIBLE_TYPE	(		Name,
			Id,
			SingletonId )

Value:

case BuiltinType::Id:

IMAGE_TYPE [1/2]

#define IMAGE_TYPE	(		ImgType,
			Id,
			SingletonId,
			Access,
			Suffix )

Value:

  case BuiltinType::Id:

IMAGE_TYPE [2/2]

#define IMAGE_TYPE	(		ImgType,
			Id,
			SingletonId,
			Access,
			Suffix )

Value:

  case BuiltinType::Id:

NON_CANONICAL_TYPE

#define NON_CANONICAL_TYPE	(		Class,
			Base )

NON_CANONICAL_UNLESS_DEPENDENT_TYPE

#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE	(		Class,
			Base )

PLACEHOLDER_TYPE [1/2]

#define PLACEHOLDER_TYPE	(		ID,
			SINGLETON_ID )

PLACEHOLDER_TYPE [2/2]

#define PLACEHOLDER_TYPE	(		Id,
			SingletonId )

PPC_VECTOR_TYPE [1/2]

#define PPC_VECTOR_TYPE	(		Name,
			Id,
			Size )

Value:

  case BuiltinType::Id:

PPC_VECTOR_TYPE [2/2]

#define PPC_VECTOR_TYPE	(		Name,
			Id,
			Size )

Value:

  case BuiltinType::Id:

RVV_TYPE [1/2]

#define RVV_TYPE	(		Name,
			Id,
			SingletonId )

Value:

case BuiltinType::Id:

RVV_TYPE [2/2]

#define RVV_TYPE	(		Name,
			Id,
			SingletonId )

Value:

case BuiltinType::Id:

SVE_TYPE [1/2]

#define SVE_TYPE	(		Name,
			Id,
			SingletonId )

Value:

  case BuiltinType::Id:

SVE_TYPE [2/2]

#define SVE_TYPE	(		Name,
			Id,
			SingletonId )

Value:

  case BuiltinType::Id:

TYPE

#define TYPE	(		Class,
			Base )

VALUE

#define VALUE	(		type,
			base )

WASM_TYPE [1/2]

#define WASM_TYPE	(		Name,
			Id,
			SingletonId )

Value:

case BuiltinType::Id:

WASM_TYPE [2/2]

#define WASM_TYPE	(		Name,
			Id,
			SingletonId )

Value:

case BuiltinType::Id:

Typedef Documentation

PerformCastFn

typedef ExprResult PerformCastFn(Sema &S, Expr *operand, QualType toType)

Definition at line 1302 of file SemaExpr.cpp.

Enumeration Type Documentation

anonymous enum

anonymous enum

Enumerator
ConstFunction
ConstVariable
ConstMember
ConstMethod
NestedConstMember
ConstUnknown

Definition at line 13678 of file SemaExpr.cpp.

NonConstCaptureKind

enum NonConstCaptureKind

Is the given expression (which must be 'const') a reference to a variable which was originally non-const, but which has become 'const' due to being captured within a block?

Enumerator
NCCK_None
NCCK_Block
NCCK_Lambda

Definition at line 13617 of file SemaExpr.cpp.

OriginalExprKind

enum OriginalExprKind

Enumerator
OEK_Variable
OEK_Member
OEK_LValue

Definition at line 13810 of file SemaExpr.cpp.

Function Documentation

breakDownVectorType()

bool breakDownVectorType ( QualType type, uint64_t & len, QualType & eltType )

static

Definition at line 7597 of file SemaExpr.cpp.

References clang::Type::isMFloat8Type(), clang::Type::isScalarType(), and clang::ast_matchers::type.

Referenced by clang::Sema::areVectorTypesSameSize().

BuildCookedLiteralOperatorCall()

ExprResult BuildCookedLiteralOperatorCall ( Sema & S, Scope * Scope, IdentifierInfo * UDSuffix, SourceLocation UDSuffixLoc, ArrayRef< Expr * > Args, SourceLocation LitEndLoc )

static

BuildCookedLiteralOperatorCall - A user-defined literal was found.

Look up the corresponding cooked (non-raw) literal operator, and build a call to it.

Definition at line 2036 of file SemaExpr.cpp.

References clang::Sema::BuildLiteralOperatorCall(), clang::Sema::Context, clang::ASTContext::DeclarationNames, clang::ExprError(), clang::ASTContext::getArrayDecayedType(), clang::DeclarationNameTable::getCXXLiteralOperatorName(), clang::Sema::LOLR_Error, clang::Sema::LookupLiteralOperator(), clang::Sema::LookupOrdinaryName, and clang::DeclarationNameInfo::setCXXLiteralOperatorNameLoc().

Referenced by clang::Sema::ActOnCharacterConstant().

BuildFloatingLiteral()

Expr * BuildFloatingLiteral ( Sema & S, NumericLiteralParser & Literal, QualType Ty, SourceLocation Loc )

static

Definition at line 3642 of file SemaExpr.cpp.

References clang::Sema::Context, clang::FloatingLiteral::Create(), clang::Sema::CurFPFeatures, clang::SemaBase::Diag(), clang::ASTContext::getFloatTypeSemantics(), and clang::FPOptions::getRoundingMode().

Referenced by clang::Sema::ActOnNumericConstant().

buildLambdaCaptureFixit()

void buildLambdaCaptureFixit ( Sema & Sema, LambdaScopeInfo * LSI, ValueDecl * Var )

static

Create up to 4 fix-its for explicit reference and value capture of Var or default capture.

Fixes may be omitted if they aren't allowed by the standard, for example we can't emit a default copy capture fix-it if we already explicitly copy capture capture another variable.

Definition at line 19201 of file SemaExpr.cpp.

References clang::C, canCaptureVariableByCopy(), clang::sema::CapturingScopeInfo::Captures, clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::Sema::getASTContext(), clang::SourceRange::getBegin(), clang::sema::CapturingScopeInfo::getCXXThisCapture(), clang::NamedDecl::getDeclName(), clang::SourceRange::getEnd(), clang::Sema::getLangOpts(), clang::SourceLocation::getLocWithOffset(), clang::NamedDecl::getName(), clang::sema::CapturingScopeInfo::ImpCap_None, clang::sema::CapturingScopeInfo::ImpCaptureStyle, clang::sema::LambdaScopeInfo::IntroducerRange, clang::sema::Capture::isCopyCapture(), clang::sema::CapturingScopeInfo::isCXXThisCaptured(), clang::DeclarationName::isIdentifier(), and clang::sema::LambdaScopeInfo::NumExplicitCaptures.

Referenced by clang::Sema::tryCaptureVariable().

BuildOverloadedBinOp()

ExprResult BuildOverloadedBinOp ( Sema & S, Scope * Sc, SourceLocation OpLoc, BinaryOperatorKind Opc, Expr * LHS, Expr * RHS )

static

Build an overloaded binary operator expression in the given scope.

Definition at line 15592 of file SemaExpr.cpp.

References CheckIdentityFieldAssignment(), clang::Sema::CreateOverloadedBinOp(), DiagnoseSelfAssignment(), and clang::Sema::LookupBinOp().

Referenced by clang::Sema::BuildBinOp().

canCaptureVariableByCopy()

bool canCaptureVariableByCopy ( ValueDecl * Var, const ASTContext & Context )

static

Definition at line 19175 of file SemaExpr.cpp.

References clang::QualType::getNonReferenceType(), clang::ValueDecl::getType(), clang::Type::isDependentType(), and clang::T.

Referenced by buildLambdaCaptureFixit().

canConvertIntToOtherIntTy()

bool canConvertIntToOtherIntTy ( Sema & S, ExprResult * Int, QualType OtherIntTy )

static

Test if a (constant) integer Int can be casted to another integer type IntTy without losing precision.

Definition at line 10150 of file SemaExpr.cpp.

References clang::Sema::Context, clang::APValue::getInt(), clang::ASTContext::getIntegerTypeOrder(), clang::ASTContext::getIntWidth(), clang::Type::hasSignedIntegerRepresentation(), and clang::Expr::EvalResult::Val.

Referenced by tryGCCVectorConvertAndSplat().

canConvertIntTyToFloatTy()

bool canConvertIntTyToFloatTy ( Sema & S, ExprResult * Int, QualType FloatTy )

static

Test if a (constant) integer Int can be casted to floating point type FloatTy without losing precision.

Definition at line 10191 of file SemaExpr.cpp.

References clang::Sema::Context, clang::Float, clang::ASTContext::getFloatTypeSemantics(), clang::APValue::getInt(), clang::ASTContext::getIntWidth(), clang::ASTContext::getTypeSize(), clang::Type::hasSignedIntegerRepresentation(), and clang::Expr::EvalResult::Val.

Referenced by tryGCCVectorConvertAndSplat().

captureInBlock()

bool captureInBlock ( BlockScopeInfo * BSI, ValueDecl * Var, SourceLocation Loc, const bool BuildAndDiagnose, QualType & CaptureType, QualType & DeclRefType, const bool Nested, Sema & S, bool Invalid )

static

Definition at line 18960 of file SemaExpr.cpp.

References clang::sema::CapturingScopeInfo::addCapture(), clang::Sema::Context, clang::SemaBase::Diag(), clang::Type::getAs(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::QualType::getNonReferenceType(), clang::QualType::getObjCLifetime(), clang::Type::getPointeeType(), clang::Decl::hasAttr(), clang::ASTContext::hasDirectOwnershipQualifier(), clang::Invalid, clang::Type::isArrayType(), clang::SemaOpenMP::isOpenMPCapturedDecl(), clang::Type::isReferenceType(), clang::Qualifiers::OCL_Autoreleasing, clang::Sema::OpenMP(), and clang::QualType::withConst().

Referenced by clang::Sema::tryCaptureVariable().

captureInCapturedRegion()

bool captureInCapturedRegion ( CapturedRegionScopeInfo * RSI, ValueDecl * Var, SourceLocation Loc, const bool BuildAndDiagnose, QualType & CaptureType, QualType & DeclRefType, const bool RefersToCapturedVariable, TryCaptureKind Kind, bool IsTopScope, Sema & S, bool Invalid )

static

Capture the given variable in the captured region.

Definition at line 19028 of file SemaExpr.cpp.

References clang::sema::CapturingScopeInfo::addCapture(), clang::QualType::addConst(), clang::sema::CapturedRegionScopeInfo::CapRegionKind, clang::Sema::Context, clang::CR_OpenMP, clang::ExplicitByRef, clang::Sema::getLangOpts(), clang::ASTContext::getLValueReferenceType(), clang::QualType::getUnqualifiedType(), clang::Implicit, clang::Invalid, clang::QualType::isConstQualified(), clang::SemaOpenMP::isOpenMPCapturedByRef(), clang::SemaOpenMP::isOpenMPCapturedDecl(), clang::SemaOpenMP::isOpenMPPrivateDecl(), clang::Sema::OpenMP(), clang::sema::CapturedRegionScopeInfo::OpenMPCaptureLevel, and clang::sema::CapturedRegionScopeInfo::OpenMPLevel.

Referenced by clang::Sema::tryCaptureVariable().

captureInLambda()

bool captureInLambda ( LambdaScopeInfo * LSI, ValueDecl * Var, SourceLocation Loc, const bool BuildAndDiagnose, QualType & CaptureType, QualType & DeclRefType, const bool RefersToCapturedVariable, const TryCaptureKind Kind, SourceLocation EllipsisLoc, const bool IsTopScope, Sema & S, bool Invalid )

static

Capture the given variable in the lambda.

Definition at line 19068 of file SemaExpr.cpp.

References clang::sema::CapturingScopeInfo::addCapture(), clang::QualType::addConst(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ExplicitByRef, clang::Type::getAs(), clang::NamedDecl::getDeclName(), clang::Decl::getLocation(), clang::ASTContext::getLValueReferenceType(), clang::QualType::getNonReferenceType(), clang::QualType::getObjCLifetime(), clang::Type::getPointeeType(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), clang::sema::CapturingScopeInfo::ImpCaptureStyle, clang::Implicit, clang::Invalid, clang::Type::isDependentType(), clang::Type::isFunctionType(), clang::Type::isReferenceType(), clang::QualType::isWebAssemblyReferenceType(), clang::sema::LambdaScopeInfo::lambdaCaptureShouldBeConst(), clang::Qualifiers::OCL_Autoreleasing, clang::Sema::RequireCompleteSizedType(), and clang::Sema::RequireNonAbstractType().

Referenced by clang::Sema::tryCaptureVariable().

captureVariablyModifiedType()

void captureVariablyModifiedType ( ASTContext & Context, QualType T, CapturingScopeInfo * CSI )

static

Definition at line 4460 of file SemaExpr.cpp.

References clang::sema::CapturingScopeInfo::addVLATypeCapture(), clang::cast(), clang::ArrayType::getElementType(), clang::VariableArrayType::getSizeExpr(), clang::Type::getTypeClass(), clang::isa(), clang::sema::CapturingScopeInfo::isVLATypeCaptured(), and clang::T.

Referenced by clang::Sema::CheckUnaryExprOrTypeTraitOperand(), clang::Sema::CreateBuiltinArraySubscriptExpr(), and clang::Sema::tryCaptureVariable().

castKindToImplicitConversionKind()

ImplicitConversionKind castKindToImplicitConversionKind ( CastKind CK )

static

Definition at line 12287 of file SemaExpr.cpp.

References clang::CastExpr::getCastKindName(), clang::ICK_Array_To_Pointer, clang::ICK_Complex_Conversion, clang::ICK_Complex_Real, clang::ICK_Floating_Conversion, clang::ICK_Floating_Integral, clang::ICK_Function_To_Pointer, clang::ICK_HLSL_Array_RValue, clang::ICK_Identity, clang::ICK_Integral_Conversion, and clang::ICK_Lvalue_To_Rvalue.

Referenced by checkThreeWayNarrowingConversion().

CheckAlignOfExpr()

bool CheckAlignOfExpr ( Sema & S, Expr * E, UnaryExprOrTypeTrait ExprKind )

static

Definition at line 4394 of file SemaExpr.cpp.

References clang::Sema::CheckUnaryExprOrTypeTraitOperand(), clang::SemaBase::Diag(), clang::Expr::getExprLoc(), clang::Expr::getObjectKind(), clang::Stmt::getSourceRange(), clang::Expr::IgnoreParens(), clang::Expr::isTypeDependent(), and clang::OK_BitField.

Referenced by clang::Sema::CreateUnaryExprOrTypeTraitExpr().

checkArithmeticBinOpPointerOperands()

bool checkArithmeticBinOpPointerOperands ( Sema & S, SourceLocation Loc, Expr * LHSExpr, Expr * RHSExpr )

static

Check the validity of a binary arithmetic operation w.r.t.

pointer operands.

This routine will diagnose any invalid arithmetic on pointer operands much like

See also

checkArithmeticOpPointerOperand. However, it has special logic for emitting a single diagnostic even for operations where both LHS and RHS are (potentially problematic) pointers.

Returns

True when the operand is valid to use (even if as an extension).

Definition at line 11097 of file SemaExpr.cpp.

References checkArithmeticIncompletePointerType(), clang::SemaBase::Diag(), diagnoseArithmeticOnFunctionPointer(), diagnoseArithmeticOnTwoFunctionPointers(), diagnoseArithmeticOnTwoVoidPointers(), diagnoseArithmeticOnVoidPointer(), clang::Sema::getASTContext(), clang::Sema::getLangOpts(), clang::Type::getPointeeType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::QualType::isAddressSpaceOverlapping(), clang::Type::isAnyPointerType(), clang::Type::isFunctionType(), and clang::Type::isVoidType().

Referenced by clang::Sema::CheckSubtractionOperands().

checkArithmeticIncompletePointerType()

bool checkArithmeticIncompletePointerType ( Sema & S, SourceLocation Loc, Expr * Operand )

static

Emit error if Operand is incomplete pointer type.

Returns

True if pointer has incomplete type

Definition at line 11043 of file SemaExpr.cpp.

References clang::Type::getAs(), clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), and clang::Sema::RequireCompleteSizedType().

Referenced by checkArithmeticBinOpPointerOperands(), checkArithmeticOpPointerOperand(), and CheckIncrementDecrementOperand().

checkArithmeticNull()

void checkArithmeticNull ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc, bool IsCompare )

static

Definition at line 10676 of file SemaExpr.cpp.

References clang::Type::canDecayToPointerType(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::isa(), clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::Type::isFunctionType(), and clang::Type::isMemberPointerType().

Referenced by clang::Sema::CheckAdditionOperands(), clang::Sema::CheckBitwiseOperands(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckMultiplyDivideOperands(), clang::Sema::CheckRemainderOperands(), clang::Sema::CheckShiftOperands(), and clang::Sema::CheckSubtractionOperands().

checkArithmeticOnObjCPointer()

bool checkArithmeticOnObjCPointer ( Sema & S, SourceLocation opLoc, Expr * op )

static

Diagnose if arithmetic on the given ObjC pointer is illegal.

Returns

true on error

Definition at line 4852 of file SemaExpr.cpp.

References clang::ObjCRuntime::allowsPointerArithmetic(), clang::Type::castAs(), clang::SemaBase::Diag(), getPointeeType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::isObjCObjectPointerType(), clang::Sema::LangOpts, and clang::LangOptions::ObjCRuntime.

Referenced by clang::Sema::CheckAdditionOperands(), CheckIncrementDecrementOperand(), and clang::Sema::CheckSubtractionOperands().

checkArithmeticOpPointerOperand()

bool checkArithmeticOpPointerOperand ( Sema & S, SourceLocation Loc, Expr * Operand )

static

Check the validity of an arithmetic pointer operand.

If the operand has pointer type, this code will check for pointer types which are invalid in arithmetic operations. These will be diagnosed appropriately, including whether or not the use is supported as an extension.

Returns

True when the operand is valid to use (even if as an extension).

Definition at line 11065 of file SemaExpr.cpp.

References checkArithmeticIncompletePointerType(), diagnoseArithmeticOnFunctionPointer(), diagnoseArithmeticOnVoidPointer(), clang::Type::getAs(), clang::Sema::getLangOpts(), clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), clang::Type::isFunctionType(), and clang::Type::isVoidType().

Referenced by clang::Sema::CheckAdditionOperands(), CheckIncrementDecrementOperand(), and clang::Sema::CheckSubtractionOperands().

checkArithmeticOrEnumeralCompare()

QualType checkArithmeticOrEnumeralCompare ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc, BinaryOperatorKind Opc )

static

Definition at line 12453 of file SemaExpr.cpp.

References checkArithmeticOrEnumeralThreeWayCompare(), clang::Sema::CheckFloatComparison(), clang::Comparison, clang::Sema::Context, diagnoseScopedEnums(), clang::ActionResult< PtrTy, Compress >::get(), clang::ASTContext::getLogicalOperationType(), clang::Type::hasFloatingRepresentation(), clang::Sema::InvalidOperands(), clang::Type::isAnyComplexType(), clang::Type::isArithmeticType(), clang::Type::isEnumeralType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::BinaryOperator::isRelationalOp(), and clang::Sema::UsualArithmeticConversions().

Referenced by clang::Sema::CheckCompareOperands().

checkArithmeticOrEnumeralThreeWayCompare()

QualType checkArithmeticOrEnumeralThreeWayCompare ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc )

static

Definition at line 12369 of file SemaExpr.cpp.

References clang::Type::castAsEnumDecl(), clang::Sema::CheckComparisonCategoryType(), checkThreeWayNarrowingConversion(), clang::Comparison, clang::Sema::Context, diagnoseScopedEnums(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::getComparisonCategoryForBuiltinCmp(), clang::EnumDecl::getIntegerType(), clang::ASTContext::getPromotedIntegerType(), clang::Expr::getType(), clang::Type::hasFloatingRepresentation(), clang::ASTContext::hasSameUnqualifiedType(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::ImpCastExprToType(), int, clang::Sema::InvalidOperands(), clang::Type::isBooleanType(), clang::Type::isEnumeralType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::ASTContext::isPromotableIntegerType(), clang::Sema::OperatorInExpression, and clang::Sema::UsualArithmeticConversions().

Referenced by checkArithmeticOrEnumeralCompare().

checkBlockPointerTypesForAssignment()

AssignConvertType checkBlockPointerTypesForAssignment ( Sema & S, QualType LHSType, QualType RHSType )

static

checkBlockPointerTypesForAssignment - This routine determines whether two block pointer types are compatible or whether a block and normal pointer are compatible.

It is more restrict than comparing two function pointer

Definition at line 9209 of file SemaExpr.cpp.

References clang::cast(), clang::Compatible, clang::CompatiblePointerDiscardsQualifiers, clang::Sema::Context, clang::Sema::getLangOpts(), clang::QualType::getLocalQualifiers(), clang::ASTContext::getQualifiedType(), clang::QualType::getUnqualifiedType(), clang::IncompatibleBlockPointer, clang::QualType::isCanonical(), clang::Qualifiers::removeAddressSpace(), and clang::ASTContext::typesAreBlockPointerCompatible().

Referenced by clang::Sema::CheckAssignmentConstraints().

checkBlockType()

bool checkBlockType ( Sema & S, const Expr * E )

static

Return true if the Expr is block type.

Definition at line 8536 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Expr::getExprLoc(), clang::Expr::getType(), and clang::Type::isBlockPointerType().

Referenced by clang::Sema::CheckConditionalOperands().

CheckCommaOperands()

QualType CheckCommaOperands ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc )

static

Definition at line 14283 of file SemaExpr.cpp.

References clang::Sema::CheckPlaceholderExpr(), clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::Sema::DiagnoseCommaOperator(), clang::Sema::DiagnoseUnusedExprResult(), clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getDiagnostics(), clang::Sema::getLangOpts(), clang::Expr::getType(), clang::Sema::IgnoredValueConversions(), clang::DiagnosticsEngine::isIgnored(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isVoidType(), and clang::Sema::RequireCompleteType().

Referenced by clang::Sema::CreateBuiltinBinOp().

CheckCompleteParameterTypesForMangler()

void CheckCompleteParameterTypesForMangler ( Sema & S, FunctionDecl * FD, SourceLocation Loc )

static

Require that all of the parameter types of function be complete.

Normally, parameter types are only required to be complete when a function is called or defined, but to mangle functions with certain calling conventions, the mangler needs to know the size of the parameter list. In this situation, MSVC doesn't emit an error or instantiate templates. Instead, MSVC mangles the function as _foo@0, i.e. zero bytes of parameters, which will usually result in a linker error. Clang doesn't implement this behavior, and instead attempts to error at compile time.

Definition at line 18337 of file SemaExpr.cpp.

References clang::Type::castAs(), clang::CC_X86FastCall, clang::CC_X86StdCall, clang::CC_X86VectorCall, clang::SemaBase::Diag(), clang::NamedDecl::getDeclName(), clang::ValueDecl::getType(), clang::FunctionDecl::parameters(), clang::Sema::RequireCompleteType(), and clang::T.

Referenced by clang::Sema::MarkFunctionReferenced().

checkCondition()

bool checkCondition ( Sema & S, const Expr * Cond, SourceLocation QuestionLoc )

static

Return false if the condition expression is valid, true otherwise.

Definition at line 8092 of file SemaExpr.cpp.

References clang::Cond, clang::SemaBase::Diag(), clang::Sema::getLangOpts(), clang::Type::isFloatingType(), and clang::Type::isScalarType().

Referenced by clang::Sema::CheckConditionalOperands().

checkConditionalBlockPointerCompatibility()

QualType checkConditionalBlockPointerCompatibility ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc )

static

Return the resulting type when the operands are both block pointers.

Definition at line 8264 of file SemaExpr.cpp.

References checkConditionalPointerCompatibility(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::ASTContext::getPointerType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Sema::ImpCastExprToType(), clang::Type::isBlockPointerType(), clang::Type::isVoidPointerType(), and clang::ASTContext::VoidTy.

Referenced by clang::Sema::CheckConditionalOperands().

checkConditionalNullPointer()

bool checkConditionalNullPointer ( Sema & S, ExprResult & NullExpr, QualType PointerTy )

static

Return false if the NullExpr can be promoted to PointerTy, true otherwise.

Definition at line 8113 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::ImpCastExprToType(), clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::Expr::isNullPointerConstant(), and clang::Expr::NPC_ValueDependentIsNull.

Referenced by clang::Sema::CheckConditionalOperands().

checkConditionalObjectPointersCompatibility()

QualType checkConditionalObjectPointersCompatibility ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc )

static

Return the resulting type when the operands are both pointers.

Definition at line 8290 of file SemaExpr.cpp.

References clang::Type::castAs(), checkConditionalPointerCompatibility(), clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), getPointeeType(), clang::ASTContext::getPointerType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::Expr::getType(), clang::Sema::ImpCastExprToType(), clang::Type::isIncompleteOrObjectType(), and clang::Type::isVoidType().

Referenced by clang::Sema::CheckConditionalOperands().

checkConditionalPointerCompatibility()

QualType checkConditionalPointerCompatibility ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc )

static

Checks compatibility between two pointers and return the resulting type.

Definition at line 8126 of file SemaExpr.cpp.

References clang::Type::castAs(), clang::Sema::Context, clang::Default, clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Qualifiers::getAddressSpace(), clang::ASTContext::getAddrSpaceQualType(), clang::Type::getAs(), clang::Sema::getASTContext(), clang::ASTContext::getBlockPointerType(), clang::ASTContext::getCommonSugaredType(), clang::Qualifiers::getCVRQualifiers(), clang::Sema::getLangOpts(), clang::Type::getPointeeType(), getPointeeType(), clang::Qualifiers::getPointerAuth(), clang::ASTContext::getPointerType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::Sema::ImpCastExprToType(), clang::Qualifiers::isAddressSpaceSupersetOf(), clang::PointerAuthQualifier::isEquivalent(), clang::QualType::isNull(), clang::ASTContext::mergeTypes(), clang::Qualifiers::removeAddressSpace(), clang::Qualifiers::removeCVRQualifiers(), clang::Qualifiers::setAddressSpace(), clang::ASTContext::VoidTy, and clang::QualType::withCVRQualifiers().

Referenced by checkConditionalBlockPointerCompatibility(), and checkConditionalObjectPointersCompatibility().

CheckDeclInExpr()

bool CheckDeclInExpr ( Sema & S, SourceLocation Loc, NamedDecl * D, bool AcceptInvalid )

static

Diagnoses obvious problems with the use of the given declaration as an expression.

This is only actually called for lookups that were not overloaded, and it doesn't promise that the declaration will in fact be used.

Definition at line 3198 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::NamedDecl::getDeclName(), clang::isa(), and clang::Decl::isInvalidDecl().

Referenced by clang::Sema::BuildDeclarationNameExpr(), and clang::Sema::BuildDeclarationNameExpr().

checkDirectCallValidity()

void checkDirectCallValidity ( Sema & S, const Expr * Fn, FunctionDecl * Callee, MultiExprArg ArgExprs )

static

Definition at line 6388 of file SemaExpr.cpp.

References clang::Sema::CheckEnableIf(), clang::SemaBase::Diag(), clang::isa(), and clang::Sema::TooManyArguments().

Referenced by clang::Sema::BuildCallExpr().

CheckExtensionTraitOperandType()

bool CheckExtensionTraitOperandType ( Sema & S, QualType T, SourceLocation Loc, SourceRange ArgRange, UnaryExprOrTypeTrait TraitKind )

static

Definition at line 4208 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::getTraitSpelling(), clang::Sema::LangOpts, and clang::T.

Referenced by clang::Sema::CheckUnaryExprOrTypeTraitOperand(), and clang::Sema::CheckUnaryExprOrTypeTraitOperand().

checkForArray()

bool checkForArray ( const Expr * E )

static

Definition at line 12081 of file SemaExpr.cpp.

References clang::ValueDecl::getType(), clang::Type::isArrayType(), and clang::ValueDecl::isWeak().

Referenced by diagnoseTautologicalComparison().

CheckForModifiableLvalue()

bool CheckForModifiableLvalue ( Expr * E, SourceLocation Loc, Sema & S )

static

CheckForModifiableLvalue - Verify that E is a modifiable lvalue.

If not, emit an error and return true. If so, return false.

Definition at line 13882 of file SemaExpr.cpp.

References clang::cast(), clang::Sema::CheckShadowingDeclModification(), clang::Sema::Context, clang::SemaBase::Diag(), DiagnoseConstAssignment(), DiagnoseRecursiveConstFields(), clang::Sema::getCurMethodDecl(), clang::DeclRefExpr::getDecl(), clang::Sema::getLangOpts(), clang::ObjCMethodDecl::getSelfDecl(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::hasPlaceholderType(), clang::Expr::IgnoreParenCasts(), clang::isa(), clang::ObjCMethodDecl::isClassMethod(), clang::Expr::isModifiableLvalue(), IsReadonlyMessage(), isReferenceToNonConstCapture(), clang::Expr::MLV_ArrayTemporary, clang::Expr::MLV_ArrayType, clang::Expr::MLV_ClassTemporary, clang::Expr::MLV_ConstAddrSpace, clang::Expr::MLV_ConstQualified, clang::Expr::MLV_ConstQualifiedField, clang::Expr::MLV_DuplicateVectorComponents, clang::Expr::MLV_IncompleteType, clang::Expr::MLV_IncompleteVoidType, clang::Expr::MLV_InvalidExpression, clang::Expr::MLV_InvalidMessageExpression, clang::Expr::MLV_LValueCast, clang::Expr::MLV_MemberFunction, clang::Expr::MLV_NoSetterProperty, clang::Expr::MLV_NotObjectType, clang::Expr::MLV_SubObjCPropertySetting, clang::Expr::MLV_Valid, NCCK_Block, and clang::Sema::RequireCompleteType().

Referenced by clang::Sema::BuildVAArgExpr(), clang::Sema::CheckAssignmentOperands(), and CheckIncrementDecrementOperand().

CheckForNullPointerDereference()

void CheckForNullPointerDereference ( Sema & S, Expr * E )

static

Definition at line 551 of file SemaExpr.cpp.

References clang::Sema::Context, clang::Sema::DiagRuntimeBehavior(), clang::Expr::IgnoreParenCasts(), clang::isTargetAddressSpace(), clang::Expr::NPC_ValueDependentIsNotNull, clang::SemaBase::PDiag(), and clang::toTargetAddressSpace().

Referenced by clang::Sema::CheckAssignmentOperands(), clang::Sema::DefaultLvalueConversion(), and clang::InitializationSequence::Perform().

CheckIdentityFieldAssignment()

void CheckIdentityFieldAssignment ( Expr * LHSExpr, Expr * RHSExpr, SourceLocation Loc, Sema & Sema )

static

Definition at line 14010 of file SemaExpr.cpp.

References clang::cast(), clang::SemaBase::Diag(), clang::Type::getAs(), clang::MemberExpr::getBase(), clang::ObjCIvarRefExpr::getBase(), clang::Decl::getCanonicalDecl(), clang::DeclRefExpr::getDecl(), clang::ObjCIvarRefExpr::getDecl(), clang::Expr::getExprLoc(), clang::MemberExpr::getMemberDecl(), clang::ValueDecl::getType(), clang::Expr::IgnoreImpCasts(), clang::Sema::inTemplateInstantiation(), clang::isa(), clang::SourceLocation::isInvalid(), clang::SourceLocation::isMacroID(), clang::Sema::isUnevaluatedContext(), and clang::QualType::isVolatileQualified().

Referenced by BuildOverloadedBinOp(), and clang::Sema::CheckAssignmentOperands().

CheckIncrementDecrementOperand()

QualType CheckIncrementDecrementOperand ( Sema & S, Expr * Op, ExprValueKind & VK, ExprObjectKind & OK, SourceLocation OpLoc, bool IsInc, bool IsPrefix )

static

CheckIncrementDecrementOperand - unlike most "Check" methods, this routine doesn't need to call UsualUnaryConversions or UsualArithmeticConversions.

Definition at line 14319 of file SemaExpr.cpp.

References clang::AltiVecBool, clang::Type::castAs(), checkArithmeticIncompletePointerType(), checkArithmeticOnObjCPointer(), checkArithmeticOpPointerOperand(), CheckForModifiableLvalue(), CheckIncrementDecrementOperand(), clang::Sema::CheckPlaceholderExpr(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Type::getAs(), clang::VectorType::getElementType(), clang::Sema::getLangOpts(), clang::Expr::getObjectKind(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::VectorType::getVectorKind(), int, clang::Type::isAnyComplexType(), clang::Type::isBooleanType(), clang::Type::isEnumeralType(), clang::Type::isIntegerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::QualType::isNull(), clang::Type::isObjCObjectPointerType(), clang::Type::isPlaceholderType(), clang::Type::isPointerType(), clang::Type::isRealType(), clang::Type::isVectorType(), clang::QualType::isVolatileQualified(), clang::VK_LValue, and clang::VK_PRValue.

Referenced by CheckIncrementDecrementOperand(), and clang::Sema::CreateBuiltinUnaryOp().

CheckIndirectionOperand()

QualType CheckIndirectionOperand ( Sema & S, Expr * Op, ExprValueKind & VK, SourceLocation OpLoc, bool IsAfterAmp = false )

static

CheckIndirectionOperand - Type check unary indirection (prefix '*').

Definition at line 14788 of file SemaExpr.cpp.

References clang::Sema::CheckCompatibleReinterpretCast(), CheckIndirectionOperand(), clang::Sema::CheckPlaceholderExpr(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Type::getAs(), clang::Sema::getLangOpts(), clang::Type::getPointeeType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::Expr::IgnoreParens(), clang::isa(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Sema::isUnevaluatedContext(), clang::Sema::UsualUnaryConversions(), clang::VK_LValue, and clang::VK_PRValue.

Referenced by CheckIndirectionOperand(), and clang::Sema::CreateBuiltinUnaryOp().

checkObjCPointerIntrospection()

void checkObjCPointerIntrospection ( Sema & S, ExprResult & L, ExprResult & R, SourceLocation OpLoc )

static

Check if a bitwise-& is performed on an Objective-C pointer.

This is usually indicative of introspection within the Objective-C pointer.

Definition at line 14986 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getLangOpts(), clang::Selector::getNameForSlot(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::isa(), and clang::Type::isObjCObjectPointerType().

Referenced by clang::Sema::CreateBuiltinBinOp().

checkObjCPointerTypesForAssignment()

AssignConvertType checkObjCPointerTypesForAssignment ( Sema & S, QualType LHSType, QualType RHSType )

static

checkObjCPointerTypesForAssignment - Compares two objective-c pointer types for assignment compatibility.

Definition at line 9260 of file SemaExpr.cpp.

References clang::Type::castAs(), clang::Compatible, clang::CompatiblePointerDiscardsQualifiers, clang::Sema::Context, clang::Sema::getASTContext(), getPointeeType(), clang::IncompatibleObjCQualifiedId, clang::IncompatiblePointer, clang::QualType::isAtLeastAsQualifiedAs(), clang::QualType::isCanonical(), clang::Type::isObjCBuiltinType(), clang::Type::isObjCClassType(), clang::Type::isObjCQualifiedClassType(), clang::Type::isObjCQualifiedIdType(), and clang::ASTContext::typesAreCompatible().

Referenced by clang::Sema::CheckAssignmentConstraints().

CheckObjCTraitOperandConstraints()

bool CheckObjCTraitOperandConstraints ( Sema & S, QualType T, SourceLocation Loc, SourceRange ArgRange, UnaryExprOrTypeTrait TraitKind )

static

Definition at line 4238 of file SemaExpr.cpp.

References clang::ObjCRuntime::allowsSizeofAlignof(), clang::SemaBase::Diag(), clang::Sema::LangOpts, clang::LangOptions::ObjCRuntime, and clang::T.

Referenced by clang::Sema::CheckUnaryExprOrTypeTraitOperand(), and clang::Sema::CheckUnaryExprOrTypeTraitOperand().

checkOpenCLConditionVector()

bool checkOpenCLConditionVector ( Sema & S, Expr * Cond, SourceLocation QuestionLoc )

static

Return false if this is a valid OpenCL condition vector.

Definition at line 8448 of file SemaExpr.cpp.

References clang::Cond, clang::SemaBase::Diag(), clang::VectorType::getElementType(), and clang::Type::isIntegerType().

Referenced by OpenCLCheckVectorConditional().

checkPointerIntegerMismatch()

bool checkPointerIntegerMismatch ( Sema & S, ExprResult & Int, Expr * PointerExpr, SourceLocation Loc, bool IsIntFirstExpr )

static

Return false if the first expression is not an integer and the second expression is not a pointer, true otherwise.

Definition at line 8329 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Sema::ImpCastExprToType(), and clang::Type::isPointerType().

Referenced by clang::Sema::CheckConditionalOperands().

checkPointerTypesForAssignment()

AssignConvertType checkPointerTypesForAssignment ( Sema & S, QualType LHSType, QualType RHSType, SourceLocation Loc )

static

Definition at line 9040 of file SemaExpr.cpp.

References clang::cast(), clang::Compatible, clang::CompatiblePointerDiscardsQualifiers, clang::CompatibleVoidPtrToNonVoidPtr, clang::Qualifiers::compatiblyIncludes(), clang::Qualifiers::compatiblyIncludesObjCLifetime(), clang::Sema::Context, clang::Sema::Diags, clang::FunctionVoidPointer, clang::Qualifiers::getAddressSpace(), clang::Sema::getASTContext(), clang::ASTContext::getCorrespondingUnsignedType(), clang::Sema::getLangOpts(), clang::Qualifiers::getObjCLifetime(), clang::Qualifiers::getPointerAuth(), clang::Type::hasSignedIntegerRepresentation(), clang::IncompatibleFunctionPointer, clang::IncompatibleFunctionPointerStrict, clang::IncompatibleNestedPointerQualifiers, clang::IncompatiblePointer, clang::IncompatiblePointerDiscardsQualifiers, clang::IncompatiblePointerSign, clang::isa(), clang::Qualifiers::isAddressSpaceSupersetOf(), clang::Sema::IsAssignConvertCompatible(), clang::QualType::isCanonical(), clang::Type::isCharType(), clang::PointerAuthQualifier::isEquivalent(), clang::Sema::IsFunctionConversion(), clang::Type::isFunctionPointerType(), clang::Type::isFunctionType(), clang::DiagnosticsEngine::isIgnored(), clang::Type::isIncompleteOrObjectType(), IsInvalidCmseNSCallConversion(), clang::Sema::IsInvalidSMECallConversion(), clang::Type::isVoidType(), clang::Qualifiers::removeObjCLifetime(), clang::Sema::TryFunctionConversion(), clang::ASTContext::typesAreCompatible(), clang::ASTContext::UnsignedCharTy, clang::Qualifiers::withoutObjCGCAttr(), and clang::Qualifiers::withoutObjCLifetime().

Referenced by clang::Sema::CheckAssignmentConstraints(), and clang::Sema::CheckSingleAssignmentConstraints().

checkPtrAuthTypeDiscriminatorOperandType()

bool checkPtrAuthTypeDiscriminatorOperandType ( Sema & S, QualType T, SourceLocation Loc, SourceRange ArgRange )

static

Definition at line 4193 of file SemaExpr.cpp.

References clang::Sema::checkPointerAuthEnabled(), clang::SemaBase::Diag(), and clang::T.

Referenced by clang::Sema::CheckUnaryExprOrTypeTraitOperand().

CheckRealImagOperand()

QualType CheckRealImagOperand ( Sema & S, ExprResult & V, SourceLocation Loc, bool IsReal )

static

Definition at line 4795 of file SemaExpr.cpp.

References clang::Sema::CheckPlaceholderExpr(), CheckRealImagOperand(), clang::Sema::Context, clang::Sema::DefaultLvalueConversion(), clang::ASTContext::DependentTy, clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::OK_Ordinary, and V.

Referenced by CheckRealImagOperand(), and clang::Sema::CreateBuiltinUnaryOp().

checkSizelessVectorShift()

QualType checkSizelessVectorShift ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc, bool IsCompAssign )

static

Definition at line 11726 of file SemaExpr.cpp.

References clang::Type::castAs(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ASTContext::BuiltinVectorTypeInfo::EC, clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getASTContext(), clang::ASTContext::getBuiltinVectorTypeInfo(), clang::ASTContext::getScalableVectorType(), clang::Stmt::getSourceRange(), clang::Type::getSveEltType(), clang::Expr::getType(), clang::ASTContext::getTypeSize(), clang::Sema::ImpCastExprToType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::BuiltinType::isSVEBool(), clang::Type::isSveVLSBuiltinType(), and clang::Sema::UsualUnaryConversions().

Referenced by clang::Sema::CheckShiftOperands().

CheckSufficientAllocSize()

void CheckSufficientAllocSize ( Sema & S, QualType DestType, const Expr * E )

static

Check that a call to alloc_size function specifies sufficient space for the destination type.

Definition at line 7836 of file SemaExpr.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::CharUnits::fromQuantity(), clang::Expr::getExprLoc(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::ASTContext::getTypeSizeInCharsIfKnown(), clang::Expr::IgnoreParenCasts(), clang::Type::isFunctionType(), clang::Type::isPointerType(), and clang::CharUnits::One().

Referenced by clang::Sema::ActOnCastExpr(), and clang::Sema::CheckSingleAssignmentConstraints().

checkThreeWayNarrowingConversion()

bool checkThreeWayNarrowingConversion ( Sema & S, QualType ToType, Expr * E, QualType FromType, SourceLocation Loc )

static

Definition at line 12326 of file SemaExpr.cpp.

References castKindToImplicitConversionKind(), clang::Sema::Context, clang::SemaBase::Diag(), clang::APValue::getAsString(), clang::Stmt::getBeginLoc(), clang::StandardConversionSequence::getNarrowingKind(), clang::NK_Constant_Narrowing, clang::NK_Dependent_Narrowing, clang::NK_Not_Narrowing, clang::NK_Type_Narrowing, clang::NK_Variable_Narrowing, clang::StandardConversionSequence::Second, clang::StandardConversionSequence::setAsIdentityConversion(), and clang::StandardConversionSequence::setToType().

Referenced by checkArithmeticOrEnumeralThreeWayCompare().

CheckUnicodeArithmeticConversions()

void CheckUnicodeArithmeticConversions ( Sema & SemaRef, Expr * LHS, Expr * RHS, SourceLocation Loc, ArithConvKind ACK )

static

Definition at line 1566 of file SemaExpr.cpp.

References clang::Comparison, clang::SemaBase::Diag(), clang::Expr::EvaluateAsInt(), clang::FormatUTFCodeUnitAsCodepoint(), clang::Sema::getASTContext(), clang::APValue::getInt(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::Sema::isConstantEvaluatedContext(), clang::Type::isUnicodeCharacterType(), clang::Expr::SE_AllowSideEffects, clang::T, and clang::Expr::EvalResult::Val.

Referenced by clang::Sema::UsualArithmeticConversions().

CheckVecStepTraitOperandType()

bool CheckVecStepTraitOperandType ( Sema & S, QualType T, SourceLocation Loc, SourceRange ArgRange )

static

Definition at line 4163 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), and clang::T.

Referenced by clang::Sema::CheckUnaryExprOrTypeTraitOperand(), and clang::Sema::CheckUnaryExprOrTypeTraitOperand().

CheckVectorElementsTraitOperandType()

bool CheckVectorElementsTraitOperandType ( Sema & S, QualType T, SourceLocation Loc, SourceRange ArgRange )

static

Definition at line 4181 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), and clang::T.

Referenced by clang::Sema::CheckUnaryExprOrTypeTraitOperand(), and clang::Sema::CheckUnaryExprOrTypeTraitOperand().

checkVectorResult()

bool checkVectorResult ( Sema & S, QualType CondTy, QualType VecResTy, SourceLocation QuestionLoc )

static

Return false if the vector condition type and the vector result type are compatible.

OpenCL v1.1 s6.11.6 requires that both vector types have the same number of elements, and their element types have the same number of bits.

Definition at line 8468 of file SemaExpr.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Type::getAs(), clang::VectorType::getElementType(), clang::VectorType::getNumElements(), clang::ASTContext::getTypeSize(), clang::Type::isBooleanType(), and clang::Sema::LangOpts.

Referenced by OpenCLCheckVectorConditional().

checkVectorShift()

QualType checkVectorShift ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc, bool IsCompAssign )

static

Return the resulting type when a vector is shifted by a scalar or vector shift amount.

Definition at line 11632 of file SemaExpr.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Type::getAs(), clang::VectorType::getElementType(), clang::ASTContext::getExtVectorType(), clang::VectorType::getNumElements(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::getTypeSize(), clang::Sema::ImpCastExprToType(), clang::Type::isExtVectorBoolType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isVectorType(), clang::Sema::LangOpts, and clang::Sema::UsualUnaryConversions().

Referenced by clang::Sema::CheckShiftOperands().

computeConditionalNullability()

QualType computeConditionalNullability ( QualType ResTy, bool IsBin, QualType LHSTy, QualType RHSTy, ASTContext & Ctx )

static

Compute the nullability of a conditional expression.

Definition at line 8873 of file SemaExpr.cpp.

References clang::ASTContext::getAttributedType(), clang::Type::getNullability(), clang::QualType::getSingleStepDesugaredType(), clang::Type::isAnyPointerType(), clang::NonNull, clang::Nullable, clang::NullableResult, and clang::Unspecified.

Referenced by clang::Sema::ActOnConditionalOp().

ConstructTransparentUnion()

void ConstructTransparentUnion ( Sema & S, ASTContext & C, ExprResult & EResult, QualType UnionType, FieldDecl * Field )

static

Constructs a transparent union from an expression that is used to initialize the transparent union.

Definition at line 9709 of file SemaExpr.cpp.

References clang::C, clang::ActionResult< PtrTy, Compress >::get(), clang::Initializer, and clang::VK_PRValue.

Referenced by clang::Sema::CheckTransparentUnionArgumentConstraints().

convertHalfVecBinOp()

ExprResult convertHalfVecBinOp ( Sema & S, ExprResult LHS, ExprResult RHS, BinaryOperatorKind Opc, QualType ResultTy, ExprValueKind VK, ExprObjectKind OK, bool IsCompAssign, SourceLocation OpLoc, FPOptionsOverride FPFeatures )

static

Definition at line 15030 of file SemaExpr.cpp.

References clang::Type::castAs(), convertVector(), clang::BinaryOperator::Create(), clang::CompoundAssignOperator::Create(), clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getASTContext(), clang::VectorType::getElementType(), clang::Sema::GetSignedVectorType(), clang::Expr::getType(), and isVector().

Referenced by clang::Sema::CreateBuiltinBinOp().

convertPointersToCompositeType()

bool convertPointersToCompositeType ( Sema & S, SourceLocation Loc, ExprResult & LHS, ExprResult & RHS )

static

Returns false if the pointers are converted to a composite type, true otherwise.

Definition at line 11890 of file SemaExpr.cpp.

References diagnoseDistinctPointerComparison(), clang::Sema::FindCompositePointerType(), clang::ActionResult< PtrTy, Compress >::get(), clang::Expr::getType(), clang::Sema::InvalidOperands(), clang::Type::isAnyPointerType(), clang::Type::isMemberPointerType(), clang::Type::isPointerType(), and clang::T.

Referenced by clang::Sema::CheckCompareOperands().

ConvertTokenKindToUnaryOpcode()

UnaryOperatorKind ConvertTokenKindToUnaryOpcode ( tok::TokenKind Kind )

inlinestatic

Definition at line 14888 of file SemaExpr.cpp.

Referenced by clang::Sema::ActOnUnaryOp().

ConvertUTF8ToWideString()

void ConvertUTF8ToWideString ( unsigned CharByteWidth, StringRef Source, SmallString< 32 > & Target )

static

Definition at line 3511 of file SemaExpr.cpp.

Referenced by clang::Sema::BuildPredefinedExpr().

convertVector()

ExprResult convertVector ( Expr * E, QualType ElementType, Sema & S )

static

Convert vector E to a vector with the same number of elements but different element type.

Definition at line 10129 of file SemaExpr.cpp.

References clang::Sema::Context, clang::Type::getAs(), clang::ASTContext::getExtVectorType(), clang::Expr::getType(), clang::ASTContext::getVectorType(), clang::Sema::ImpCastExprToType(), clang::Type::isExtVectorType(), and clang::Type::isIntegerType().

Referenced by convertHalfVecBinOp(), and clang::Sema::CreateBuiltinUnaryOp().

DetectPrecisionLossInComplexDivision()

void DetectPrecisionLossInComplexDivision ( Sema & S, QualType DivisorTy, SourceLocation OpLoc )

static

Definition at line 10712 of file SemaExpr.cpp.

References clang::LangOptionsBase::CX_Promoted, clang::Sema::ExcessPrecisionNotSatisfied, clang::Type::getAs(), clang::Sema::getASTContext(), clang::ASTContext::getFloatTypeSemantics(), clang::ASTContext::GetHigherPrecisionFPType(), clang::Sema::getLangOpts(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::hasLongDoubleType(), clang::Type::isFloatingType(), clang::SourceLocation::isValid(), clang::Sema::LocationOfExcessPrecisionNotSatisfied, clang::ASTContext::LongDoubleTy, and clang::Num.

Referenced by clang::Sema::CheckMultiplyDivideOperands().

DiagnoseAdditionInShift()

void DiagnoseAdditionInShift ( Sema & S, SourceLocation OpLoc, Expr * SubExpr, StringRef Shift )

static

Definition at line 15482 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::SemaBase::PDiag(), and SuggestParentheses().

Referenced by DiagnoseBinOpPrecedence().

diagnoseAddressOfInvalidType()

void diagnoseAddressOfInvalidType ( Sema & S, SourceLocation Loc, Expr * E, unsigned Type )

static

Diagnose invalid operand for address of operations.

Parameters

Type	The type of operand which cannot have its address taken.

Definition at line 14481 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), and clang::Stmt::getSourceRange().

Referenced by clang::Sema::CheckAddressOfOperand().

diagnoseArithmeticOnFunctionPointer()

void diagnoseArithmeticOnFunctionPointer ( Sema & S, SourceLocation Loc, Expr * Pointer )

static

Diagnose invalid arithmetic on a function pointer.

Definition at line 11029 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Sema::getLangOpts(), and Pointer.

Referenced by checkArithmeticBinOpPointerOperands(), and checkArithmeticOpPointerOperand().

diagnoseArithmeticOnNullPointer()

void diagnoseArithmeticOnNullPointer ( Sema & S, SourceLocation Loc, Expr * Pointer, bool IsGNUIdiom )

static

Diagnose invalid arithmetic on a null pointer.

If IsGNUIdiom is true, the operation is using the 'p = (i8*)nullptr + n' idiom, which we recognize as a GNU extension.

Definition at line 10984 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Sema::getLangOpts(), and Pointer.

Referenced by clang::Sema::CheckAdditionOperands(), and clang::Sema::CheckSubtractionOperands().

diagnoseArithmeticOnTwoFunctionPointers()

void diagnoseArithmeticOnTwoFunctionPointers ( Sema & S, SourceLocation Loc, Expr * LHS, Expr * RHS )

static

Diagnose invalid arithmetic on two function pointers.

Definition at line 11013 of file SemaExpr.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::getLangOpts(), clang::Type::getPointeeType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), and clang::Type::isAnyPointerType().

Referenced by checkArithmeticBinOpPointerOperands().

diagnoseArithmeticOnTwoVoidPointers()

void diagnoseArithmeticOnTwoVoidPointers ( Sema & S, SourceLocation Loc, Expr * LHSExpr, Expr * RHSExpr )

static

Diagnose invalid arithmetic on two void pointers.

Definition at line 10961 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Sema::getLangOpts(), and clang::Stmt::getSourceRange().

Referenced by checkArithmeticBinOpPointerOperands().

diagnoseArithmeticOnVoidPointer()

void diagnoseArithmeticOnVoidPointer ( Sema & S, SourceLocation Loc, Expr * Pointer )

static

Diagnose invalid arithmetic on a void pointer.

Definition at line 10971 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Sema::getLangOpts(), and Pointer.

Referenced by checkArithmeticBinOpPointerOperands(), and checkArithmeticOpPointerOperand().

DiagnoseBadDivideOrRemainderValues()

void DiagnoseBadDivideOrRemainderValues ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc, bool IsDiv )

static

Definition at line 10799 of file SemaExpr.cpp.

References clang::Sema::Context, clang::Sema::DiagRuntimeBehavior(), clang::Expr::EvaluateAsInt(), clang::ActionResult< PtrTy, Compress >::get(), clang::APValue::getInt(), clang::Stmt::getSourceRange(), clang::Expr::isValueDependent(), clang::SemaBase::PDiag(), and clang::Expr::EvalResult::Val.

Referenced by clang::Sema::CheckMultiplyDivideOperands(), and clang::Sema::CheckRemainderOperands().

DiagnoseBadShiftValues()

void DiagnoseBadShiftValues ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc, BinaryOperatorKind Opc, QualType LHSType )

static

Definition at line 11527 of file SemaExpr.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::DiagRuntimeBehavior(), clang::Expr::EvaluateAsInt(), clang::ActionResult< PtrTy, Compress >::get(), clang::ASTContext::getFixedPointSemantics(), clang::APValue::getInt(), clang::ASTContext::getIntWidth(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::getTypeSize(), clang::Type::hasUnsignedIntegerRepresentation(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isBitIntType(), clang::Type::isBooleanType(), clang::Type::isFixedPointType(), clang::LangOptions::isSignedOverflowDefined(), clang::Expr::isValueDependent(), clang::SemaBase::PDiag(), and clang::Expr::EvalResult::Val.

Referenced by clang::Sema::CheckShiftOperands().

DiagnoseBinOpPrecedence()

void DiagnoseBinOpPrecedence ( Sema & Self, BinaryOperatorKind Opc, SourceLocation OpLoc, Expr * LHSExpr, Expr * RHSExpr )

static

DiagnoseBinOpPrecedence - Emit warnings for expressions with tricky precedence.

Definition at line 15524 of file SemaExpr.cpp.

References DiagnoseAdditionInShift(), DiagnoseBitwiseOpInBitwiseOp(), DiagnoseBitwisePrecedence(), DiagnoseLogicalAndInLogicalOrLHS(), DiagnoseLogicalAndInLogicalOrRHS(), DiagnoseShiftCompare(), clang::BinaryOperator::getOpcodeStr(), clang::Expr::getType(), clang::BinaryOperator::isBitwiseOp(), clang::BinaryOperator::isComparisonOp(), clang::Type::isIntegralType(), clang::SourceLocation::isMacroID(), and clang::Self.

Referenced by clang::Sema::ActOnBinOp().

DiagnoseBitwiseOpInBitwiseOp()

void DiagnoseBitwiseOpInBitwiseOp ( Sema & S, BinaryOperatorKind Opc, SourceLocation OpLoc, Expr * SubExpr )

static

Look for bitwise op in the left or right hand of a bitwise op with lower precedence and emit a diagnostic together with a fixit hint that wraps the '&' expression in parentheses.

Definition at line 15467 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::BinaryOperator::getOpcodeStr(), clang::SemaBase::PDiag(), and SuggestParentheses().

Referenced by DiagnoseBinOpPrecedence().

DiagnoseBitwisePrecedence()

void DiagnoseBitwisePrecedence ( Sema & Self, BinaryOperatorKind Opc, SourceLocation OpLoc, Expr * LHSExpr, Expr * RHSExpr )

static

DiagnoseBitwisePrecedence - Emit a warning when bitwise and comparison operators are mixed in a way that suggests that the programmer forgot that comparison operators have higher precedence.

The most typical example of such code is "flags & 0x0020 != 0", which is equivalent to "flags & 1".

Definition at line 15376 of file SemaExpr.cpp.

References clang::Stmt::getBeginLoc(), clang::Stmt::getEndLoc(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcodeStr(), clang::BinaryOperator::getOpcodeStr(), clang::BinaryOperator::getRHS(), clang::BinaryOperator::isBitwiseOp(), clang::BinaryOperator::isComparisonOp(), clang::Self, and SuggestParentheses().

Referenced by DiagnoseBinOpPrecedence().

DiagnoseCalleeStaticArrayParam()

void DiagnoseCalleeStaticArrayParam ( Sema & S, ParmVarDecl * PVD )

static

Definition at line 6141 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::TypeLoc::getAs(), clang::Decl::getLocation(), clang::TypeSourceInfo::getTypeLoc(), and clang::DeclaratorDecl::getTypeSourceInfo().

Referenced by clang::Sema::CheckStaticArrayArgument().

DiagnoseConditionalPrecedence()

void DiagnoseConditionalPrecedence ( Sema & Self, SourceLocation OpLoc, Expr * Condition, const Expr * LHSExpr, const Expr * RHSExpr )

static

DiagnoseConditionalPrecedence - Emit a warning when a conditional operator and binary operator are mixed in a way that suggests the programmer assumed the conditional operator has higher precedence, for example: "int x = a + someBinaryCondition ? 1 : 2".

Definition at line 8839 of file SemaExpr.cpp.

References clang::Condition, ExprLooksBoolean(), clang::Stmt::getBeginLoc(), clang::Stmt::getEndLoc(), clang::BinaryOperator::getOpcodeStr(), clang::BinaryOperator::getOpcodeStr(), IsArithmeticBinaryExpr(), clang::BinaryOperator::isBitwiseOp(), clang::Self, and SuggestParentheses().

Referenced by clang::Sema::ActOnConditionalOp().

DiagnoseConstAssignment()

void DiagnoseConstAssignment ( Sema & S, const Expr * E, SourceLocation Loc )

static

Emit the "read-only variable not assignable" error and print notes to give more information about why the variable is not assignable, such as pointing to the declaration of a const variable, showing that a method is const, or that the function is returning a const reference.

Definition at line 13691 of file SemaExpr.cpp.

References ConstFunction, ConstMember, ConstMethod, ConstUnknown, ConstVariable, clang::SemaBase::Diag(), clang::SourceRange::getBegin(), clang::Sema::getFunctionLevelDeclContext(), clang::Decl::getLocation(), clang::FunctionDecl::getReturnType(), clang::FunctionDecl::getReturnTypeSourceRange(), clang::Stmt::getSourceRange(), clang::Expr::IgnoreImplicit(), clang::Expr::IgnoreParenImpCasts(), clang::isa(), and IsTypeModifiable().

Referenced by CheckForModifiableLvalue(), and DiagnoseRecursiveConstFields().

DiagnoseDirectIsaAccess()

void DiagnoseDirectIsaAccess ( Sema & S, const ObjCIvarRefExpr * OIRE, SourceLocation AssignLoc, const Expr * RHS )

static

Definition at line 576 of file SemaExpr.cpp.

References clang::Sema::Context, clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::IdentifierTable::get(), clang::DeclarationName::getAsIdentifierInfo(), clang::ObjCIvarRefExpr::getBase(), clang::ObjCIvarRefExpr::getBeginLoc(), clang::ObjCIvarRefExpr::getDecl(), clang::NamedDecl::getDeclName(), clang::ObjCIvarRefExpr::getEndLoc(), clang::Stmt::getEndLoc(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), clang::ObjCIvarRefExpr::getLocation(), clang::Sema::getLocForEndOfToken(), clang::ObjCIvarRefExpr::getOpLoc(), clang::ObjCInterfaceDecl::getSuperClass(), clang::ASTContext::Idents, clang::ObjCIvarRefExpr::isArrow(), clang::ObjCInterfaceDecl::ivar_begin(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupSingleName(), clang::Member, and clang::Sema::TUScope.

Referenced by clang::Sema::CreateBuiltinBinOp(), and clang::Sema::DefaultLvalueConversion().

diagnoseDistinctPointerComparison()

void diagnoseDistinctPointerComparison ( Sema & S, SourceLocation Loc, ExprResult & LHS, ExprResult & RHS, bool IsError )

static

Diagnose bad pointer comparisons.

Definition at line 11879 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getSourceRange(), and clang::Expr::getType().

Referenced by clang::Sema::CheckCompareOperands(), and convertPointersToCompositeType().

DiagnoseDivisionSizeofPointerOrArray()

void DiagnoseDivisionSizeofPointerOrArray ( Sema & S, Expr * LHS, Expr * RHS, SourceLocation Loc )

static

Definition at line 10751 of file SemaExpr.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::ASTContext::getAsArrayType(), clang::ASTContext::getBaseElementType(), clang::Type::getPointeeType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::getTypeSize(), clang::ASTContext::hasSameUnqualifiedType(), clang::Expr::IgnoreParens(), clang::Type::isCharType(), clang::Type::isDependentType(), clang::Type::isPointerType(), and clang::Type::isReferenceType().

Referenced by clang::Sema::CheckMultiplyDivideOperands().

DiagnosedUnqualifiedCallsToStdFunctions()

void DiagnosedUnqualifiedCallsToStdFunctions ( Sema & S, const CallExpr * Call )

static

Definition at line 6498 of file SemaExpr.cpp.

References clang::Call, clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::FunctionDecl::getBuiltinID(), clang::DeclRefExpr::getLocation(), clang::NamedDecl::getQualifiedNameAsString(), clang::DeclRefExpr::getQualifier(), clang::isa(), and clang::SourceLocation::isValid().

Referenced by clang::Sema::ActOnCallExpr().

diagnoseFunctionPointerToVoidComparison()

void diagnoseFunctionPointerToVoidComparison ( Sema & S, SourceLocation Loc, ExprResult & LHS, ExprResult & RHS, bool IsError )

static

Definition at line 11919 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getSourceRange(), and clang::Expr::getType().

Referenced by clang::Sema::CheckCompareOperands().

DiagnoseLogicalAndInLogicalOrLHS()

void DiagnoseLogicalAndInLogicalOrLHS ( Sema & S, SourceLocation OpLoc, Expr * LHSExpr, Expr * RHSExpr )

static

Look for '&&' in the left hand of a '||' expr.

Definition at line 15431 of file SemaExpr.cpp.

References EmitDiagnosticForLogicalAndInLogicalOr(), and clang::isa().

Referenced by DiagnoseBinOpPrecedence().

DiagnoseLogicalAndInLogicalOrRHS()

void DiagnoseLogicalAndInLogicalOrRHS ( Sema & S, SourceLocation OpLoc, Expr * LHSExpr, Expr * RHSExpr )

static

Look for '&&' in the right hand of a '||' expr.

Definition at line 15452 of file SemaExpr.cpp.

References EmitDiagnosticForLogicalAndInLogicalOr(), and clang::isa().

Referenced by DiagnoseBinOpPrecedence().

diagnoseLogicalNotOnLHSofCheck()

void diagnoseLogicalNotOnLHSofCheck ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation Loc, BinaryOperatorKind Opc )

static

Warns on !x < y, !x & y where !(x < y), !(x & y) was probably intended.

Definition at line 12039 of file SemaExpr.cpp.

References clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::Stmt::getEndLoc(), clang::Sema::getLocForEndOfToken(), clang::UnaryOperator::getOpcode(), clang::UnaryOperator::getOperatorLoc(), clang::UnaryOperator::getSubExpr(), clang::Expr::IgnoreImpCasts(), clang::SourceLocation::isInvalid(), and clang::Expr::isKnownToHaveBooleanValue().

Referenced by clang::Sema::CheckBitwiseOperands(), and clang::Sema::CheckCompareOperands().

diagnoseObjCLiteralComparison()

void diagnoseObjCLiteralComparison ( Sema & S, SourceLocation Loc, ExprResult & LHS, ExprResult & RHS, BinaryOperator::Opcode Opc )

static

Definition at line 11989 of file SemaExpr.cpp.

References clang::SemaObjC::CheckLiteralKind(), clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getASTContext(), clang::Stmt::getBeginLoc(), clang::CharSourceRange::getCharRange(), clang::Stmt::getEndLoc(), clang::Sema::getLocForEndOfToken(), hasIsEqualMethod(), clang::BinaryOperator::isEqualityOp(), isObjCObjectLiteral(), clang::SemaObjC::LK_Block, clang::SemaObjC::LK_None, clang::SemaObjC::LK_String, clang::Expr::NPC_ValueDependentIsNotNull, clang::Sema::ObjC(), and clang::Other.

Referenced by clang::Sema::CheckCompareOperands().

diagnosePointerIncompatibility()

void diagnosePointerIncompatibility ( Sema & S, SourceLocation Loc, Expr * LHSExpr, Expr * RHSExpr )

static

Emit error when two pointers are incompatible.

Definition at line 11232 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Stmt::getSourceRange(), clang::Expr::getType(), and clang::Type::isAnyPointerType().

Referenced by clang::Sema::CheckSubtractionOperands().

DiagnoseRecursiveConstFields() [1/2]

void DiagnoseRecursiveConstFields ( Sema & S, const Expr * E, SourceLocation Loc )

static

Emit an error for the case where a record we are trying to assign to has a const-qualified field somewhere in its hierarchy.

Definition at line 13859 of file SemaExpr.cpp.

References DiagnoseConstAssignment(), DiagnoseRecursiveConstFields(), clang::Type::getAsCanonical(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::isRecordType(), OEK_LValue, OEK_Member, and OEK_Variable.

DiagnoseRecursiveConstFields() [2/2]

void DiagnoseRecursiveConstFields ( Sema & S, const ValueDecl * VD, const RecordType * Ty, SourceLocation Loc, SourceRange Range, OriginalExprKind OEK, bool & DiagnosticEmitted )

static

Definition at line 13816 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Type::getAsCanonical(), clang::QualType::getCanonicalType(), getDefinitionOrSelf(), clang::QualType::isConstQualified(), and NestedConstMember.

Referenced by CheckForModifiableLvalue(), and DiagnoseRecursiveConstFields().

diagnoseScopedEnums()

void diagnoseScopedEnums ( Sema & S, const SourceLocation Loc, const ExprResult & LHS, const ExprResult & RHS, BinaryOperatorKind Opc )

static

Definition at line 10812 of file SemaExpr.cpp.

References clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::ast_matchers::expr, clang::ActionResult< PtrTy, Compress >::get(), clang::Expr::getType(), clang::BinaryOperator::isAssignmentOp(), clang::Type::isIntegralOrUnscopedEnumerationType(), clang::Type::isScopedEnumeralType(), clang::ActionResult< PtrTy, Compress >::isUsable(), and clang::ast_matchers::type.

Referenced by clang::Sema::CheckAdditionOperands(), checkArithmeticOrEnumeralCompare(), checkArithmeticOrEnumeralThreeWayCompare(), clang::Sema::CheckBitwiseOperands(), clang::Sema::CheckLogicalOperands(), clang::Sema::CheckMultiplyDivideOperands(), clang::Sema::CheckRemainderOperands(), clang::Sema::CheckShiftOperands(), and clang::Sema::CheckSubtractionOperands().

DiagnoseSelfAssignment()

void DiagnoseSelfAssignment ( Sema & S, Expr * LHSExpr, Expr * RHSExpr, SourceLocation OpLoc, bool IsBuiltin )

static

DiagnoseSelfAssignment - Emits a warning if a value is assigned to itself.

This warning suppressed in the event of macro expansions.

Definition at line 14944 of file SemaExpr.cpp.

References clang::cast(), clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), Diag(), clang::Type::getAs(), clang::DeclRefExpr::getBeginLoc(), clang::Decl::getCanonicalDecl(), clang::DeclRefExpr::getDecl(), clang::DeclRefExpr::getLocation(), clang::Sema::getSelfAssignmentClassMemberCandidate(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::inTemplateInstantiation(), clang::SourceLocation::isInvalid(), clang::SourceLocation::isMacroID(), clang::Sema::isUnevaluatedContext(), and clang::QualType::isVolatileQualified().

Referenced by BuildOverloadedBinOp(), and clang::Sema::CreateBuiltinBinOp().

DiagnoseShiftCompare()

void DiagnoseShiftCompare ( Sema & S, SourceLocation OpLoc, Expr * LHSExpr, Expr * RHSExpr )

static

Definition at line 15496 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::Stmt::getBeginLoc(), clang::CallExpr::getDirectCallee(), clang::Stmt::getEndLoc(), clang::CXXOperatorCallExpr::getOperatorLoc(), clang::FunctionDecl::getOverloadedOperator(), clang::CXXOperatorCallExpr::getSourceRange(), clang::Stmt::getSourceRange(), clang::FunctionDecl::isOverloadedOperator(), clang::SemaBase::PDiag(), and SuggestParentheses().

Referenced by DiagnoseBinOpPrecedence().

diagnoseStringPlusChar()

void diagnoseStringPlusChar ( Sema & Self, SourceLocation OpLoc, Expr * LHSExpr, Expr * RHSExpr )

static

Emit a warning when adding a char literal to a string.

Definition at line 11181 of file SemaExpr.cpp.

References clang::ASTContext::CharTy, clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateReplacement(), clang::Stmt::getBeginLoc(), clang::ASTContext::getCharWidth(), clang::Stmt::getEndLoc(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::CharacterLiteral::getValue(), clang::Expr::IgnoreImpCasts(), clang::isa(), clang::Type::isAnyCharacterType(), clang::Type::isAnyPointerType(), clang::Type::isIntegerType(), and clang::Self.

Referenced by clang::Sema::CheckAdditionOperands().

diagnoseStringPlusInt()

void diagnoseStringPlusInt ( Sema & Self, SourceLocation OpLoc, Expr * LHSExpr, Expr * RHSExpr )

static

diagnoseStringPlusInt - Emit a warning when adding an integer to a string literal.

Definition at line 11151 of file SemaExpr.cpp.

References clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateReplacement(), clang::Stmt::getBeginLoc(), clang::Stmt::getEndLoc(), clang::Expr::getType(), clang::Expr::IgnoreImpCasts(), clang::Type::isIntegralOrUnscopedEnumerationType(), clang::Expr::isValueDependent(), and clang::Self.

Referenced by clang::Sema::CheckAdditionOperands().

diagnoseSubtractionOnNullPointer()

void diagnoseSubtractionOnNullPointer ( Sema & S, SourceLocation Loc, Expr * Pointer, bool BothNull )

static

Diagnose invalid subraction on a null pointer.

Definition at line 10996 of file SemaExpr.cpp.

References clang::Sema::DiagRuntimeBehavior(), clang::Sema::Diags, clang::Sema::getLangOpts(), clang::DiagnosticsEngine::getSuppressSystemWarnings(), clang::SourceManager::isInSystemMacro(), clang::SemaBase::PDiag(), Pointer, and clang::Sema::SourceMgr.

Referenced by clang::Sema::CheckSubtractionOperands().

diagnoseTautologicalComparison()

void diagnoseTautologicalComparison ( Sema & S, SourceLocation Loc, Expr * LHS, Expr * RHS, BinaryOperatorKind Opc )

static

Diagnose some forms of syntactically-obvious tautological comparison.

Definition at line 12140 of file SemaExpr.cpp.

References checkForArray(), clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::DiagRuntimeBehavior(), clang::Stmt::getBeginLoc(), clang::Sema::getDiagnostics(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::hasFloatingRepresentation(), clang::Expr::IgnoreParenCasts(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::inTemplateInstantiation(), clang::isa(), clang::Type::isArrayType(), clang::Type::isBlockPointerType(), clang::BinaryOperator::isEqualityOp(), clang::DiagnosticsEngine::isIgnored(), clang::SourceLocation::isMacroID(), clang::Expr::isNullPointerConstant(), clang::Expr::isSameComparisonOperand(), isTautologicalBoundsCheck(), clang::Type::isWebAssemblyTableType(), clang::Expr::NPC_ValueDependentIsNull, and clang::SemaBase::PDiag().

Referenced by clang::Sema::CheckCompareOperands(), clang::Sema::CheckSizelessVectorCompareOperands(), and clang::Sema::CheckVectorCompareOperands().

diagnoseUncapturableValueReferenceOrBinding()

void diagnoseUncapturableValueReferenceOrBinding ( Sema & S, SourceLocation loc, ValueDecl * var )

static

Definition at line 18783 of file SemaExpr.cpp.

References clang::cast(), clang::Sema::CurContext, clang::SemaBase::Diag(), clang::Sema::getLangOpts(), clang::DeclContext::getParent(), clang::isa(), and clang::DeclContext::isFunctionOrMethod().

Referenced by getParentOfCapturingContextOrNull(), isVariableCapturable(), and clang::Sema::tryCaptureVariable().

diagnoseUnknownAnyExpr()

ExprResult diagnoseUnknownAnyExpr ( Sema & S, Expr * E )

static

Definition at line 21298 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::ExprError(), clang::Expr::getExprLoc(), clang::Stmt::getSourceRange(), and clang::Expr::IgnoreParenImpCasts().

Referenced by clang::Sema::CheckPlaceholderExpr().

DiagnoseUnusedOfDecl()

void DiagnoseUnusedOfDecl ( Sema & S, NamedDecl * D, SourceLocation Loc )

static

Definition at line 109 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Decl::getAttr(), clang::SemaObjC::getCurObjCLexicalContext(), clang::Decl::hasAttr(), and clang::Sema::ObjC().

Referenced by clang::Sema::DiagnoseUseOfDecl().

diagnoseUseOfInternalDeclInInlineFunction()

void diagnoseUseOfInternalDeclInInlineFunction ( Sema & S, const NamedDecl * D, SourceLocation Loc )

static

Check whether we're in an extern inline function and referring to a variable or function with internal linkage (C11 6.7.4p3).

This is only a warning because we used to silently accept this code, but in many cases it will not behave correctly. This is not enabled in C++ mode because the restriction language is a bit weaker (C++11 [basic.def.odr]p6) and so while there may still be user mistakes, most of the time we can't prove that there are errors.

Definition at line 163 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Decl::getCanonicalDecl(), clang::Sema::getCurFunctionDecl(), clang::NamedDecl::getFormalLinkage(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::Sema::getSourceManager(), clang::Decl::hasAttr(), clang::Internal, clang::NamedDecl::isExternallyVisible(), clang::FunctionDecl::isInlined(), clang::SourceManager::isInMainFile(), and clang::Sema::MaybeSuggestAddingStaticToDecl().

Referenced by clang::Sema::DiagnoseUseOfDecl().

diagnoseXorMisusedAsPow()

void diagnoseXorMisusedAsPow ( Sema & S, const ExprResult & XorLHS, const ExprResult & XorRHS, const SourceLocation Loc )

static

Definition at line 13164 of file SemaExpr.cpp.

References clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CharSourceRange::getCharRange(), clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::Sema::getLocForEndOfToken(), clang::Sema::getPreprocessor(), clang::Sema::getSourceManager(), clang::Lexer::getSourceText(), clang::CharSourceRange::getTokenRange(), clang::Preprocessor::isMacroDefined(), clang::SourceLocation::isMacroID(), and toString().

Referenced by clang::Sema::CheckBitwiseOperands().

DoMarkBindingDeclReferenced()

void DoMarkBindingDeclReferenced ( Sema & SemaRef, SourceLocation Loc, BindingDecl * BD, Expr * E )

static

Definition at line 20258 of file SemaExpr.cpp.

References DoMarkPotentialCapture(), clang::Implicit, clang::Decl::isInvalidDecl(), isOdrUseContext(), clang::SemaBase::SemaRef, clang::Decl::setReferenced(), and clang::Sema::tryCaptureVariable().

Referenced by MarkExprReferenced().

DoMarkPotentialCapture()

void DoMarkPotentialCapture ( Sema & SemaRef, SourceLocation Loc, ValueDecl * Var, Expr * E )

static

Definition at line 20048 of file SemaExpr.cpp.

References clang::sema::LambdaScopeInfo::addPotentialCapture(), clang::sema::LambdaScopeInfo::CallOperator, clang::Sema::Context, clang::Sema::CurContext, clang::DeclContext::Encloses(), clang::Sema::getCurLambda(), clang::Decl::getDeclContext(), clang::ValueDecl::getPotentiallyDecomposedVarDecl(), clang::ValueDecl::getType(), clang::VarDecl::hasLocalStorage(), clang::Expr::IgnoreParens(), clang::DeclContext::isFunctionOrMethod(), clang::Type::isReferenceType(), clang::VarDecl::isUsableInConstantExpressions(), and clang::SemaBase::SemaRef.

Referenced by DoMarkBindingDeclReferenced(), and DoMarkVarDeclReferenced().

DoMarkVarDeclReferenced()

void DoMarkVarDeclReferenced ( Sema & SemaRef, SourceLocation Loc, VarDecl * Var, Expr * E, llvm::DenseMap< const VarDecl *, int > & RefsMinusAssignments )

static

Definition at line 20080 of file SemaExpr.cpp.

References clang::Sema::checkSpecializationVisibility(), clang::Sema::Context, DoMarkPotentialCapture(), clang::Sema::getCompletedType(), clang::VarDecl::getMemberSpecializationInfo(), clang::VarDecl::getPointOfInstantiation(), clang::VarDecl::getTemplateSpecializationKind(), clang::ValueDecl::getType(), clang::VarDecl::hasExternalStorage(), clang::Sema::InstantiateVariableDefinition(), clang::isa(), clang::SourceLocation::isInvalid(), clang::Decl::isInvalidDecl(), clang::VarDecl::isLocalVarDeclOrParm(), isOdrUseContext(), isPotentiallyConstantEvaluatedContext(), clang::isTemplateInstantiation(), clang::Type::isUndeducedType(), clang::Sema::isUnevaluatedContext(), clang::VarDecl::isUsableInConstantExpressions(), MarkVarDeclODRUsed(), clang::Sema::MaybeODRUseExprs, clang::VarDecl::mightBeUsableInConstantExpressions(), clang::Sema::PendingInstantiations, clang::Sema::RefsMinusAssignments, clang::Sema::runWithSufficientStackSpace(), clang::Sema::SavedPendingInstantiations, clang::SemaBase::SemaRef, clang::Decl::setReferenced(), clang::VarDecl::setTemplateSpecializationKind(), clang::TSK_ExplicitInstantiationDeclaration, clang::TSK_ImplicitInstantiation, and clang::TSK_Undeclared.

Referenced by MarkExprReferenced(), and clang::Sema::MarkVariableReferenced().

EmitDiagnosticForLogicalAndInLogicalOr()

void EmitDiagnosticForLogicalAndInLogicalOr ( Sema & Self, SourceLocation OpLoc, BinaryOperator * Bop )

static

It accepts a '&&' expr that is inside a '||' one.

Emit a diagnostic together with a fixit hint that wraps the '&&' expression in parentheses.

Definition at line 15419 of file SemaExpr.cpp.

References clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getOpcodeStr(), clang::BinaryOperator::getOperatorLoc(), clang::Stmt::getSourceRange(), clang::Self, and SuggestParentheses().

Referenced by DiagnoseLogicalAndInLogicalOrLHS(), and DiagnoseLogicalAndInLogicalOrRHS().

enclosingClassIsRelatedToClassInWhichMembersWereFound()

bool enclosingClassIsRelatedToClassInWhichMembersWereFound ( const UnresolvedMemberExpr *const UME, Sema & S )

static

Definition at line 6415 of file SemaExpr.cpp.

References clang::CXXRecordDecl::getCanonicalDecl(), clang::Sema::getFunctionLevelDeclContext(), clang::UnresolvedMemberExpr::getNamingClass(), clang::DeclContext::getParent(), and clang::CXXRecordDecl::isDerivedFrom().

Referenced by tryImplicitlyCaptureThisIfImplicitMemberFunctionAccessWithDependentArgs().

EvaluateAndDiagnoseImmediateInvocation()

void EvaluateAndDiagnoseImmediateInvocation ( Sema & SemaRef, Sema::ImmediateInvocationCandidate Candidate )

static

Definition at line 17921 of file SemaExpr.cpp.

References clang::Call, clang::cast(), clang::Expr::EvalStatus::Diag, clang::SemaBase::Diag(), clang::Sema::DiagnoseImmediateEscalatingReason(), clang::Expr::EvaluateAsConstantExpr(), clang::Sema::FailedImmediateInvocations, clang::FunctionalCast, clang::Sema::getASTContext(), clang::ConstantExpr::getBeginLoc(), clang::FullExpr::getSubExpr(), clang::Expr::IgnoreImplicit(), clang::Sema::InnermostDeclarationWithDelayedImmediateInvocations(), clang::FunctionDecl::isConsteval(), clang::FunctionDecl::isImmediateFunction(), clang::Decl::isInvalidDecl(), clang::ConstantExpr::MoveIntoResult(), clang::Note, clang::SemaBase::SemaRef, and clang::Expr::EvalResult::Val.

Referenced by HandleImmediateInvocations().

ExprLooksBoolean()

bool ExprLooksBoolean ( const Expr * E )

static

ExprLooksBoolean - Returns true if E looks boolean, i.e.

it has boolean type or is a logical expression such as (x==y) which has int type, but is commonly interpreted as boolean.

Definition at line 8818 of file SemaExpr.cpp.

References clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isBooleanType(), and clang::Type::isPointerType().

Referenced by DiagnoseConditionalPrecedence().

FindFieldDeclInstantiationPattern()

FieldDecl * FindFieldDeclInstantiationPattern ( const ASTContext & Ctx, FieldDecl * Field )

static

Definition at line 5640 of file SemaExpr.cpp.

References clang::cast(), clang::ASTContext::getInstantiatedFromUnnamedFieldDecl(), clang::CXXRecordDecl::getTemplateInstantiationPattern(), clang::isa(), and clang::DeclContext::lookup().

Referenced by clang::Sema::BuildCXXDefaultInitExpr().

FixDependencyOfIdExpressionsInLambdaWithDependentObjectParameter()

void FixDependencyOfIdExpressionsInLambdaWithDependentObjectParameter ( Sema & SemaRef, ValueDecl * D, Expr * E )

static

Definition at line 20287 of file SemaExpr.cpp.

References clang::C, clang::Sema::CurContext, clang::Sema::FunctionScopes, clang::Type::getAs(), clang::Sema::getASTContext(), clang::Type::isDependentType(), and clang::SemaBase::SemaRef.

Referenced by MarkExprReferenced().

funcHasParameterSizeMangling()

bool funcHasParameterSizeMangling ( Sema & S, FunctionDecl * FD )

static

Return true if this function has a calling convention that requires mangling in the size of the parameter pack.

Definition at line 18304 of file SemaExpr.cpp.

References clang::Type::castAs(), clang::CC_X86FastCall, clang::CC_X86StdCall, clang::CC_X86VectorCall, clang::Sema::Context, clang::Sema::getLangOpts(), clang::ASTContext::getTargetInfo(), clang::ValueDecl::getType(), clang::FunctionDecl::isExternC(), and clang::TargetInfo::shouldUseMicrosoftCCforMangling().

Referenced by clang::Sema::MarkFunctionReferenced().

getDependentArraySubscriptType()

QualType getDependentArraySubscriptType ( Expr * LHS, Expr * RHS, const ASTContext & Ctx )

static

Definition at line 4885 of file SemaExpr.cpp.

References clang::ASTContext::DependentTy, clang::Type::getAs(), clang::Type::getAsArrayTypeUnsafe(), clang::Expr::getType(), clang::Type::isIntegralOrUnscopedEnumerationType(), and clang::Expr::isTypeDependent().

Referenced by clang::Sema::ActOnArraySubscriptExpr(), and clang::Sema::CreateBuiltinArraySubscriptExpr().

GetFixedPointRank()

unsigned GetFixedPointRank ( QualType Ty )

static

Return the rank of a given fixed point or integer type.

The value itself doesn't matter, but the values must be increasing with proper increasing rank as described in N1169 4.1.1.

Definition at line 1416 of file SemaExpr.cpp.

References clang::Type::getAs().

Referenced by handleFixedPointConversion().

getParentOfCapturingContextOrNull()

DeclContext * getParentOfCapturingContextOrNull ( DeclContext * DC, ValueDecl * Var, SourceLocation Loc, const bool Diagnose, Sema & S )

static

Definition at line 18862 of file SemaExpr.cpp.

References clang::Sema::Diagnose, diagnoseUncapturableValueReferenceOrBinding(), clang::getLambdaAwareParentOfDeclContext(), clang::ValueDecl::getPotentiallyDecomposedVarDecl(), clang::VarDecl::hasLocalStorage(), clang::isa(), and clang::isLambdaCallOperator().

Referenced by clang::Sema::tryCaptureVariable().

getPredefinedExprDecl()

Decl * getPredefinedExprDecl ( DeclContext * DC )

static

getPredefinedExprDecl - Returns Decl of a given DeclContext that can be used to determine the value of a PredefinedExpr.

This can be either a block, lambda, captured statement, function, otherwise a nullptr.

Definition at line 2020 of file SemaExpr.cpp.

References clang::DeclContext::getParent(), and clang::isa().

Referenced by clang::Sema::BuildPredefinedExpr(), and clang::Sema::ExpandFunctionLocalPredefinedMacros().

getPredefinedExprKind()

PredefinedIdentKind getPredefinedExprKind ( tok::TokenKind Kind )

static

Definition at line 1996 of file SemaExpr.cpp.

References clang::Func, clang::FuncDName, clang::FuncSig, clang::Function, clang::LFuncSig, clang::LFunction, and clang::PrettyFunction.

Referenced by clang::Sema::ActOnPredefinedExpr(), and clang::Sema::ExpandFunctionLocalPredefinedMacros().

getPrimaryDecl()

ValueDecl * getPrimaryDecl ( Expr * E )

static

getPrimaryDecl - Helper function for CheckAddressOfOperand().

This routine allows us to typecheck complex/recursive expressions where the declaration is needed for type checking. We only need to handle cases when the expression references a function designator or is an lvalue. Here are some examples:

• &(x) => x
• &*****f => f for f a function designator.
• &s.xx => s
• &s.zz[1].yy -> s, if zz is an array
• *(x + 1) -> x, if x is an array
• &"123"[2] -> 0
• & real x -> x

FIXME: We don't recurse to the RHS of a comma, nor handle pointers to members.

Definition at line 14421 of file SemaExpr.cpp.

References clang::cast(), clang::UnaryOperator::getOpcode(), getPrimaryDecl(), clang::Stmt::getStmtClass(), and clang::UnaryOperator::getSubExpr().

Referenced by clang::Sema::CheckAddressOfOperand(), and getPrimaryDecl().

getUDSuffixLoc()

SourceLocation getUDSuffixLoc ( Sema & S, SourceLocation TokLoc, unsigned Offset )

static

getUDSuffixLoc - Create a SourceLocation for a ud-suffix, given the location of the token and the offset of the ud-suffix within it.

Definition at line 2028 of file SemaExpr.cpp.

References clang::Lexer::AdvanceToTokenCharacter(), clang::Sema::getLangOpts(), and clang::Sema::getSourceManager().

Referenced by clang::Sema::ActOnCharacterConstant(), clang::Sema::ActOnNumericConstant(), clang::Sema::ActOnStringLiteral(), and clang::Sema::ActOnUnevaluatedStringLiteral().

handleComplexConversion()

QualType handleComplexConversion ( Sema & S, ExprResult & LHS, ExprResult & RHS, QualType LHSType, QualType RHSType, bool IsCompAssign )

static

Handle arithmetic conversion with complex types.

Helper function of UsualArithmeticConversions()

Definition at line 1172 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ASTContext::getFloatingTypeOrder(), handleComplexFloatConversion(), and handleComplexIntegerToFloatConversion().

Referenced by clang::Sema::UsualArithmeticConversions().

handleComplexFloatConversion()

QualType handleComplexFloatConversion ( Sema & S, ExprResult & Shorter, QualType ShorterType, QualType LongerType, bool PromotePrecision )

static

Definition at line 1149 of file SemaExpr.cpp.

References clang::Type::castAs(), clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::QualType::getCanonicalType(), clang::ASTContext::getComplexType(), clang::Sema::ImpCastExprToType(), and clang::isa().

Referenced by handleComplexConversion().

handleComplexIntConversion()

QualType handleComplexIntConversion ( Sema & S, ExprResult & LHS, ExprResult & RHS, QualType LHSType, QualType RHSType, bool IsCompAssign )

static

Handle conversions with GCC complex int extension.

Helper function of UsualArithmeticConversions()

Definition at line 1370 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::Type::getAsComplexIntegerType(), clang::ASTContext::getComplexType(), clang::ComplexType::getElementType(), handleIntegerConversion(), and clang::Sema::ImpCastExprToType().

Referenced by clang::Sema::UsualArithmeticConversions().

handleComplexIntegerToFloatConversion()

bool handleComplexIntegerToFloatConversion ( Sema & S, ExprResult & IntExpr, ExprResult & ComplexExpr, QualType IntTy, QualType ComplexTy, bool SkipCast )

static

Convert complex integers to complex floats and real integers to real floats as required for complex arithmetic.

Helper function of UsualArithmeticConversions()

Returns

false if the integer expression is an integer type and is successfully converted to the (complex) float type.

Definition at line 1121 of file SemaExpr.cpp.

References clang::Type::castAs(), clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::ImpCastExprToType(), clang::Type::isComplexIntegerType(), clang::Type::isComplexType(), clang::Type::isIntegerType(), and clang::Type::isRealFloatingType().

Referenced by handleComplexConversion().

handleFixedPointConversion()

QualType handleFixedPointConversion ( Sema & S, QualType LHSTy, QualType RHSTy )

static

handleFixedPointConversion - Fixed point operations between fixed point types and integers or other fixed point types do not fall under usual arithmetic conversion since these conversions could result in loss of precsision (N1169 4.1.4).

These operations should be calculated with the full precision of their result type (N1169 4.1.6.2.1).

Definition at line 1463 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ASTContext::getCorrespondingSaturatedType(), clang::ASTContext::getCorrespondingSignedFixedPointType(), GetFixedPointRank(), clang::Type::isFixedPointOrIntegerType(), clang::Type::isFixedPointType(), clang::Type::isSaturatedFixedPointType(), clang::Type::isSignedFixedPointType(), and clang::Type::isUnsignedFixedPointType().

Referenced by clang::Sema::UsualArithmeticConversions().

handleFloatConversion()

QualType handleFloatConversion ( Sema & S, ExprResult & LHS, ExprResult & RHS, QualType LHSType, QualType RHSType, bool IsCompAssign )

static

Handle arithmethic conversion with floating point types.

Helper function of UsualArithmeticConversions()

Definition at line 1227 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ASTContext::FloatTy, clang::ActionResult< PtrTy, Compress >::get(), clang::ASTContext::getFloatingTypeOrder(), clang::Sema::getLangOpts(), handleIntToFloatConversion(), clang::Sema::ImpCastExprToType(), clang::Type::isFixedPointType(), clang::Type::isHalfType(), and clang::Type::isRealFloatingType().

Referenced by OpenCLArithmeticConversions(), and clang::Sema::UsualArithmeticConversions().

HandleImmediateInvocations()

void HandleImmediateInvocations ( Sema & SemaRef, Sema::ExpressionEvaluationContextRecord & Rec )

static

When we have more than 1 ImmediateInvocationCandidates or previously failed immediate invocations, we need to check for nested ImmediateInvocationCandidates in order to avoid duplicate diagnostics. Otherwise we only need to remove ReferenceToConsteval in the immediate invocation.

Prevent sema calls during the tree transform from adding pointers that are already in the sets.

Prevent diagnostic during tree transfrom as they are duplicates

Definition at line 18071 of file SemaExpr.cpp.

References clang::cast(), clang::Sema::Context, clang::Sema::ExpressionEvaluationContextRecord::Context, clang::SemaBase::Diag(), clang::Sema::DiagnoseImmediateEscalatingReason(), clang::Sema::ExpressionEvaluationContextRecord::EK_VariableInit, EvaluateAndDiagnoseImmediateInvocation(), clang::Sema::ExpressionEvaluationContextRecord::ExprContext, clang::Sema::FailedImmediateInvocations, clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::Sema::ExpressionEvaluationContextRecord::ImmediateInvocationCandidates, clang::Sema::ExpressionEvaluationContextRecord::InImmediateEscalatingFunctionContext, clang::Sema::InnermostDeclarationWithDelayedImmediateInvocations(), clang::Sema::inTemplateInstantiation(), clang::Sema::ExpressionEvaluationContextRecord::isImmediateFunctionContext(), clang::isLambdaCallOperator(), clang::Sema::ExpressionEvaluationContextRecord::ManglingContextDecl, clang::Sema::MarkExpressionAsImmediateEscalating(), clang::Sema::PotentiallyEvaluated, clang::Sema::PotentiallyEvaluatedIfUsed, clang::Sema::RebuildingImmediateInvocation, clang::Sema::ExpressionEvaluationContextRecord::ReferenceToConsteval, RemoveNestedImmediateInvocation(), and clang::SemaBase::SemaRef.

Referenced by clang::Sema::PopExpressionEvaluationContext().

handleIntegerConversion()

template<PerformCastFn doLHSCast, PerformCastFn doRHSCast>

QualType handleIntegerConversion ( Sema & S, ExprResult & LHS, ExprResult & RHS, QualType LHSType, QualType RHSType, bool IsCompAssign )

static

Handle integer arithmetic conversions.

Helper function of UsualArithmeticConversions()

Definition at line 1320 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::ASTContext::getCorrespondingUnsignedType(), clang::ASTContext::getIntegerTypeOrder(), clang::ASTContext::getIntWidth(), and clang::Type::hasSignedIntegerRepresentation().

Referenced by handleComplexIntConversion(), OpenCLArithmeticConversions(), and clang::Sema::UsualArithmeticConversions().

handleIntToFloatConversion()

QualType handleIntToFloatConversion ( Sema & S, ExprResult & FloatExpr, ExprResult & IntExpr, QualType FloatTy, QualType IntTy, bool ConvertFloat, bool ConvertInt )

static

Handle arithmetic conversion from integer to float.

Helper function of UsualArithmeticConversions()

Definition at line 1196 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::ASTContext::getComplexType(), clang::Sema::ImpCastExprToType(), clang::Type::isComplexIntegerType(), and clang::Type::isIntegerType().

Referenced by handleFloatConversion().

hasAnyExplicitStorageClass()

bool hasAnyExplicitStorageClass ( const FunctionDecl * D )

static

Determine whether a FunctionDecl was ever declared with an explicit storage class.

Definition at line 147 of file SemaExpr.cpp.

References clang::FunctionDecl::redecls(), and clang::SC_None.

Referenced by clang::Sema::MaybeSuggestAddingStaticToDecl().

hasIsEqualMethod()

bool hasIsEqualMethod ( Sema & S, const Expr * LHS, const Expr * RHS )

static

Definition at line 11942 of file SemaExpr.cpp.

References clang::Type::getAs(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::Type::isObjCIdType(), clang::Type::isObjCObjectPointerType(), clang::Type::isScalarType(), clang::SemaObjC::LookupInstanceMethodInGlobalPool(), clang::SemaObjC::LookupMethodInObjectType(), clang::SemaObjC::LookupMethodInQualifiedType(), clang::SemaObjC::NSAPIObj, clang::Sema::ObjC(), and clang::T.

Referenced by diagnoseObjCLiteralComparison().

IgnoreCommaOperand()

bool IgnoreCommaOperand ( const Expr * E, const ASTContext & Context )

static

Definition at line 14214 of file SemaExpr.cpp.

References clang::Expr::getType(), clang::Expr::IgnoreParens(), and clang::Type::isVoidType().

Referenced by clang::Sema::DiagnoseCommaOperator().

IsArithmeticBinaryExpr()

bool IsArithmeticBinaryExpr ( const Expr * E, BinaryOperatorKind * Opcode, const Expr ** RHSExprs )

static

IsArithmeticBinaryExpr - Returns true if E is an arithmetic binary expression, either using a built-in or overloaded operator, and sets *OpCode to the opcode and *RHSExprs to the right-hand side expression.

Definition at line 8773 of file SemaExpr.cpp.

References clang::Call, clang::BinaryOperator::getOverloadedOpcode(), clang::Expr::IgnoreConversionOperatorSingleStep(), clang::Expr::IgnoreImpCasts(), and IsArithmeticOp().

Referenced by DiagnoseConditionalPrecedence().

IsArithmeticOp()

bool IsArithmeticOp ( BinaryOperatorKind Opc )

static

Definition at line 8758 of file SemaExpr.cpp.

References clang::BinaryOperator::isAdditiveOp(), clang::BinaryOperator::isMultiplicativeOp(), and clang::BinaryOperator::isShiftOp().

Referenced by IsArithmeticBinaryExpr().

isCapturingReferenceToHostVarInCUDADeviceLambda()

bool isCapturingReferenceToHostVarInCUDADeviceLambda ( const Sema & S, VarDecl * VD )

static

Definition at line 2319 of file SemaExpr.cpp.

References clang::Sema::CurContext, clang::Decl::getDeclContext(), clang::VarDecl::getInit(), clang::Sema::getLangOpts(), clang::ValueDecl::getType(), clang::VarDecl::hasInit(), and clang::Type::isReferenceType().

Referenced by clang::Sema::getNonOdrUseReasonInCurrentContext().

isImplicitlyDefinableConstexprFunction()

bool isImplicitlyDefinableConstexprFunction ( FunctionDecl * Func )

static

Definition at line 18411 of file SemaExpr.cpp.

References clang::Func, and clang::isLambdaConversionOperator().

Referenced by clang::Sema::MarkFunctionReferenced().

IsInvalidCmseNSCallConversion()

bool IsInvalidCmseNSCallConversion ( Sema & S, QualType FromType, QualType ToType )

static

Definition at line 9020 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ASTContext::getCanonicalType(), and clang::FunctionType::ExtInfo::getCmseNSCall().

Referenced by checkPointerTypesForAssignment().

isLegalBoolVectorBinaryOp()

bool isLegalBoolVectorBinaryOp ( BinaryOperatorKind Opc )

static

Definition at line 13404 of file SemaExpr.cpp.

Referenced by clang::Sema::CheckBitwiseOperands().

isMSPropertySubscriptExpr()

bool isMSPropertySubscriptExpr ( Sema & S, Expr * Base )

static

Definition at line 4866 of file SemaExpr.cpp.

References clang::isa().

Referenced by clang::Sema::ActOnArraySubscriptExpr().

isObjCObjectLiteral()

bool isObjCObjectLiteral ( ExprResult & E )

static

Definition at line 11929 of file SemaExpr.cpp.

References clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getStmtClass(), and clang::Expr::IgnoreParenImpCasts().

Referenced by clang::Sema::CheckCompareOperands(), and diagnoseObjCLiteralComparison().

isOdrUseContext()

OdrUseContext isOdrUseContext ( Sema & SemaRef )

static

Are we within a context in which references to resolved functions or to variables result in odr-use?

Definition at line 18391 of file SemaExpr.cpp.

References clang::Sema::CurContext, clang::Sema::currentEvaluationContext(), clang::DeclContext::isDependentContext(), clang::Sema::PotentiallyEvaluatedIfUsed, and clang::SemaBase::SemaRef.

Referenced by DoMarkBindingDeclReferenced(), DoMarkVarDeclReferenced(), and clang::Sema::MarkFunctionReferenced().

isOverflowingIntegerType()

bool isOverflowingIntegerType ( ASTContext & Ctx, QualType T )

static

Definition at line 15774 of file SemaExpr.cpp.

References clang::ASTContext::getIntWidth(), clang::ASTContext::IntTy, clang::ASTContext::isPromotableIntegerType(), and clang::T.

Referenced by clang::Sema::CreateBuiltinUnaryOp().

isParenthetizedAndQualifiedAddressOfExpr()

bool isParenthetizedAndQualifiedAddressOfExpr ( Expr * Fn )

static

Definition at line 5872 of file SemaExpr.cpp.

References bool, and clang::isa().

Referenced by clang::Sema::ConvertArgumentsForCall().

isPlaceholderToRemoveAsArg()

bool isPlaceholderToRemoveAsArg ( QualType type )

static

Is the given type a placeholder that we need to lower out immediately during argument processing?

Definition at line 6209 of file SemaExpr.cpp.

References clang::BuiltinType::getKind(), and clang::ast_matchers::type.

Referenced by clang::Sema::CheckArgsForPlaceholders().

isPotentiallyConstantEvaluatedContext()

bool isPotentiallyConstantEvaluatedContext ( Sema & SemaRef )

static

Are we in a context that is potentially constant evaluated per C++20 [expr.const]p12?

C++2a [expr.const]p12:

Definition at line 18273 of file SemaExpr.cpp.

References clang::Sema::ConstantEvaluated, clang::Sema::DiscardedStatement, clang::Sema::ExprEvalContexts, clang::Sema::ImmediateFunctionContext, clang::Sema::PotentiallyEvaluated, clang::Sema::PotentiallyEvaluatedIfUsed, clang::SemaBase::SemaRef, clang::Sema::Unevaluated, clang::Sema::UnevaluatedAbstract, and clang::Sema::UnevaluatedList.

Referenced by DoMarkVarDeclReferenced(), and clang::Sema::MarkFunctionReferenced().

IsReadonlyMessage()

bool IsReadonlyMessage ( Expr * E, Sema & S )

static

Definition at line 13604 of file SemaExpr.cpp.

References clang::MemberExpr::getBase(), clang::MemberExpr::getMemberDecl(), clang::Expr::IgnoreImplicit(), clang::Expr::IgnoreParenImpCasts(), and clang::isa().

Referenced by CheckForModifiableLvalue().

isReferenceToNonConstCapture()

NonConstCaptureKind isReferenceToNonConstCapture ( Sema & S, Expr * E )

static

Definition at line 13618 of file SemaExpr.cpp.

References clang::Sema::CurContext, clang::DeclRefExpr::getDecl(), clang::Decl::getDeclContext(), clang::Sema::getLangOpts(), clang::DeclContext::getParent(), clang::Expr::getType(), clang::Value::getType(), clang::ValueDecl::getType(), clang::VarDecl::hasLocalStorage(), clang::Expr::IgnoreParens(), clang::isa(), clang::QualType::isConstQualified(), clang::VarDecl::isInitCapture(), clang::Expr::isLValue(), clang::Type::isReferenceType(), NCCK_Block, NCCK_Lambda, NCCK_None, and clang::DeclRefExpr::refersToEnclosingVariableOrCapture().

Referenced by CheckForModifiableLvalue().

isScopedEnumerationType()

bool isScopedEnumerationType ( QualType T )

static

Definition at line 11521 of file SemaExpr.cpp.

References clang::T.

Referenced by clang::Sema::CreateBuiltinUnaryOp().

isTautologicalBoundsCheck()

std::optional< bool > isTautologicalBoundsCheck ( Sema & S, const Expr * LHS, const Expr * RHS, BinaryOperatorKind Opc )

static

Detect patterns ptr + size >= ptr and ptr + size < ptr, where ptr is a pointer and size is an unsigned integer.

Return whether the result is always true/false.

Definition at line 12097 of file SemaExpr.cpp.

References clang::Sema::getLangOpts(), clang::Expr::getType(), clang::Type::isPointerType(), clang::Expr::isSameComparisonOperand(), and clang::Other.

Referenced by diagnoseTautologicalComparison().

IsTypeModifiable()

bool IsTypeModifiable ( QualType Ty, bool IsDereference )

static

Definition at line 13669 of file SemaExpr.cpp.

References clang::QualType::getNonReferenceType(), clang::Type::getPointeeType(), clang::QualType::isConstQualified(), and clang::Type::isPointerType().

Referenced by DiagnoseConstAssignment().

isVariableAlreadyCapturedInScopeInfo()

bool isVariableAlreadyCapturedInScopeInfo ( CapturingScopeInfo * CSI, ValueDecl * Var, bool & SubCapturesAreNested, QualType & CaptureType, QualType & DeclRefType )

static

Definition at line 18825 of file SemaExpr.cpp.

References clang::QualType::addConst(), clang::sema::CapturingScopeInfo::CaptureMap, clang::cast(), clang::CR_OpenMP, clang::sema::CapturingScopeInfo::getCapture(), clang::sema::Capture::getCaptureType(), clang::QualType::getNonReferenceType(), clang::isa(), clang::sema::Capture::isCopyCapture(), and clang::Type::isFunctionType().

Referenced by clang::Sema::tryCaptureVariable().

isVariableCapturable()

bool isVariableCapturable ( CapturingScopeInfo * CSI, ValueDecl * Var, SourceLocation Loc, const bool Diagnose, Sema & S )

static

Definition at line 18881 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Sema::Diagnose, diagnoseUncapturableValueReferenceOrBinding(), clang::Type::getAsRecordDecl(), clang::NamedDecl::getDeclName(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::RecordDecl::hasFlexibleArrayMember(), clang::isa(), clang::Type::isBlockPointerType(), clang::Type::isVariablyModifiedType(), and clang::Sema::LangOpts.

Referenced by clang::Sema::tryCaptureVariable().

isVector()

bool isVector ( QualType QT, QualType ElementType )

static

This helper function returns true if QT is a vector type that has element type ElementType.

Definition at line 9310 of file SemaExpr.cpp.

References clang::Type::getAs().

Referenced by convertHalfVecBinOp(), clang::Sema::CreateBuiltinBinOp(), clang::APValue::getVectorElt(), and clang::APValue::getVectorLength().

LookupStdSourceLocationImpl()

CXXRecordDecl * LookupStdSourceLocationImpl ( Sema & S, SourceLocation Loc )

static

Definition at line 16969 of file SemaExpr.cpp.

References clang::ASTContext::CharTy, clang::Sema::Context, clang::SemaBase::Diag(), clang::RecordDecl::fields(), clang::IdentifierTable::get(), clang::LookupResult::getAsSingle(), clang::Preprocessor::getIdentifierTable(), clang::CXXRecordDecl::getNumBases(), clang::ASTContext::getPointerType(), clang::Sema::getStdNamespace(), clang::TagDecl::isCompleteDefinition(), clang::CXXRecordDecl::isStandardLayout(), clang::TagDecl::isUnion(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, and clang::CanQual< T >::withConst().

Referenced by clang::Sema::ActOnSourceLocExpr().

MarkExprReferenced()

void MarkExprReferenced ( Sema & SemaRef, SourceLocation Loc, Decl * D, Expr * E, bool MightBeOdrUse, llvm::DenseMap< const VarDecl *, int > & RefsMinusAssignments )

static

Definition at line 20333 of file SemaExpr.cpp.

References clang::SemaOpenMP::checkDeclIsAllowedInOpenMPTarget(), clang::SemaOpenACC::CheckDeclReference(), DoMarkBindingDeclReferenced(), DoMarkVarDeclReferenced(), FixDependencyOfIdExpressionsInLambdaWithDependentObjectParameter(), clang::MemberExpr::getBase(), clang::CXXMethodDecl::getDevirtualizedMethod(), clang::Sema::getLangOpts(), clang::MemberExpr::getMemberDecl(), clang::SemaOpenMP::isInOpenMPDeclareTargetContext(), clang::CXXMethodDecl::isVirtual(), clang::Sema::MarkAnyDeclReferenced(), clang::Sema::OpenACC(), clang::Sema::OpenMP(), clang::MemberExpr::performsVirtualDispatch(), clang::Sema::RefsMinusAssignments, and clang::SemaBase::SemaRef.

Referenced by clang::Sema::MarkDeclRefReferenced(), clang::Sema::MarkFunctionParmPackReferenced(), and clang::Sema::MarkMemberReferenced().

MarkVarDeclODRUsed()

void MarkVarDeclODRUsed ( ValueDecl * V, SourceLocation Loc, Sema & SemaRef, const unsigned *const FunctionScopeIndexToStopAt = nullptr )

static

Directly mark a variable odr-used.

Given a choice, prefer to use MarkVariableReferenced since it does additional checks and then calls MarkVarDeclODRUsed. If the variable must be captured:

• if FunctionScopeIndexToStopAt is null, capture it in the CurContext
• else capture it in the DeclContext that maps to the *FunctionScopeIndexToStopAt on the FunctionScopeInfo stack.

Definition at line 18708 of file SemaExpr.cpp.

References clang::Sema::Context, clang::Sema::CUDA(), clang::ASTContext::CUDADeviceVarODRUsedByHost, clang::ASTContext::CUDAExternalDeviceDeclODRUsedByHost, clang::Sema::CurContext, clang::SemaCUDA::CVT_Device, clang::SemaCUDA::CVT_Host, clang::VarDecl::DeclarationOnly, clang::Device, clang::Sema::getASTContext(), clang::VarDecl::getCanonicalDecl(), clang::ASTContext::GetGVALinkageForFunction(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::Global, clang::GVA_StrongExternal, clang::Decl::hasAttr(), clang::VarDecl::hasDefinition(), clang::VarDecl::hasExternalStorage(), clang::VarDecl::hasGlobalStorage(), clang::VarDecl::hasInit(), clang::Host, clang::HostDevice, clang::SemaCUDA::IdentifyTarget(), clang::Implicit, clang::QualType::isConstQualified(), clang::NamedDecl::isExternallyVisible(), clang::Sema::isExternalWithNoLinkageType(), clang::VarDecl::isInline(), clang::SourceLocation::isInvalid(), clang::VarDecl::isStaticDataMember(), clang::Sema::LangOpts, clang::Sema::OpenMP(), clang::SemaBase::SemaRef, clang::Sema::targetDiag(), clang::SemaOpenMP::tryCaptureOpenMPLambdas(), clang::Sema::tryCaptureVariable(), clang::Sema::UndefinedButUsed, and V.

Referenced by clang::Sema::CleanupVarDeclMarking(), DoMarkVarDeclReferenced(), and clang::Sema::MarkCaptureUsedInEnclosingContext().

maybeDiagnoseAssignmentToFunction()

bool maybeDiagnoseAssignmentToFunction ( Sema & S, QualType DstType, const Expr * SrcExpr )

static

Definition at line 17087 of file SemaExpr.cpp.

References clang::Sema::checkAddressOfFunctionIsAvailable(), clang::Stmt::getBeginLoc(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isFunctionPointerType(), and clang::Type::isFunctionType().

Referenced by clang::Sema::DiagnoseAssignmentResult().

MayBeFunctionType()

bool MayBeFunctionType ( const ASTContext & Context, const Expr * E )

static

Definition at line 6564 of file SemaExpr.cpp.

References clang::Expr::getType(), clang::isa(), and clang::T.

Referenced by clang::Sema::BuildCallExpr().

needsConversionOfHalfVec()

bool needsConversionOfHalfVec ( bool OpRequiresConversion, ASTContext & Ctx, Expr * E0, Expr * E1 = nullptr )

static

Returns true if conversion between vectors of halfs and vectors of floats is needed.

Definition at line 15064 of file SemaExpr.cpp.

References clang::Type::getAs(), clang::ASTContext::getLangOpts(), clang::ASTContext::getTargetInfo(), clang::Expr::getType(), clang::ASTContext::HalfTy, clang::Expr::IgnoreImplicit(), clang::Neon, and clang::TargetInfo::useFP16ConversionIntrinsics().

Referenced by clang::Sema::CreateBuiltinBinOp(), and clang::Sema::CreateBuiltinUnaryOp().

OpenCLArithmeticConversions()

QualType OpenCLArithmeticConversions ( Sema & S, ExprResult & LHS, ExprResult & RHS, SourceLocation QuestionLoc )

static

Simple conversion between integer and floating point types.

Used when handling the OpenCL conditional operator where the condition is a vector while the other operands are scalar.

OpenCL v1.1 s6.3.i and s6.11.6 together require that the scalar types are either integer or floating type. Between the two operands, the type with the higher rank is defined as the "result type". The other operand needs to be promoted to the same type. No other type promotion is allowed. We cannot use UsualArithmeticConversions() for this purpose, since it always promotes promotable types.

Definition at line 8359 of file SemaExpr.cpp.

References clang::Sema::Context, clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::ASTContext::getCanonicalType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::CanQual< T >::getUnqualifiedType(), handleFloatConversion(), handleIntegerConversion(), clang::Type::isIntegerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), and clang::Type::isRealFloatingType().

Referenced by OpenCLConvertScalarsToVectors().

OpenCLCheckVectorConditional()

QualType OpenCLCheckVectorConditional ( Sema & S, ExprResult & Cond, ExprResult & LHS, ExprResult & RHS, SourceLocation QuestionLoc )

static

Return the resulting type for the conditional operator in OpenCL (aka "ternary selection operator", OpenCL v1.1 s6.3.i) when the condition is a vector type.

Definition at line 8498 of file SemaExpr.cpp.

References checkOpenCLConditionVector(), clang::Sema::CheckVectorOperands(), checkVectorResult(), clang::Cond, clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getLangOpts(), clang::Expr::getType(), clang::QualType::isNull(), clang::Type::isVectorType(), and OpenCLConvertScalarsToVectors().

Referenced by clang::Sema::CheckConditionalOperands().

OpenCLConvertScalarsToVectors()

QualType OpenCLConvertScalarsToVectors ( Sema & S, ExprResult & LHS, ExprResult & RHS, QualType CondTy, SourceLocation QuestionLoc )

static

Convert scalar operands to a vector that matches the condition in length.

Used when handling the OpenCL conditional operator where the condition is a vector while the other operands are scalar.

We first compute the "result type" for the scalar operands according to OpenCL v1.1 s6.3.i. Both operands are then converted into a vector of that type where the length matches the condition vector type. s6.11.6 requires that the element types of the result and the condition must have the same number of bits.

Definition at line 8414 of file SemaExpr.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Type::getAs(), clang::QualType::getAsString(), clang::VectorType::getElementType(), clang::ASTContext::getExtVectorType(), clang::VectorType::getNumElements(), clang::ASTContext::getTypeSize(), clang::QualType::getUnqualifiedType(), clang::Sema::ImpCastExprToType(), clang::QualType::isNull(), and OpenCLArithmeticConversions().

Referenced by OpenCLCheckVectorConditional().

rebuildPotentialResultsAsNonOdrUsed()

ExprResult rebuildPotentialResultsAsNonOdrUsed ( Sema & S, Expr * E, NonOdrUseReason NOUR )

static

Walk the set of potential results of an expression and mark them all as non-odr-uses if they satisfy the side-conditions of the NonOdrUseReason.

Returns

A new expression if we found any potential results, ExprEmpty() if not, and ExprError() if we diagnosed an error.

Definition at line 19649 of file SemaExpr.cpp.

References clang::Sema::ActOnArraySubscriptExpr(), clang::Sema::ActOnChooseExpr(), clang::Sema::ActOnConditionalOp(), clang::Sema::ActOnParenExpr(), clang::Sema::BuildUnaryOp(), clang::cast(), clang::Sema::Context, clang::ConstantExpr::Create(), clang::DeclRefExpr::Create(), clang::MemberExpr::Create(), clang::Sema::CreateGenericSelectionExpr(), clang::sema::LambdaScopeInfo::CUDAPotentialODRUsedVars, clang::ExprEmpty(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getCurLambda(), clang::Stmt::getStmtClass(), clang::Expr::getType(), clang::Expr::IgnoreImplicit(), clang::Sema::ImpCastExprToType(), clang::isa(), clang::Type::isArrayType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::ActionResult< PtrTy, Compress >::isUsable(), clang::Sema::LangOpts, clang::Sema::MaybeODRUseExprs, clang::NOUR_Constant, clang::NOUR_Discarded, clang::NOUR_None, clang::NOUR_Unevaluated, and rebuildPotentialResultsAsNonOdrUsed().

Referenced by clang::Sema::CheckLValueToRValueConversionOperand(), and rebuildPotentialResultsAsNonOdrUsed().

rebuildUnknownAnyFunction()

ExprResult rebuildUnknownAnyFunction ( Sema & S, Expr * fn )

static

Given a function expression of unknown-any type, try to rebuild it to have a function type.

Definition at line 20904 of file SemaExpr.cpp.

References clang::Sema::DefaultFunctionArrayConversion(), and clang::ExprError().

Referenced by clang::Sema::BuildCallExpr(), and clang::Sema::BuildResolvedCallExpr().

RecordModifiableNonNullParam()

void RecordModifiableNonNullParam ( Sema & S, const Expr * Exp )

static

Definition at line 14770 of file SemaExpr.cpp.

References clang::Sema::getCurFunction(), and clang::DeclRefExpr::getDecl().

Referenced by clang::Sema::CreateBuiltinBinOp(), and clang::Sema::CreateBuiltinUnaryOp().

recoverFromMSUnqualifiedLookup()

Expr * recoverFromMSUnqualifiedLookup ( Sema & S, ASTContext & Context, DeclarationNameInfo & NameInfo, SourceLocation TemplateKWLoc, const TemplateArgumentListInfo * TemplateArgs )

static

In Microsoft mode, if we are inside a template class whose parent class has dependent base classes, and we can't resolve an unqualified identifier, then assume the identifier is a member of a dependent base class.

We can only recover successfully in static methods, instance methods, and other contexts where 'this' is available. This doesn't precisely match MSVC's instantiation model, but it's close enough.

Definition at line 2680 of file SemaExpr.cpp.

References clang::CXXDependentScopeMemberExpr::Create(), clang::DependentScopeDeclRefExpr::Create(), clang::FixItHint::CreateInsertion(), clang::Sema::CurContext, clang::SemaBase::Diag(), clang::Type::getAsCXXRecordDecl(), clang::Sema::getCurrentThisType(), clang::DeclarationNameInfo::getLoc(), clang::DeclarationNameInfo::getName(), clang::DeclContext::getParent(), clang::Type::getPointeeType(), clang::CXXScopeSpec::getWithLocInContext(), clang::CXXRecordDecl::hasAnyDependentBases(), clang::CXXRecordDecl::hasDefinition(), clang::QualType::isNull(), and clang::CXXScopeSpec::MakeTrivial().

Referenced by clang::Sema::ActOnIdExpression().

RemoveNestedImmediateInvocation()

void RemoveNestedImmediateInvocation ( Sema & SemaRef, Sema::ExpressionEvaluationContextRecord & Rec, SmallVector< Sema::ImmediateInvocationCandidate, 4 >::reverse_iterator It )

static

Base::TransfromCXXOperatorCallExpr doesn't traverse the callee so we need to remove its DeclRefExpr from the DRSet.

Base::TransformUserDefinedLiteral doesn't preserve the UserDefinedLiteral node.

Base::TransformInitializer skips ConstantExpr so we need to visit them here.

ConstantExprs are the first layer of implicit node to be removed so if Init isn't a ConstantExpr, no ConstantExpr will be skipped.

CXXConstructExpr with a single argument are getting skipped by TreeTransform in some situtation because they could be implicit. This can only occur for the top-level CXXConstructExpr because it is used nowhere in the expression being transformed therefore will not be rebuilt. Setting AllowSkippingFirstCXXConstructExpr to false will prevent from skipping the first CXXConstructExpr.

Definition at line 17963 of file SemaExpr.cpp.

References clang::cast(), clang::Sema::FailedImmediateInvocations, clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getCallee(), clang::FullExpr::getSubExpr(), clang::Expr::IgnoreImplicit(), clang::Sema::ExpressionEvaluationContextRecord::ImmediateInvocationCandidates, clang::Init, clang::isa(), clang::ConstantExpr::isImmediateInvocation(), clang::ActionResult< PtrTy, Compress >::isUsable(), clang::Sema::MaybeCreateExprWithCleanups(), clang::Sema::ExpressionEvaluationContextRecord::ReferenceToConsteval, and clang::SemaBase::SemaRef.

Referenced by HandleImmediateInvocations().

rewriteBuiltinFunctionDecl()

FunctionDecl * rewriteBuiltinFunctionDecl ( Sema * Sema, ASTContext & Context, FunctionDecl * FDecl, MultiExprArg ArgExprs )

static

If a builtin function has a pointer argument with no explicit address space, then it should be able to accept a pointer to any address space as input.

In order to do this, we need to replace the standard builtin declaration with one that uses the same address space as the call.

Returns

nullptr If this builtin is not a candidate for a rewrite i.e. it does not contain any pointer arguments without an address space qualifer. Otherwise the rewritten FunctionDecl is returned. TODO: Handle pointer return types.

Definition at line 6301 of file SemaExpr.cpp.

References clang::Decl::addAttr(), clang::cast(), clang::FunctionDecl::Create(), clang::ParmVarDecl::Create(), clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::ActionResult< PtrTy, Compress >::get(), clang::FunctionDecl::getBuiltinID(), clang::Sema::getCurFPFeatures(), clang::NamedDecl::getIdentifier(), clang::Decl::getLocation(), clang::FunctionProtoType::getNumParams(), clang::FunctionProtoType::getParamType(), clang::DeclContext::getParent(), clang::Type::getPointeeType(), clang::FunctionType::getReturnType(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::FPOptions::isFPConstrained(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::isPtrSizeAddressSpace(), clang::FunctionProtoType::isVariadic(), clang::Sema::LangOpts, clang::Sema::mergeDeclAttributes(), clang::FunctionProtoType::param_types(), clang::SC_Extern, clang::SC_None, clang::ParmVarDecl::setScopeInfo(), clang::Sema::Unevaluated, clang::Unevaluated, and clang::FunctionProtoType::ExtProtoInfo::Variadic.

Referenced by clang::Sema::BuildCallExpr().

ShouldLookupResultBeMultiVersionOverload()

bool ShouldLookupResultBeMultiVersionOverload ( const LookupResult & R )

static

Definition at line 3223 of file SemaExpr.cpp.

References clang::LookupResult::getFoundDecl(), and clang::LookupResult::isSingleResult().

Referenced by clang::Sema::BuildDeclarationNameExpr().

SuggestParentheses()

void SuggestParentheses ( Sema & Self, SourceLocation Loc, const PartialDiagnostic & Note, SourceRange ParenRange )

static

SuggestParentheses - Emit a note with a fixit hint that wraps ParenRange in parentheses.

Definition at line 8743 of file SemaExpr.cpp.

References clang::FixItHint::CreateInsertion(), clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::SourceLocation::isFileID(), clang::SourceLocation::isValid(), clang::Note, and clang::Self.

Referenced by DiagnoseAdditionInShift(), DiagnoseBitwiseOpInBitwiseOp(), DiagnoseBitwisePrecedence(), DiagnoseConditionalPrecedence(), DiagnoseShiftCompare(), and EmitDiagnosticForLogicalAndInLogicalOr().

tryGCCVectorConvertAndSplat()

bool tryGCCVectorConvertAndSplat ( Sema & S, ExprResult * Scalar, ExprResult * Vector )

static

Attempt to convert and splat Scalar into a vector whose types matches Vector following GCC conversion rules.

The rule is that implicit conversion can occur when Scalar can be casted to match Vector's element type without causing truncation of Scalar.

Definition at line 10238 of file SemaExpr.cpp.

References canConvertIntToOtherIntTy(), canConvertIntTyToFloatTy(), clang::Type::castAs(), clang::Sema::Context, clang::Type::getAs(), clang::Sema::getASTContext(), clang::ASTContext::getFloatingTypeOrder(), clang::ASTContext::getFloatTypeSemantics(), clang::ASTContext::getIntegerTypeOrder(), clang::ASTContext::getTypeSize(), clang::Sema::ImpCastExprToType(), clang::isa(), clang::Type::isArithmeticType(), clang::Type::isEnumeralType(), clang::Type::isIntegralType(), clang::Type::isRealFloatingType(), clang::Type::isSveVLSBuiltinType(), clang::Result, and clang::Vector.

Referenced by clang::Sema::CheckSizelessVectorOperands(), and clang::Sema::CheckVectorOperands().

tryImplicitlyCaptureThisIfImplicitMemberFunctionAccessWithDependentArgs()

void tryImplicitlyCaptureThisIfImplicitMemberFunctionAccessWithDependentArgs ( Sema & S, const UnresolvedMemberExpr *const UME, SourceLocation CallLoc )

static

Definition at line 6457 of file SemaExpr.cpp.

References clang::sema::LambdaScopeInfo::addPotentialThisCapture(), clang::Sema::CheckCXXThisCapture(), clang::Sema::CurContext, enclosingClassIsRelatedToClassInWhichMembersWereFound(), clang::Sema::getCurLambda(), clang::DeclContext::getParent(), clang::sema::CapturingScopeInfo::ImpCap_None, clang::sema::CapturingScopeInfo::ImpCaptureStyle, clang::sema::CapturingScopeInfo::isCXXThisCaptured(), clang::DeclContext::isDependentContext(), and clang::UnresolvedMemberExpr::isImplicitAccess().

Referenced by clang::Sema::BuildCallExpr().

TryTypoCorrectionForCall()

TypoCorrection TryTypoCorrectionForCall ( Sema & S, Expr * Fn, FunctionDecl * FDecl, ArrayRef< Expr * > Args )

static

Definition at line 5831 of file SemaExpr.cpp.

References clang::Sema::AddOverloadCandidate(), clang::AS_none, clang::OverloadCandidateSet::BestViableFunction(), clang::Sema::CorrectTypo(), clang::OverloadCandidateSet::CSK_Normal, clang::Sema::CurContext, clang::ErrorRecovery, clang::DeclarationName::getAsIdentifierInfo(), clang::NamedDecl::getDeclName(), clang::MemberExpr::getMemberLoc(), clang::Sema::getScopeForContext(), clang::isa(), clang::Sema::LookupOrdinaryName, clang::DeclAccessPair::make(), and clang::OR_Success.

Referenced by clang::Sema::ConvertArgumentsForCall().

tryVectorConvertAndSplat()

bool tryVectorConvertAndSplat ( Sema & S, ExprResult * scalar, QualType scalarTy, QualType vectorEltTy, QualType vectorTy, unsigned & DiagID )

static

Try to convert a value of non-vector type to a vector type by converting the type to the element type of the vector and then performing a splat.

If the language is OpenCL, we only use conversions that promote scalar rank; for C, Obj-C, and C++ we allow any real scalar conversion except for float->int.

OpenCL V2.0 6.2.6.p2: An error shall occur if any scalar operand type has greater rank than the type of the vector element.

Parameters

scalar

- if non-null, actually perform the conversions

Returns

true if the operation fails (but without diagnosing the failure)

Definition at line 10080 of file SemaExpr.cpp.

References clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::ASTContext::getFloatingTypeOrder(), clang::ASTContext::getIntegerTypeOrder(), clang::Sema::getLangOpts(), clang::Sema::ImpCastExprToType(), clang::Type::isBooleanType(), clang::Type::isIntegerType(), clang::Type::isIntegralType(), and clang::Type::isRealFloatingType().

Referenced by clang::Sema::CheckVectorOperands().

unsupportedTypeConversion()

bool unsupportedTypeConversion ( const Sema & S, QualType LHSType, QualType RHSType )

static

Diagnose attempts to convert between __float128, __ibm128 and long double if there is no support for such conversion.

Helper function of UsualArithmeticConversions().

Definition at line 1277 of file SemaExpr.cpp.

References clang::Sema::Context, clang::Type::getAs(), clang::ComplexType::getElementType(), clang::ASTContext::getFloatTypeSemantics(), and clang::Type::isFloatingType().

Referenced by clang::Sema::CheckAssignmentConstraints(), clang::Sema::CheckConditionalOperands(), and clang::Sema::UsualArithmeticConversions().

warnOnSizeofOnArrayDecay()

void warnOnSizeofOnArrayDecay ( Sema & S, SourceLocation Loc, QualType T, const Expr * E )

static

Check whether E is a pointer from a decayed array type (the decayed pointer type is equal to T) and emit a warning if it is.

Definition at line 4256 of file SemaExpr.cpp.

References clang::SemaBase::Diag(), clang::Expr::getType(), and clang::T.

Referenced by clang::Sema::CheckUnaryExprOrTypeTraitOperand().