diff options
author | Hannes Vogt | 2019-04-04 20:36:40 +0000 |
---|---|---|
committer | Nathan Ridge | 2019-04-19 21:39:30 +0000 |
commit | 11a14b7ed3594b61559ed1b62e3080ff1fb04c72 (patch) | |
tree | 1afe910b1fd5281844d3946d6cf42111fa2ee371 /core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom | |
parent | 480af1ddb10a8b07466809f6ffb175180011a15c (diff) | |
download | org.eclipse.cdt-11a14b7ed3594b61559ed1b62e3080ff1fb04c72.tar.gz org.eclipse.cdt-11a14b7ed3594b61559ed1b62e3080ff1fb04c72.tar.xz org.eclipse.cdt-11a14b7ed3594b61559ed1b62e3080ff1fb04c72.zip |
Bug 545756 - Improve EvalBinding.isConstantExpression()
Previously, all variables with an initial value (even non-const)
were treated as constant expressions, now only constexpr variables,
static const members and global const variables are treated as constant expression.
Change-Id: I2acb4033a1f75110302ea25640afb070d025ec2b
Signed-off-by: Hannes Vogt <hannes@havogt.de>
Diffstat (limited to 'core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom')
4 files changed, 25 insertions, 6 deletions
diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/CPPVariable.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/CPPVariable.java index 4999c631b5f..9bce0ccd1fe 100644 --- a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/CPPVariable.java +++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/CPPVariable.java @@ -202,7 +202,7 @@ public class CPPVariable extends PlatformObject implements ICPPInternalDeclaredV @Override public boolean isConstexpr() { - return VariableHelpers.isConstexpr(fDefinition); + return VariableHelpers.isConstexpr(fDefinition != null ? fDefinition : fDeclarations[0]); } @Override diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/AggregateInitialization.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/AggregateInitialization.java index 64648a5231e..fb1190eb5d0 100644 --- a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/AggregateInitialization.java +++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/AggregateInitialization.java @@ -103,8 +103,10 @@ class AggregateInitialization { fIndex++; // [dcl.init.aggr] If the initializer-clause is an expression and a narrowing conversion is // required to convert the expression, the program is ill-formed. - if (!(initializer instanceof EvalInitList) && costWithoutElision.isNarrowingConversion()) { - return Cost.NO_CONVERSION; + if (!initializer.isConstantExpression()) { + if (!(initializer instanceof EvalInitList) && costWithoutElision.isNarrowingConversion()) { + return Cost.NO_CONVERSION; + } } if (costWithoutElision.compareTo(worstCost) > 0) { worstCost = costWithoutElision; diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/EvalBinding.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/EvalBinding.java index 6cf8de08188..bec2013b6f2 100644 --- a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/EvalBinding.java +++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/EvalBinding.java @@ -32,6 +32,7 @@ import org.eclipse.cdt.core.dom.ast.IProblemBinding; import org.eclipse.cdt.core.dom.ast.IType; import org.eclipse.cdt.core.dom.ast.IValue; import org.eclipse.cdt.core.dom.ast.IVariable; +import org.eclipse.cdt.core.dom.ast.cpp.ICPPField; import org.eclipse.cdt.core.dom.ast.cpp.ICPPFunction; import org.eclipse.cdt.core.dom.ast.cpp.ICPPParameter; import org.eclipse.cdt.core.dom.ast.cpp.ICPPParameterPackType; @@ -257,8 +258,24 @@ public class EvalBinding extends CPPDependentEvaluation { } private boolean computeIsConstantExpression() { - return fBinding instanceof IEnumerator || fBinding instanceof ICPPFunction - || (fBinding instanceof IVariable && isConstexprValue(((IVariable) fBinding).getInitialValue())); + if (fBinding instanceof IEnumerator || fBinding instanceof ICPPFunction) + return true; + else if (fBinding instanceof ICPPVariable) { + if (!isConstexprValue(((IVariable) fBinding).getInitialValue())) + return false; + ICPPVariable var = (ICPPVariable) fBinding; + if (var.isConstexpr()) + return true; + IType type = SemanticUtil.getNestedType(var.getType(), SemanticUtil.TDEF | SemanticUtil.REF); + if (ExpressionTypes.isConst(type)) { + if (var instanceof ICPPField) { + if (var.isStatic()) + return true; + } else + return true; + } + } + return false; } @Override diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/ExpressionTypes.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/ExpressionTypes.java index e882751221a..2481dbbcb82 100644 --- a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/ExpressionTypes.java +++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/ExpressionTypes.java @@ -113,7 +113,7 @@ public class ExpressionTypes { return type; } - private static boolean isConst(IType type) { + public static boolean isConst(IType type) { if (type instanceof IQualifierType) { return ((IQualifierType) type).isConst(); } else if (type instanceof IPointerType) { |