Test constexpr execution of if statement with static_assert declaration substatement

Author: i-garrison

core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java

@@ -104,6 +104,7 @@
 import org.eclipse.cdt.internal.core.dom.parser.cpp.CPPASTNameBase;
 import org.eclipse.cdt.internal.core.dom.parser.cpp.CPPBasicType;
 import org.eclipse.cdt.internal.core.dom.parser.cpp.CPPReferenceType;
+import org.eclipse.cdt.internal.core.dom.parser.cpp.CPPVariable;
 import org.eclipse.cdt.internal.core.dom.parser.cpp.ClassTypeHelper;
 import org.eclipse.cdt.internal.core.dom.parser.cpp.ICPPDeferredClassInstance;
 import org.eclipse.cdt.internal.core.dom.parser.cpp.ICPPInternalUnknownScope;
@@ -11781,4 +11782,32 @@ public void testRecognizeConstructorWithSemicolonAfterBody() throws Exception {
 	public void testAllowAggregateInitializationInTemplateBody() throws Exception {
 		parseAndCheckImplicitNameBindings();
 	}
+
+	//	template<typename T>
+	//	constexpr bool if_false(T t) {
+	//	    if (t)
+	//	        static_assert(false);
+	//	    else
+	//	        return true;
+	//	}
+	//	template<typename T>
+	//	constexpr bool if_true(T t) {
+	//	    if (t)
+	//	        return true;
+	//	    else
+	//	        static_assert(false);
+	//	}
+	//	static constexpr auto value_if_false = if_false(true);
+	//	static constexpr auto value_if_true = if_true(false);
+	public void testIfThenElseClauseStaticAssert() throws Exception {
+		BindingAssertionHelper helper = getAssertionHelper();
+
+		// initial value must be available, but it's value is wrong because static_assert() is not supported (yet)
+		CPPVariable valueIfFalse = helper.assertNonProblem("value_if_false");
+		assertEquals(IntegralValue.STATIC_ASSERT_FAILED_ERROR, valueIfFalse.getInitialValue());
+
+		// initial value must be available, but it's value is wrong because static_assert() is not supported (yet)
+		CPPVariable valueIfTrue = helper.assertNonProblem("value_if_true");
+		assertEquals(IntegralValue.STATIC_ASSERT_FAILED_ERROR, valueIfTrue.getInitialValue());
+	}
 }

core/org.eclipse.cdt.core/META-INF/MANIFEST.MF

@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: %pluginName
 Bundle-SymbolicName: org.eclipse.cdt.core; singleton:=true
-Bundle-Version: 9.2.100.qualifier
+Bundle-Version: 9.3.0.qualifier
 Bundle-Activator: org.eclipse.cdt.core.CCorePlugin
 Bundle-Vendor: %providerName
 Bundle-Localization: plugin

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/dom/ast/ISemanticProblem.java

@@ -57,6 +57,9 @@ public interface ISemanticProblem {
 	/** @since 6.9 */
 	int TYPE_CANNOT_DEDUCE_STRUCTURED_BINDING_TYPE = 10009;
 
+	/** @since 9.3 */
+	int TYPE_STATIC_ASSERT_FAILED = 10010;
+
 	/**
 	 * Returns the ID of the problem.
 	 */

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/IntegralValue.java

@@ -51,6 +51,9 @@ public void setSubValue(int position, ICPPEvaluation newValue) {
 	// IntegralValue.ERROR indicates that an error, such as a substitution failure, occurred during evaluation.
 	public static final IntegralValue ERROR = new IntegralValue("<error>".toCharArray()); //$NON-NLS-1$
 
+	public static final IntegralValue STATIC_ASSERT_FAILED_ERROR = new IntegralValue(
+			"<static assert failed>".toCharArray()); //$NON-NLS-1$
+
 	public static final IntegralValue NOT_INITIALIZED = new IntegralValue("<__>".toCharArray()); //$NON-NLS-1$
 
 	private static final char UNIQUE_CHAR = '_';

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/ProblemType.java

@@ -35,6 +35,7 @@ public class ProblemType implements IProblemType, ISerializableType {
 	public static final IType RECURSION_IN_LOOKUP = new ProblemType(BINDING_RECURSION_IN_LOOKUP);
 	public static final IType UNKNOWN_FOR_EXPRESSION = new ProblemType(TYPE_UNKNOWN_FOR_EXPRESSION);
 	public static final IType UNRESOLVED_NAME = new ProblemType(TYPE_UNRESOLVED_NAME);
+	public static final IType STATIC_ASSERT_FAILED = new ProblemType(TYPE_STATIC_ASSERT_FAILED);
 
 	private final int fID;
 

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/parser/ParserMessages.java

@@ -132,6 +132,8 @@ private static String getProblemKey(int id) {
 			return "ISemanticProblem.TYPE_CANNOT_DEDUCE_DECLTYPE_AUTO_TYPE";
 		case ISemanticProblem.TYPE_AUTO_FOR_VIRTUAL_METHOD:
 			return "ISemanticProblem.TYPE_AUTO_FOR_VIRTUAL_METHOD";
+		case ISemanticProblem.TYPE_STATIC_ASSERT_FAILED:
+			return "ISemanticProblem.TYPE_STATIC_ASSERT_FAILED";
 		}
 		return null;
 	}

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/parser/ParserMessages.properties

@@ -81,4 +81,5 @@ ISemanticProblem.TYPE_UNKNOWN_FOR_EXPRESSION=Failure to determine type of expres
 ISemanticProblem.TYPE_NOT_PERSISTED=Failure to store type in the index
 ISemanticProblem.TYPE_ENUMERATION_EXPECTED=Enumeration expected
 ISemanticProblem.TYPE_CANNOT_DEDUCE_DECLTYPE_AUTO_TYPE=Failure to determine decltype(auto)-type
-ISemanticProblem.TYPE_AUTO_FOR_VIRTUAL_METHOD=Illegally auto-typed virtual method
+ISemanticProblem.TYPE_AUTO_FOR_VIRTUAL_METHOD=Illegally auto-typed virtual method
+ISemanticProblem.TYPE_STATIC_ASSERT_FAILED=Static assertion failed