clang
6.0.0
|
A builtin binary operation expression such as "x + y" or "x <= y". More...
#include "clang/AST/Expr.h"
Public Member Functions | |
BinaryOperator (Expr *lhs, Expr *rhs, Opcode opc, QualType ResTy, ExprValueKind VK, ExprObjectKind OK, SourceLocation opLoc, FPOptions FPFeatures) | |
BinaryOperator (EmptyShell Empty) | |
Construct an empty binary operator. More... | |
SourceLocation | getExprLoc () const LLVM_READONLY |
SourceLocation | getOperatorLoc () const |
void | setOperatorLoc (SourceLocation L) |
Opcode | getOpcode () const |
void | setOpcode (Opcode O) |
Expr * | getLHS () const |
void | setLHS (Expr *E) |
Expr * | getRHS () const |
void | setRHS (Expr *E) |
SourceLocation | getLocStart () const LLVM_READONLY |
SourceLocation | getLocEnd () const LLVM_READONLY |
StringRef | getOpcodeStr () const |
bool | isPtrMemOp () const |
predicates to categorize the respective opcodes. More... | |
bool | isMultiplicativeOp () const |
bool | isAdditiveOp () const |
bool | isShiftOp () const |
bool | isBitwiseOp () const |
bool | isRelationalOp () const |
bool | isEqualityOp () const |
bool | isComparisonOp () const |
bool | isLogicalOp () const |
bool | isAssignmentOp () const |
bool | isCompoundAssignmentOp () const |
bool | isShiftAssignOp () const |
child_range | children () |
const_child_range | children () const |
void | setFPFeatures (FPOptions F) |
FPOptions | getFPFeatures () const |
bool | isFPContractableWithinStatement () const |
![]() | |
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 |
Decl * | getReferencedDeclOfCallee () |
const Decl * | getReferencedDeclOfCallee () 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 Expr *This=nullptr) 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 * | getBestDynamicClassTypeExpr () const |
Get the inner expression that determines the best dynamic class. 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... | |
const Expr * | skipRValueSubobjectAdjustments () const |
![]() | |
void * | operator new (size_t bytes, const ASTContext &C, unsigned alignment=8) |
void * | operator new (size_t bytes, const ASTContext *C, unsigned alignment=8) |
void * | operator new (size_t bytes, void *mem) noexcept |
void | operator delete (void *, const ASTContext &, unsigned) noexcept |
void | operator delete (void *, const ASTContext *, unsigned) noexcept |
void | operator delete (void *, size_t) noexcept |
void | operator delete (void *, void *) noexcept |
Stmt (StmtClass SC) | |
StmtClass | getStmtClass () const |
const char * | getStmtClassName () const |
SourceRange | getSourceRange () const LLVM_READONLY |
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpreted by SourceManager. More... | |
SourceLocation | getLocStart () const LLVM_READONLY |
SourceLocation | getLocEnd () const LLVM_READONLY |
void | dump () const |
Dumps the specified AST fragment and all subtrees to llvm::errs() . More... | |
void | dump (SourceManager &SM) const |
void | dump (raw_ostream &OS, SourceManager &SM) const |
void | dump (raw_ostream &OS) const |
void | dumpColor () const |
dumpColor - same as dump(), but forces color highlighting. More... | |
void | dumpPretty (const ASTContext &Context) const |
dumpPretty/printPretty - These two methods do a "pretty print" of the AST back to its original source language syntax. More... | |
void | printPretty (raw_ostream &OS, PrinterHelper *Helper, const PrintingPolicy &Policy, unsigned Indentation=0, const ASTContext *Context=nullptr) const |
void | viewAST () const |
viewAST - Visualize an AST rooted at this Stmt* using GraphViz. More... | |
Stmt * | IgnoreImplicit () |
Skip past any implicit AST nodes which might surround this statement, such as ExprWithCleanups or ImplicitCastExpr nodes. More... | |
const Stmt * | IgnoreImplicit () const |
Stmt * | IgnoreContainers (bool IgnoreCaptured=false) |
Skip no-op (attributed, compound) container stmts and skip captured stmt at the top, if IgnoreCaptured is true. More... | |
const Stmt * | IgnoreContainers (bool IgnoreCaptured=false) const |
const Stmt * | stripLabelLikeStatements () const |
Strip off all label-like statements. More... | |
Stmt * | stripLabelLikeStatements () |
child_range | children () |
const_child_range | children () const |
child_iterator | child_begin () |
child_iterator | child_end () |
const_child_iterator | child_begin () const |
const_child_iterator | child_end () const |
void | Profile (llvm::FoldingSetNodeID &ID, const ASTContext &Context, bool Canonical) const |
Produce a unique representation of the given statement. More... | |
void | ProcessODRHash (llvm::FoldingSetNodeID &ID, ODRHash &Hash) const |
Calculate a unique representation for a statement that is stable across compiler invocations. More... | |
Static Public Member Functions | |
static StringRef | getOpcodeStr (Opcode Op) |
getOpcodeStr - Turn an Opcode enum value into the punctuation char it corresponds to, e.g. More... | |
static Opcode | getOverloadedOpcode (OverloadedOperatorKind OO) |
Retrieve the binary opcode that corresponds to the given overloaded operator. More... | |
static OverloadedOperatorKind | getOverloadedOperator (Opcode Opc) |
Retrieve the overloaded operator kind that corresponds to the given binary opcode. More... | |
static bool | isMultiplicativeOp (Opcode Opc) |
static bool | isAdditiveOp (Opcode Opc) |
static bool | isShiftOp (Opcode Opc) |
static bool | isBitwiseOp (Opcode Opc) |
static bool | isRelationalOp (Opcode Opc) |
static bool | isEqualityOp (Opcode Opc) |
static bool | isComparisonOp (Opcode Opc) |
static Opcode | negateComparisonOp (Opcode Opc) |
static Opcode | reverseComparisonOp (Opcode Opc) |
static bool | isLogicalOp (Opcode Opc) |
static bool | isAssignmentOp (Opcode Opc) |
static bool | isCompoundAssignmentOp (Opcode Opc) |
static Opcode | getOpForCompoundAssignment (Opcode Opc) |
static bool | isShiftAssignOp (Opcode Opc) |
static bool | isNullPointerArithmeticExtension (ASTContext &Ctx, Opcode Opc, Expr *LHS, Expr *RHS) |
static bool | classof (const Stmt *S) |
![]() | |
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) |
![]() | |
static void | addStmtClass (const StmtClass s) |
static void | EnableStatistics () |
static void | PrintStats () |
Protected Member Functions | |
BinaryOperator (Expr *lhs, Expr *rhs, Opcode opc, QualType ResTy, ExprValueKind VK, ExprObjectKind OK, SourceLocation opLoc, FPOptions FPFeatures, bool dead2) | |
BinaryOperator (StmtClass SC, EmptyShell Empty) | |
![]() | |
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... | |
![]() | |
void * | operator new (size_t bytes) noexcept |
void | operator delete (void *data) noexcept |
Stmt (StmtClass SC, EmptyShell) | |
Construct an empty statement. More... | |
Additional Inherited Members | |
![]() | |
enum | { NumStmtBits = 8 } |
enum | { NumExprBits = 17 } |
enum | APFloatSemantics { IEEEhalf, IEEEsingle, IEEEdouble, x87DoubleExtended, IEEEquad, PPCDoubleDouble } |
![]() | |
union { | |
StmtBitfields StmtBits | |
CompoundStmtBitfields CompoundStmtBits | |
IfStmtBitfields IfStmtBits | |
ExprBitfields ExprBits | |
CharacterLiteralBitfields CharacterLiteralBits | |
FloatingLiteralBitfields FloatingLiteralBits | |
UnaryExprOrTypeTraitExprBitfields UnaryExprOrTypeTraitExprBits | |
DeclRefExprBitfields DeclRefExprBits | |
CastExprBitfields CastExprBits | |
CallExprBitfields CallExprBits | |
ExprWithCleanupsBitfields ExprWithCleanupsBits | |
PseudoObjectExprBitfields PseudoObjectExprBits | |
ObjCIndirectCopyRestoreExprBitfields ObjCIndirectCopyRestoreExprBits | |
InitListExprBitfields InitListExprBits | |
TypeTraitExprBitfields TypeTraitExprBits | |
CoawaitExprBitfields CoawaitBits | |
}; | |
A builtin binary operation expression such as "x + y" or "x <= y".
This expression node kind describes a builtin binary operation, such as "x + y" for integer values "x" and "y". The operands will already have been converted to appropriate types (e.g., by performing promotions or conversions).
In C++, where operators may be overloaded, a different kind of expression node (CXXOperatorCallExpr) is used to express the invocation of an overloaded operator with operator syntax. Within a C++ template, whether BinaryOperator or CXXOperatorCallExpr is used to store an expression "x + y" depends on the subexpressions for x and y. If neither x or y is type-dependent, and the "+" operator resolves to a built-in operation, BinaryOperator will be used to express the computation (x and y may still be value-dependent). If either x or y is type-dependent, or if the "+" resolves to an overloaded operator, CXXOperatorCallExpr will be used to express the computation.
|
inline |
|
inlineexplicit |
|
inlineprotected |
|
inlineprotected |
|
inline |
|
inline |
|
inline |
Definition at line 3022 of file Expr.h.
Referenced by clang::Sema::ActOnOpenMPAtomicDirective(), and GetIntrinsic().
|
inline |
|
inline |
Definition at line 3029 of file Expr.h.
Referenced by clang::Sema::ActOnOpenMPAtomicDirective(), addOrSubLValueAsInteger(), AnalyzeAssignment(), AnalyzeComparison(), AnalyzeImpConvsInComparison(), clang::CodeGen::CodeGenFunction::EmitARCStoreAutoreleasing(), clang::CodeGen::CodeGenFunction::EmitARCStoreStrong(), clang::CodeGen::CodeGenFunction::EmitARCStoreUnsafeUnretained(), emitPointerArithmetic(), EvaluateComplex(), EvaluatePointer(), getIncrementedVar(), GetIntrinsic(), HandleConstructorCall(), HandleMemberPointerAccess(), ignoreLiteralAdditions(), isBlockVarRef(), isImplicitThis(), isShiftOverflow(), clang::Expr::isUnusedResultAWarning(), LookThroughTransitiveAssignmentsAndCommaOperators(), tryEmitFMulAdd(), tryNormalizeBinaryOperator(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::consumed::ConsumedStmtVisitor::VisitBinaryOperator(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
|
inline |
|
inline |
Definition at line 3034 of file Expr.h.
Referenced by clang::LiveVariables::dumpBlockLiveness().
|
inline |
Definition at line 3026 of file Expr.h.
Referenced by clang::Sema::ActOnOpenMPAtomicDirective(), addOrSubLValueAsInteger(), clang::CodeGen::CodeGenFunction::EmitComplexAssignmentLValue(), clang::CodeGen::CodeGenFunction::EmitComplexCompoundAssignmentLValue(), clang::CodeGen::CodeGenFunction::EmitCompoundAssignmentLValue(), EmitDiagnosticForLogicalAndInLogicalOr(), clang::CodeGen::CodeGenFunction::EmitScalarCompoundAssignWithComplex(), EvaluateComplex(), EvaluatePointer(), FindTypeTagExpr(), GetIntrinsic(), HandleConstructorCall(), HandleMemberPointerAccess(), isIdenticalStmt(), isImplicitThis(), isShiftOverflow(), clang::Expr::isUnusedResultAWarning(), LookThroughTransitiveAssignmentsAndCommaOperators(), tryNormalizeBinaryOperator(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::consumed::ConsumedStmtVisitor::VisitBinaryOperator(), clang::ento::ExprEngine::VisitLogicalExpr(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
|
static |
getOpcodeStr - Turn an Opcode enum value into the punctuation char it corresponds to, e.g.
"<<=".
Definition at line 1762 of file Expr.cpp.
Referenced by DiagnoseBitwisePrecedence(), and EmitDiagnosticForLogicalAndInLogicalOr().
|
inline |
Definition at line 3045 of file Expr.h.
References IteratorComparison::getOpcode(), and getOpcodeStr().
Referenced by DiagnoseBinOpPrecedence(), DiagnoseBitwiseOpInBitwiseOp(), DiagnoseBitwisePrecedence(), DiagnoseConditionalPrecedence(), clang::ento::SymIntExpr::dumpToStream(), clang::ento::IntSymExpr::dumpToStream(), clang::ento::SymSymExpr::dumpToStream(), getOpcodeStr(), isImplicitThis(), isShiftOverflow(), clang::ento::SValExplainer::VisitSymIntExpr(), clang::ento::SValExplainer::VisitSymSymExpr(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
|
inline |
Definition at line 3023 of file Expr.h.
Referenced by clang::Sema::ActOnOpenMPAtomicDirective(), AnalyzeAssignment(), AnalyzeComparison(), AnalyzeImpConvsInComparison(), clang::ento::PathDiagnosticLocation::createOperatorLoc(), EmitDiagnosticForLogicalAndInLogicalOr(), and clang::Expr::isUnusedResultAWarning().
|
static |
Retrieve the binary opcode that corresponds to the given overloaded operator.
Definition at line 1771 of file Expr.cpp.
Referenced by clang::TreeTransform< Derived >::RebuildCXXOperatorCallExpr().
|
static |
Retrieve the overloaded operator kind that corresponds to the given binary opcode.
Definition at line 1809 of file Expr.cpp.
References clang::OO_None.
Referenced by BuildOverloadedBinOp(), and clang::Sema::CreateOverloadedBinOp().
|
inline |
Definition at line 3031 of file Expr.h.
Referenced by clang::Sema::ActOnOpenMPAtomicDirective(), addOrSubLValueAsInteger(), AnalyzeAssignment(), AnalyzeComparison(), AnalyzeImpConvsInComparison(), DiagnoseBitwisePrecedence(), clang::CodeGen::CodeGenFunction::EmitARCStoreAutoreleasing(), clang::CodeGen::CodeGenFunction::EmitARCStoreStrong(), clang::CodeGen::CodeGenFunction::EmitARCStoreUnsafeUnretained(), emitPointerArithmetic(), EvaluateComplex(), EvaluatePointer(), FindTypeTagExpr(), getIncrementedVar(), GetIntrinsic(), getRightmostLeaf(), HandleConstructorCall(), HandleMemberPointerAccess(), ignoreLiteralAdditions(), isBlockVarRef(), isImplicitThis(), isShiftOverflow(), clang::Expr::isUnusedResultAWarning(), LookThroughTransitiveAssignmentsAndCommaOperators(), tryNormalizeBinaryOperator(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::consumed::ConsumedStmtVisitor::VisitBinaryOperator(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
Definition at line 3061 of file Expr.h.
Referenced by addOrSubLValueAsInteger(), ignoreLiteralAdditions(), and clang::ento::ExprEngine::VisitBinaryOperator().
|
inline |
Definition at line 3062 of file Expr.h.
References IteratorComparison::getOpcode(), and isAdditiveOp().
Referenced by isAdditiveOp(), and IsArithmeticOp().
Definition at line 3108 of file Expr.h.
Referenced by addOrSubLValueAsInteger(), EvaluateComplex(), clang::Expr::isUnusedResultAWarning(), LookThroughTransitiveAssignmentsAndCommaOperators(), and clang::ento::ExprEngine::VisitBinaryOperator().
|
inline |
Definition at line 3111 of file Expr.h.
References IteratorComparison::getOpcode(), and isAssignmentOp().
Referenced by clang::Sema::BuildBinOp(), isAssignmentOp(), LookupMethodInReceiverType(), clang::TreeTransform< Derived >::RebuildCXXOperatorCallExpr(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
Definition at line 3066 of file Expr.h.
Referenced by DiagnoseBitwisePrecedence().
|
inline |
Definition at line 3067 of file Expr.h.
References IteratorComparison::getOpcode(), and isBitwiseOp().
Referenced by DiagnoseBinOpPrecedence(), and isBitwiseOp().
Definition at line 3075 of file Expr.h.
Referenced by DiagnoseBitwisePrecedence().
|
inline |
Definition at line 3076 of file Expr.h.
References IteratorComparison::getOpcode(), and isComparisonOp().
Referenced by clang::ento::RangedConstraintManager::assumeSym(), clang::ento::RangedConstraintManager::assumeSymRel(), DiagnoseBinOpPrecedence(), clang::ento::loc::ConcreteInt::evalBinOp(), evalBinOpFieldRegionFieldRegion(), isComparisonOp(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
Definition at line 3113 of file Expr.h.
Referenced by LookThroughTransitiveAssignmentsAndCommaOperators().
|
inline |
Definition at line 3116 of file Expr.h.
References IteratorComparison::getOpcode().
Definition at line 3072 of file Expr.h.
Referenced by AnalyzeComparison(), and getIncrementedVar().
|
inline |
Definition at line 3073 of file Expr.h.
References IteratorComparison::getOpcode(), and isEqualityOp().
Referenced by clang::ento::CreateRangeConstraintManager(), diagnoseObjCLiteralComparison(), and isEqualityOp().
|
inline |
Definition at line 3161 of file Expr.h.
References clang::FPOptions::allowFPContractWithinStatement().
Definition at line 3105 of file Expr.h.
Referenced by addOrSubLValueAsInteger(), getRightmostLeaf(), and ResolveCondition().
|
inline |
Definition at line 3106 of file Expr.h.
References IteratorComparison::getOpcode(), and isLogicalOp().
Referenced by isLogicalOp().
|
inline |
Definition at line 3060 of file Expr.h.
References IteratorComparison::getOpcode(), and isMultiplicativeOp().
Referenced by IsArithmeticOp(), and isMultiplicativeOp().
|
static |
Definition at line 1834 of file Expr.cpp.
References clang::Type::getAs(), clang::PointerType::getPointeeType(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::Type::isCharType(), clang::Type::isIntegerType(), clang::Expr::isNullPointerConstant(), clang::Type::isPointerType(), and clang::Expr::NPC_ValueDependentIsNotNull.
Referenced by emitPointerArithmetic().
|
inline |
predicates to categorize the respective opcodes.
Definition at line 3056 of file Expr.h.
Referenced by EvaluateComplex().
Definition at line 3069 of file Expr.h.
Referenced by getIncrementedVar().
|
inline |
Definition at line 3070 of file Expr.h.
References IteratorComparison::getOpcode(), and isRelationalOp().
Referenced by clang::ento::CreateRangeConstraintManager(), and isRelationalOp().
|
inline |
Definition at line 3130 of file Expr.h.
References IteratorComparison::getOpcode().
|
inline |
Definition at line 3064 of file Expr.h.
References IteratorComparison::getOpcode(), and isShiftOp().
Referenced by IsArithmeticOp(), and isShiftOp().
Definition at line 3078 of file Expr.h.
Referenced by clang::ento::RangedConstraintManager::assumeSym().
Definition at line 3091 of file Expr.h.
Referenced by clang::ento::RangedConstraintManager::assumeSym().
|
inline |
Definition at line 3155 of file Expr.h.
References clang::FPOptions::getInt().
|
inline |