-
Notifications
You must be signed in to change notification settings - Fork 10.8k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[clang][Sema] Fix a crash when instantiating a non-type template argu…
…ment in a dependent scope. The type alias template is not diagnosed when instantiating an expected non-type template argument in a dependent scope, causing ICE. Besides that, the diagnostic message has been updated to account for the fact that the function template is not the only non-type template. Fixes #62533 Reviewed By: #clang-language-wg, erichkeane Differential Revision: https://reviews.llvm.org/D151062
- Loading branch information
Showing
5 changed files
with
53 additions
and
12 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,33 @@ | ||
// RUN: %clang_cc1 -fsyntax-only -verify %s | ||
|
||
template<typename T> | ||
struct test { | ||
template<typename> using fun_diff = char; // expected-note 2{{class template declared here}} | ||
}; | ||
|
||
template<typename T, typename V> | ||
decltype(T::template fun_diff<V>) foo1() {} | ||
// expected-note@-1 {{candidate template ignored: substitution failure [with T = test<int>, V = int]: 'test<int>::fun_diff' is expected to be a non-type template, but instantiated to a type alias template}} | ||
|
||
template<typename T> | ||
void foo2() { | ||
// expected-error@+1 {{test<int>::fun_diff' is expected to be a non-type template, but instantiated to a type alias template}} | ||
int a = test<T>::template fun_diff<int>; | ||
} | ||
|
||
template<typename T, typename V> | ||
struct has_fun_diff { | ||
using type = double; | ||
}; | ||
|
||
template<typename T> | ||
struct has_fun_diff<T, int> { | ||
// expected-error@+1 {{'test<int>::fun_diff' is expected to be a non-type template, but instantiated to a type alias template}} | ||
using type = decltype(T::template fun_diff<int>); | ||
}; | ||
|
||
void bar() { | ||
foo1<test<int>, int>(); // expected-error {{no matching function for call to 'foo1'}} | ||
foo2<int>(); // expected-note {{in instantiation of function template specialization}} | ||
has_fun_diff<test<int>, int>::type a; // expected-note {{in instantiation of template class}} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters