mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 06:02:11 +02:00
Code Issues Wiki Activity

Test for binary expression with variable template args, bug 497931

Browse source 
Includes test case from comment 8 of bug 497931 with minor correction
Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=497931
This commit is contained in:
Igor V. Kovalenko 2023-02-17 23:57:48 +03:00 • committed by Jonah Graham
parent 48b9774fbd
commit b9e712f8d0
1 changed files with 74 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

74
core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java
View file

@ -11419,4 +11419,78 @@ public class AST2TemplateTests extends AST2CPPTestBase {
helper.assertVariableValue("val1", 4); helper.assertVariableValue("val1", 4);
helper.assertVariableValue("val2", 8); helper.assertVariableValue("val2", 8);
} }
// template <typename T>
// inline constexpr bool V = true;
//
// template<typename T> bool f() {
// return V<T> + V<T>;
// }
public void testBinaryExpressionWithVariableTemplateVsPlusUnaryExpression() throws Exception {
parseAndCheckBindings();
}
// template <typename T>
// inline constexpr bool V = true;
//
// template<typename T> bool f() {
// return V<T> || V<T>;
// }
public void testBinaryExpressionWithVariableTemplate() throws Exception {
parseAndCheckBindings();
}
// template <typename T>
// inline constexpr bool V = true;
//
// template<typename T> bool f() {
// return V<T> && V<T>; // can be parsed as V < T > &&V<T>
// }
public void testBinaryExpressionWithVariableTemplateAmbiguousLabelReference() throws Exception {
parseAndCheckBindings();
}
// template <typename T>
// inline constexpr bool W = true;
// template <typename T>
// inline constexpr bool X = true;
// template <typename T>
// inline constexpr bool Y = true;
// template <typename T>
// inline constexpr bool Z = true;
//
// template<typename T> bool f() {
// return W<T> && X<T> && Y<T> && Z<T>; // can be parsed as (W) < (T) > (&&X<T>) ...
// }
public void testBinaryExpressionWithVariableTemplateDeep() throws Exception {
parseAndCheckBindings();
}
// constexpr int factorial(int n) {
// return n < 2 ? 1 : n * factorial(n - 1);
// }
//
// int f();
//
// template <int>
// class A {
// template <int> class Waldo {
// static void f();
// };
// };
//
// template <>
// class A<120> {
// public:
// static int Waldo;
// };
//
// int main() {
// // This requires constexpr evaluation to find that return type of factorial(5) is int
// // to decide if A<int>::Waldo is a template
// A<factorial(5)>::Waldo<0>::f();
// }
public void testBinaryExpressionWithVariableTemplate_bug497931_comment8() throws Exception {
parseAndCheckBindings();
}
} }