annotate clang/test/SemaCXX/invalid-template-base-specifier.cpp @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 2e18cbf3894f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 // RUN: %clang_cc1 -frecovery-ast -verify %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 bool Foo(int *); // expected-note 3{{candidate function not viable}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 template <typename T>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 struct Crash : decltype(Foo(T())) { // expected-error {{no matching function for call to 'Foo'}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 Crash(){};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 };
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 void test() { Crash<int>(); } // expected-note {{in instantiation of template class}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 template <typename T>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 using Alias = decltype(Foo(T())); // expected-error {{no matching function for call to 'Foo'}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 template <typename T>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 struct Crash2 : decltype(Alias<T>()) { // expected-note {{in instantiation of template type alias 'Alias' requested here}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 Crash2(){};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 };
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 void test2() { Crash2<int>(); } // expected-note {{in instantiation of template class 'Crash2<int>' requested here}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 template <typename T>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 class Base {};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 template <typename T>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 struct Crash3 : Base<decltype(Foo(T()))> { // expected-error {{no matching function for call to 'Foo'}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 Crash3(){};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 };
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 void test3() { Crash3<int>(); } // expected-note {{in instantiation of template class}}