clang  16.0.0git
Macros | Typedefs | Enumerations | Functions
SemaExpr.cpp File Reference
#include "TreeTransform.h"
#include "UsedDeclVisitor.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/ASTMutationListener.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/ExprOpenMP.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/ParentMapContext.h"
#include "clang/AST/RecursiveASTVisitor.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/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/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/SemaFixItUtils.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/ConvertUTF.h"
#include "llvm/Support/SaveAndRestore.h"
#include "llvm/Support/TypeSize.h"
#include "clang/AST/DeclNodes.inc"
#include "clang/AST/TypeNodes.inc"
#include "clang/Basic/OpenCLImageTypes.def"
#include "clang/Basic/OpenCLExtensionTypes.def"
#include "clang/Basic/AArch64SVEACLETypes.def"
#include "clang/Basic/PPCTypes.def"
#include "clang/Basic/RISCVVTypes.def"
#include "clang/AST/BuiltinTypes.def"

Go to the source code of this file.

Macros

#define ABSTRACT_DECL(kind)
 
#define VALUE(type, base)
 
#define DECL(type, base)   case Decl::type:
 
#define TYPE(Class, Base)
 
#define ABSTRACT_TYPE(Class, Base)
 
#define NON_CANONICAL_TYPE(Class, Base)
 
#define DEPENDENT_TYPE(Class, Base)   case Type::Class:
 
#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base)
 
#define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix)   case BuiltinType::Id:
 
#define EXT_OPAQUE_TYPE(ExtType, Id, Ext)   case BuiltinType::Id:
 
#define SVE_TYPE(Name, Id, SingletonId)   case BuiltinType::Id:
 
#define PPC_VECTOR_TYPE(Name, Id, Size)   case BuiltinType::Id:
 
#define RVV_TYPE(Name, Id, SingletonId)   case BuiltinType::Id:
 
#define PLACEHOLDER_TYPE(ID, SINGLETON_ID)
 
#define BUILTIN_TYPE(ID, SINGLETON_ID)   case BuiltinType::ID:
 
#define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix)   case BuiltinType::Id:
 
#define EXT_OPAQUE_TYPE(ExtType, Id, Ext)   case BuiltinType::Id:
 
#define SVE_TYPE(Name, Id, SingletonId)   case BuiltinType::Id:
 
#define PPC_VECTOR_TYPE(Name, Id, Size)   case BuiltinType::Id:
 
#define RVV_TYPE(Name, Id, SingletonId)   case BuiltinType::Id:
 
#define BUILTIN_TYPE(Id, SingletonId)   case BuiltinType::Id:
 
#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. More...
 
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). More...
 
static void CheckForNullPointerDereference (Sema &S, Expr *E)
 
static void DiagnoseDirectIsaAccess (Sema &S, const ObjCIvarRefExpr *OIRE, SourceLocation AssignLoc, const Expr *RHS)
 
static bool handleIntegerToComplexFloatConversion (Sema &S, ExprResult &IntExpr, ExprResult &ComplexExpr, QualType IntTy, QualType ComplexTy, bool SkipCast)
 Converts an integer to complex float type. More...
 
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. More...
 
static QualType handleIntToFloatConversion (Sema &S, ExprResult &FloatExpr, ExprResult &IntExpr, QualType FloatTy, QualType IntTy, bool ConvertFloat, bool ConvertInt)
 Handle arithmetic conversion from integer to float. More...
 
static QualType handleFloatConversion (Sema &S, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, bool IsCompAssign)
 Handle arithmethic conversion with floating point types. More...
 
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. More...
 
template<PerformCastFn doLHSCast, PerformCastFn doRHSCast>
static QualType handleIntegerConversion (Sema &S, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, bool IsCompAssign)
 Handle integer arithmetic conversions. More...
 
static QualType handleComplexIntConversion (Sema &S, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, bool IsCompAssign)
 Handle conversions with GCC complex int extension. More...
 
static unsigned GetFixedPointRank (QualType Ty)
 Return the rank of a given fixed point or integer type. More...
 
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). More...
 
static void checkEnumArithmeticConversions (Sema &S, Expr *LHS, Expr *RHS, SourceLocation Loc, Sema::ArithConvKind ACK)
 Check that the usual arithmetic conversions can be performed on this pair of expressions that might be of enumeration type. More...
 
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. More...
 
static ExprResult BuildCookedLiteralOperatorCall (Sema &S, Scope *Scope, IdentifierInfo *UDSuffix, SourceLocation UDSuffixLoc, ArrayRef< Expr * > Args, SourceLocation LitEndLoc)
 BuildCookedLiteralOperatorCall - A user-defined literal was found. More...
 
static bool isCapturingReferenceToHostVarInCUDADeviceLambda (const Sema &S, VarDecl *VD)
 
static void emitEmptyLookupTypoDiagnostic (const TypoCorrection &TC, Sema &SemaRef, const CXXScopeSpec &SS, DeclarationName Typo, SourceLocation TypoLoc, ArrayRef< Expr * > Args, unsigned DiagnosticID, unsigned DiagnosticSuggestID)
 
static ExprrecoverFromMSUnqualifiedLookup (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. More...
 
static bool CheckDeclInExpr (Sema &S, SourceLocation Loc, NamedDecl *D, bool AcceptInvalid)
 Diagnoses obvious problems with the use of the given declaration as an expression. More...
 
static bool ShouldLookupResultBeMultiVersionOverload (const LookupResult &R)
 
static void diagnoseUncapturableValueReferenceOrBinding (Sema &S, SourceLocation loc, ValueDecl *var)
 
static void ConvertUTF8ToWideString (unsigned CharByteWidth, StringRef Source, SmallString< 32 > &Target)
 
static ExprBuildFloatingLiteral (Sema &S, NumericLiteralParser &Literal, QualType Ty, SourceLocation Loc)
 
static bool CheckVecStepTraitOperandType (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, 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. More...
 
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. More...
 
static bool isMSPropertySubscriptExpr (Sema &S, Expr *Base)
 
static QualType getDependentArraySubscriptType (Expr *LHS, Expr *RHS, const ASTContext &Ctx)
 
static bool checkArgsForPlaceholders (Sema &S, MultiExprArg args)
 Check an argument list for placeholders that we won't try to handle later. More...
 
static TypoCorrection TryTypoCorrectionForCall (Sema &S, Expr *Fn, FunctionDecl *FDecl, ArrayRef< Expr * > Args)
 
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. More...
 
static bool isPlaceholderToRemoveAsArg (QualType type)
 Is the given type a placeholder that we need to lower out immediately during argument processing? More...
 
static FunctionDeclrewriteBuiltinFunctionDecl (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. More...
 
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, CallExpr *Call)
 
static bool breakDownVectorType (QualType type, uint64_t &len, QualType &eltType)
 
static bool checkCondition (Sema &S, Expr *Cond, SourceLocation QuestionLoc)
 Return false if the condition expression is valid, true otherwise. More...
 
static bool checkConditionalNullPointer (Sema &S, ExprResult &NullExpr, QualType PointerTy)
 Return false if the NullExpr can be promoted to PointerTy, true otherwise. More...
 
static QualType checkConditionalPointerCompatibility (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc)
 Checks compatibility between two pointers and return the resulting type. More...
 
static QualType checkConditionalBlockPointerCompatibility (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc)
 Return the resulting type when the operands are both block pointers. More...
 
static QualType checkConditionalObjectPointersCompatibility (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc)
 Return the resulting type when the operands are both pointers. More...
 
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. More...
 
static QualType OpenCLArithmeticConversions (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation QuestionLoc)
 Simple conversion between integer and floating point types. More...
 
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. More...
 
static bool checkOpenCLConditionVector (Sema &S, Expr *Cond, SourceLocation QuestionLoc)
 Return false if this is a valid OpenCL condition vector. More...
 
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. More...
 
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. More...
 
static bool checkBlockType (Sema &S, const Expr *E)
 Return true if the Expr is block type. More...
 
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. More...
 
static bool IsArithmeticOp (BinaryOperatorKind Opc)
 
static bool IsArithmeticBinaryExpr (Expr *E, BinaryOperatorKind *Opcode, 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. More...
 
static bool ExprLooksBoolean (Expr *E)
 ExprLooksBoolean - Returns true if E looks boolean, i.e. More...
 
static void DiagnoseConditionalPrecedence (Sema &Self, SourceLocation OpLoc, Expr *Condition, Expr *LHSExpr, 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". More...
 
static QualType computeConditionalNullability (QualType ResTy, bool IsBin, QualType LHSTy, QualType RHSTy, ASTContext &Ctx)
 Compute the nullability of a conditional expression. More...
 
static bool IsInvalidCmseNSCallConversion (Sema &S, QualType FromType, QualType ToType)
 
static Sema::AssignConvertType checkPointerTypesForAssignment (Sema &S, QualType LHSType, QualType RHSType, SourceLocation Loc)
 
static Sema::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. More...
 
static Sema::AssignConvertType checkObjCPointerTypesForAssignment (Sema &S, QualType LHSType, QualType RHSType)
 checkObjCPointerTypesForAssignment - Compares two objective-c pointer types for assignment compatibility. More...
 
static bool isVector (QualType QT, QualType ElementType)
 This helper function returns true if QT is a vector type that has element type ElementType. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
static void checkArithmeticNull (Sema &S, ExprResult &LHS, ExprResult &RHS, SourceLocation Loc, bool IsCompare)
 
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 diagnoseArithmeticOnTwoVoidPointers (Sema &S, SourceLocation Loc, Expr *LHSExpr, Expr *RHSExpr)
 Diagnose invalid arithmetic on two void pointers. More...
 
static void diagnoseArithmeticOnVoidPointer (Sema &S, SourceLocation Loc, Expr *Pointer)
 Diagnose invalid arithmetic on a void pointer. More...
 
static void diagnoseArithmeticOnNullPointer (Sema &S, SourceLocation Loc, Expr *Pointer, bool IsGNUIdiom)
 Diagnose invalid arithmetic on a null pointer. More...
 
static void diagnoseSubtractionOnNullPointer (Sema &S, SourceLocation Loc, Expr *Pointer, bool BothNull)
 Diagnose invalid subraction on a null pointer. More...
 
static void diagnoseArithmeticOnTwoFunctionPointers (Sema &S, SourceLocation Loc, Expr *LHS, Expr *RHS)
 Diagnose invalid arithmetic on two function pointers. More...
 
static void diagnoseArithmeticOnFunctionPointer (Sema &S, SourceLocation Loc, Expr *Pointer)
 Diagnose invalid arithmetic on a function pointer. More...
 
static bool checkArithmeticIncompletePointerType (Sema &S, SourceLocation Loc, Expr *Operand)
 Emit error if Operand is incomplete pointer type. More...
 
static bool checkArithmeticOpPointerOperand (Sema &S, SourceLocation Loc, Expr *Operand)
 Check the validity of an arithmetic pointer operand. More...
 
static bool checkArithmeticBinOpPointerOperands (Sema &S, SourceLocation Loc, Expr *LHSExpr, Expr *RHSExpr)
 Check the validity of a binary arithmetic operation w.r.t. More...
 
static void diagnoseStringPlusInt (Sema &Self, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
 diagnoseStringPlusInt - Emit a warning when adding an integer to a string literal. More...
 
static void diagnoseStringPlusChar (Sema &Self, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
 Emit a warning when adding a char literal to a string. More...
 
static void diagnosePointerIncompatibility (Sema &S, SourceLocation Loc, Expr *LHSExpr, Expr *RHSExpr)
 Emit error when two pointers are incompatible. More...
 
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. More...
 
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. More...
 
static bool convertPointersToCompositeType (Sema &S, SourceLocation Loc, ExprResult &LHS, ExprResult &RHS)
 Returns false if the pointers are converted to a composite type, true otherwise. More...
 
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. More...
 
static bool checkForArray (const Expr *E)
 
static void diagnoseTautologicalComparison (Sema &S, SourceLocation Loc, Expr *LHS, Expr *RHS, BinaryOperatorKind Opc)
 Diagnose some forms of syntactically-obvious tautological comparison. More...
 
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. More...
 
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. More...
 
static bool CheckForModifiableLvalue (Expr *E, SourceLocation Loc, Sema &S)
 CheckForModifiableLvalue - Verify that E is a modifiable lvalue. More...
 
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. More...
 
static ValueDeclgetPrimaryDecl (Expr *E)
 getPrimaryDecl - Helper function for CheckAddressOfOperand(). More...
 
static void diagnoseAddressOfInvalidType (Sema &S, SourceLocation Loc, Expr *E, unsigned Type)
 Diagnose invalid operand for address of operations. More...
 
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 '*'). More...
 
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. More...
 
static void checkObjCPointerIntrospection (Sema &S, ExprResult &L, ExprResult &R, SourceLocation OpLoc)
 Check if a bitwise-& is performed on an Objective-C pointer. More...
 
static NamedDeclgetDeclFromExpr (Expr *E)
 
static ExprResult convertHalfVecBinOp (Sema &S, ExprResult LHS, ExprResult RHS, BinaryOperatorKind Opc, QualType ResultTy, ExprValueKind VK, ExprObjectKind OK, bool IsCompAssign, SourceLocation OpLoc, FPOptionsOverride FPFeatures)
 
static std::pair< ExprResult, ExprResultCorrectDelayedTyposInBinOp (Sema &S, BinaryOperatorKind Opc, Expr *LHSExpr, Expr *RHSExpr)
 
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. More...
 
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. More...
 
static void EmitDiagnosticForLogicalAndInLogicalOr (Sema &Self, SourceLocation OpLoc, BinaryOperator *Bop)
 It accepts a '&&' expr that is inside a '||' one. More...
 
static bool EvaluatesAsTrue (Sema &S, Expr *E)
 Returns true if the given expression can be evaluated as a constant 'true'. More...
 
static bool EvaluatesAsFalse (Sema &S, Expr *E)
 Returns true if the given expression can be evaluated as a constant 'false'. More...
 
static void DiagnoseLogicalAndInLogicalOrLHS (Sema &S, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
 Look for '&&' in the left hand of a '||' expr. More...
 
static void DiagnoseLogicalAndInLogicalOrRHS (Sema &S, SourceLocation OpLoc, Expr *LHSExpr, Expr *RHSExpr)
 Look for '&&' in the right hand of a '||' expr. More...
 
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. More...
 
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. More...
 
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. More...
 
static bool isOverflowingIntegerType (ASTContext &Ctx, QualType T)
 
static CXXRecordDeclLookupStdSourceLocationImpl (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? More...
 
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. More...
 
static void CheckCompleteParameterTypesForMangler (Sema &S, FunctionDecl *FD, SourceLocation Loc)
 Require that all of the parameter types of function be complete. More...
 
static OdrUseContext isOdrUseContext (Sema &SemaRef)
 Are we within a context in which references to resolved functions or to variables result in odr-use? More...
 
static bool isImplicitlyDefinableConstexprFunction (FunctionDecl *Func)
 
static void MarkVarDeclODRUsed (VarDecl *Var, SourceLocation Loc, Sema &SemaRef, const unsigned *const FunctionScopeIndexToStopAt=nullptr)
 Directly mark a variable odr-used. More...
 
static bool isVariableAlreadyCapturedInScopeInfo (CapturingScopeInfo *CSI, ValueDecl *Var, bool &SubCapturesAreNested, QualType &CaptureType, QualType &DeclRefType)
 
static DeclContextgetParentOfCapturingContextOrNull (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, Sema::TryCaptureKind Kind, bool IsTopScope, Sema &S, bool Invalid)
 Capture the given variable in the captured region. More...
 
static bool captureInLambda (LambdaScopeInfo *LSI, ValueDecl *Var, SourceLocation Loc, const bool BuildAndDiagnose, QualType &CaptureType, QualType &DeclRefType, const bool RefersToCapturedVariable, const Sema::TryCaptureKind Kind, SourceLocation EllipsisLoc, const bool IsTopScope, Sema &S, bool Invalid)
 Capture the given variable in the lambda. More...
 
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. More...
 
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. More...
 
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)
 
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 
)

◆ BUILTIN_TYPE [1/2]

#define BUILTIN_TYPE (   ID,
  SINGLETON_ID 
)    case BuiltinType::ID:

◆ BUILTIN_TYPE [2/2]

#define BUILTIN_TYPE (   Id,
  SingletonId 
)    case BuiltinType::Id:

◆ DECL

#define DECL (   type,
  base 
)    case Decl::type:

◆ DEPENDENT_TYPE

#define DEPENDENT_TYPE (   Class,
  Base 
)    case Type::Class:

◆ EXT_OPAQUE_TYPE [1/2]

#define EXT_OPAQUE_TYPE (   ExtType,
  Id,
  Ext 
)    case BuiltinType::Id:

◆ EXT_OPAQUE_TYPE [2/2]

#define EXT_OPAQUE_TYPE (   ExtType,
  Id,
  Ext 
)    case BuiltinType::Id:

◆ IMAGE_TYPE [1/2]

#define IMAGE_TYPE (   ImgType,
  Id,
  SingletonId,
  Access,
  Suffix 
)    case BuiltinType::Id:

◆ IMAGE_TYPE [2/2]

#define IMAGE_TYPE (   ImgType,
  Id,
  SingletonId,
  Access,
  Suffix 
)    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 
)    case BuiltinType::Id:

◆ PPC_VECTOR_TYPE [2/2]

#define PPC_VECTOR_TYPE (   Name,
  Id,
  Size 
)    case BuiltinType::Id:

◆ RVV_TYPE [1/2]

#define RVV_TYPE (   Name,
  Id,
  SingletonId 
)    case BuiltinType::Id:

◆ RVV_TYPE [2/2]

#define RVV_TYPE (   Name,
  Id,
  SingletonId 
)    case BuiltinType::Id:

◆ SVE_TYPE [1/2]

#define SVE_TYPE (   Name,
  Id,
  SingletonId 
)    case BuiltinType::Id:

◆ SVE_TYPE [2/2]

#define SVE_TYPE (   Name,
  Id,
  SingletonId 
)    case BuiltinType::Id:

◆ TYPE

#define TYPE (   Class,
  Base 
)

◆ VALUE

#define VALUE (   type,
  base 
)

Typedef Documentation

◆ PerformCastFn

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

Definition at line 1268 of file SemaExpr.cpp.

Enumeration Type Documentation

◆ anonymous enum

anonymous enum
Enumerator
ConstFunction 
ConstVariable 
ConstMember 
ConstMethod 
NestedConstMember 
ConstUnknown 

Definition at line 13495 of file SemaExpr.cpp.

◆ 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 13449 of file SemaExpr.cpp.

◆ OriginalExprKind

Enumerator
OEK_Variable 
OEK_Member 
OEK_LValue 

Definition at line 13627 of file SemaExpr.cpp.

Function Documentation

◆ breakDownVectorType()

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

◆ BuildCookedLiteralOperatorCall()

static 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 1821 of file SemaExpr.cpp.

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

◆ BuildFloatingLiteral()

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

Definition at line 3683 of file SemaExpr.cpp.

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

◆ buildLambdaCaptureFixit()

static void buildLambdaCaptureFixit ( Sema Sema,
LambdaScopeInfo LSI,
ValueDecl Var 
)
static

◆ BuildOverloadedBinOp()

static 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 15378 of file SemaExpr.cpp.

◆ canCaptureVariableByCopy()

static bool canCaptureVariableByCopy ( ValueDecl Var,
const ASTContext Context 
)
static

◆ canConvertIntToOtherIntTy()

static 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 10238 of file SemaExpr.cpp.

◆ canConvertIntTyToFloatTy()

static 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 10276 of file SemaExpr.cpp.

◆ captureInBlock()

static 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 18478 of file SemaExpr.cpp.

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

◆ captureInCapturedRegion()

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

Capture the given variable in the captured region.

Definition at line 18546 of file SemaExpr.cpp.

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

◆ captureInLambda()

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

Capture the given variable in the lambda.

Definition at line 18586 of file SemaExpr.cpp.

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

◆ captureVariablyModifiedType()

static void captureVariablyModifiedType ( ASTContext Context,
QualType  T,
CapturingScopeInfo CSI 
)
static

◆ castKindToImplicitConversionKind()

static ImplicitConversionKind castKindToImplicitConversionKind ( CastKind  CK)
static

◆ CheckAlignOfExpr()

static bool CheckAlignOfExpr ( Sema S,
Expr E,
UnaryExprOrTypeTrait  ExprKind 
)
static

Definition at line 4414 of file SemaExpr.cpp.

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

◆ checkArgsForPlaceholders()

static bool checkArgsForPlaceholders ( Sema S,
MultiExprArg  args 
)
static

Check an argument list for placeholders that we won't try to handle later.

Definition at line 6369 of file SemaExpr.cpp.

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

◆ checkArithmeticBinOpPointerOperands()

static 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 11022 of file SemaExpr.cpp.

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

◆ checkArithmeticIncompletePointerType()

static 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 10968 of file SemaExpr.cpp.

◆ checkArithmeticNull()

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

◆ checkArithmeticOnObjCPointer()

static 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 4760 of file SemaExpr.cpp.

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

◆ checkArithmeticOpPointerOperand()

static 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 10990 of file SemaExpr.cpp.

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

◆ checkArithmeticOrEnumeralCompare()

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

Definition at line 12325 of file SemaExpr.cpp.

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

◆ checkArithmeticOrEnumeralThreeWayCompare()

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

Definition at line 12243 of file SemaExpr.cpp.

◆ checkBlockPointerTypesForAssignment()

static Sema::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 9393 of file SemaExpr.cpp.

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

◆ checkBlockType()

static bool checkBlockType ( Sema S,
const Expr E 
)
static

Return true if the Expr is block type.

Definition at line 8582 of file SemaExpr.cpp.

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

◆ CheckCommaOperands()

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

Definition at line 14074 of file SemaExpr.cpp.

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

◆ CheckCompleteParameterTypesForMangler()

static 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 17887 of file SemaExpr.cpp.

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

◆ checkCondition()

static bool checkCondition ( Sema S,
Expr Cond,
SourceLocation  QuestionLoc 
)
static

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

Definition at line 8150 of file SemaExpr.cpp.

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

◆ checkConditionalBlockPointerCompatibility()

static 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 8312 of file SemaExpr.cpp.

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

◆ checkConditionalNullPointer()

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

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

Definition at line 8170 of file SemaExpr.cpp.

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

◆ checkConditionalObjectPointersCompatibility()

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

Return the resulting type when the operands are both pointers.

Definition at line 8338 of file SemaExpr.cpp.

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

◆ checkConditionalPointerCompatibility()

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

Checks compatibility between two pointers and return the resulting type.

Definition at line 8183 of file SemaExpr.cpp.

◆ CheckDeclInExpr()

static 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 3188 of file SemaExpr.cpp.

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

◆ checkDirectCallValidity()

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

Definition at line 6467 of file SemaExpr.cpp.

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

◆ checkEnumArithmeticConversions()

static void checkEnumArithmeticConversions ( Sema S,
Expr LHS,
Expr RHS,
SourceLocation  Loc,
Sema::ArithConvKind  ACK 
)
static

Check that the usual arithmetic conversions can be performed on this pair of expressions that might be of enumeration type.

Definition at line 1468 of file SemaExpr.cpp.

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

◆ CheckExtensionTraitOperandType()

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

Definition at line 4186 of file SemaExpr.cpp.

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

◆ checkForArray()

static bool checkForArray ( const Expr E)
static

◆ CheckForModifiableLvalue()

static 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 13697 of file SemaExpr.cpp.

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

◆ CheckForNullPointerDereference()

static void CheckForNullPointerDereference ( Sema S,
Expr E 
)
static

◆ CheckIdentityFieldAssignment()

static void CheckIdentityFieldAssignment ( Expr LHSExpr,
Expr RHSExpr,
SourceLocation  Loc,
Sema Sema 
)
static

◆ CheckIncrementDecrementOperand()

static 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 14110 of file SemaExpr.cpp.

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

◆ CheckIndirectionOperand()

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

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

Definition at line 14524 of file SemaExpr.cpp.

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

◆ checkObjCPointerIntrospection()

static 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 14725 of file SemaExpr.cpp.

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

◆ checkObjCPointerTypesForAssignment()

static Sema::AssignConvertType checkObjCPointerTypesForAssignment ( Sema S,
QualType  LHSType,
QualType  RHSType 
)
static

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

Definition at line 9444 of file SemaExpr.cpp.

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

◆ CheckObjCTraitOperandConstraints()

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

Definition at line 4216 of file SemaExpr.cpp.

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

◆ checkOpenCLConditionVector()

static bool checkOpenCLConditionVector ( Sema S,
Expr Cond,
SourceLocation  QuestionLoc 
)
static

Return false if this is a valid OpenCL condition vector.

Definition at line 8496 of file SemaExpr.cpp.

◆ checkPointerIntegerMismatch()

static 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 8377 of file SemaExpr.cpp.

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

◆ checkPointerTypesForAssignment()

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

Definition at line 9243 of file SemaExpr.cpp.

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

◆ CheckRealImagOperand()

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

Definition at line 4703 of file SemaExpr.cpp.

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

◆ checkSizelessVectorShift()

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

Definition at line 11623 of file SemaExpr.cpp.

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

◆ checkThreeWayNarrowingConversion()

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

Definition at line 12200 of file SemaExpr.cpp.

◆ CheckVecStepTraitOperandType()

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

Definition at line 4168 of file SemaExpr.cpp.

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

◆ checkVectorResult()

static 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 8516 of file SemaExpr.cpp.

◆ checkVectorShift()

static 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 11529 of file SemaExpr.cpp.

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

◆ computeConditionalNullability()

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

◆ ConstructTransparentUnion()

static 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 9858 of file SemaExpr.cpp.

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

◆ convertHalfVecBinOp()

static 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 14781 of file SemaExpr.cpp.

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

◆ convertPointersToCompositeType()

static 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 11790 of file SemaExpr.cpp.

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

◆ ConvertTokenKindToUnaryOpcode()

static UnaryOperatorKind ConvertTokenKindToUnaryOpcode ( tok::TokenKind  Kind)
inlinestatic

Definition at line 14627 of file SemaExpr.cpp.

◆ ConvertUTF8ToWideString()

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

Definition at line 3513 of file SemaExpr.cpp.

References clang::Target.

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

◆ convertVector()

static 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 10217 of file SemaExpr.cpp.

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

◆ CorrectDelayedTyposInBinOp()

static std::pair<ExprResult, ExprResult> CorrectDelayedTyposInBinOp ( Sema S,
BinaryOperatorKind  Opc,
Expr LHSExpr,
Expr RHSExpr 
)
static

Definition at line 14814 of file SemaExpr.cpp.

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

◆ DiagnoseAdditionInShift()

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

Definition at line 15274 of file SemaExpr.cpp.

Referenced by DiagnoseBinOpPrecedence().

◆ diagnoseAddressOfInvalidType()

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

Diagnose invalid operand for address of operations.

Parameters
TypeThe type of operand which cannot have its address taken.

Definition at line 14275 of file SemaExpr.cpp.

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

◆ diagnoseArithmeticOnFunctionPointer()

static void diagnoseArithmeticOnFunctionPointer ( Sema S,
SourceLocation  Loc,
Expr Pointer 
)
static

Diagnose invalid arithmetic on a function pointer.

Definition at line 10954 of file SemaExpr.cpp.

◆ diagnoseArithmeticOnNullPointer()

static 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 10909 of file SemaExpr.cpp.

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

◆ diagnoseArithmeticOnTwoFunctionPointers()

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

Diagnose invalid arithmetic on two function pointers.

Definition at line 10938 of file SemaExpr.cpp.

◆ diagnoseArithmeticOnTwoVoidPointers()

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

Diagnose invalid arithmetic on two void pointers.

Definition at line 10886 of file SemaExpr.cpp.

◆ diagnoseArithmeticOnVoidPointer()

static void diagnoseArithmeticOnVoidPointer ( Sema S,
SourceLocation  Loc,
Expr Pointer 
)
static

Diagnose invalid arithmetic on a void pointer.

Definition at line 10896 of file SemaExpr.cpp.

◆ DiagnoseBadDivideOrRemainderValues()

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

◆ DiagnoseBadShiftValues()

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

Definition at line 11427 of file SemaExpr.cpp.

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

◆ DiagnoseBinOpPrecedence()

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

◆ DiagnoseBitwiseOpInBitwiseOp()

static 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 15259 of file SemaExpr.cpp.

Referenced by DiagnoseBinOpPrecedence().

◆ DiagnoseBitwisePrecedence()

static 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 15149 of file SemaExpr.cpp.

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

Referenced by DiagnoseBinOpPrecedence().

◆ DiagnoseCalleeStaticArrayParam()

static void DiagnoseCalleeStaticArrayParam ( Sema S,
ParmVarDecl PVD 
)
static

Definition at line 6231 of file SemaExpr.cpp.

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

◆ DiagnoseConditionalPrecedence()

static void DiagnoseConditionalPrecedence ( Sema Self,
SourceLocation  OpLoc,
Expr Condition,
Expr LHSExpr,
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 9026 of file SemaExpr.cpp.

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

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

◆ DiagnoseConstAssignment()

static 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 13508 of file SemaExpr.cpp.

◆ DiagnoseDirectIsaAccess()

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

◆ diagnoseDistinctPointerComparison()

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

Diagnose bad pointer comparisons.

Definition at line 11779 of file SemaExpr.cpp.

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

◆ DiagnoseDivisionSizeofPointerOrArray()

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

Definition at line 10748 of file SemaExpr.cpp.

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

◆ DiagnosedUnqualifiedCallsToStdFunctions()

static void DiagnosedUnqualifiedCallsToStdFunctions ( Sema S,
CallExpr Call 
)
static

Definition at line 6577 of file SemaExpr.cpp.

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

◆ diagnoseFunctionPointerToVoidComparison()

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

Definition at line 11819 of file SemaExpr.cpp.

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

◆ DiagnoseLogicalAndInLogicalOrLHS()

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

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

Definition at line 15220 of file SemaExpr.cpp.

Referenced by DiagnoseBinOpPrecedence().

◆ DiagnoseLogicalAndInLogicalOrRHS()

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

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

Definition at line 15242 of file SemaExpr.cpp.

Referenced by DiagnoseBinOpPrecedence().

◆ diagnoseLogicalNotOnLHSofCheck()

static 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 11980 of file SemaExpr.cpp.

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

◆ diagnoseObjCLiteralComparison()

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

Definition at line 11930 of file SemaExpr.cpp.

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

◆ diagnosePointerIncompatibility()

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

Emit error when two pointers are incompatible.

Definition at line 11156 of file SemaExpr.cpp.

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

◆ DiagnoseRecursiveConstFields() [1/2]

static 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 13674 of file SemaExpr.cpp.

◆ DiagnoseRecursiveConstFields() [2/2]

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

Definition at line 13633 of file SemaExpr.cpp.

◆ DiagnoseSelfAssignment()

static 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 14683 of file SemaExpr.cpp.

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

◆ DiagnoseShiftCompare()

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

Definition at line 15288 of file SemaExpr.cpp.

Referenced by DiagnoseBinOpPrecedence().

◆ diagnoseStringPlusChar()

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

◆ diagnoseStringPlusInt()

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

◆ diagnoseSubtractionOnNullPointer()

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

Diagnose invalid subraction on a null pointer.

Definition at line 10921 of file SemaExpr.cpp.

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

◆ diagnoseTautologicalComparison()

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

Diagnose some forms of syntactically-obvious tautological comparison.

Definition at line 12036 of file SemaExpr.cpp.

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 18302 of file SemaExpr.cpp.

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

◆ diagnoseUnknownAnyExpr()

static ExprResult diagnoseUnknownAnyExpr ( Sema S,
Expr E 
)
static

Definition at line 20645 of file SemaExpr.cpp.

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

◆ DiagnoseUnusedOfDecl()

static void DiagnoseUnusedOfDecl ( Sema S,
NamedDecl D,
SourceLocation  Loc 
)
static

Definition at line 99 of file SemaExpr.cpp.

◆ diagnoseUseOfInternalDeclInInlineFunction()

static 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 154 of file SemaExpr.cpp.

◆ diagnoseXorMisusedAsPow()

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

Definition at line 13025 of file SemaExpr.cpp.

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

◆ DoMarkBindingDeclReferenced()

static void DoMarkBindingDeclReferenced ( Sema SemaRef,
SourceLocation  Loc,
BindingDecl BD 
)
static

◆ DoMarkVarDeclReferenced()

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

Definition at line 19480 of file SemaExpr.cpp.

References clang::sema::LambdaScopeInfo::addPotentialCapture(), clang::sema::LambdaScopeInfo::CallOperator, clang::Sema::checkSpecializationVisibility(), clang::Sema::Context, clang::Sema::CurContext, clang::DeclContext::Encloses(), clang::Sema::getCurLambda(), clang::Decl::getDeclContext(), clang::VarDecl::getMemberSpecializationInfo(), clang::VarDecl::getPointOfInstantiation(), clang::MemberSpecializationInfo::getTemplateSpecializationKind(), clang::VarDecl::getTemplateSpecializationKind(), clang::ValueDecl::getType(), clang::VarDecl::hasExternalStorage(), clang::VarDecl::hasLocalStorage(), clang::Expr::IgnoreParens(), clang::Sema::InstantiateVariableDefinition(), clang::DeclContext::isFunctionOrMethod(), clang::SourceLocation::isInvalid(), clang::Decl::isInvalidDecl(), clang::VarDecl::isLocalVarDeclOrParm(), isOdrUseContext(), isPotentiallyConstantEvaluatedContext(), clang::Type::isReferenceType(), clang::isTemplateInstantiation(), clang::VarDecl::isUsableInConstantExpressions(), MarkVarDeclODRUsed(), clang::Sema::MaybeODRUseExprs, clang::VarDecl::mightBeUsableInConstantExpressions(), clang::XRayInstrKind::None, clang::Sema::PendingInstantiations, clang::Sema::RefsMinusAssignments, clang::Sema::runWithSufficientStackSpace(), clang::Decl::setReferenced(), clang::VarDecl::setTemplateSpecializationKind(), clang::TSK_ExplicitInstantiationDeclaration, clang::TSK_ImplicitInstantiation, clang::TSK_Undeclared, and Used.

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

◆ EmitDiagnosticForLogicalAndInLogicalOr()

static 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 15192 of file SemaExpr.cpp.

References clang::Sema::Diag(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getOpcodeStr(), clang::BinaryOperator::getOperatorLoc(), clang::Stmt::getSourceRange(), clang::Sema::PDiag(), and SuggestParentheses().

◆ emitEmptyLookupTypoDiagnostic()

static void emitEmptyLookupTypoDiagnostic ( const TypoCorrection TC,
Sema SemaRef,
const CXXScopeSpec SS,
DeclarationName  Typo,
SourceLocation  TypoLoc,
ArrayRef< Expr * >  Args,
unsigned  DiagnosticID,
unsigned  DiagnosticSuggestID 
)
static

Definition at line 2167 of file SemaExpr.cpp.

◆ enclosingClassIsRelatedToClassInWhichMembersWereFound()

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

Definition at line 6494 of file SemaExpr.cpp.

◆ EvaluateAndDiagnoseImmediateInvocation()

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

◆ EvaluatesAsFalse()

static bool EvaluatesAsFalse ( Sema S,
Expr E 
)
static

Returns true if the given expression can be evaluated as a constant 'false'.

Definition at line 15213 of file SemaExpr.cpp.

◆ EvaluatesAsTrue()

static bool EvaluatesAsTrue ( Sema S,
Expr E 
)
static

Returns true if the given expression can be evaluated as a constant 'true'.

Definition at line 15205 of file SemaExpr.cpp.

◆ ExprLooksBoolean()

static bool ExprLooksBoolean ( 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 9005 of file SemaExpr.cpp.

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

Referenced by DiagnoseConditionalPrecedence().

◆ funcHasParameterSizeMangling()

static 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 17853 of file SemaExpr.cpp.

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

◆ getDeclFromExpr()

static NamedDecl* getDeclFromExpr ( Expr E)
static

Definition at line 14766 of file SemaExpr.cpp.

◆ getDependentArraySubscriptType()

static QualType getDependentArraySubscriptType ( Expr LHS,
Expr RHS,
const ASTContext Ctx 
)
static

◆ GetFixedPointRank()

static 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 1382 of file SemaExpr.cpp.

References clang::Type::getAs().

◆ getParentOfCapturingContextOrNull()

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

Definition at line 18375 of file SemaExpr.cpp.

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

◆ getPrimaryDecl()

static 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 14215 of file SemaExpr.cpp.

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

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

◆ getUDSuffixLoc()

static 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 1813 of file SemaExpr.cpp.

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

◆ handleComplexConversion()

static 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 1138 of file SemaExpr.cpp.

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

◆ handleComplexFloatConversion()

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

Definition at line 1115 of file SemaExpr.cpp.

◆ handleComplexIntConversion()

static 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 1336 of file SemaExpr.cpp.

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

◆ handleFixedPointConversion()

static 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 1429 of file SemaExpr.cpp.

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

◆ handleFloatConversion()

static 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 1193 of file SemaExpr.cpp.

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

◆ HandleImmediateInvocations()

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

When we have more then 1 ImmediateInvocationCandidates we need to check for nested ImmediateInvocationCandidates. when we have only 1 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 17686 of file SemaExpr.cpp.

References clang::Sema::ExpressionEvaluationContextRecord::ImmediateInvocationCandidates, clang::Sema::RebuildingImmediateInvocation, clang::Sema::ExpressionEvaluationContextRecord::ReferenceToConsteval, and RemoveNestedImmediateInvocation().

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

◆ handleIntegerConversion()

template<PerformCastFn doLHSCast, PerformCastFn doRHSCast>
static 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 1286 of file SemaExpr.cpp.

◆ handleIntegerToComplexFloatConversion()

static bool handleIntegerToComplexFloatConversion ( Sema S,
ExprResult IntExpr,
ExprResult ComplexExpr,
QualType  IntTy,
QualType  ComplexTy,
bool  SkipCast 
)
static

Converts an integer to complex float type.

Helper function of UsualArithmeticConversions()

Returns
false if the integer expression is an integer type and is successfully converted to the complex type.

Definition at line 1085 of file SemaExpr.cpp.

◆ handleIntToFloatConversion()

static 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 1162 of file SemaExpr.cpp.

◆ hasAnyExplicitStorageClass()

static bool hasAnyExplicitStorageClass ( const FunctionDecl D)
static

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

Definition at line 138 of file SemaExpr.cpp.

References clang::Redeclarable< decl_type >::redecls(), and clang::SC_None.

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

◆ hasIsEqualMethod()

static bool hasIsEqualMethod ( Sema S,
const Expr LHS,
const Expr RHS 
)
static

Definition at line 11842 of file SemaExpr.cpp.

◆ IgnoreCommaOperand()

static bool IgnoreCommaOperand ( const Expr E,
const ASTContext Context 
)
static

◆ IsArithmeticBinaryExpr()

static bool IsArithmeticBinaryExpr ( Expr E,
BinaryOperatorKind Opcode,
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 8959 of file SemaExpr.cpp.

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

Referenced by DiagnoseConditionalPrecedence().

◆ IsArithmeticOp()

static bool IsArithmeticOp ( BinaryOperatorKind  Opc)
static

◆ isCapturingReferenceToHostVarInCUDADeviceLambda()

static bool isCapturingReferenceToHostVarInCUDADeviceLambda ( const Sema S,
VarDecl VD 
)
static

Definition at line 2021 of file SemaExpr.cpp.

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

◆ isImplicitlyDefinableConstexprFunction()

static bool isImplicitlyDefinableConstexprFunction ( FunctionDecl Func)
static

◆ IsInvalidCmseNSCallConversion()

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

Definition at line 9222 of file SemaExpr.cpp.

◆ isLegalBoolVectorBinaryOp()

static bool isLegalBoolVectorBinaryOp ( BinaryOperatorKind  Opc)
static

Definition at line 13255 of file SemaExpr.cpp.

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

◆ isMSPropertySubscriptExpr()

static bool isMSPropertySubscriptExpr ( Sema S,
Expr Base 
)
static

Definition at line 4774 of file SemaExpr.cpp.

◆ isObjCObjectLiteral()

static bool isObjCObjectLiteral ( ExprResult E)
static

◆ isOdrUseContext()

static OdrUseContext isOdrUseContext ( Sema SemaRef)
static

◆ isOverflowingIntegerType()

static bool isOverflowingIntegerType ( ASTContext Ctx,
QualType  T 
)
static

◆ isPlaceholderToRemoveAsArg()

static bool isPlaceholderToRemoveAsArg ( QualType  type)
static

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

Definition at line 6307 of file SemaExpr.cpp.

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

◆ isPotentiallyConstantEvaluatedContext()

static bool isPotentiallyConstantEvaluatedContext ( Sema SemaRef)
static

◆ IsReadonlyMessage()

static bool IsReadonlyMessage ( Expr E,
Sema S 
)
static

Definition at line 13436 of file SemaExpr.cpp.

◆ isReferenceToNonConstCapture()

static NonConstCaptureKind isReferenceToNonConstCapture ( Sema S,
Expr E 
)
static

Definition at line 13450 of file SemaExpr.cpp.

◆ isScopedEnumerationType()

static bool isScopedEnumerationType ( QualType  T)
static

◆ IsTypeModifiable()

static bool IsTypeModifiable ( QualType  Ty,
bool  IsDereference 
)
static

◆ isVariableAlreadyCapturedInScopeInfo()

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

◆ isVariableCapturable()

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

Definition at line 18398 of file SemaExpr.cpp.

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

◆ isVector()

static 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 9493 of file SemaExpr.cpp.

References clang::Type::getAs().

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

◆ LookupStdSourceLocationImpl()

static CXXRecordDecl* LookupStdSourceLocationImpl ( Sema S,
SourceLocation  Loc 
)
static

Definition at line 16724 of file SemaExpr.cpp.

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

◆ MarkExprReferenced()

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

◆ MarkVarDeclODRUsed()

static void MarkVarDeclODRUsed ( VarDecl Var,
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 18234 of file SemaExpr.cpp.

References clang::Sema::CFT_Device, clang::Sema::CFT_Global, clang::Sema::CFT_Host, clang::Sema::CFT_HostDevice, clang::Sema::Context, clang::ASTContext::CUDADeviceVarODRUsedByHost, clang::ASTContext::CUDAExternalDeviceDeclODRUsedByHost, clang::Sema::CurContext, clang::Sema::CVT_Device, clang::Sema::CVT_Host, clang::VarDecl::DeclarationOnly, clang::Sema::getASTContext(), clang::VarDecl::getCanonicalDecl(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::VarDecl::hasDefinition(), clang::VarDecl::hasExternalStorage(), clang::VarDecl::hasGlobalStorage(), clang::VarDecl::hasInit(), clang::Sema::IdentifyCUDATarget(), clang::QualType::isConstQualified(), clang::NamedDecl::isExternallyVisible(), clang::Sema::isExternalWithNoLinkageType(), clang::VarDecl::isInline(), clang::SourceLocation::isInvalid(), clang::VarDecl::isStaticDataMember(), clang::Sema::LangOpts, clang::Decl::markUsed(), clang::Sema::targetDiag(), clang::Sema::TryCapture_Implicit, clang::Sema::tryCaptureOpenMPLambdas(), clang::Sema::tryCaptureVariable(), and clang::Sema::UndefinedButUsed.

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

◆ maybeDiagnoseAssignmentToFunction()

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

Definition at line 16886 of file SemaExpr.cpp.

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

◆ needsConversionOfHalfVec()

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

◆ OpenCLArithmeticConversions()

static 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 8407 of file SemaExpr.cpp.

◆ OpenCLCheckVectorConditional()

static 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 8544 of file SemaExpr.cpp.

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

◆ OpenCLConvertScalarsToVectors()

static 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 8462 of file SemaExpr.cpp.

◆ rebuildPotentialResultsAsNonOdrUsed()

static 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 19102 of file SemaExpr.cpp.

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

◆ rebuildUnknownAnyFunction()

static 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 20250 of file SemaExpr.cpp.

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

◆ RecordModifiableNonNullParam()

static void RecordModifiableNonNullParam ( Sema S,
const Expr Exp 
)
static

◆ recoverFromMSUnqualifiedLookup()

static 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 2443 of file SemaExpr.cpp.

◆ RemoveNestedImmediateInvocation()

static 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::TransformInitializer skip ConstantExpr so we need to visit them here.

ConstantExpr 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 17598 of file SemaExpr.cpp.

Referenced by HandleImmediateInvocations().

◆ rewriteBuiltinFunctionDecl()

static 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 6394 of file SemaExpr.cpp.

References clang::ASTContext::BuiltinInfo, clang::ParmVarDecl::Create(), clang::FunctionDecl::Create(), clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::QualType::getAddressSpace(), clang::ASTContext::getAddrSpaceQualType(), clang::FunctionDecl::getBuiltinID(), clang::Sema::getCurFPFeatures(), clang::ASTContext::getFunctionType(), clang::NamedDecl::getIdentifier(), clang::Decl::getLocation(), clang::FunctionProtoType::getNumParams(), clang::FunctionProtoType::getParamType(), clang::DeclContext::getParent(), clang::Type::getPointeeType(), clang::ASTContext::getPointerType(), clang::FunctionType::getReturnType(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::QualType::hasAddressSpace(), clang::Builtin::Context::hasPtrArgsOrResult(), clang::FPOptions::isFPConstrained(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Type::isPointerType(), clang::FunctionProtoType::isVariadic(), clang::Sema::mergeDeclAttributes(), clang::FunctionProtoType::param_types(), Parent, clang::SC_Extern, clang::SC_None, clang::ParmVarDecl::setScopeInfo(), and clang::FunctionProtoType::ExtProtoInfo::Variadic.

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

◆ ShouldLookupResultBeMultiVersionOverload()

static bool ShouldLookupResultBeMultiVersionOverload ( const LookupResult R)
static

◆ SuggestParentheses()

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

◆ tryGCCVectorConvertAndSplat()

static 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 10320 of file SemaExpr.cpp.

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

◆ tryImplicitlyCaptureThisIfImplicitMemberFunctionAccessWithDependentArgs()

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

Definition at line 6536 of file SemaExpr.cpp.

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

◆ TryTypoCorrectionForCall()

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

Definition at line 5965 of file SemaExpr.cpp.

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

◆ tryVectorConvertAndSplat()

static 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 10170 of file SemaExpr.cpp.

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

◆ unsupportedTypeConversion()

static 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 1243 of file SemaExpr.cpp.

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

◆ warnOnSizeofOnArrayDecay()

static void warnOnSizeofOnArrayDecay ( Sema S,
SourceLocation  Loc,
QualType  T,
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 4234 of file SemaExpr.cpp.

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