Branch data Line data Source code
1 : : /* Help friends in C++.
2 : : Copyright (C) 1997-2024 Free Software Foundation, Inc.
3 : :
4 : : This file is part of GCC.
5 : :
6 : : GCC is free software; you can redistribute it and/or modify
7 : : it under the terms of the GNU General Public License as published by
8 : : the Free Software Foundation; either version 3, or (at your option)
9 : : any later version.
10 : :
11 : : GCC is distributed in the hope that it will be useful,
12 : : but WITHOUT ANY WARRANTY; without even the implied warranty of
13 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 : : GNU General Public License for more details.
15 : :
16 : : You should have received a copy of the GNU General Public License
17 : : along with GCC; see the file COPYING3. If not see
18 : : <http://www.gnu.org/licenses/>. */
19 : :
20 : : #include "config.h"
21 : : #include "system.h"
22 : : #include "coretypes.h"
23 : : #include "cp-tree.h"
24 : :
25 : : /* Friend data structures are described in cp-tree.h. */
26 : :
27 : :
28 : : /* The GLOBAL_FRIEND scope (functions, classes, or templates) is
29 : : regarded as a friend of every class. This is only used by libcc1,
30 : : to enable GDB's code snippets to access private members without
31 : : disabling access control in general, which could cause different
32 : : template overload resolution results when accessibility matters
33 : : (e.g. tests for an accessible member). */
34 : :
35 : : static GTY(()) tree global_friend;
36 : :
37 : : /* Set the GLOBAL_FRIEND for this compilation session. It might be
38 : : set multiple times, but always to the same scope. */
39 : :
40 : : void
41 : 0 : set_global_friend (tree scope)
42 : : {
43 : 0 : gcc_checking_assert (scope != NULL_TREE);
44 : 0 : gcc_assert (!global_friend || global_friend == scope);
45 : 0 : global_friend = scope;
46 : 0 : }
47 : :
48 : : /* Return TRUE if SCOPE is the global friend. */
49 : :
50 : : bool
51 : 73741546 : is_global_friend (tree scope)
52 : : {
53 : 73741546 : gcc_checking_assert (scope != NULL_TREE);
54 : :
55 : 73741546 : if (global_friend == scope)
56 : : return true;
57 : :
58 : 73741546 : if (!global_friend)
59 : : return false;
60 : :
61 : 0 : if (is_specialization_of_friend (global_friend, scope))
62 : : return true;
63 : :
64 : : return false;
65 : : }
66 : :
67 : : /* Returns nonzero if SUPPLICANT is a friend of TYPE. */
68 : :
69 : : int
70 : 31123832 : is_friend (tree type, tree supplicant)
71 : : {
72 : 59189035 : int declp;
73 : 59189035 : tree list;
74 : 59189035 : tree context;
75 : :
76 : 59189035 : if (supplicant == NULL_TREE || type == NULL_TREE)
77 : : return 0;
78 : :
79 : 59189035 : if (is_global_friend (supplicant))
80 : : return 1;
81 : :
82 : 59189035 : declp = DECL_P (supplicant);
83 : :
84 : 59189035 : if (declp)
85 : : /* It's a function decl. */
86 : : {
87 : 28048387 : tree list = DECL_FRIENDLIST (TYPE_MAIN_DECL (type));
88 : 28048387 : tree name = DECL_NAME (supplicant);
89 : :
90 : 59429151 : for (; list ; list = TREE_CHAIN (list))
91 : : {
92 : 32400979 : if (name == FRIEND_NAME (list))
93 : : {
94 : 1020215 : tree friends = FRIEND_DECLS (list);
95 : 1431671 : for (; friends ; friends = TREE_CHAIN (friends))
96 : : {
97 : 1119229 : tree this_friend = TREE_VALUE (friends);
98 : :
99 : 1119229 : if (this_friend == NULL_TREE)
100 : 0 : continue;
101 : :
102 : 1119229 : if (supplicant == this_friend)
103 : : return 1;
104 : :
105 : 569157 : if (is_specialization_of_friend (supplicant, this_friend))
106 : : return 1;
107 : : }
108 : : break;
109 : : }
110 : : }
111 : : }
112 : : else
113 : : /* It's a type. */
114 : : {
115 : 31140648 : if (same_type_p (supplicant, type))
116 : : return 1;
117 : :
118 : 1506314 : list = CLASSTYPE_FRIEND_CLASSES (TREE_TYPE (TYPE_MAIN_DECL (type)));
119 : 1964836 : for (; list ; list = TREE_CHAIN (list))
120 : : {
121 : 1209558 : tree t = TREE_VALUE (list);
122 : :
123 : 2419116 : if (TREE_CODE (t) == TEMPLATE_DECL ?
124 : 687608 : is_specialization_of_friend (TYPE_MAIN_DECL (supplicant), t) :
125 : 521950 : same_type_p (supplicant, t))
126 : : return 1;
127 : : }
128 : : }
129 : :
130 : 28095892 : if (declp)
131 : : {
132 : 27340614 : if (DECL_FUNCTION_MEMBER_P (supplicant))
133 : 27339185 : context = DECL_CONTEXT (supplicant);
134 : 2858 : else if (tree fc = DECL_FRIEND_CONTEXT (supplicant))
135 : : context = fc;
136 : : else
137 : : context = NULL_TREE;
138 : : }
139 : : else
140 : : {
141 : 755278 : if (TYPE_CLASS_SCOPE_P (supplicant))
142 : : /* Nested classes get the same access as their enclosing types, as
143 : : per DR 45 (this is a change from the standard). */
144 : 551483 : context = TYPE_CONTEXT (supplicant);
145 : : else
146 : : /* Local classes have the same access as the enclosing function. */
147 : 203795 : context = decl_function_context (TYPE_MAIN_DECL (supplicant));
148 : : }
149 : :
150 : : /* A namespace is not friend to anybody. */
151 : 28094639 : if (context && TREE_CODE (context) == NAMESPACE_DECL)
152 : : context = NULL_TREE;
153 : :
154 : : if (context)
155 : : return is_friend (type, context);
156 : :
157 : : return 0;
158 : : }
159 : :
160 : : /* Add a new friend to the friends of the aggregate type TYPE.
161 : : DECL is the FUNCTION_DECL of the friend being added.
162 : :
163 : : If COMPLAIN is true, warning about duplicate friend is issued.
164 : : We want to have this diagnostics during parsing but not
165 : : when a template is being instantiated. */
166 : :
167 : : void
168 : 5307972 : add_friend (tree type, tree decl, bool complain)
169 : : {
170 : 5307972 : tree typedecl;
171 : 5307972 : tree list;
172 : 5307972 : tree name;
173 : 5307972 : tree ctx;
174 : :
175 : 5307972 : if (decl == error_mark_node)
176 : : return;
177 : :
178 : 5307929 : typedecl = TYPE_MAIN_DECL (type);
179 : 5307929 : list = DECL_FRIENDLIST (typedecl);
180 : 5307929 : name = DECL_NAME (decl);
181 : 5307929 : type = TREE_TYPE (typedecl);
182 : :
183 : 11440903 : while (list)
184 : : {
185 : 6963677 : if (name == FRIEND_NAME (list))
186 : : {
187 : 830703 : tree friends = FRIEND_DECLS (list);
188 : 2333732 : for (; friends ; friends = TREE_CHAIN (friends))
189 : : {
190 : 1503105 : if (decl == TREE_VALUE (friends))
191 : : {
192 : 76 : if (complain)
193 : 70 : warning (OPT_Wredundant_decls,
194 : : "%qD is already a friend of class %qT",
195 : : decl, type);
196 : 76 : return;
197 : : }
198 : : }
199 : :
200 : 830627 : TREE_VALUE (list) = tree_cons (NULL_TREE, decl,
201 : 830627 : TREE_VALUE (list));
202 : 830627 : break;
203 : : }
204 : 6132974 : list = TREE_CHAIN (list);
205 : : }
206 : :
207 : 5307853 : ctx = DECL_CONTEXT (decl);
208 : 5307853 : if (ctx && CLASS_TYPE_P (ctx) && !uses_template_parms (ctx))
209 : 107 : perform_or_defer_access_check (TYPE_BINFO (ctx), decl, decl,
210 : : tf_warning_or_error);
211 : :
212 : 5307853 : maybe_add_class_template_decl_list (type, decl, /*friend_p=*/1);
213 : :
214 : 5307853 : if (!list)
215 : 4477226 : DECL_FRIENDLIST (typedecl)
216 : 8954452 : = tree_cons (DECL_NAME (decl), build_tree_list (NULL_TREE, decl),
217 : 4477226 : DECL_FRIENDLIST (typedecl));
218 : 5307853 : if (!uses_template_parms (type))
219 : 2932432 : DECL_BEFRIENDING_CLASSES (decl)
220 : 2932432 : = tree_cons (NULL_TREE, type,
221 : 2932432 : DECL_BEFRIENDING_CLASSES (decl));
222 : : }
223 : :
224 : : /* Make FRIEND_TYPE a friend class to TYPE. If FRIEND_TYPE has already
225 : : been defined, we make all of its member functions friends of
226 : : TYPE. If not, we make it a pending friend, which can later be added
227 : : when its definition is seen. If a type is defined, then its TYPE_DECL's
228 : : DECL_UNDEFINED_FRIENDS contains a (possibly empty) list of friend
229 : : classes that are not defined. If a type has not yet been defined,
230 : : then the DECL_WAITING_FRIENDS contains a list of types
231 : : waiting to make it their friend. Note that these two can both
232 : : be in use at the same time!
233 : :
234 : : If COMPLAIN is true, warning about duplicate friend is issued.
235 : : We want to have this diagnostics during parsing but not
236 : : when a template is being instantiated. */
237 : :
238 : : void
239 : 2419963 : make_friend_class (tree type, tree friend_type, bool complain)
240 : : {
241 : 2419963 : tree classes;
242 : :
243 : : /* CLASS_TEMPLATE_DEPTH counts the number of template headers for
244 : : the enclosing class. FRIEND_DEPTH counts the number of template
245 : : headers used for this friend declaration. TEMPLATE_MEMBER_P,
246 : : defined inside the `if' block for TYPENAME_TYPE case, is true if
247 : : a template header in FRIEND_DEPTH is intended for DECLARATOR.
248 : : For example, the code
249 : :
250 : : template <class T> struct A {
251 : : template <class U> struct B {
252 : : template <class V> template <class W>
253 : : friend class C<V>::D;
254 : : };
255 : : };
256 : :
257 : : will eventually give the following results
258 : :
259 : : 1. CLASS_TEMPLATE_DEPTH equals 2 (for `T' and `U').
260 : : 2. FRIEND_DEPTH equals 2 (for `V' and `W').
261 : : 3. TEMPLATE_MEMBER_P is true (for `W').
262 : :
263 : : The friend is a template friend iff FRIEND_DEPTH is nonzero. */
264 : :
265 : 2419963 : int class_template_depth = template_class_depth (type);
266 : 2419963 : int friend_depth = 0;
267 : 2419963 : if (current_template_depth)
268 : : /* When processing a friend declaration at parse time, just compare the
269 : : current depth to that of the class template. */
270 : 1206233 : friend_depth = current_template_depth - class_template_depth;
271 : : else
272 : : {
273 : : /* Otherwise, we got here from instantiate_class_template. Determine
274 : : the friend depth by looking at the template parameters used within
275 : : FRIEND_TYPE. */
276 : 1213730 : gcc_checking_assert (class_template_depth == 0);
277 : 1671189 : while (uses_template_parms_level (friend_type, friend_depth + 1))
278 : : ++friend_depth;
279 : : }
280 : :
281 : 2419963 : if (! MAYBE_CLASS_TYPE_P (friend_type)
282 : 42 : && TREE_CODE (friend_type) != TEMPLATE_TEMPLATE_PARM
283 : 39 : && TREE_CODE (friend_type) != TYPE_PACK_EXPANSION)
284 : : {
285 : : /* N1791: If the type specifier in a friend declaration designates a
286 : : (possibly cv-qualified) class type, that class is declared as a
287 : : friend; otherwise, the friend declaration is ignored.
288 : :
289 : : So don't complain in C++11 mode. */
290 : 27 : if (cxx_dialect < cxx11)
291 : 0 : pedwarn (input_location, complain ? 0 : OPT_Wpedantic,
292 : : "invalid type %qT declared %<friend%>", friend_type);
293 : 27 : return;
294 : : }
295 : :
296 : 2419936 : friend_type = cv_unqualified (friend_type);
297 : :
298 : 2419936 : if (check_for_bare_parameter_packs (friend_type))
299 : : return;
300 : :
301 : 2419933 : if (friend_depth)
302 : : {
303 : : /* [temp.friend] Friend declarations shall not declare partial
304 : : specializations. */
305 : 1056786 : if (CLASS_TYPE_P (friend_type)
306 : 1056786 : && CLASSTYPE_TEMPLATE_SPECIALIZATION (friend_type)
307 : 1056858 : && uses_template_parms (friend_type))
308 : : {
309 : 0 : error ("partial specialization %qT declared %<friend%>",
310 : : friend_type);
311 : 0 : return;
312 : : }
313 : :
314 : 1056855 : if (TYPE_TEMPLATE_INFO (friend_type)
315 : 1056786 : && !PRIMARY_TEMPLATE_P (TYPE_TI_TEMPLATE (friend_type)))
316 : : {
317 : 3 : auto_diagnostic_group d;
318 : 3 : error ("%qT is not a template", friend_type);
319 : 3 : inform (location_of (friend_type), "previous declaration here");
320 : 6 : if (TYPE_CLASS_SCOPE_P (friend_type)
321 : 3 : && CLASSTYPE_TEMPLATE_INFO (TYPE_CONTEXT (friend_type))
322 : 6 : && currently_open_class (TYPE_CONTEXT (friend_type)))
323 : 3 : inform (input_location, "perhaps you need explicit template "
324 : : "arguments in your nested-name-specifier");
325 : 3 : return;
326 : 3 : }
327 : : }
328 : :
329 : : /* It makes sense for a template class to be friends with itself,
330 : : that means the instantiations can be friendly. Other cases are
331 : : not so meaningful. */
332 : 1363078 : if (!friend_depth && same_type_p (type, friend_type))
333 : : {
334 : 6 : if (complain)
335 : 0 : warning (0, "class %qT is implicitly friends with itself",
336 : : type);
337 : 6 : return;
338 : : }
339 : :
340 : : /* [temp.friend]
341 : :
342 : : A friend of a class or class template can be a function or
343 : : class template, a specialization of a function template or
344 : : class template, or an ordinary (nontemplate) function or
345 : : class. */
346 : 2419924 : if (!friend_depth)
347 : : ;/* ok */
348 : 1056852 : else if (TREE_CODE (friend_type) == TYPENAME_TYPE)
349 : : {
350 : 66 : if (TREE_CODE (TYPENAME_TYPE_FULLNAME (friend_type))
351 : : == TEMPLATE_ID_EXPR)
352 : : {
353 : : /* template <class U> friend class T::X<U>; */
354 : : /* [temp.friend]
355 : : Friend declarations shall not declare partial
356 : : specializations. */
357 : 0 : error ("partial specialization %qT declared %<friend%>",
358 : : friend_type);
359 : 0 : return;
360 : : }
361 : : else
362 : : {
363 : : /* We will figure this out later. */
364 : 66 : bool template_member_p = false;
365 : :
366 : 66 : tree ctype = TYPE_CONTEXT (friend_type);
367 : 66 : tree name = TYPE_IDENTIFIER (friend_type);
368 : 66 : tree decl;
369 : :
370 : : /* We need to distinguish a TYPENAME_TYPE for the non-template
371 : : class B in
372 : : template<class T> friend class A<T>::B;
373 : : vs for the class template B in
374 : : template<class T> template<class U> friend class A<T>::B; */
375 : 66 : if (current_template_depth
376 : 54 : && !uses_template_parms_level (ctype, current_template_depth))
377 : : template_member_p = true;
378 : :
379 : 66 : if (class_template_depth)
380 : : {
381 : : /* We rely on tsubst_friend_class to check the
382 : : validity of the declaration later. */
383 : 24 : if (template_member_p)
384 : 12 : friend_type
385 : 12 : = make_unbound_class_template (ctype,
386 : : name,
387 : : current_template_parms,
388 : : tf_error);
389 : : else
390 : 12 : friend_type
391 : 12 : = make_typename_type (ctype, name, class_type, tf_error);
392 : : }
393 : : else
394 : : {
395 : 42 : decl = lookup_member (ctype, name, 0, true, tf_warning_or_error);
396 : 42 : if (!decl)
397 : : {
398 : 0 : error ("%qT is not a member of %qT", name, ctype);
399 : 0 : return;
400 : : }
401 : 42 : if (template_member_p && !DECL_CLASS_TEMPLATE_P (decl))
402 : : {
403 : 0 : auto_diagnostic_group d;
404 : 0 : error ("%qT is not a member class template of %qT",
405 : : name, ctype);
406 : 0 : inform (DECL_SOURCE_LOCATION (decl),
407 : : "%qD declared here", decl);
408 : 0 : return;
409 : 0 : }
410 : 42 : if (!template_member_p && (TREE_CODE (decl) != TYPE_DECL
411 : 33 : || !CLASS_TYPE_P (TREE_TYPE (decl))))
412 : : {
413 : 0 : auto_diagnostic_group d;
414 : 0 : error ("%qT is not a nested class of %qT",
415 : : name, ctype);
416 : 0 : inform (DECL_SOURCE_LOCATION (decl),
417 : : "%qD declared here", decl);
418 : 0 : return;
419 : 0 : }
420 : :
421 : 42 : friend_type = CLASSTYPE_TI_TEMPLATE (TREE_TYPE (decl));
422 : : }
423 : : }
424 : : }
425 : 1056786 : else if (TREE_CODE (friend_type) == TEMPLATE_TYPE_PARM)
426 : : {
427 : : /* template <class T> friend class T; */
428 : 0 : error ("template parameter type %qT declared %<friend%>", friend_type);
429 : 0 : return;
430 : : }
431 : 1056786 : else if (TREE_CODE (friend_type) == TEMPLATE_TEMPLATE_PARM)
432 : 3 : friend_type = TYPE_NAME (friend_type);
433 : 1056783 : else if (!CLASSTYPE_TEMPLATE_INFO (friend_type))
434 : : {
435 : : /* template <class T> friend class A; where A is not a template */
436 : 0 : error ("%q#T is not a template", friend_type);
437 : 0 : return;
438 : : }
439 : : else
440 : : /* template <class T> friend class A; where A is a template */
441 : 1056783 : friend_type = CLASSTYPE_TI_TEMPLATE (friend_type);
442 : :
443 : 2419924 : if (friend_type == error_mark_node)
444 : : return;
445 : :
446 : : /* See if it is already a friend. */
447 : 2419924 : for (classes = CLASSTYPE_FRIEND_CLASSES (type);
448 : 3621408 : classes;
449 : 1201484 : classes = TREE_CHAIN (classes))
450 : : {
451 : 1202639 : tree probe = TREE_VALUE (classes);
452 : :
453 : 1202639 : if (TREE_CODE (friend_type) == TEMPLATE_DECL)
454 : : {
455 : 432045 : if (friend_type == probe)
456 : : {
457 : 6 : if (complain)
458 : 0 : warning (OPT_Wredundant_decls,
459 : : "%qD is already a friend of %qT", probe, type);
460 : : break;
461 : : }
462 : : }
463 : 770594 : else if (TREE_CODE (probe) != TEMPLATE_DECL)
464 : : {
465 : 559023 : if (same_type_p (probe, friend_type))
466 : : {
467 : 1149 : if (complain)
468 : 1146 : warning (OPT_Wredundant_decls,
469 : : "%qT is already a friend of %qT", probe, type);
470 : : break;
471 : : }
472 : : }
473 : : }
474 : :
475 : 2419924 : if (!classes)
476 : : {
477 : 2418769 : maybe_add_class_template_decl_list (type, friend_type, /*friend_p=*/1);
478 : :
479 : 2418769 : CLASSTYPE_FRIEND_CLASSES (type)
480 : 2418769 : = tree_cons (NULL_TREE, friend_type, CLASSTYPE_FRIEND_CLASSES (type));
481 : 2418769 : if (TREE_CODE (friend_type) == TEMPLATE_DECL)
482 : 1056822 : friend_type = TREE_TYPE (friend_type);
483 : 2418769 : if (!uses_template_parms (type))
484 : 1287016 : CLASSTYPE_BEFRIENDING_CLASSES (friend_type)
485 : 1287016 : = tree_cons (NULL_TREE, type,
486 : 1287016 : CLASSTYPE_BEFRIENDING_CLASSES (friend_type));
487 : : }
488 : : }
489 : :
490 : : /* Record DECL (a FUNCTION_DECL) as a friend of the
491 : : CURRENT_CLASS_TYPE. If DECL is a member function, SCOPE is the
492 : : class of which it is a member, as named in the friend declaration.
493 : : If the friend declaration was explicitly namespace-qualified, SCOPE
494 : : is that namespace.
495 : : DECLARATOR is the name of the friend. FUNCDEF_FLAG is true if the
496 : : friend declaration is a definition of the function. FLAGS is as
497 : : for grokclass fn. */
498 : :
499 : : tree
500 : 3602631 : do_friend (tree scope, tree declarator, tree decl,
501 : : enum overload_flags flags,
502 : : bool funcdef_flag)
503 : : {
504 : 3602631 : gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
505 : :
506 : 3602631 : tree ctype = NULL_TREE;
507 : 3602631 : tree in_namespace = NULL_TREE;
508 : 3602631 : if (!scope)
509 : : ;
510 : 89841 : else if (MAYBE_CLASS_TYPE_P (scope))
511 : : ctype = scope;
512 : : else
513 : : {
514 : 89626 : gcc_checking_assert (TREE_CODE (scope) == NAMESPACE_DECL);
515 : : in_namespace = scope;
516 : : }
517 : :
518 : : /* Friend functions are unique, until proved otherwise. */
519 : 3602631 : DECL_UNIQUE_FRIEND_P (decl) = 1;
520 : :
521 : 7205259 : if (DECL_OVERRIDE_P (decl) || DECL_FINAL_P (decl))
522 : 6 : error ("friend declaration %qD may not have virt-specifiers",
523 : : decl);
524 : :
525 : 3602631 : tree orig_declarator = declarator;
526 : 3602631 : if (TREE_CODE (declarator) == TEMPLATE_ID_EXPR)
527 : : {
528 : 11160 : declarator = TREE_OPERAND (declarator, 0);
529 : 22314 : if (!identifier_p (declarator))
530 : 11152 : declarator = OVL_NAME (declarator);
531 : : }
532 : :
533 : : /* CLASS_TEMPLATE_DEPTH counts the number of template headers for
534 : : the enclosing class. FRIEND_DEPTH counts the number of template
535 : : headers used for this friend declaration. TEMPLATE_MEMBER_P is
536 : : true if a template header in FRIEND_DEPTH is intended for
537 : : DECLARATOR. For example, the code
538 : :
539 : : template <class T> struct A {
540 : : template <class U> struct B {
541 : : template <class V> template <class W>
542 : : friend void C<V>::f(W);
543 : : };
544 : : };
545 : :
546 : : will eventually give the following results
547 : :
548 : : 1. CLASS_TEMPLATE_DEPTH equals 2 (for `T' and `U').
549 : : 2. FRIEND_DEPTH equals 2 (for `V' and `W').
550 : : 3. CTYPE_DEPTH equals 1 (for `V').
551 : : 4. TEMPLATE_MEMBER_P is true (for `W'). */
552 : :
553 : 3602631 : int class_template_depth = template_class_depth (current_class_type);
554 : 3602631 : int friend_depth = current_template_depth - class_template_depth;
555 : 3602631 : int ctype_depth = num_template_headers_for_class (ctype);
556 : 3602631 : bool template_member_p = friend_depth > ctype_depth;
557 : :
558 : 3602631 : if (ctype)
559 : : {
560 : 215 : tree cname = TYPE_NAME (ctype);
561 : 215 : if (TREE_CODE (cname) == TYPE_DECL)
562 : 215 : cname = DECL_NAME (cname);
563 : :
564 : : /* A method friend. */
565 : 215 : if (flags == NO_SPECIAL && declarator == cname)
566 : 24 : DECL_CXX_CONSTRUCTOR_P (decl) = 1;
567 : :
568 : 215 : grokclassfn (ctype, decl, flags);
569 : :
570 : : /* A nested class may declare a member of an enclosing class
571 : : to be a friend, so we do lookup here even if CTYPE is in
572 : : the process of being defined. */
573 : 215 : if (class_template_depth
574 : 215 : || COMPLETE_OR_OPEN_TYPE_P (ctype))
575 : : {
576 : 206 : if (DECL_TEMPLATE_INFO (decl))
577 : : /* DECL is a template specialization. No need to
578 : : build a new TEMPLATE_DECL. */
579 : : ;
580 : 194 : else if (class_template_depth)
581 : : /* We rely on tsubst_friend_function to check the
582 : : validity of the declaration later. */
583 : 75 : decl = push_template_decl (decl, /*is_friend=*/true);
584 : : else
585 : 146 : decl = check_classfn (ctype, decl,
586 : : template_member_p
587 : 27 : ? current_template_parms
588 : : : NULL_TREE);
589 : :
590 : 206 : if ((template_member_p
591 : : /* Always pull out the TEMPLATE_DECL if we have a friend
592 : : template in a class template so that it gets tsubsted
593 : : properly later on (59956). tsubst_friend_function knows
594 : : how to tell this apart from a member template. */
595 : 173 : || (class_template_depth && friend_depth))
596 : 57 : && decl && TREE_CODE (decl) == FUNCTION_DECL)
597 : 30 : decl = DECL_TI_TEMPLATE (decl);
598 : : }
599 : : else
600 : 9 : error ("member %qD declared as friend before type %qT defined",
601 : : decl, ctype);
602 : : }
603 : : else
604 : : {
605 : : /* Namespace-scope friend function. */
606 : :
607 : 3602416 : if (funcdef_flag)
608 : 2467690 : SET_DECL_FRIEND_CONTEXT (decl, current_class_type);
609 : :
610 : 3602416 : if (! DECL_USE_TEMPLATE (decl))
611 : : {
612 : : /* We must check whether the decl refers to template
613 : : arguments before push_template_decl adds a reference to
614 : : the containing template class. */
615 : 3591259 : int warn = (warn_nontemplate_friend
616 : 3591211 : && ! funcdef_flag && ! friend_depth
617 : 185882 : && current_template_parms
618 : 3602294 : && uses_template_parms (decl));
619 : :
620 : 3591259 : if (friend_depth || class_template_depth)
621 : : /* We can't call pushdecl for a template class, since in
622 : : general, such a declaration depends on template
623 : : parameters. Instead, we call pushdecl when the class
624 : : is instantiated. */
625 : 2651122 : decl = push_template_decl (decl, /*is_friend=*/true);
626 : 940137 : else if (current_function_decl && !in_namespace)
627 : : /* pushdecl will check there's a local decl already. */
628 : 12 : decl = pushdecl (decl, /*hiding=*/true);
629 : : else
630 : : {
631 : : /* We can't use pushdecl, as we might be in a template
632 : : class specialization, and pushdecl will insert an
633 : : unqualified friend decl into the template parameter
634 : : scope, rather than the namespace containing it. */
635 : 940125 : tree ns = decl_namespace_context (decl);
636 : :
637 : 940125 : push_nested_namespace (ns);
638 : 940125 : decl = pushdecl_namespace_level (decl, /*hiding=*/true);
639 : 940125 : pop_nested_namespace (ns);
640 : : }
641 : :
642 : 3591259 : if (warn)
643 : : {
644 : 18 : static int explained;
645 : 18 : bool warned;
646 : :
647 : 18 : auto_diagnostic_group d;
648 : 18 : warned = warning (OPT_Wnon_template_friend, "friend declaration "
649 : : "%q#D declares a non-template function", decl);
650 : 18 : if (! explained && warned)
651 : : {
652 : 15 : inform (input_location, "(if this is not what you intended, "
653 : : "make sure the function template has already been "
654 : : "declared and add %<<>%> after the function name "
655 : : "here)");
656 : 15 : explained = 1;
657 : : }
658 : 18 : }
659 : : }
660 : : }
661 : :
662 : 3602631 : if (decl == error_mark_node)
663 : : return error_mark_node;
664 : :
665 : 1227165 : if (!class_template_depth && DECL_IMPLICIT_INSTANTIATION (decl)
666 : 3602662 : && TREE_CODE (DECL_TI_TEMPLATE (decl)) != TEMPLATE_DECL)
667 : : /* "[if no non-template match is found,] each remaining function template
668 : : is replaced with the specialization chosen by deduction from the
669 : : friend declaration or discarded if deduction fails."
670 : :
671 : : set_decl_namespace or check_classfn set DECL_IMPLICIT_INSTANTIATION to
672 : : indicate that we need a template match, so ask
673 : : check_explicit_specialization to find one. */
674 : 70 : decl = (check_explicit_specialization
675 : 70 : (orig_declarator, decl, ctype_depth,
676 : 70 : 2 * funcdef_flag + 4));
677 : :
678 : 8468200 : add_friend (current_class_type,
679 : 3602586 : (!ctype && friend_depth) ? DECL_TI_TEMPLATE (decl) : decl,
680 : : /*complain=*/true);
681 : :
682 : 3602586 : return decl;
683 : : }
684 : :
685 : : #include "gt-cp-friend.h"
|
