[clang] [clang] Bail out if the result of function template instantiation is not a function type. (PR #69459)
Shafik Yaghmour via cfe-commits
cfe-commits at lists.llvm.org
Wed Oct 25 22:36:01 PDT 2023
================
@@ -0,0 +1,16 @@
+// RUN: %clang_cc1 -x c++ -std=c++14 -fsyntax-only -verify %s
+
+template <class A>
+using Type = typename A::NestedType; // expected-error {{type 'float' cannot be used prior to '::' because it has no members}}
+
+template <typename T>
+void Func() {
+ using MyType = Type<T>(); // expected-note {{in instantiation of template type alias 'Type' requested here}}
+ // This is a function declaration, not a variable declaration!
+ // After substitution, we do not have a valid function type, and used to crash.
+ MyType var;
+}
+
+void Test() {
+ Func<float>(); // expected-note {{in instantiation of function template specialization 'Func<float>' requested here}}
+}
----------------
shafik wrote:
Files should have newlines at the end.
https://github.com/llvm/llvm-project/pull/69459
More information about the cfe-commits
mailing list