clang
3.9.0
|
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)". More...
#include <ExprCXX.h>
Public Member Functions | |
CXXNewExpr (const ASTContext &C, bool globalNew, FunctionDecl *operatorNew, FunctionDecl *operatorDelete, bool usualArrayDeleteWantsSize, ArrayRef< Expr * > placementArgs, SourceRange typeIdParens, Expr *arraySize, InitializationStyle initializationStyle, Expr *initializer, QualType ty, TypeSourceInfo *AllocatedTypeInfo, SourceRange Range, SourceRange directInitRange) | |
CXXNewExpr (EmptyShell Shell) | |
void | AllocateArgsArray (const ASTContext &C, bool isArray, unsigned numPlaceArgs, bool hasInitializer) |
QualType | getAllocatedType () const |
TypeSourceInfo * | getAllocatedTypeSourceInfo () const |
bool | shouldNullCheckAllocation (const ASTContext &Ctx) const |
True if the allocation result needs to be null-checked. More... | |
FunctionDecl * | getOperatorNew () const |
void | setOperatorNew (FunctionDecl *D) |
FunctionDecl * | getOperatorDelete () const |
void | setOperatorDelete (FunctionDecl *D) |
bool | isArray () const |
Expr * | getArraySize () |
const Expr * | getArraySize () const |
unsigned | getNumPlacementArgs () const |
Expr ** | getPlacementArgs () |
Expr * | getPlacementArg (unsigned i) |
const Expr * | getPlacementArg (unsigned i) const |
bool | isParenTypeId () const |
SourceRange | getTypeIdParens () const |
bool | isGlobalNew () const |
bool | hasInitializer () const |
Whether this new-expression has any initializer at all. More... | |
InitializationStyle | getInitializationStyle () const |
The kind of initializer this new-expression has. More... | |
Expr * | getInitializer () |
The initializer of this new-expression. More... | |
const Expr * | getInitializer () const |
const CXXConstructExpr * | getConstructExpr () const |
Returns the CXXConstructExpr from this new-expression, or null. More... | |
bool | doesUsualArrayDeleteWantSize () const |
Answers whether the usual array deallocation function for the allocated type expects the size of the allocation as a parameter. More... | |
llvm::iterator_range < arg_iterator > | placement_arguments () |
llvm::iterator_range < const_arg_iterator > | placement_arguments () const |
arg_iterator | placement_arg_begin () |
arg_iterator | placement_arg_end () |
const_arg_iterator | placement_arg_begin () const |
const_arg_iterator | placement_arg_end () const |
raw_arg_iterator | raw_arg_begin () |
raw_arg_iterator | raw_arg_end () |
const_arg_iterator | raw_arg_begin () const |
const_arg_iterator | raw_arg_end () const |
SourceLocation | getStartLoc () const |
SourceLocation | getEndLoc () const |
SourceRange | getDirectInitRange () const |
SourceRange | getSourceRange () const LLVM_READONLY |
SourceLocation | getLocStart () const LLVM_READONLY |
SourceLocation | getLocEnd () const LLVM_READONLY |
child_range | children () |
![]() | |
QualType | getType () const |
void | setType (QualType t) |
bool | isValueDependent () const |
isValueDependent - Determines whether this expression is value-dependent (C++ [temp.dep.constexpr]). More... | |
void | setValueDependent (bool VD) |
Set whether this expression is value-dependent or not. More... | |
bool | isTypeDependent () const |
isTypeDependent - Determines whether this expression is type-dependent (C++ [temp.dep.expr]), which means that its type could change from one template instantiation to the next. More... | |
void | setTypeDependent (bool TD) |
Set whether this expression is type-dependent or not. More... | |
bool | isInstantiationDependent () const |
Whether this expression is instantiation-dependent, meaning that it depends in some way on a template parameter, even if neither its type nor (constant) value can change due to the template instantiation. More... | |
void | setInstantiationDependent (bool ID) |
Set whether this expression is instantiation-dependent or not. More... | |
bool | containsUnexpandedParameterPack () const |
Whether this expression contains an unexpanded parameter pack (for C++11 variadic templates). More... | |
void | setContainsUnexpandedParameterPack (bool PP=true) |
Set the bit that describes whether this expression contains an unexpanded parameter pack. More... | |
SourceLocation | getExprLoc () const LLVM_READONLY |
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic expression. More... | |
bool | isUnusedResultAWarning (const Expr *&WarnExpr, SourceLocation &Loc, SourceRange &R1, SourceRange &R2, ASTContext &Ctx) const |
isUnusedResultAWarning - Return true if this immediate expression should be warned about if the result is unused. More... | |
bool | isLValue () const |
isLValue - True if this expression is an "l-value" according to the rules of the current language. More... | |
bool | isRValue () const |
bool | isXValue () const |
bool | isGLValue () const |
LValueClassification | ClassifyLValue (ASTContext &Ctx) const |
Reasons why an expression might not be an l-value. More... | |
isModifiableLvalueResult | isModifiableLvalue (ASTContext &Ctx, SourceLocation *Loc=nullptr) const |
isModifiableLvalue - C99 6.3.2.1: an lvalue that does not have array type, does not have an incomplete type, does not have a const-qualified type, and if it is a structure or union, does not have any member (including, recursively, any member or element of all contained aggregates or unions) with a const-qualified type. More... | |
Classification | Classify (ASTContext &Ctx) const |
Classify - Classify this expression according to the C++11 expression taxonomy. More... | |
Classification | ClassifyModifiable (ASTContext &Ctx, SourceLocation &Loc) const |
ClassifyModifiable - Classify this expression according to the C++11 expression taxonomy, and see if it is valid on the left side of an assignment. More... | |
ExprValueKind | getValueKind () const |
getValueKind - The value kind that this expression produces. More... | |
ExprObjectKind | getObjectKind () const |
getObjectKind - The object kind that this expression produces. More... | |
bool | isOrdinaryOrBitFieldObject () const |
void | setValueKind (ExprValueKind Cat) |
setValueKind - Set the value kind produced by this expression. More... | |
void | setObjectKind (ExprObjectKind Cat) |
setObjectKind - Set the object kind produced by this expression. More... | |
bool | refersToBitField () const |
Returns true if this expression is a gl-value that potentially refers to a bit-field. More... | |
FieldDecl * | getSourceBitField () |
If this expression refers to a bit-field, retrieve the declaration of that bit-field. More... | |
const FieldDecl * | getSourceBitField () const |
const ObjCPropertyRefExpr * | getObjCProperty () const |
If this expression is an l-value for an Objective C property, find the underlying property reference expression. More... | |
bool | isObjCSelfExpr () const |
Check if this expression is the ObjC 'self' implicit parameter. More... | |
bool | refersToVectorElement () const |
Returns whether this expression refers to a vector element. More... | |
bool | refersToGlobalRegisterVar () const |
Returns whether this expression refers to a global register variable. More... | |
bool | hasPlaceholderType () const |
Returns whether this expression has a placeholder type. More... | |
bool | hasPlaceholderType (BuiltinType::Kind K) const |
Returns whether this expression has a specific placeholder type. More... | |
bool | isKnownToHaveBooleanValue () const |
isKnownToHaveBooleanValue - Return true if this is an integer expression that is known to return 0 or 1. More... | |
bool | isIntegerConstantExpr (llvm::APSInt &Result, const ASTContext &Ctx, SourceLocation *Loc=nullptr, bool isEvaluated=true) const |
isIntegerConstantExpr - Return true if this expression is a valid integer constant expression, and, if so, return its value in Result. More... | |
bool | isIntegerConstantExpr (const ASTContext &Ctx, SourceLocation *Loc=nullptr) const |
bool | isCXX98IntegralConstantExpr (const ASTContext &Ctx) const |
isCXX98IntegralConstantExpr - Return true if this expression is an integral constant expression in C++98. More... | |
bool | isCXX11ConstantExpr (const ASTContext &Ctx, APValue *Result=nullptr, SourceLocation *Loc=nullptr) const |
isCXX11ConstantExpr - Return true if this expression is a constant expression in C++11. More... | |
bool | isConstantInitializer (ASTContext &Ctx, bool ForRef, const Expr **Culprit=nullptr) const |
isConstantInitializer - Returns true if this expression can be emitted to IR as a constant, and thus can be used as a constant initializer in C. More... | |
bool | EvaluateAsRValue (EvalResult &Result, const ASTContext &Ctx) const |
EvaluateAsRValue - Return true if this is a constant which we can fold to an rvalue using any crazy technique (that has nothing to do with language standards) that we want to, even if the expression has side-effects. More... | |
bool | EvaluateAsBooleanCondition (bool &Result, const ASTContext &Ctx) const |
EvaluateAsBooleanCondition - Return true if this is a constant which we we can fold and convert to a boolean condition using any crazy technique that we want to, even if the expression has side-effects. More... | |
bool | EvaluateAsInt (llvm::APSInt &Result, const ASTContext &Ctx, SideEffectsKind AllowSideEffects=SE_NoSideEffects) const |
EvaluateAsInt - Return true if this is a constant which we can fold and convert to an integer, using any crazy technique that we want to. More... | |
bool | EvaluateAsFloat (llvm::APFloat &Result, const ASTContext &Ctx, SideEffectsKind AllowSideEffects=SE_NoSideEffects) const |
EvaluateAsFloat - Return true if this is a constant which we can fold and convert to a floating point value, using any crazy technique that we want to. More... | |
bool | isEvaluatable (const ASTContext &Ctx, SideEffectsKind AllowSideEffects=SE_NoSideEffects) const |
isEvaluatable - Call EvaluateAsRValue to see if this expression can be constant folded without side-effects, but discard the result. More... | |
bool | HasSideEffects (const ASTContext &Ctx, bool IncludePossibleEffects=true) const |
HasSideEffects - This routine returns true for all those expressions which have any effect other than producing a value. More... | |
bool | hasNonTrivialCall (const ASTContext &Ctx) const |
Determine whether this expression involves a call to any function that is not trivial. More... | |
llvm::APSInt | EvaluateKnownConstInt (const ASTContext &Ctx, SmallVectorImpl< PartialDiagnosticAt > *Diag=nullptr) const |
EvaluateKnownConstInt - Call EvaluateAsRValue and return the folded integer. More... | |
void | EvaluateForOverflow (const ASTContext &Ctx) const |
bool | EvaluateAsLValue (EvalResult &Result, const ASTContext &Ctx) const |
EvaluateAsLValue - Evaluate an expression to see if we can fold it to an lvalue with link time known address, with no side-effects. More... | |
bool | EvaluateAsInitializer (APValue &Result, const ASTContext &Ctx, const VarDecl *VD, SmallVectorImpl< PartialDiagnosticAt > &Notes) const |
EvaluateAsInitializer - Evaluate an expression as if it were the initializer of the given declaration. More... | |
bool | EvaluateWithSubstitution (APValue &Value, ASTContext &Ctx, const FunctionDecl *Callee, ArrayRef< const Expr * > Args) const |
EvaluateWithSubstitution - Evaluate an expression as if from the context of a call to the given function with the given arguments, inside an unevaluated context. More... | |
bool | tryEvaluateObjectSize (uint64_t &Result, ASTContext &Ctx, unsigned Type) const |
If the current Expr is a pointer, this will try to statically determine the number of bytes available where the pointer is pointing. More... | |
NullPointerConstantKind | isNullPointerConstant (ASTContext &Ctx, NullPointerConstantValueDependence NPC) const |
isNullPointerConstant - C99 6.3.2.3p3 - Test if this reduces down to a Null pointer constant. More... | |
bool | isOBJCGCCandidate (ASTContext &Ctx) const |
isOBJCGCCandidate - Return true if this expression may be used in a read/ write barrier. More... | |
bool | isBoundMemberFunction (ASTContext &Ctx) const |
Returns true if this expression is a bound member function. More... | |
Expr * | IgnoreImpCasts () LLVM_READONLY |
IgnoreImpCasts - Skip past any implicit casts which might surround this expression. More... | |
Expr * | IgnoreImplicit () LLVM_READONLY |
IgnoreImplicit - Skip past any implicit AST nodes which might surround this expression. More... | |
const Expr * | IgnoreImplicit () const LLVM_READONLY |
Expr * | IgnoreParens () LLVM_READONLY |
IgnoreParens - Ignore parentheses. More... | |
Expr * | IgnoreParenCasts () LLVM_READONLY |
IgnoreParenCasts - Ignore parentheses and casts. More... | |
Expr * | IgnoreCasts () LLVM_READONLY |
Ignore casts. Strip off any CastExprs, returning their operand. More... | |
Expr * | IgnoreParenImpCasts () LLVM_READONLY |
IgnoreParenImpCasts - Ignore parentheses and implicit casts. More... | |
Expr * | IgnoreConversionOperator () LLVM_READONLY |
IgnoreConversionOperator - Ignore conversion operator. More... | |
const Expr * | IgnoreConversionOperator () const LLVM_READONLY |
const Expr * | IgnoreParenImpCasts () const LLVM_READONLY |
Expr * | IgnoreParenLValueCasts () LLVM_READONLY |
Ignore parentheses and lvalue casts. More... | |
const Expr * | IgnoreParenLValueCasts () const LLVM_READONLY |
Expr * | IgnoreParenNoopCasts (ASTContext &Ctx) LLVM_READONLY |
IgnoreParenNoopCasts - Ignore parentheses and casts that do not change the value (including ptr->int casts of the same size). More... | |
Expr * | ignoreParenBaseCasts () LLVM_READONLY |
Ignore parentheses and derived-to-base casts. More... | |
const Expr * | ignoreParenBaseCasts () const LLVM_READONLY |
bool | isDefaultArgument () const |
Determine whether this expression is a default function argument. More... | |
bool | isTemporaryObject (ASTContext &Ctx, const CXXRecordDecl *TempTy) const |
Determine whether the result of this expression is a temporary object of the given class type. More... | |
bool | isImplicitCXXThis () const |
Whether this expression is an implicit reference to 'this' in C++. More... | |
const Expr * | IgnoreImpCasts () const LLVM_READONLY |
const Expr * | IgnoreParens () const LLVM_READONLY |
const Expr * | IgnoreParenCasts () const LLVM_READONLY |
const Expr * | IgnoreCasts () const LLVM_READONLY |
Strip off casts, but keep parentheses. More... | |
const Expr * | IgnoreParenNoopCasts (ASTContext &Ctx) const LLVM_READONLY |
const CXXRecordDecl * | getBestDynamicClassType () const |
For an expression of class type or pointer to class type, return the most derived class decl the expression is known to refer to. More... | |
const Expr * | skipRValueSubobjectAdjustments (SmallVectorImpl< const Expr * > &CommaLHS, SmallVectorImpl< SubobjectAdjustment > &Adjustments) const |
Walk outwards from an expression we want to bind a reference to and find the expression whose lifetime needs to be extended. More... | |
Static Public Member Functions | |
static bool | classof (const Stmt *T) |
![]() | |
static ExprValueKind | getValueKindForType (QualType T) |
getValueKindForType - Given a formal return or parameter type, give its value kind. More... | |
static bool | isPotentialConstantExpr (const FunctionDecl *FD, SmallVectorImpl< PartialDiagnosticAt > &Diags) |
isPotentialConstantExpr - Return true if this function's definition might be usable in a constant expression in C++11, if it were marked constexpr. More... | |
static bool | isPotentialConstantExprUnevaluated (Expr *E, const FunctionDecl *FD, SmallVectorImpl< PartialDiagnosticAt > &Diags) |
isPotentialConstantExprUnevaluted - Return true if this expression might be usable in a constant expression in C++11 in an unevaluated context, if it were in function FD marked constexpr. More... | |
static QualType | findBoundMemberType (const Expr *expr) |
Given an expression of bound-member type, find the type of the member. More... | |
static bool | hasAnyTypeDependentArguments (ArrayRef< Expr * > Exprs) |
hasAnyTypeDependentArguments - Determines if any of the expressions in Exprs is type-dependent. More... | |
static bool | classof (const Stmt *T) |
Friends | |
class | ASTStmtReader |
class | ASTStmtWriter |
Additional Inherited Members | |
![]() | |
Expr (StmtClass SC, QualType T, ExprValueKind VK, ExprObjectKind OK, bool TD, bool VD, bool ID, bool ContainsUnexpandedParameterPack) | |
Expr (StmtClass SC, EmptyShell) | |
Construct an empty expression. More... | |
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
typedef ExprIterator clang::CXXNewExpr::arg_iterator |
typedef ConstExprIterator clang::CXXNewExpr::const_arg_iterator |
typedef Stmt** clang::CXXNewExpr::raw_arg_iterator |
CXXNewExpr::CXXNewExpr | ( | const ASTContext & | C, |
bool | globalNew, | ||
FunctionDecl * | operatorNew, | ||
FunctionDecl * | operatorDelete, | ||
bool | usualArrayDeleteWantsSize, | ||
ArrayRef< Expr * > | placementArgs, | ||
SourceRange | typeIdParens, | ||
Expr * | arraySize, | ||
InitializationStyle | initializationStyle, | ||
Expr * | initializer, | ||
QualType | ty, | ||
TypeSourceInfo * | AllocatedTypeInfo, | ||
SourceRange | Range, | ||
SourceRange | directInitRange | ||
) |
Definition at line 63 of file ExprCXX.cpp.
References AllocateArgsArray(), CallInit, clang::Expr::containsUnexpandedParameterPack(), clang::SourceRange::getEnd(), getInitializationStyle(), getInitializer(), getSourceRange(), clang::if(), clang::Expr::isInstantiationDependent(), clang::SourceRange::isValid(), ListInit, NoInit, and clang::SourceRange::setEnd().
|
inlineexplicit |
void CXXNewExpr::AllocateArgsArray | ( | const ASTContext & | C, |
bool | isArray, | ||
unsigned | numPlaceArgs, | ||
bool | hasInitializer | ||
) |
|
inline |
Definition at line 2001 of file ExprCXX.h.
References raw_arg_begin(), and raw_arg_end().
|
inline |
Answers whether the usual array deallocation function for the allocated type expects the size of the allocation as a parameter.
Definition at line 1947 of file ExprCXX.h.
Referenced by clang::CodeGen::CGCXXABI::requiresArrayCookie().
|
inline |
Definition at line 1863 of file ExprCXX.h.
References clang::Type::getAs(), and clang::Expr::getType().
Referenced by EmitCXXNewAllocSize(), clang::CodeGen::CodeGenFunction::EmitCXXNewExpr(), clang::CodeGen::CodeGenFunction::EmitNewArrayInitializer(), EmitNewInitializer(), clang::CodeGen::CGCXXABI::GetArrayCookieSize(), clang::CodeGen::CGCXXABI::requiresArrayCookie(), and treatUnusedNewEscaped().
|
inline |
|
inline |
Definition at line 1895 of file ExprCXX.h.
Referenced by EmitCXXNewAllocSize().
|
inline |
|
inline |
Returns the CXXConstructExpr from this new-expression, or null.
Definition at line 1940 of file ExprCXX.h.
References getInitializer().
Referenced by treatUnusedNewEscaped().
|
inline |
|
inline |
Definition at line 1986 of file ExprCXX.h.
References clang::SourceRange::getEnd().
Referenced by getLocEnd().
|
inline |
The kind of initializer this new-expression has.
Definition at line 1925 of file ExprCXX.h.
References NoInit.
Referenced by CXXNewExpr().
|
inline |
The initializer of this new-expression.
Definition at line 1932 of file ExprCXX.h.
References hasInitializer().
Referenced by CXXNewExpr(), clang::CodeGen::CodeGenFunction::EmitCXXNewExpr(), clang::CodeGen::CodeGenFunction::EmitNewArrayInitializer(), EmitNewInitializer(), getConstructExpr(), and clang::ento::ExprEngine::VisitCXXNewExpr().
|
inline |
Definition at line 1935 of file ExprCXX.h.
References hasInitializer().
|
inline |
Definition at line 1994 of file ExprCXX.h.
References getEndLoc().
|
inline |
Definition at line 1993 of file ExprCXX.h.
References getStartLoc().
Referenced by clang::ento::ExprEngine::ProcessNewAllocator().
|
inline |
Definition at line 1902 of file ExprCXX.h.
Referenced by clang::CodeGen::CodeGenFunction::EmitCXXNewExpr(), EnterNewDeleteCleanup(), placement_arg_end(), and raw_arg_end().
|
inline |
Definition at line 1891 of file ExprCXX.h.
Referenced by clang::CodeGen::CodeGenFunction::EmitCXXNewExpr(), and EnterNewDeleteCleanup().
|
inline |
Definition at line 1889 of file ExprCXX.h.
Referenced by CalculateCookiePadding(), clang::CodeGen::CodeGenFunction::EmitCXXNewExpr(), clang::ento::ExprEngine::ProcessNewAllocator(), shouldNullCheckAllocation(), and clang::ento::ExprEngine::VisitCXXNewExpr().
Definition at line 1907 of file ExprCXX.h.
References getPlacementArgs().
Referenced by getPlacementArg(), and clang::ento::ExprEngine::VisitCXXNewExpr().
Definition at line 1911 of file ExprCXX.h.
References getPlacementArg().
|
inline |
Definition at line 1903 of file ExprCXX.h.
References hasInitializer().
Referenced by getPlacementArg().
|
inline |
Definition at line 1990 of file ExprCXX.h.
Referenced by CXXNewExpr().
|
inline |
Definition at line 1985 of file ExprCXX.h.
References clang::SourceRange::getBegin().
Referenced by getLocStart(), and clang::ento::ExprEngine::VisitCXXNewAllocatorCall().
|
inline |
|
inline |
Whether this new-expression has any initializer at all.
Definition at line 1922 of file ExprCXX.h.
Referenced by clang::CodeGen::CodeGenFunction::EmitCXXNewExpr(), clang::CodeGen::CodeGenFunction::EmitNewArrayInitializer(), getInitializer(), getPlacementArgs(), placement_arg_begin(), placement_arg_end(), and raw_arg_end().
|
inline |
Definition at line 1894 of file ExprCXX.h.
Referenced by AllocateArgsArray(), CalculateCookiePadding(), EmitCXXNewAllocSize(), clang::CodeGen::CodeGenFunction::EmitCXXNewExpr(), EmitNewInitializer(), and clang::ento::ExprEngine::VisitCXXNewExpr().
|
inline |
Definition at line 1916 of file ExprCXX.h.
References clang::SourceRange::isValid().
|
inline |
Definition at line 1962 of file ExprCXX.h.
References hasInitializer().
Referenced by placement_arguments().
|
inline |
Definition at line 1968 of file ExprCXX.h.
References hasInitializer().
|
inline |
Definition at line 1965 of file ExprCXX.h.
References getNumPlacementArgs(), and hasInitializer().
Referenced by placement_arguments().
|
inline |
Definition at line 1971 of file ExprCXX.h.
References getNumPlacementArgs(), and hasInitializer().
|
inline |
Definition at line 1954 of file ExprCXX.h.
References placement_arg_begin(), and placement_arg_end().
Referenced by clang::CodeGen::CodeGenFunction::EmitCXXNewExpr().
|
inline |
Definition at line 1958 of file ExprCXX.h.
References placement_arg_begin(), and placement_arg_end().
|
inline |
Definition at line 1976 of file ExprCXX.h.
Referenced by children().
|
inline |
|
inline |
Definition at line 1977 of file ExprCXX.h.
References getNumPlacementArgs(), and hasInitializer().
Referenced by children().
|
inline |
Definition at line 1981 of file ExprCXX.h.
References getNumPlacementArgs(), and hasInitializer().
|
inline |
|
inline |
bool CXXNewExpr::shouldNullCheckAllocation | ( | const ASTContext & | Ctx | ) | const |
True if the allocation result needs to be null-checked.
C++11 [expr.new]p13: If the allocation function returns null, initialization shall not be done, the deallocation function shall not be called, and the value of the new-expression shall be null.
C++ DR1748: If the allocation function is a reserved placement allocation function that returns null, the behavior is undefined.
An allocation function is not allowed to return null unless it has a non-throwing exception-specification. The '03 rule is identical except that the definition of a non-throwing exception specification is just "is it throw()?".
Definition at line 137 of file ExprCXX.cpp.
References clang::Type::castAs(), getOperatorNew(), clang::ValueDecl::getType(), and clang::FunctionDecl::isReservedGlobalPlacementOperator().
Referenced by clang::CodeGen::CodeGenFunction::EmitCXXNewExpr().
|
friend |
|
friend |