Commit | Line | Data |
---|---|---|
34eaf542 TT |
1 | /* Template argument tests. |
2 | ||
3666a048 | 3 | Copyright 2010-2021 Free Software Foundation, Inc. |
34eaf542 TT |
4 | |
5 | This program is free software; you can redistribute it and/or modify | |
6 | it under the terms of the GNU General Public License as published by | |
7 | the Free Software Foundation; either version 3 of the License, or | |
8 | (at your option) any later version. | |
9 | ||
10 | This program is distributed in the hope that it will be useful, | |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | GNU General Public License for more details. | |
14 | ||
15 | You should have received a copy of the GNU General Public License | |
16 | along with this program. If not, see <http://www.gnu.org/licenses/>. | |
17 | ||
18 | Please email any bugs, comments, and/or additions to this file to: | |
19 | bug-gdb@gnu.org */ | |
20 | ||
21 | int a_global; | |
22 | ||
23 | struct S | |
24 | { | |
25 | int f; | |
d0e53741 | 26 | void somefunc() { } |
34eaf542 TT |
27 | }; |
28 | ||
29 | template<typename T, int I, int *P, int S::*MP> | |
30 | struct Base | |
31 | { | |
32 | template<typename Z> | |
33 | struct Inner | |
34 | { | |
35 | void inner_m () | |
36 | { | |
37 | // Breakpoint 2. | |
38 | } | |
39 | }; | |
40 | ||
41 | void base_m () | |
42 | { | |
43 | // Breakpoint 1. | |
44 | } | |
45 | ||
46 | template<typename Q> | |
47 | void templ_m () | |
48 | { | |
49 | // Breakpoint 4. | |
50 | } | |
51 | }; | |
52 | ||
53 | template<typename T, int I, int *P, int S::*MP> | |
54 | void func () | |
55 | { | |
56 | // Breakpoint 3. | |
57 | } | |
58 | ||
d0e53741 TT |
59 | template<void (S::*F) ()> |
60 | struct K2 | |
61 | { | |
62 | void k2_m () | |
63 | { | |
64 | // Breakpoint 5. | |
65 | } | |
66 | }; | |
67 | ||
85a20c42 JK |
68 | // GCC PR debug/49546 |
69 | struct S3 | |
70 | { | |
71 | static void m (int x) {} | |
72 | }; | |
73 | template <void (*F) (int)> | |
74 | // or: template <void (F) (int)> | |
75 | struct K3 | |
76 | { | |
77 | void k3_m () | |
78 | { | |
79 | F (0); // Breakpoint 6. | |
80 | } | |
81 | }; | |
82 | ||
a776957c TT |
83 | namespace pr24470 |
84 | { | |
85 | // From PR c++/24470 | |
86 | // This caused a gdb crash during startup. | |
87 | ||
88 | template <int a> struct b {}; | |
89 | template <typename, typename> struct c { | |
90 | template <long d> using e = b<d>; | |
91 | void k(e<0>); | |
92 | }; | |
93 | template <typename, template <typename, typename> class, unsigned long...> | |
94 | struct m; | |
95 | template <typename g, template <typename, typename> class h, unsigned long i> | |
96 | struct m<g, h, i> { | |
97 | using j = b<i>; | |
98 | }; | |
99 | struct n { | |
100 | template <typename g> using f = typename m<g, c, 0>::j; | |
101 | }; | |
102 | ||
103 | n::f<int> l; | |
104 | } | |
105 | ||
34eaf542 TT |
106 | int main () |
107 | { | |
108 | Base<double, 23, &a_global, &S::f> base; | |
109 | // Note that instantiating with P==0 does not work with g++. | |
110 | // That would be worth testing, once g++ is fixed. | |
111 | Base<long, 47, &a_global, &S::f>::Inner<float> inner; | |
d0e53741 | 112 | K2<&S::somefunc> k2; |
85a20c42 JK |
113 | K3<&S3::m> k3; |
114 | // or: K3<S3::m> k3; | |
34eaf542 TT |
115 | |
116 | base.base_m (); | |
117 | inner.inner_m (); | |
118 | func<unsigned char, 91, &a_global, &S::f> (); | |
119 | base.templ_m<short> (); | |
d0e53741 | 120 | k2.k2_m (); |
85a20c42 | 121 | k3.k3_m (); |
34eaf542 TT |
122 | |
123 | return 0; | |
124 | } |