Defer resolving function set if target is deferred class or constructor

eclipse-cdt · Mar 16, 2023 · bf09c69 · bf09c69
1 parent 65ac74f
commit bf09c69
Show file tree

Hide file tree

Showing 2 changed files with 48 additions and 0 deletions.
diff --git a/...lipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java b/...lipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java
@@ -11493,4 +11493,42 @@ public void testBinaryExpressionWithVariableTemplateDeep() throws Exception {
 	public void testBinaryExpressionWithVariableTemplate_bug497931_comment8() throws Exception {
 		parseAndCheckBindings();
 	}
+
+	//	template<typename T>
+	//	static T* return_self (T *self);
+	//
+	//	template<typename T>
+	//	struct boolean_option_def
+	//	{
+	//	  boolean_option_def (bool *(*callback) (T *));
+	//	};
+	//
+	//	template<typename T> struct S {
+	//		boolean_option_def<T> def;
+	//
+	//		S() : def(return_self) {}
+	//	};
+	//
+	//	S<bool> bool_s_test;
+	public void testResolveFunctionTemplateInDeferredClassArg() throws Exception {
+		parseAndCheckBindings();
+	}
+
+	//	template<typename T>
+	//	static T* return_self (T *self);
+	//
+	//	template<typename T>
+	//	struct boolean_option_def
+	//	{
+	//	  boolean_option_def (bool *(*callback) (T *));
+	//	};
+	//
+	//	template<typename T> struct S : public boolean_option_def<T> {
+	//		S() : boolean_option_def<T>(return_self) {}
+	//	};
+	//
+	//	S<bool> bool_s_test;
+	public void testResolveFunctionTemplateInDeferredBaseArg() throws Exception {
+		parseAndCheckBindings();
+	}
 }
diff --git a/....cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/CPPSemantics.java b/....cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/CPPSemantics.java
@@ -163,6 +163,7 @@
 import org.eclipse.cdt.core.dom.ast.cpp.ICPPClassTemplatePartialSpecialization;
 import org.eclipse.cdt.core.dom.ast.cpp.ICPPClassType;
 import org.eclipse.cdt.core.dom.ast.cpp.ICPPConstructor;
+import org.eclipse.cdt.core.dom.ast.cpp.ICPPDeferredFunction;
 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.ICPPFunctionInstance;
@@ -3344,6 +3345,15 @@ static IBinding resolveTargetedFunction(IASTName name, CPPFunctionSet functionSe
 					}
 				}
 			}
+
+			// Cannot resolve if target is deferred template instance or deferred constructor
+			if (targetType instanceof ICPPUnknownBinding || (prop == ICPPASTConstructorInitializer.ARGUMENT
+					&& parent instanceof ICPPASTConstructorInitializer init
+					&& init.getParent() instanceof ICPPASTConstructorChainInitializer memInit
+					&& memInit.getMemberInitializerId().resolveBinding() instanceof ICPPDeferredFunction)) {
+				return CPPDeferredFunction.createForCandidates(functionSet.getBindings());
+			}
+
 			if (targetType == null && parent instanceof ICPPASTExpression && parent instanceof IASTImplicitNameOwner) {
 				// Trigger resolution of overloaded operator, which may resolve the
 				// function set.