clang  6.0.0svn
Macros | Enumerations | Functions
ExprConstant.cpp File Reference
#include "clang/AST/APValue.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTDiagnostic.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/Expr.h"
#include "clang/AST/RecordLayout.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/TargetInfo.h"
#include "llvm/Support/raw_ostream.h"
#include <cstring>
#include <functional>
#include "clang/AST/TypeNodes.def"
#include "clang/AST/BuiltinTypes.def"
#include "clang/Basic/OpenCLImageTypes.def"
#include "clang/AST/StmtNodes.inc"
Include dependency graph for ExprConstant.cpp:

Go to the source code of this file.

Macros

#define TYPE(ID, BASE)
 
#define DEPENDENT_TYPE(ID, BASE)   case Type::ID:
 
#define NON_CANONICAL_TYPE(ID, BASE)   case Type::ID:
 
#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(ID, BASE)   case Type::ID:
 
#define BUILTIN_TYPE(ID, SINGLETON_ID)
 
#define SIGNED_TYPE(ID, SINGLETON_ID)   case BuiltinType::ID: return integer_type_class;
 
#define FLOATING_TYPE(ID, SINGLETON_ID)   case BuiltinType::ID: return real_type_class;
 
#define PLACEHOLDER_TYPE(ID, SINGLETON_ID)   case BuiltinType::ID: break;
 
#define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix)   case BuiltinType::Id:
 
#define ABSTRACT_STMT(Node)
 
#define STMT(Node, Base)   case Expr::Node##Class:
 
#define EXPR(Node, Base)
 

Enumerations

enum  CheckSubobjectKind
 
enum  AccessKinds { AK_Read, AK_Assign, AK_Increment, AK_Decrement }
 Kinds of access we can perform on an object, for diagnostics. More...
 
enum  EvalStmtResult
 
enum  ICEKind
 

Functions

static bool IsGlobalLValue (APValue::LValueBase B)
 
static void describeCall (CallStackFrame *Frame, raw_ostream &Out)
 Produce a string describing the given constexpr call. More...
 
static bool Evaluate (APValue &Result, EvalInfo &Info, const Expr *E)
 
static bool EvaluateInPlace (APValue &Result, EvalInfo &Info, const LValue &This, const Expr *E, bool AllowNonLiteralTypes)
 EvaluateInPlace - Evaluate an expression in-place in an APValue. More...
 
static bool EvaluateLValue (const Expr *E, LValue &Result, EvalInfo &Info, bool InvalidBaseOK)
 Evaluate an expression as an lvalue. More...
 
static bool EvaluatePointer (const Expr *E, LValue &Result, EvalInfo &Info, bool InvalidBaseOK=false)
 
static bool EvaluateMemberPointer (const Expr *E, MemberPtr &Result, EvalInfo &Info)
 
static bool EvaluateTemporary (const Expr *E, LValue &Result, EvalInfo &Info)
 Evaluate an expression of record type as a temporary. More...
 
static bool EvaluateInteger (const Expr *E, APSInt &Result, EvalInfo &Info)
 
static bool EvaluateIntegerOrLValue (const Expr *E, APValue &Result, EvalInfo &Info)
 EvaluateIntegerOrLValue - Evaluate an rvalue integral-typed expression, and produce either the integer value or a pointer. More...
 
static bool EvaluateFloat (const Expr *E, APFloat &Result, EvalInfo &Info)
 
static bool EvaluateComplex (const Expr *E, ComplexValue &Res, EvalInfo &Info)
 
static bool EvaluateAtomic (const Expr *E, const LValue *This, APValue &Result, EvalInfo &Info)
 
static bool EvaluateAsRValue (EvalInfo &Info, const Expr *E, APValue &Result)
 EvaluateAsRValue - Try to evaluate this expression, performing an implicit lvalue-to-rvalue cast if it is an lvalue. More...
 
static void negateAsSigned (APSInt &Int)
 Negate an APSInt in place, converting it to a signed form if necessary, and preserving its value (by extending by up to one bit as needed). More...
 
static bool EvaluateIgnoredValue (EvalInfo &Info, const Expr *E)
 Evaluate an expression to see if it had side-effects, and discard its result. More...
 
static bool IsStringLiteralCall (const CallExpr *E)
 Should this call expression be treated as a string literal? More...
 
static void NoteLValueLocation (EvalInfo &Info, APValue::LValueBase Base)
 
static bool CheckLValueConstantExpression (EvalInfo &Info, SourceLocation Loc, QualType Type, const LValue &LVal)
 Check that this reference or pointer core constant expression is a valid value for an address or reference constant expression. More...
 
static bool CheckMemberPointerConstantExpression (EvalInfo &Info, SourceLocation Loc, QualType Type, const APValue &Value)
 Member pointers are constant expressions unless they point to a non-virtual dllimport member function. More...
 
static bool CheckLiteralType (EvalInfo &Info, const Expr *E, const LValue *This=nullptr)
 Check that this core constant expression is of literal type, and if not, produce an appropriate diagnostic. More...
 
static bool CheckConstantExpression (EvalInfo &Info, SourceLocation DiagLoc, QualType Type, const APValue &Value)
 Check that this core constant expression value is a valid value for a constant expression. More...
 
static const ValueDeclGetLValueBaseDecl (const LValue &LVal)
 
static bool IsLiteralLValue (const LValue &Value)
 
static bool IsWeakLValue (const LValue &Value)
 
static bool isZeroSized (const LValue &Value)
 
static bool EvalPointerValueAsBool (const APValue &Value, bool &Result)
 
static bool HandleConversionToBool (const APValue &Val, bool &Result)
 
static bool EvaluateAsBooleanCondition (const Expr *E, bool &Result, EvalInfo &Info)
 
template<typename T >
static bool HandleOverflow (EvalInfo &Info, const Expr *E, const T &SrcValue, QualType DestType)
 
static bool HandleFloatToIntCast (EvalInfo &Info, const Expr *E, QualType SrcType, const APFloat &Value, QualType DestType, APSInt &Result)
 
static bool HandleFloatToFloatCast (EvalInfo &Info, const Expr *E, QualType SrcType, QualType DestType, APFloat &Result)
 
static APSInt HandleIntToIntCast (EvalInfo &Info, const Expr *E, QualType DestType, QualType SrcType, const APSInt &Value)
 
static bool HandleIntToFloatCast (EvalInfo &Info, const Expr *E, QualType SrcType, const APSInt &Value, QualType DestType, APFloat &Result)
 
static bool truncateBitfieldValue (EvalInfo &Info, const Expr *E, APValue &Value, const FieldDecl *FD)
 
static bool EvalAndBitcastToAPInt (EvalInfo &Info, const Expr *E, llvm::APInt &Res)
 
template<typename Operation >
static bool CheckedIntArithmetic (EvalInfo &Info, const Expr *E, const APSInt &LHS, const APSInt &RHS, unsigned BitWidth, Operation Op, APSInt &Result)
 Perform the given integer operation, which is known to need at most BitWidth bits, and check for overflow in the original type (if that type was not an unsigned type). More...
 
static bool handleIntIntBinOp (EvalInfo &Info, const Expr *E, const APSInt &LHS, BinaryOperatorKind Opcode, APSInt RHS, APSInt &Result)
 Perform the given binary integer operation. More...
 
static bool handleFloatFloatBinOp (EvalInfo &Info, const Expr *E, APFloat &LHS, BinaryOperatorKind Opcode, const APFloat &RHS)
 Perform the given binary floating-point operation, in-place, on LHS. More...
 
static bool CastToDerivedClass (EvalInfo &Info, const Expr *E, LValue &Result, const RecordDecl *TruncatedType, unsigned TruncatedElements)
 Cast an lvalue referring to a base subobject to a derived class, by truncating the lvalue's path to the given length. More...
 
static bool HandleLValueDirectBase (EvalInfo &Info, const Expr *E, LValue &Obj, const CXXRecordDecl *Derived, const CXXRecordDecl *Base, const ASTRecordLayout *RL=nullptr)
 
static bool HandleLValueBase (EvalInfo &Info, const Expr *E, LValue &Obj, const CXXRecordDecl *DerivedDecl, const CXXBaseSpecifier *Base)
 
static bool HandleLValueBasePath (EvalInfo &Info, const CastExpr *E, QualType Type, LValue &Result)
 
static bool HandleLValueMember (EvalInfo &Info, const Expr *E, LValue &LVal, const FieldDecl *FD, const ASTRecordLayout *RL=nullptr)
 Update LVal to refer to the given field, which must be a member of the type currently described by LVal. More...
 
static bool HandleLValueIndirectMember (EvalInfo &Info, const Expr *E, LValue &LVal, const IndirectFieldDecl *IFD)
 Update LVal to refer to the given indirect field. More...
 
static bool HandleSizeof (EvalInfo &Info, SourceLocation Loc, QualType Type, CharUnits &Size)
 Get the size of the given type in char units. More...
 
static bool HandleLValueArrayAdjustment (EvalInfo &Info, const Expr *E, LValue &LVal, QualType EltTy, APSInt Adjustment)
 Update a pointer value to model pointer arithmetic. More...
 
static bool HandleLValueArrayAdjustment (EvalInfo &Info, const Expr *E, LValue &LVal, QualType EltTy, int64_t Adjustment)
 
static bool HandleLValueComplexElement (EvalInfo &Info, const Expr *E, LValue &LVal, QualType EltTy, bool Imag)
 Update an lvalue to refer to a component of a complex number. More...
 
static bool handleLValueToRValueConversion (EvalInfo &Info, const Expr *Conv, QualType Type, const LValue &LVal, APValue &RVal)
 Perform an lvalue-to-rvalue conversion on the given glvalue. More...
 
static bool evaluateVarDeclInit (EvalInfo &Info, const Expr *E, const VarDecl *VD, CallStackFrame *Frame, APValue *&Result)
 Try to evaluate the initializer for a variable declaration. More...
 
static bool IsConstNonVolatile (QualType T)
 
static unsigned getBaseIndex (const CXXRecordDecl *Derived, const CXXRecordDecl *Base)
 Get the base index of the given base class within an APValue representing the given derived class. More...
 
static APSInt extractStringLiteralCharacter (EvalInfo &Info, const Expr *Lit, uint64_t Index)
 Extract the value of a character from a string literal. More...
 
static void expandStringLiteral (EvalInfo &Info, const Expr *Lit, APValue &Result)
 
static void expandArray (APValue &Array, unsigned Index)
 
static bool isReadByLvalueToRvalueConversion (QualType T)
 Determine whether a type would actually be read by an lvalue-to-rvalue conversion. More...
 
static bool diagnoseUnreadableFields (EvalInfo &Info, const Expr *E, QualType T)
 Diagnose an attempt to read from any unreadable field within the specified type, which might be a class type. More...
 
template<typename SubobjectHandler >
SubobjectHandler::result_type findSubobject (EvalInfo &Info, const Expr *E, const CompleteObject &Obj, const SubobjectDesignator &Sub, SubobjectHandler &handler)
 Find the designated sub-object of an rvalue. More...
 
static bool extractSubobject (EvalInfo &Info, const Expr *E, const CompleteObject &Obj, const SubobjectDesignator &Sub, APValue &Result)
 Extract the designated sub-object of an rvalue. More...
 
static bool modifySubobject (EvalInfo &Info, const Expr *E, const CompleteObject &Obj, const SubobjectDesignator &Sub, APValue &NewVal)
 Update the designated sub-object of an rvalue to the given value. More...
 
static unsigned FindDesignatorMismatch (QualType ObjType, const SubobjectDesignator &A, const SubobjectDesignator &B, bool &WasArrayIndex)
 Find the position where two subobject designators diverge, or equivalently the length of the common initial subsequence. More...
 
static bool AreElementsOfSameArray (QualType ObjType, const SubobjectDesignator &A, const SubobjectDesignator &B)
 Determine whether the given subobject designators refer to elements of the same array object. More...
 
static CompleteObject findCompleteObject (EvalInfo &Info, const Expr *E, AccessKinds AK, const LValue &LVal, QualType LValType)
 Find the complete object to which an LValue refers. More...
 
static bool handleAssignment (EvalInfo &Info, const Expr *E, const LValue &LVal, QualType LValType, APValue &Val)
 Perform an assignment of Val to LVal. Takes ownership of Val. More...
 
static bool isOverflowingIntegerType (ASTContext &Ctx, QualType T)
 
static bool handleCompoundAssignment (EvalInfo &Info, const Expr *E, const LValue &LVal, QualType LValType, QualType PromotedLValType, BinaryOperatorKind Opcode, const APValue &RVal)
 Perform a compound assignment of LVal <op>= RVal. More...
 
static bool handleIncDec (EvalInfo &Info, const Expr *E, const LValue &LVal, QualType LValType, bool IsIncrement, APValue *Old)
 Perform an increment or decrement on LVal. More...
 
static bool EvaluateObjectArgument (EvalInfo &Info, const Expr *Object, LValue &This)
 Build an lvalue for the object argument of a member function call. More...
 
static const ValueDeclHandleMemberPointerAccess (EvalInfo &Info, QualType LVType, LValue &LV, const Expr *RHS, bool IncludeMember=true)
 HandleMemberPointerAccess - Evaluate a member access operation and build an lvalue referring to the result. More...
 
static const ValueDeclHandleMemberPointerAccess (EvalInfo &Info, const BinaryOperator *BO, LValue &LV, bool IncludeMember=true)
 
static bool HandleBaseToDerivedCast (EvalInfo &Info, const CastExpr *E, LValue &Result)
 HandleBaseToDerivedCast - Apply the given base-to-derived cast operation on the provided lvalue, which currently refers to the base object. More...
 
static bool EvaluateVarDecl (EvalInfo &Info, const VarDecl *VD)
 
static bool EvaluateDecl (EvalInfo &Info, const Decl *D)
 
static bool EvaluateCond (EvalInfo &Info, const VarDecl *CondDecl, const Expr *Cond, bool &Result)
 Evaluate a condition (either a variable declaration or an expression). More...
 
static EvalStmtResult EvaluateStmt (StmtResult &Result, EvalInfo &Info, const Stmt *S, const SwitchCase *SC=nullptr)
 
static EvalStmtResult EvaluateLoopBody (StmtResult &Result, EvalInfo &Info, const Stmt *Body, const SwitchCase *Case=nullptr)
 Evaluate the body of a loop, and translate the result as appropriate. More...
 
static EvalStmtResult EvaluateSwitch (StmtResult &Result, EvalInfo &Info, const SwitchStmt *SS)
 Evaluate a switch statement. More...
 
static bool CheckTrivialDefaultConstructor (EvalInfo &Info, SourceLocation Loc, const CXXConstructorDecl *CD, bool IsValueInitialization)
 CheckTrivialDefaultConstructor - Check whether a constructor is a trivial default constructor. More...
 
static bool CheckConstexprFunction (EvalInfo &Info, SourceLocation CallLoc, const FunctionDecl *Declaration, const FunctionDecl *Definition, const Stmt *Body)
 CheckConstexprFunction - Check that a function can be called in a constant expression. More...
 
static bool hasFields (const CXXRecordDecl *RD)
 Determine if a class has any fields that might need to be copied by a trivial copy or move operation. More...
 
static bool EvaluateArgs (ArrayRef< const Expr *> Args, ArgVector &ArgValues, EvalInfo &Info)
 EvaluateArgs - Evaluate the arguments to a function call. More...
 
static bool HandleFunctionCall (SourceLocation CallLoc, const FunctionDecl *Callee, const LValue *This, ArrayRef< const Expr *> Args, const Stmt *Body, EvalInfo &Info, APValue &Result, const LValue *ResultSlot)
 Evaluate a function call. More...
 
static bool HandleConstructorCall (const Expr *E, const LValue &This, APValue *ArgValues, const CXXConstructorDecl *Definition, EvalInfo &Info, APValue &Result)
 Evaluate a constructor call. More...
 
static bool HandleConstructorCall (const Expr *E, const LValue &This, ArrayRef< const Expr *> Args, const CXXConstructorDecl *Definition, EvalInfo &Info, APValue &Result)
 
static bool getBytesReturnedByAllocSizeCall (const ASTContext &Ctx, const CallExpr *Call, llvm::APInt &Result)
 Attempts to compute the number of bytes available at the pointer returned by a function with the alloc_size attribute. More...
 
static bool getBytesReturnedByAllocSizeCall (const ASTContext &Ctx, const LValue &LVal, llvm::APInt &Result)
 Convenience function. More...
 
static bool evaluateLValueAsAllocSize (EvalInfo &Info, APValue::LValueBase Base, LValue &Result)
 Attempts to evaluate the given LValueBase as the result of a call to a function with the alloc_size attribute. More...
 
static CharUnits GetAlignOfType (EvalInfo &Info, QualType T)
 
static CharUnits GetAlignOfExpr (EvalInfo &Info, const Expr *E)
 
static bool HandleClassZeroInitialization (EvalInfo &Info, const Expr *E, const RecordDecl *RD, const LValue &This, APValue &Result)
 Perform zero-initialization on an object of non-union class type. More...
 
static bool EvaluateRecord (const Expr *E, const LValue &This, APValue &Result, EvalInfo &Info)
 
static bool EvaluateVector (const Expr *E, APValue &Result, EvalInfo &Info)
 
static bool EvaluateArray (const Expr *E, const LValue &This, APValue &Result, EvalInfo &Info)
 
static int EvaluateBuiltinClassifyType (const CallExpr *E, const LangOptions &LangOpts)
 EvaluateBuiltinClassifyType - Evaluate __builtin_classify_type the same way as GCC. More...
 
template<typename LValue >
static bool EvaluateBuiltinConstantPForLValue (const LValue &LV)
 EvaluateBuiltinConstantPForLValue - Determine the result of __builtin_constant_p when applied to the given lvalue. More...
 
static bool EvaluateBuiltinConstantP (ASTContext &Ctx, const Expr *Arg)
 EvaluateBuiltinConstantP - Evaluate __builtin_constant_p as similarly to GCC as we can manage. More...
 
static QualType getObjectType (APValue::LValueBase B)
 Retrieves the "underlying object type" of the given expression, as used by __builtin_object_size. More...
 
static const ExprignorePointerCastsAndParens (const Expr *E)
 A more selective version of E->IgnoreParenCasts for tryEvaluateBuiltinObjectSize. More...
 
static bool isDesignatorAtObjectEnd (const ASTContext &Ctx, const LValue &LVal)
 Checks to see if the given LValue's Designator is at the end of the LValue's record layout. More...
 
static bool refersToCompleteObject (const LValue &LVal)
 Tests to see if the LValue has a user-specified designator (that isn't necessarily valid). More...
 
static bool isUserWritingOffTheEnd (const ASTContext &Ctx, const LValue &LVal)
 Attempts to detect a user writing into a piece of memory that's impossible to figure out the size of by just using types. More...
 
static bool convertUnsignedAPIntToCharUnits (const llvm::APInt &Int, CharUnits &Result)
 Converts the given APInt to CharUnits, assuming the APInt is unsigned. More...
 
static bool determineEndOffset (EvalInfo &Info, SourceLocation ExprLoc, unsigned Type, const LValue &LVal, CharUnits &EndOffset)
 Helper for tryEvaluateBuiltinObjectSize – Given an LValue, this will determine how many bytes exist from the beginning of the object to either the end of the current subobject, or the end of the object itself, depending on what the LValue looks like + the value of Type. More...
 
static bool tryEvaluateBuiltinObjectSize (const Expr *E, unsigned Type, EvalInfo &Info, uint64_t &Size)
 Tries to evaluate the __builtin_object_size for E. More...
 
static bool HasSameBase (const LValue &A, const LValue &B)
 
static bool isOnePastTheEndOfCompleteObject (const ASTContext &Ctx, const LValue &LV)
 Determine whether this is a pointer past the end of the complete object referred to by the lvalue. More...
 
static void addOrSubLValueAsInteger (APValue &LVal, const APSInt &Index, bool IsSub)
 
static bool TryEvaluateBuiltinNaN (const ASTContext &Context, QualType ResultTy, const Expr *Arg, bool SNaN, llvm::APFloat &Result)
 
static bool EvaluateVoid (const Expr *E, EvalInfo &Info)
 
static bool FastEvaluateAsRValue (const Expr *Exp, Expr::EvalResult &Result, const ASTContext &Ctx, bool &IsConst)
 
static bool hasUnacceptableSideEffect (Expr::EvalStatus &Result, Expr::SideEffectsKind SEK)
 
static ICEDiag NoDiag ()
 
static ICEDiag Worst (ICEDiag A, ICEDiag B)
 
static ICEDiag CheckEvalInICE (const Expr *E, const ASTContext &Ctx)
 
static ICEDiag CheckICE (const Expr *E, const ASTContext &Ctx)
 
static bool EvaluateCPlusPlus11IntegralConstantExpr (const ASTContext &Ctx, const Expr *E, llvm::APSInt *Value, SourceLocation *Loc)
 Evaluate an expression as a C++11 integral constant expression. More...
 

Macro Definition Documentation

◆ ABSTRACT_STMT

#define ABSTRACT_STMT (   Node)

◆ BUILTIN_TYPE

#define BUILTIN_TYPE (   ID,
  SINGLETON_ID 
)

◆ DEPENDENT_TYPE

#define DEPENDENT_TYPE (   ID,
  BASE 
)    case Type::ID:

◆ EXPR

#define EXPR (   Node,
  Base 
)

◆ FLOATING_TYPE

#define FLOATING_TYPE (   ID,
  SINGLETON_ID 
)    case BuiltinType::ID: return real_type_class;

◆ IMAGE_TYPE

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

◆ NON_CANONICAL_TYPE

#define NON_CANONICAL_TYPE (   ID,
  BASE 
)    case Type::ID:

◆ NON_CANONICAL_UNLESS_DEPENDENT_TYPE

#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE (   ID,
  BASE 
)    case Type::ID:

◆ PLACEHOLDER_TYPE

#define PLACEHOLDER_TYPE (   ID,
  SINGLETON_ID 
)    case BuiltinType::ID: break;

◆ SIGNED_TYPE

#define SIGNED_TYPE (   ID,
  SINGLETON_ID 
)    case BuiltinType::ID: return integer_type_class;

◆ STMT

#define STMT (   Node,
  Base 
)    case Expr::Node##Class:

◆ TYPE

#define TYPE (   ID,
  BASE 
)

Enumeration Type Documentation

◆ AccessKinds

Kinds of access we can perform on an object, for diagnostics.

Enumerator
AK_Read 
AK_Assign 
AK_Increment 
AK_Decrement 

Definition at line 2632 of file ExprConstant.cpp.

◆ CheckSubobjectKind

Definition at line 207 of file ExprConstant.cpp.

◆ EvalStmtResult

Definition at line 3688 of file ExprConstant.cpp.

◆ ICEKind

enum ICEKind

Definition at line 10219 of file ExprConstant.cpp.

Function Documentation

◆ addOrSubLValueAsInteger()

static void addOrSubLValueAsInteger ( APValue LVal,
const APSInt &  Index,
bool  IsSub 
)
static

◆ AreElementsOfSameArray()

static bool AreElementsOfSameArray ( QualType  ObjType,
const SubobjectDesignator &  A,
const SubobjectDesignator &  B 
)
static

Determine whether the given subobject designators refer to elements of the same array object.

Definition at line 2966 of file ExprConstant.cpp.

References FindDesignatorMismatch().

◆ CastToDerivedClass()

static bool CastToDerivedClass ( EvalInfo &  Info,
const Expr E,
LValue &  Result,
const RecordDecl TruncatedType,
unsigned  TruncatedElements 
)
static

Cast an lvalue referring to a base subobject to a derived class, by truncating the lvalue's path to the given length.

Definition at line 2210 of file ExprConstant.cpp.

Referenced by HandleBaseToDerivedCast(), and HandleLValueBase().

◆ CheckConstantExpression()

static bool CheckConstantExpression ( EvalInfo &  Info,
SourceLocation  DiagLoc,
QualType  Type,
const APValue Value 
)
static

Check that this core constant expression value is a valid value for a constant expression.

If not, report an appropriate diagnostic. Does not check that the expression is of literal type.

Definition at line 1777 of file ExprConstant.cpp.

References clang::Type::castAsArrayTypeUnsafe(), clang::Type::getAs(), clang::ArrayType::getElementType(), clang::APValue::isArray(), and clang::APValue::isUninit().

Referenced by clang::Expr::EvaluateAsInitializer(), and EvaluateAsRValue().

◆ CheckConstexprFunction()

static bool CheckConstexprFunction ( EvalInfo &  Info,
SourceLocation  CallLoc,
const FunctionDecl Declaration,
const FunctionDecl Definition,
const Stmt Body 
)
static

CheckConstexprFunction - Check that a function can be called in a constant expression.

Definition at line 4169 of file ExprConstant.cpp.

References bool, clang::InheritedConstructor::getConstructor(), clang::CXXConstructorDecl::getInheritedConstructor(), clang::Decl::getLocation(), clang::FunctionDecl::isConstexpr(), and clang::Decl::isInvalidDecl().

Referenced by HandleConstructorCall().

◆ CheckedIntArithmetic()

template<typename Operation >
static bool CheckedIntArithmetic ( EvalInfo &  Info,
const Expr E,
const APSInt &  LHS,
const APSInt &  RHS,
unsigned  BitWidth,
Operation  Op,
APSInt &  Result 
)
static

Perform the given integer operation, which is known to need at most BitWidth bits, and check for overflow in the original type (if that type was not an unsigned type).

Definition at line 2059 of file ExprConstant.cpp.

References clang::Expr::getExprLoc(), clang::Expr::getType(), and HandleOverflow().

Referenced by handleIntIntBinOp().

◆ CheckEvalInICE()

static ICEDiag CheckEvalInICE ( const Expr E,
const ASTContext Ctx 
)
static

◆ CheckICE()

static ICEDiag CheckICE ( const Expr E,
const ASTContext Ctx 
)
static

◆ CheckLiteralType()

static bool CheckLiteralType ( EvalInfo &  Info,
const Expr E,
const LValue *  This = nullptr 
)
static

Check that this core constant expression is of literal type, and if not, produce an appropriate diagnostic.

Definition at line 1744 of file ExprConstant.cpp.

References clang::Expr::getType(), clang::Type::isLiteralType(), and clang::Expr::isRValue().

Referenced by EvaluateAsRValue(), and EvaluateInPlace().

◆ CheckLValueConstantExpression()

static bool CheckLValueConstantExpression ( EvalInfo &  Info,
SourceLocation  Loc,
QualType  Type,
const LValue &  LVal 
)
static

Check that this reference or pointer core constant expression is a valid value for an address or reference constant expression.

Return true if we can fold this expression, whether or not it's a constant expression.

Definition at line 1653 of file ExprConstant.cpp.

References IsGlobalLValue(), clang::Type::isReferenceType(), and NoteLValueLocation().

Referenced by clang::Expr::EvaluateAsLValue().

◆ CheckMemberPointerConstantExpression()

static bool CheckMemberPointerConstantExpression ( EvalInfo &  Info,
SourceLocation  Loc,
QualType  Type,
const APValue Value 
)
static

Member pointers are constant expressions unless they point to a non-virtual dllimport member function.

Definition at line 1731 of file ExprConstant.cpp.

References clang::APValue::getMemberPointerDecl(), and clang::Decl::hasAttr().

◆ CheckTrivialDefaultConstructor()

static bool CheckTrivialDefaultConstructor ( EvalInfo &  Info,
SourceLocation  Loc,
const CXXConstructorDecl CD,
bool  IsValueInitialization 
)
static

CheckTrivialDefaultConstructor - Check whether a constructor is a trivial default constructor.

If so, we'll fold it whether or not it's marked as constexpr. If it is marked as constexpr, we will never implicitly define it, so we need special handling.

Definition at line 4144 of file ExprConstant.cpp.

References clang::Decl::getLocation(), clang::FunctionDecl::isConstexpr(), clang::CXXConstructorDecl::isDefaultConstructor(), and clang::FunctionDecl::isTrivial().

◆ convertUnsignedAPIntToCharUnits()

static bool convertUnsignedAPIntToCharUnits ( const llvm::APInt &  Int,
CharUnits Result 
)
static

Converts the given APInt to CharUnits, assuming the APInt is unsigned.

Fails if the conversion would cause loss of precision.

Definition at line 7499 of file ExprConstant.cpp.

References clang::CharUnits::fromQuantity(), and max().

Referenced by determineEndOffset().

◆ describeCall()

static void describeCall ( CallStackFrame *  Frame,
raw_ostream &  Out 
)
static

Produce a string describing the given constexpr call.

Definition at line 1531 of file ExprConstant.cpp.

References clang::APValue::printPretty().

◆ determineEndOffset()

static bool determineEndOffset ( EvalInfo &  Info,
SourceLocation  ExprLoc,
unsigned  Type,
const LValue &  LVal,
CharUnits EndOffset 
)
static

Helper for tryEvaluateBuiltinObjectSize – Given an LValue, this will determine how many bytes exist from the beginning of the object to either the end of the current subobject, or the end of the object itself, depending on what the LValue looks like + the value of Type.

If this returns false, the value of Result is undefined.

Definition at line 7514 of file ExprConstant.cpp.

References convertUnsignedAPIntToCharUnits(), getBytesReturnedByAllocSizeCall(), getObjectType(), HandleSizeof(), clang::Type::isFunctionType(), clang::Type::isIncompleteType(), clang::QualType::isNull(), isUserWritingOffTheEnd(), refersToCompleteObject(), and clang::Result.

Referenced by tryEvaluateBuiltinObjectSize().

◆ diagnoseUnreadableFields()

static bool diagnoseUnreadableFields ( EvalInfo &  Info,
const Expr E,
QualType  T 
)
static

◆ EvalAndBitcastToAPInt()

static bool EvalAndBitcastToAPInt ( EvalInfo &  Info,
const Expr E,
llvm::APInt &  Res 
)
static

◆ EvalPointerValueAsBool()

static bool EvalPointerValueAsBool ( const APValue Value,
bool Result 
)
static

◆ Evaluate()

static bool Evaluate ( APValue Result,
EvalInfo &  Info,
const Expr E 
)
static

◆ EvaluateArgs()

static bool EvaluateArgs ( ArrayRef< const Expr *>  Args,
ArgVector &  ArgValues,
EvalInfo &  Info 
)
static

EvaluateArgs - Evaluate the arguments to a function call.

Definition at line 4238 of file ExprConstant.cpp.

Referenced by HandleConstructorCall(), and HandleFunctionCall().

◆ EvaluateArray()

static bool EvaluateArray ( const Expr E,
const LValue &  This,
APValue Result,
EvalInfo &  Info 
)
static

◆ EvaluateAsBooleanCondition()

static bool EvaluateAsBooleanCondition ( const Expr E,
bool Result,
EvalInfo &  Info 
)
static

◆ EvaluateAsRValue()

static bool EvaluateAsRValue ( EvalInfo &  Info,
const Expr E,
APValue Result 
)
static

◆ EvaluateAtomic()

static bool EvaluateAtomic ( const Expr E,
const LValue *  This,
APValue Result,
EvalInfo &  Info 
)
static

◆ EvaluateBuiltinClassifyType()

static int EvaluateBuiltinClassifyType ( const CallExpr E,
const LangOptions LangOpts 
)
static

◆ EvaluateBuiltinConstantP()

static bool EvaluateBuiltinConstantP ( ASTContext Ctx,
const Expr Arg 
)
static

◆ EvaluateBuiltinConstantPForLValue()

template<typename LValue >
static bool EvaluateBuiltinConstantPForLValue ( const LValue &  LV)
static

EvaluateBuiltinConstantPForLValue - Determine the result of __builtin_constant_p when applied to the given lvalue.

An lvalue is only "constant" if it is a pointer or reference to the first character of a string literal.

Definition at line 7284 of file ExprConstant.cpp.

Referenced by EvaluateBuiltinConstantP().

◆ EvaluateComplex()

static bool EvaluateComplex ( const Expr E,
ComplexValue &  Res,
EvalInfo &  Info 
)
static

◆ EvaluateCond()

static bool EvaluateCond ( EvalInfo &  Info,
const VarDecl CondDecl,
const Expr Cond,
bool Result 
)
static

Evaluate a condition (either a variable declaration or an expression).

Definition at line 3750 of file ExprConstant.cpp.

References EvaluateAsBooleanCondition(), EvaluateDecl(), and EvaluateStmt().

◆ EvaluateCPlusPlus11IntegralConstantExpr()

static bool EvaluateCPlusPlus11IntegralConstantExpr ( const ASTContext Ctx,
const Expr E,
llvm::APSInt *  Value,
SourceLocation Loc 
)
static

◆ EvaluateDecl()

static bool EvaluateDecl ( EvalInfo &  Info,
const Decl D 
)
static

Definition at line 3734 of file ExprConstant.cpp.

References EvaluateVarDecl().

Referenced by EvaluateCond(), and EvaluateSwitch().

◆ EvaluateFloat()

static bool EvaluateFloat ( const Expr E,
APFloat &  Result,
EvalInfo &  Info 
)
static

◆ EvaluateIgnoredValue()

static bool EvaluateIgnoredValue ( EvalInfo &  Info,
const Expr E 
)
static

Evaluate an expression to see if it had side-effects, and discard its result.

Returns
true if the caller should keep evaluating.

Definition at line 1569 of file ExprConstant.cpp.

References Evaluate().

Referenced by evaluateLValueAsAllocSize(), and HandleConstructorCall().

◆ EvaluateInPlace()

static bool EvaluateInPlace ( APValue Result,
EvalInfo &  Info,
const LValue &  This,
const Expr E,
bool  AllowNonLiteralTypes 
)
static

EvaluateInPlace - Evaluate an expression in-place in an APValue.

In some cases, the in-place evaluation is essential, since later initializers for an object can indirectly refer to subobjects which were initialized earlier.

Definition at line 9979 of file ExprConstant.cpp.

References CheckLiteralType(), Evaluate(), EvaluateArray(), EvaluateAtomic(), EvaluateRecord(), clang::QualType::getAtomicUnqualifiedType(), clang::Expr::getType(), clang::Type::isArrayType(), clang::Type::isAtomicType(), clang::Type::isRecordType(), clang::Expr::isRValue(), and clang::Expr::isValueDependent().

Referenced by clang::Expr::EvaluateAsInitializer(), EvaluateComplex(), EvaluatePointer(), EvaluateRecord(), EvaluateVarDecl(), and EvaluateVector().

◆ EvaluateInteger()

static bool EvaluateInteger ( const Expr E,
APSInt &  Result,
EvalInfo &  Info 
)
static

◆ EvaluateIntegerOrLValue()

static bool EvaluateIntegerOrLValue ( const Expr E,
APValue Result,
EvalInfo &  Info 
)
static

EvaluateIntegerOrLValue - Evaluate an rvalue integral-typed expression, and produce either the integer value or a pointer.

GCC has a heinous extension which folds casts between pointer types and pointer-sized integral types. We support this by allowing the evaluation of an integer rvalue to produce a pointer (represented as an lvalue) instead. Some simple arithmetic on such values is supported (they are treated much like char*).

Definition at line 7089 of file ExprConstant.cpp.

References clang::Expr::getType(), clang::Type::isIntegralOrEnumerationType(), and clang::Expr::isRValue().

Referenced by EvaluateInteger(), and EvaluatePointer().

◆ EvaluateLoopBody()

static EvalStmtResult EvaluateLoopBody ( StmtResult &  Result,
EvalInfo &  Info,
const Stmt Body,
const SwitchCase Case = nullptr 
)
static

Evaluate the body of a loop, and translate the result as appropriate.

Definition at line 3774 of file ExprConstant.cpp.

References EvaluateStmt().

◆ EvaluateLValue()

static bool EvaluateLValue ( const Expr E,
LValue &  Result,
EvalInfo &  Info,
bool  InvalidBaseOK 
)
static

Evaluate an expression as an lvalue.

This can be legitimately called on expressions which are not glvalues, in three cases:

  • function designators in C, and
  • "extern void" objects
  • () expressions in Objective-C

Definition at line 5149 of file ExprConstant.cpp.

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

Referenced by addOrSubLValueAsInteger(), Evaluate(), EvaluateArray(), clang::Expr::EvaluateAsLValue(), evaluateLValueAsAllocSize(), EvaluateObjectArgument(), and HandleConstructorCall().

◆ evaluateLValueAsAllocSize()

static bool evaluateLValueAsAllocSize ( EvalInfo &  Info,
APValue::LValueBase  Base,
LValue &  Result 
)
static

Attempts to evaluate the given LValueBase as the result of a call to a function with the alloc_size attribute.

If it was possible to do so, this function will return true, make Result's Base point to said function call, and mark Result's Base as invalid.

Definition at line 5503 of file ExprConstant.cpp.

References clang::Type::castAs(), clang::Error, EvaluateIgnoredValue(), EvaluateLValue(), EvaluatePointer(), clang::VarDecl::getAnyInitializer(), clang::BlockExpr::getBlockDecl(), clang::ObjCBoxedExpr::getSubExpr(), clang::Expr::getType(), clang::ValueDecl::getType(), HandleLValueMember(), handleLValueToRValueConversion(), clang::BlockDecl::hasCaptures(), clang::Expr::IgnoreParens(), clang::QualType::isConstQualified(), clang::CXXThisExpr::isImplicit(), clang::isLambdaCallOperator(), clang::VarDecl::isLocalVarDecl(), and clang::Result.

Referenced by EvaluatePointer().

◆ EvaluateMemberPointer()

static bool EvaluateMemberPointer ( const Expr E,
MemberPtr &  Result,
EvalInfo &  Info 
)
static

◆ EvaluateObjectArgument()

static bool EvaluateObjectArgument ( EvalInfo &  Info,
const Expr Object,
LValue &  This 
)
static

◆ EvaluatePointer()

static bool EvaluatePointer ( const Expr E,
LValue &  Result,
EvalInfo &  Info,
bool  InvalidBaseOK = false 
)
static

◆ EvaluateRecord()

static bool EvaluateRecord ( const Expr E,
const LValue &  This,
APValue Result,
EvalInfo &  Info 
)
static

◆ EvaluateStmt()

static EvalStmtResult EvaluateStmt ( StmtResult &  Result,
EvalInfo &  Info,
const Stmt S,
const SwitchCase SC = nullptr 
)
static

◆ EvaluateSwitch()

static EvalStmtResult EvaluateSwitch ( StmtResult &  Result,
EvalInfo &  Info,
const SwitchStmt SS 
)
static

◆ EvaluateTemporary()

static bool EvaluateTemporary ( const Expr E,
LValue &  Result,
EvalInfo &  Info 
)
static

◆ EvaluateVarDecl()

static bool EvaluateVarDecl ( EvalInfo &  Info,
const VarDecl VD 
)
static

◆ evaluateVarDeclInit()

static bool evaluateVarDeclInit ( EvalInfo &  Info,
const Expr E,
const VarDecl VD,
CallStackFrame *  Frame,
APValue *&  Result 
)
static

Try to evaluate the initializer for a variable declaration.

Parameters
InfoInformation about the ongoing evaluation.
EAn expression to be used when printing diagnostics.
VDThe variable whose initializer should be obtained.
FrameThe frame in which the variable was created. Must be null if this variable is not local to the evaluation.
ResultFilled in with a pointer to the value of the variable.

Definition at line 2397 of file ExprConstant.cpp.

References clang::VarDecl::checkInitIsICE(), clang::VarDecl::evaluateValue(), clang::VarDecl::getAnyInitializer(), clang::Decl::getDeclContext(), clang::VarDecl::getEvaluatedValue(), clang::Decl::getLocation(), clang::Stmt::getLocStart(), clang::VarDecl::isInitCapture(), clang::isLambdaCallOperator(), clang::Expr::isValueDependent(), and clang::ValueDecl::isWeak().

Referenced by findCompleteObject().

◆ EvaluateVector()

static bool EvaluateVector ( const Expr E,
APValue Result,
EvalInfo &  Info 
)
static

◆ EvaluateVoid()

static bool EvaluateVoid ( const Expr E,
EvalInfo &  Info 
)
static

Definition at line 9888 of file ExprConstant.cpp.

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

Referenced by Evaluate().

◆ expandArray()

static void expandArray ( APValue Array,
unsigned  Index 
)
static

◆ expandStringLiteral()

static void expandStringLiteral ( EvalInfo &  Info,
const Expr Lit,
APValue Result 
)
static

Definition at line 2530 of file ExprConstant.cpp.

◆ extractStringLiteralCharacter()

static APSInt extractStringLiteralCharacter ( EvalInfo &  Info,
const Expr Lit,
uint64_t  Index 
)
static

Extract the value of a character from a string literal.

Definition at line 2503 of file ExprConstant.cpp.

◆ extractSubobject()

static bool extractSubobject ( EvalInfo &  Info,
const Expr E,
const CompleteObject &  Obj,
const SubobjectDesignator &  Sub,
APValue Result 
)
static

Extract the designated sub-object of an rvalue.

Definition at line 2860 of file ExprConstant.cpp.

References findSubobject().

Referenced by HandleConstructorCall(), and handleLValueToRValueConversion().

◆ FastEvaluateAsRValue()

static bool FastEvaluateAsRValue ( const Expr Exp,
Expr::EvalResult Result,
const ASTContext Ctx,
bool IsConst 
)
static

◆ findCompleteObject()

static CompleteObject findCompleteObject ( EvalInfo &  Info,
const Expr E,
AccessKinds  AK,
const LValue &  LVal,
QualType  LValType 
)
static

◆ FindDesignatorMismatch()

static unsigned FindDesignatorMismatch ( QualType  ObjType,
const SubobjectDesignator &  A,
const SubobjectDesignator &  B,
bool WasArrayIndex 
)
static

Find the position where two subobject designators diverge, or equivalently the length of the common initial subsequence.

Definition at line 2930 of file ExprConstant.cpp.

Referenced by AreElementsOfSameArray().

◆ findSubobject()

template<typename SubobjectHandler >
SubobjectHandler::result_type findSubobject ( EvalInfo &  Info,
const Expr E,
const CompleteObject &  Obj,
const SubobjectDesignator &  Sub,
SubobjectHandler &  handler 
)

Find the designated sub-object of an rvalue.

Definition at line 2661 of file ExprConstant.cpp.

Referenced by extractSubobject(), and modifySubobject().

◆ GetAlignOfExpr()

static CharUnits GetAlignOfExpr ( EvalInfo &  Info,
const Expr E 
)
static

◆ GetAlignOfType()

static CharUnits GetAlignOfType ( EvalInfo &  Info,
QualType  T 
)
static

◆ getBaseIndex()

static unsigned getBaseIndex ( const CXXRecordDecl Derived,
const CXXRecordDecl Base 
)
static

Get the base index of the given base class within an APValue representing the given derived class.

Definition at line 2489 of file ExprConstant.cpp.

References clang::CXXRecordDecl::getCanonicalDecl().

◆ getBytesReturnedByAllocSizeCall() [1/2]

static bool getBytesReturnedByAllocSizeCall ( const ASTContext Ctx,
const CallExpr Call,
llvm::APInt &  Result 
)
static

Attempts to compute the number of bytes available at the pointer returned by a function with the alloc_size attribute.

Returns true if we were successful. Places an unsigned number into Result.

This expects the given CallExpr to be a call to a function with an alloc_size attribute.

Definition at line 5442 of file ExprConstant.cpp.

References clang::CallExpr::getNumArgs(), clang::ASTContext::getSizeType(), and clang::ASTContext::getTypeSize().

Referenced by determineEndOffset(), and getBytesReturnedByAllocSizeCall().

◆ getBytesReturnedByAllocSizeCall() [2/2]

static bool getBytesReturnedByAllocSizeCall ( const ASTContext Ctx,
const LValue &  LVal,
llvm::APInt &  Result 
)
static

Convenience function.

LVal's base must be a call to an alloc_size function.

Definition at line 5489 of file ExprConstant.cpp.

References getBytesReturnedByAllocSizeCall().

◆ GetLValueBaseDecl()

static const ValueDecl* GetLValueBaseDecl ( const LValue &  LVal)
static

Definition at line 1844 of file ExprConstant.cpp.

Referenced by HasSameBase(), IsWeakLValue(), and isZeroSized().

◆ getObjectType()

static QualType getObjectType ( APValue::LValueBase  B)
static

◆ handleAssignment()

static bool handleAssignment ( EvalInfo &  Info,
const Expr E,
const LValue &  LVal,
QualType  LValType,
APValue Val 
)
static

Perform an assignment of Val to LVal. Takes ownership of Val.

Definition at line 3236 of file ExprConstant.cpp.

References AK_Assign, findCompleteObject(), and modifySubobject().

Referenced by HandleFunctionCall().

◆ HandleBaseToDerivedCast()

static bool HandleBaseToDerivedCast ( EvalInfo &  Info,
const CastExpr E,
LValue &  Result 
)
static

HandleBaseToDerivedCast - Apply the given base-to-derived cast operation on the provided lvalue, which currently refers to the base object.

Definition at line 3651 of file ExprConstant.cpp.

References CastToDerivedClass(), clang::Type::getAs(), clang::Type::getAsCXXRecordDecl(), clang::CXXRecordDecl::getCanonicalDecl(), clang::Type::getPointeeType(), clang::Expr::getType(), and clang::CastExpr::path_size().

Referenced by EvaluatePointer(), and HandleConstructorCall().

◆ HandleClassZeroInitialization()

static bool HandleClassZeroInitialization ( EvalInfo &  Info,
const Expr E,
const RecordDecl RD,
const LValue &  This,
APValue Result 
)
static

Perform zero-initialization on an object of non-union class type.

C++11 [dcl.init]p5: To zero-initialize an object or reference of type T means: [...] – if T is a (possibly cv-qualified) non-union class type, each non-static data member and each base-class subobject is zero-initialized

Definition at line 6130 of file ExprConstant.cpp.

References distance(), clang::RecordDecl::field_begin(), clang::RecordDecl::field_end(), clang::Decl::isInvalidDecl(), and clang::TagDecl::isUnion().

◆ handleCompoundAssignment()

static bool handleCompoundAssignment ( EvalInfo &  Info,
const Expr E,
const LValue &  LVal,
QualType  LValType,
QualType  PromotedLValType,
BinaryOperatorKind  Opcode,
const APValue RVal 
)
static

Perform a compound assignment of LVal <op>= RVal.

Definition at line 3355 of file ExprConstant.cpp.

References AK_Assign, and findCompleteObject().

◆ HandleConstructorCall() [1/2]

static bool HandleConstructorCall ( const Expr E,
const LValue &  This,
APValue ArgValues,
const CXXConstructorDecl Definition,
EvalInfo &  Info,
APValue Result 
)
static

◆ HandleConstructorCall() [2/2]

static bool HandleConstructorCall ( const Expr E,
const LValue &  This,
ArrayRef< const Expr *>  Args,
const CXXConstructorDecl Definition,
EvalInfo &  Info,
APValue Result 
)
static

Definition at line 4452 of file ExprConstant.cpp.

References clang::CompoundStmt::body_begin(), clang::CompoundStmt::body_empty(), clang::CompoundStmt::body_end(), clang::CXXRecordDecl::captures_begin(), clang::CXXRecordDecl::captures_end(), clang::Type::castAs(), CheckConstexprFunction(), Diag(), clang::Error, Evaluate(), EvaluateArgs(), EvaluateAsBooleanCondition(), EvaluateIgnoredValue(), EvaluateLValue(), EvaluateObjectArgument(), EvaluatePointer(), EvaluateStmt(), EvaluateTemporary(), extractSubobject(), clang::FunctionTemplateDecl::findSpecialization(), clang::CallExpr::getArgs(), clang::Type::getAs(), clang::MemberExpr::getBase(), clang::FunctionDecl::getBody(), clang::CallExpr::getCallee(), clang::TagDecl::getCanonicalDecl(), clang::CastExpr::getCastKind(), clang::ChooseExpr::getChosenSubExpr(), clang::BinaryConditionalOperator::getCommon(), clang::ConditionalOperator::getCond(), clang::RecordType::getDecl(), clang::CXXDefaultArgExpr::getExpr(), clang::CXXDefaultInitExpr::getExpr(), clang::Expr::getExprLoc(), clang::ConditionalOperator::getFalseExpr(), clang::InitListExpr::getInit(), clang::CompoundLiteralExpr::getInitializer(), clang::CXXRecordDecl::getLambdaCallOperator(), clang::BinaryOperator::getLHS(), clang::MemberExpr::getMemberDecl(), clang::CallExpr::getNumArgs(), clang::InitListExpr::getNumInits(), clang::BinaryConditionalOperator::getOpaqueValue(), clang::BinaryOperator::getOpcode(), clang::DeclContext::getParent(), clang::CXXMethodDecl::getParent(), clang::FieldDecl::getParent(), clang::Type::getPointeeType(), clang::SubstNonTypeTemplateParmExpr::getReplacement(), clang::GenericSelectionExpr::getResultExpr(), clang::BinaryOperator::getRHS(), clang::OpaqueValueExpr::getSourceExpr(), clang::ParenExpr::getSubExpr(), clang::UnaryOperator::getSubExpr(), clang::CastExpr::getSubExpr(), clang::ExprWithCleanups::getSubExpr(), clang::StmtExpr::getSubStmt(), clang::FunctionDecl::getTemplateSpecializationArgs(), clang::ConditionalOperator::getTrueExpr(), clang::Expr::getType(), clang::ValueDecl::getType(), HandleBaseToDerivedCast(), HandleConstructorCall(), HandleFunctionCall(), handleIncDec(), HandleLValueBasePath(), HandleLValueIndirectMember(), HandleLValueMember(), handleLValueToRValueConversion(), HandleMemberPointerAccess(), clang::Expr::HasSideEffects(), clang::Expr::IgnoreParenCasts(), clang::Expr::IgnoreParens(), clang::MemberExpr::isArrow(), clang::Type::isFunctionPointerType(), clang::FunctionDecl::isFunctionTemplateSpecialization(), clang::CXXRecordDecl::isGenericLambda(), clang::UnaryOperator::isIncrementOp(), clang::CXXMethodDecl::isLambdaStaticInvoker(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Expr::isRValue(), clang::Type::isSpecificBuiltinType(), clang::CXXMethodDecl::isStatic(), and clang::Result.

◆ HandleConversionToBool()

static bool HandleConversionToBool ( const APValue Val,
bool Result 
)
static

◆ handleFloatFloatBinOp()

static bool handleFloatFloatBinOp ( EvalInfo &  Info,
const Expr E,
APFloat &  LHS,
BinaryOperatorKind  Opcode,
const APFloat &  RHS 
)
static

Perform the given binary floating-point operation, in-place, on LHS.

Definition at line 2180 of file ExprConstant.cpp.

◆ HandleFloatToFloatCast()

static bool HandleFloatToFloatCast ( EvalInfo &  Info,
const Expr E,
QualType  SrcType,
QualType  DestType,
APFloat &  Result 
)
static

Definition at line 1952 of file ExprConstant.cpp.

References HandleOverflow(), and clang::Result.

Referenced by EvaluateComplex().

◆ HandleFloatToIntCast()

static bool HandleFloatToIntCast ( EvalInfo &  Info,
const Expr E,
QualType  SrcType,
const APFloat &  Value,
QualType  DestType,
APSInt &  Result 
)
static

◆ HandleFunctionCall()

static bool HandleFunctionCall ( SourceLocation  CallLoc,
const FunctionDecl Callee,
const LValue *  This,
ArrayRef< const Expr *>  Args,
const Stmt Body,
EvalInfo &  Info,
APValue Result,
const LValue *  ResultSlot 
)
static

◆ handleIncDec()

static bool handleIncDec ( EvalInfo &  Info,
const Expr E,
const LValue &  LVal,
QualType  LValType,
bool  IsIncrement,
APValue Old 
)
static

Perform an increment or decrement on LVal.

Definition at line 3506 of file ExprConstant.cpp.

References AK_Decrement, AK_Increment, and findCompleteObject().

Referenced by HandleConstructorCall().

◆ handleIntIntBinOp()

static bool handleIntIntBinOp ( EvalInfo &  Info,
const Expr E,
const APSInt &  LHS,
BinaryOperatorKind  Opcode,
APSInt  RHS,
APSInt &  Result 
)
static

Perform the given binary integer operation.

Definition at line 2082 of file ExprConstant.cpp.

References CheckedIntArithmetic(), clang::Expr::getType(), and HandleOverflow().

Referenced by addOrSubLValueAsInteger().

◆ HandleIntToFloatCast()

static bool HandleIntToFloatCast ( EvalInfo &  Info,
const Expr E,
QualType  SrcType,
const APSInt &  Value,
QualType  DestType,
APFloat &  Result 
)
static

Definition at line 1976 of file ExprConstant.cpp.

References HandleOverflow().

Referenced by EvaluateComplex().

◆ HandleIntToIntCast()

static APSInt HandleIntToIntCast ( EvalInfo &  Info,
const Expr E,
QualType  DestType,
QualType  SrcType,
const APSInt &  Value 
)
static

◆ HandleLValueArrayAdjustment() [1/2]

static bool HandleLValueArrayAdjustment ( EvalInfo &  Info,
const Expr E,
LValue &  LVal,
QualType  EltTy,
APSInt  Adjustment 
)
static

Update a pointer value to model pointer arithmetic.

Parameters
Info- Information about the ongoing evaluation.
E- The expression being evaluated, for diagnostic purposes.
LVal- The pointer value to be updated.
EltTy- The pointee type represented by LVal.
Adjustment- The adjustment, in objects of type EltTy, to add.

Definition at line 2349 of file ExprConstant.cpp.

References clang::Expr::getExprLoc(), and HandleSizeof().

Referenced by EvaluatePointer(), GetAlignOfExpr(), and HandleLValueArrayAdjustment().

◆ HandleLValueArrayAdjustment() [2/2]

static bool HandleLValueArrayAdjustment ( EvalInfo &  Info,
const Expr E,
LValue &  LVal,
QualType  EltTy,
int64_t  Adjustment 
)
static

Definition at line 2360 of file ExprConstant.cpp.

References HandleLValueArrayAdjustment().

◆ HandleLValueBase()

static bool HandleLValueBase ( EvalInfo &  Info,
const Expr E,
LValue &  Obj,
const CXXRecordDecl DerivedDecl,
const CXXBaseSpecifier Base 
)
static

◆ HandleLValueBasePath()

static bool HandleLValueBasePath ( EvalInfo &  Info,
const CastExpr E,
QualType  Type,
LValue &  Result 
)
static

◆ HandleLValueComplexElement()

static bool HandleLValueComplexElement ( EvalInfo &  Info,
const Expr E,
LValue &  LVal,
QualType  EltTy,
bool  Imag 
)
static

Update an lvalue to refer to a component of a complex number.

Parameters
Info- Information about the ongoing evaluation.
LVal- The lvalue to be updated.
EltTy- The complex number's component type.
Imag- False for the real component, true for the imaginary.

Definition at line 2372 of file ExprConstant.cpp.

References clang::Expr::getExprLoc(), handleLValueToRValueConversion(), and HandleSizeof().

◆ HandleLValueDirectBase()

static bool HandleLValueDirectBase ( EvalInfo &  Info,
const Expr E,
LValue &  Obj,
const CXXRecordDecl Derived,
const CXXRecordDecl Base,
const ASTRecordLayout RL = nullptr 
)
static

Definition at line 2239 of file ExprConstant.cpp.

References clang::Decl::isInvalidDecl().

Referenced by HandleLValueBase().

◆ HandleLValueIndirectMember()

static bool HandleLValueIndirectMember ( EvalInfo &  Info,
const Expr E,
LValue &  LVal,
const IndirectFieldDecl IFD 
)
static

Update LVal to refer to the given indirect field.

Definition at line 2308 of file ExprConstant.cpp.

References clang::C, clang::IndirectFieldDecl::chain(), and HandleLValueMember().

Referenced by HandleConstructorCall().

◆ HandleLValueMember()

static bool HandleLValueMember ( EvalInfo &  Info,
const Expr E,
LValue &  LVal,
const FieldDecl FD,
const ASTRecordLayout RL = nullptr 
)
static

Update LVal to refer to the given field, which must be a member of the type currently described by LVal.

Definition at line 2293 of file ExprConstant.cpp.

References clang::FieldDecl::getParent(), and clang::Decl::isInvalidDecl().

Referenced by evaluateLValueAsAllocSize(), HandleConstructorCall(), and HandleLValueIndirectMember().

◆ handleLValueToRValueConversion()

static bool handleLValueToRValueConversion ( EvalInfo &  Info,
const Expr Conv,
QualType  Type,
const LValue &  LVal,
APValue RVal 
)
static

Perform an lvalue-to-rvalue conversion on the given glvalue.

This can also be used for 'lvalue-to-lvalue' conversions for looking up the glvalue referred to by an entity of reference type.

Parameters
Info- Information about the ongoing evaluation.
Conv- The expression for which we are performing the conversion. Used for diagnostics.
Type- The type of the glvalue (before stripping cv-qualifiers in the case of a non-class type).
LVal- The glvalue on which we are attempting to perform this action.
RVal- The produced value will be placed here.

Definition at line 3199 of file ExprConstant.cpp.

References AK_Read, Evaluate(), extractSubobject(), findCompleteObject(), clang::Expr::getType(), clang::QualType::isVolatileQualified(), and clang::CharUnits::Zero().

Referenced by EvaluateAsRValue(), evaluateLValueAsAllocSize(), EvaluatePointer(), GetAlignOfExpr(), HandleConstructorCall(), HandleFunctionCall(), and HandleLValueComplexElement().

◆ HandleMemberPointerAccess() [1/2]

static const ValueDecl* HandleMemberPointerAccess ( EvalInfo &  Info,
QualType  LVType,
LValue &  LV,
const Expr RHS,
bool  IncludeMember = true 
)
static

HandleMemberPointerAccess - Evaluate a member access operation and build an lvalue referring to the result.

Parameters
Info- Information about the ongoing evaluation.
LV- An lvalue referring to the base of the member pointer.
RHS- The member pointer expression.
IncludeMember- Specifies whether the member itself is included in the resulting LValue subobject designator. This is not possible when creating a bound member function.
Returns
The field or method declaration to which the member pointer refers, or 0 if evaluation fails.

Definition at line 3549 of file ExprConstant.cpp.

References EvaluateMemberPointer().

Referenced by HandleConstructorCall(), and HandleMemberPointerAccess().

◆ HandleMemberPointerAccess() [2/2]

static const ValueDecl* HandleMemberPointerAccess ( EvalInfo &  Info,
const BinaryOperator BO,
LValue &  LV,
bool  IncludeMember = true 
)
static

◆ HandleOverflow()

template<typename T >
static bool HandleOverflow ( EvalInfo &  Info,
const Expr E,
const T &  SrcValue,
QualType  DestType 
)
static

◆ HandleSizeof()

static bool HandleSizeof ( EvalInfo &  Info,
SourceLocation  Loc,
QualType  Type,
CharUnits Size 
)
static

◆ hasFields()

static bool hasFields ( const CXXRecordDecl RD)
static

Determine if a class has any fields that might need to be copied by a trivial copy or move operation.

Definition at line 4219 of file ExprConstant.cpp.

References clang::CXXRecordDecl::bases(), clang::RecordDecl::fields(), and clang::CXXRecordDecl::isEmpty().

Referenced by HandleFunctionCall().

◆ HasSameBase()

static bool HasSameBase ( const LValue &  A,
const LValue &  B 
)
static

◆ hasUnacceptableSideEffect()

static bool hasUnacceptableSideEffect ( Expr::EvalStatus Result,
Expr::SideEffectsKind  SEK 
)
static

◆ ignorePointerCastsAndParens()

static const Expr* ignorePointerCastsAndParens ( const Expr E)
static

A more selective version of E->IgnoreParenCasts for tryEvaluateBuiltinObjectSize.

This ignores some casts/parens that serve only to change the type of E. Ex. For E = (short*)((char*)(&foo)), returns &foo

Always returns an RValue with a pointer representation.

Definition at line 7353 of file ExprConstant.cpp.

References clang::CastExpr::getCastKind(), clang::Expr::getType(), clang::Type::hasPointerRepresentation(), clang::Expr::IgnoreParens(), and clang::Expr::isRValue().

Referenced by tryEvaluateBuiltinObjectSize().

◆ IsConstNonVolatile()

static bool IsConstNonVolatile ( QualType  T)
static

◆ isDesignatorAtObjectEnd()

static bool isDesignatorAtObjectEnd ( const ASTContext Ctx,
const LValue &  LVal 
)
static

Checks to see if the given LValue's Designator is at the end of the LValue's record layout.

e.g. struct { struct { int a, b; } fst, snd; } obj; obj.fst // no obj.snd // yes obj.fst.a // no obj.fst.b // no obj.snd.a // no obj.snd.b // yes

Please note: this function is specialized for how __builtin_object_size views "objects".

If this encounters an invalid RecordDecl or otherwise cannot determine the correct result, it will always return true.

Definition at line 7389 of file ExprConstant.cpp.

References clang::ASTContext::getASTRecordLayout(), clang::ASTRecordLayout::getFieldCount(), clang::FieldDecl::getFieldIndex(), clang::FieldDecl::getParent(), clang::Decl::isInvalidDecl(), clang::TagDecl::isUnion(), and Parent.

Referenced by isUserWritingOffTheEnd().

◆ IsGlobalLValue()

static bool IsGlobalLValue ( APValue::LValueBase  B)
static

◆ IsLiteralLValue()

static bool IsLiteralLValue ( const LValue &  Value)
static

Definition at line 1848 of file ExprConstant.cpp.

◆ isOnePastTheEndOfCompleteObject()

static bool isOnePastTheEndOfCompleteObject ( const ASTContext Ctx,
const LValue &  LV 
)
static

Determine whether this is a pointer past the end of the complete object referred to by the lvalue.

Definition at line 8003 of file ExprConstant.cpp.

References clang::ASTContext::getTypeSizeInChars(), clang::Type::isIncompleteType(), and clang::APValue::swap().

◆ isOverflowingIntegerType()

static bool isOverflowingIntegerType ( ASTContext Ctx,
QualType  T 
)
static

◆ isReadByLvalueToRvalueConversion()

static bool isReadByLvalueToRvalueConversion ( QualType  T)
static

Determine whether a type would actually be read by an lvalue-to-rvalue conversion.

If it's of class type, we may assume that the copy operation is trivial. Note that this is never true for a union type with fields (because the copy always "reads" the active member) and always true for a non-class type.

Definition at line 2578 of file ExprConstant.cpp.

References clang::CXXRecordDecl::bases(), clang::RecordDecl::field_empty(), clang::RecordDecl::fields(), clang::Type::getAsCXXRecordDecl(), clang::Type::getBaseElementTypeUnsafe(), clang::CXXRecordDecl::isEmpty(), and clang::TagDecl::isUnion().

Referenced by diagnoseUnreadableFields().

◆ IsStringLiteralCall()

static bool IsStringLiteralCall ( const CallExpr E)
static

Should this call expression be treated as a string literal?

Definition at line 1578 of file ExprConstant.cpp.

References clang::CallExpr::getBuiltinCallee().

Referenced by GetAlignOfExpr().

◆ isUserWritingOffTheEnd()

static bool isUserWritingOffTheEnd ( const ASTContext Ctx,
const LValue &  LVal 
)
static

Attempts to detect a user writing into a piece of memory that's impossible to figure out the size of by just using types.

Definition at line 7478 of file ExprConstant.cpp.

References isDesignatorAtObjectEnd().

Referenced by determineEndOffset().

◆ IsWeakLValue()

static bool IsWeakLValue ( const LValue &  Value)
static

Definition at line 1855 of file ExprConstant.cpp.

References GetLValueBaseDecl(), and clang::ValueDecl::isWeak().

◆ isZeroSized()

static bool isZeroSized ( const LValue &  Value)
static

◆ modifySubobject()

static bool modifySubobject ( EvalInfo &  Info,
const Expr E,
const CompleteObject &  Obj,
const SubobjectDesignator &  Sub,
APValue NewVal 
)
static

Update the designated sub-object of an rvalue to the given value.

Definition at line 2920 of file ExprConstant.cpp.

References findSubobject().

Referenced by handleAssignment().

◆ negateAsSigned()

static void negateAsSigned ( APSInt &  Int)
static

Negate an APSInt in place, converting it to a signed form if necessary, and preserving its value (by extending by up to one bit as needed).

Definition at line 1522 of file ExprConstant.cpp.

Referenced by EvaluatePointer().

◆ NoDiag()

static ICEDiag NoDiag ( )
static

Definition at line 10239 of file ExprConstant.cpp.

Referenced by CheckEvalInICE(), and CheckICE().

◆ NoteLValueLocation()

static void NoteLValueLocation ( EvalInfo &  Info,
APValue::LValueBase  Base 
)
static

◆ refersToCompleteObject()

static bool refersToCompleteObject ( const LValue &  LVal)
static

Tests to see if the LValue has a user-specified designator (that isn't necessarily valid).

Note that this always returns 'true' if the LValue has an unsized array as its first designator entry, because there's currently no way to tell if the user typed *foo or foo[0].

Definition at line 7460 of file ExprConstant.cpp.

Referenced by determineEndOffset().

◆ truncateBitfieldValue()

static bool truncateBitfieldValue ( EvalInfo &  Info,
const Expr E,
APValue Value,
const FieldDecl FD 
)
static

◆ TryEvaluateBuiltinNaN()

static bool TryEvaluateBuiltinNaN ( const ASTContext Context,
QualType  ResultTy,
const Expr Arg,
bool  SNaN,
llvm::APFloat &  Result 
)
static

Definition at line 9123 of file ExprConstant.cpp.

◆ tryEvaluateBuiltinObjectSize()

static bool tryEvaluateBuiltinObjectSize ( const Expr E,
unsigned  Type,
EvalInfo &  Info,
uint64_t &  Size 
)
static

Tries to evaluate the __builtin_object_size for E.

If successful, returns true and stores the result in Size.

If WasError is non-null, this will report whether the failure to evaluate is to be treated as an Error in IntExprEvaluator.

Definition at line 7596 of file ExprConstant.cpp.

References determineEndOffset(), EvaluateAsRValue(), clang::Expr::EvaluateKnownConstInt(), EvaluatePointer(), clang::CallExpr::getArg(), clang::CallExpr::getBuiltinCallee(), clang::Expr::getExprLoc(), clang::Expr::HasSideEffects(), ignorePointerCastsAndParens(), and clang::Expr::isGLValue().

◆ Worst()

static ICEDiag Worst ( ICEDiag  A,
ICEDiag  B 
)
static

Definition at line 10241 of file ExprConstant.cpp.