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

Allow binary operator templates

Browse source
This commit is contained in:
Igor V. Kovalenko 2023-03-24 23:27:48 +03:00 • committed by Jonah Graham
parent 385b915257
commit 3fdea6e31a
2 changed files with 20 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2CPPTests.java
View file

@ -4221,6 +4221,22 @@ public class AST2CPPTests extends AST2CPPTestBase {
helper.assertVariableValue("greater10", 1); helper.assertVariableValue("greater10", 1);
} }
// template<typename T1, typename T2>
// constexpr int operator |(T1 t1, T2 t2) {
// return t1 + t2;
// }
//
// enum X {
// V1 = 17,
// V2 = 25,
// };
//
// constexpr auto value = V1 | V2;
public void testBinaryOperatorOverloadTemplate() throws Exception {
BindingAssertionHelper helper = getAssertionHelper(CPP);
helper.assertVariableValue("value", 42);
}
// typedef int I; // typedef int I;
// typedef int I; // typedef int I;
// typedef I I; // typedef I I;

7
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/CPPSemantics.java
View file

@ -4099,9 +4099,10 @@ public class CPPSemantics {
ICPPFunctionType ft = func.getType(); ICPPFunctionType ft = func.getType();
IType[] pts = ft.getParameterTypes(); IType[] pts = ft.getParameterTypes();
if ((enum1 != null && pts.length > 0 if ((enum1 != null && pts.length > 0
&& enum1.isSameType(getUltimateTypeUptoPointers(pts[0]))) && (CPPTemplates.isDependentType(pts[0])
|| (enum2 != null && pts.length > 1 || enum1.isSameType(getUltimateTypeUptoPointers(pts[0]))))
&& enum2.isSameType(getUltimateTypeUptoPointers(pts[1])))) { || (enum2 != null && pts.length > 1 && (CPPTemplates.isDependentType(pts[1])
|| enum2.isSameType(getUltimateTypeUptoPointers(pts[1]))))) {
items[j++] = object; items[j++] = object;
} }
} }