]>
Commit | Line | Data |
---|---|---|
6db76e48 | 1 | /* Declarations for -*- C++ -*- name lookup routines. |
99dee823 | 2 | Copyright (C) 2003-2021 Free Software Foundation, Inc. |
aed81407 GDR |
3 | Contributed by Gabriel Dos Reis <gdr@integrable-solutions.net> |
4 | ||
ed3cf953 | 5 | This file is part of GCC. |
aed81407 | 6 | |
ed3cf953 | 7 | GCC is free software; you can redistribute it and/or modify |
aed81407 | 8 | it under the terms of the GNU General Public License as published by |
e77f031d | 9 | the Free Software Foundation; either version 3, or (at your option) |
aed81407 GDR |
10 | any later version. |
11 | ||
ed3cf953 | 12 | GCC is distributed in the hope that it will be useful, |
aed81407 GDR |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | GNU General Public License for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
e77f031d NC |
18 | along with GCC; see the file COPYING3. If not see |
19 | <http://www.gnu.org/licenses/>. */ | |
aed81407 GDR |
20 | |
21 | #ifndef GCC_CP_NAME_LOOKUP_H | |
22 | #define GCC_CP_NAME_LOOKUP_H | |
23 | ||
39dabefd | 24 | #include "c-family/c-common.h" |
aed81407 | 25 | |
5e0c54e5 | 26 | \f |
ed3cf953 | 27 | /* The datatype used to implement C++ scope. */ |
c80ee302 | 28 | struct cp_binding_level; |
ed3cf953 | 29 | |
aed81407 GDR |
30 | /* Nonzero if this binding is for a local scope, as opposed to a class |
31 | or namespace scope. */ | |
32 | #define LOCAL_BINDING_P(NODE) ((NODE)->is_local) | |
33 | ||
147135cc | 34 | /* True if NODE->value is from a base class of the class which is |
aed81407 GDR |
35 | currently being defined. */ |
36 | #define INHERITED_VALUE_BINDING_P(NODE) ((NODE)->value_is_inherited) | |
37 | ||
7cbfe089 NS |
38 | /* The IMPLICIT_TYPEDEF is hidden from ordinary name lookup (it was |
39 | injected via a local class's friend decl). The typdef may be in the | |
40 | VALUE or the TYPE slot. We do not get the situation where the | |
41 | value and type slots are both filled and both hidden. */ | |
42 | #define HIDDEN_TYPE_BINDING_P(NODE) ((NODE)->type_is_hidden) | |
43 | ||
c80ee302 NS |
44 | /* Datatype that represents binding established by a declaration between |
45 | a name and a C++ entity. */ | |
d1b38208 | 46 | struct GTY(()) cxx_binding { |
aed81407 GDR |
47 | /* Link to chain together various bindings for this name. */ |
48 | cxx_binding *previous; | |
49 | /* The non-type entity this name is bound to. */ | |
50 | tree value; | |
51 | /* The type entity this name is bound to. */ | |
52 | tree type; | |
ed3cf953 | 53 | /* The scope at which this binding was made. */ |
2c140474 | 54 | cp_binding_level *scope; |
c80ee302 NS |
55 | |
56 | bool value_is_inherited : 1; | |
57 | bool is_local : 1; | |
7cbfe089 | 58 | bool type_is_hidden : 1; |
aed81407 GDR |
59 | }; |
60 | ||
f44b0c8e MM |
61 | /* Datatype used to temporarily save C++ bindings (for implicit |
62 | instantiations purposes and like). Implemented in decl.c. */ | |
a79683d5 | 63 | struct GTY(()) cxx_saved_binding { |
f44b0c8e MM |
64 | /* The name of the current binding. */ |
65 | tree identifier; | |
66 | /* The binding we're saving. */ | |
67 | cxx_binding *binding; | |
f44b0c8e | 68 | tree real_type_value; |
a79683d5 | 69 | }; |
f44b0c8e | 70 | |
05f7a2af NS |
71 | /* To support lazy module loading, we squirrel away a section number |
72 | (and a couple of flags) in the binding slot of unloaded bindings. | |
73 | We rely on pointers being aligned and setting the bottom bit to | |
74 | mark a lazy value. GTY doesn't like an array of union, so we have | |
75 | a containing struct. */ | |
76 | ||
77 | struct GTY(()) binding_slot { | |
78 | union GTY((desc ("%1.is_lazy ()"))) binding_slot_lazy { | |
79 | tree GTY((tag ("false"))) binding; | |
80 | } u; | |
81 | ||
82 | operator tree & () | |
83 | { | |
84 | gcc_checking_assert (!is_lazy ()); | |
85 | return u.binding; | |
86 | } | |
87 | binding_slot &operator= (tree t) | |
88 | { | |
89 | u.binding = t; | |
90 | return *this; | |
91 | } | |
92 | bool is_lazy () const | |
93 | { | |
94 | return bool (uintptr_t (u.binding) & 1); | |
95 | } | |
96 | void set_lazy (unsigned snum) | |
97 | { | |
98 | gcc_checking_assert (!u.binding); | |
99 | u.binding = tree (uintptr_t ((snum << 1) | 1)); | |
100 | } | |
101 | void or_lazy (unsigned snum) | |
102 | { | |
103 | gcc_checking_assert (is_lazy ()); | |
104 | u.binding = tree (uintptr_t (u.binding) | (snum << 1)); | |
105 | } | |
106 | unsigned get_lazy () const | |
107 | { | |
108 | gcc_checking_assert (is_lazy ()); | |
109 | return unsigned (uintptr_t (u.binding) >> 1); | |
110 | } | |
111 | }; | |
112 | ||
113 | /* Bindings for modules are held in a sparse array. There is always a | |
114 | current TU slot, others are allocated as needed. By construction | |
115 | of the importing mechanism we only ever need to append to the | |
116 | array. Rather than have straight index/slot tuples, we bunch them | |
117 | up for greater packing. | |
118 | ||
119 | The cluster representation packs well on a 64-bit system. */ | |
120 | ||
121 | #define BINDING_VECTOR_SLOTS_PER_CLUSTER 2 | |
122 | struct binding_index { | |
123 | unsigned short base; | |
124 | unsigned short span; | |
125 | }; | |
126 | ||
127 | struct GTY(()) binding_cluster | |
128 | { | |
129 | binding_index GTY((skip)) indices[BINDING_VECTOR_SLOTS_PER_CLUSTER]; | |
130 | binding_slot slots[BINDING_VECTOR_SLOTS_PER_CLUSTER]; | |
131 | }; | |
132 | ||
133 | /* These two fields overlay lang flags. So don't use those. */ | |
134 | #define BINDING_VECTOR_ALLOC_CLUSTERS(NODE) \ | |
135 | (BINDING_VECTOR_CHECK (NODE)->base.u.dependence_info.clique) | |
136 | #define BINDING_VECTOR_NUM_CLUSTERS(NODE) \ | |
137 | (BINDING_VECTOR_CHECK (NODE)->base.u.dependence_info.base) | |
138 | #define BINDING_VECTOR_CLUSTER_BASE(NODE) \ | |
139 | (((tree_binding_vec *)BINDING_VECTOR_CHECK (NODE))->vec) | |
140 | #define BINDING_VECTOR_CLUSTER_LAST(NODE) \ | |
141 | (&BINDING_VECTOR_CLUSTER (NODE, BINDING_VECTOR_NUM_CLUSTERS (NODE) - 1)) | |
142 | #define BINDING_VECTOR_CLUSTER(NODE,IX) \ | |
143 | (((tree_binding_vec *)BINDING_VECTOR_CHECK (NODE))->vec[IX]) | |
144 | ||
145 | struct GTY(()) tree_binding_vec { | |
146 | struct tree_base base; | |
147 | tree name; | |
148 | binding_cluster GTY((length ("%h.base.u.dependence_info.base"))) vec[1]; | |
149 | }; | |
150 | ||
151 | /* The name of a module vector. */ | |
152 | #define BINDING_VECTOR_NAME(NODE) \ | |
153 | (((tree_binding_vec *)BINDING_VECTOR_CHECK (NODE))->name) | |
154 | ||
155 | /* tree_binding_vec does uses base.u.dependence_info.base field for | |
156 | length. It does not have lang_flag etc available! */ | |
157 | ||
158 | /* These two flags note if a module-vector contains deduplicated | |
159 | bindings (i.e. multiple declarations in different imports). */ | |
160 | /* This binding contains duplicate references to a global module | |
161 | entity. */ | |
162 | #define BINDING_VECTOR_GLOBAL_DUPS_P(NODE) \ | |
163 | (BINDING_VECTOR_CHECK (NODE)->base.static_flag) | |
164 | /* This binding contains duplicate references to a partioned module | |
165 | entity. */ | |
166 | #define BINDING_VECTOR_PARTITION_DUPS_P(NODE) \ | |
167 | (BINDING_VECTOR_CHECK (NODE)->base.volatile_flag) | |
168 | ||
169 | /* These two flags indicate the provenence of the bindings on this | |
170 | particular vector slot. We can of course determine this from slot | |
171 | number, but that's a relatively expensive lookup. This avoids | |
172 | that when iterating. */ | |
173 | /* This slot is part of the global module (a header unit). */ | |
174 | #define MODULE_BINDING_GLOBAL_P(NODE) \ | |
175 | (OVERLOAD_CHECK (NODE)->base.static_flag) | |
176 | /* This slot is part of the current module (a partition or primary). */ | |
177 | #define MODULE_BINDING_PARTITION_P(NODE) \ | |
178 | (OVERLOAD_CHECK (NODE)->base.volatile_flag) | |
179 | ||
180 | /* There are specializations of a template keyed to this binding. */ | |
181 | #define BINDING_VECTOR_PENDING_SPECIALIZATIONS_P(NODE) \ | |
182 | (BINDING_VECTOR_CHECK (NODE)->base.public_flag) | |
183 | /* The key is in a header unit (not a named module partition or | |
184 | primary). */ | |
185 | #define BINDING_VECTOR_PENDING_IS_HEADER_P(NODE) \ | |
186 | (BINDING_VECTOR_CHECK (NODE)->base.protected_flag) | |
187 | /* The key is in a named module (primary or partition). */ | |
188 | #define BINDING_VECTOR_PENDING_IS_PARTITION_P(NODE) \ | |
189 | (BINDING_VECTOR_CHECK (NODE)->base.private_flag) | |
f44b0c8e | 190 | |
00e8de68 | 191 | extern void set_identifier_type_value (tree, tree); |
55fec44d | 192 | extern void push_binding (tree, tree, cp_binding_level*); |
9c82d7b6 | 193 | extern void pop_local_binding (tree, tree); |
9485d254 | 194 | extern void pop_bindings_and_leave_scope (void); |
5a167978 GDR |
195 | extern tree constructor_name (tree); |
196 | extern bool constructor_name_p (tree, tree); | |
aed81407 | 197 | \f |
1ec57cf0 | 198 | /* The kinds of scopes we recognize. */ |
a79683d5 | 199 | enum scope_kind { |
1ec57cf0 GDR |
200 | sk_block = 0, /* An ordinary block scope. This enumerator must |
201 | have the value zero because "cp_binding_level" | |
202 | is initialized by using "memset" to set the | |
203 | contents to zero, and the default scope kind | |
204 | is "sk_block". */ | |
0cbd7506 | 205 | sk_cleanup, /* A scope for (pseudo-)scope for cleanup. It is |
1799e5d5 | 206 | pseudo in that it is transparent to name lookup |
0cbd7506 | 207 | activities. */ |
1ec57cf0 | 208 | sk_try, /* A try-block. */ |
0cbd7506 MS |
209 | sk_catch, /* A catch-block. */ |
210 | sk_for, /* The scope of the variable declared in a | |
17a9e380 | 211 | init-statement. */ |
1eb2a14d JJ |
212 | sk_cond, /* The scope of the variable declared in the condition |
213 | of an if or switch statement. */ | |
1ec57cf0 | 214 | sk_function_parms, /* The scope containing function parameters. */ |
0cbd7506 | 215 | sk_class, /* The scope containing the members of a class. */ |
b4cf2e42 | 216 | sk_scoped_enum, /* The scope containing the enumerators of a C++11 |
adf2edec | 217 | scoped enumeration. */ |
0cbd7506 | 218 | sk_namespace, /* The scope containing the members of a |
1ec57cf0 GDR |
219 | namespace, including the global scope. */ |
220 | sk_template_parms, /* A scope for template parameters. */ | |
1799e5d5 | 221 | sk_template_spec, /* Like sk_template_parms, but for an explicit |
1ec57cf0 GDR |
222 | specialization. Since, by definition, an |
223 | explicit specialization is introduced by | |
224 | "template <>", this scope is always empty. */ | |
b8fd7909 | 225 | sk_transaction, /* A synchronized or atomic statement. */ |
3db45ab5 | 226 | sk_omp /* An OpenMP structured block. */ |
a79683d5 | 227 | }; |
1ec57cf0 | 228 | |
a79683d5 | 229 | struct GTY(()) cp_class_binding { |
f256f612 | 230 | cxx_binding *base; |
89b578be MM |
231 | /* The bound name. */ |
232 | tree identifier; | |
a79683d5 | 233 | }; |
89b578be | 234 | |
1ec57cf0 GDR |
235 | /* For each binding contour we allocate a binding_level structure |
236 | which records the names defined in that contour. | |
237 | Contours include: | |
238 | 0) the global one | |
239 | 1) one for each function definition, | |
240 | where internal declarations of the parameters appear. | |
241 | 2) one for each compound statement, | |
242 | to record its declarations. | |
243 | ||
244 | The current meaning of a name can be found by searching the levels | |
245 | from the current one out to the global one. | |
246 | ||
247 | Off to the side, may be the class_binding_level. This exists only | |
248 | to catch class-local declarations. It is otherwise nonexistent. | |
249 | ||
250 | Also there may be binding levels that catch cleanups that must be | |
251 | run when exceptions occur. Thus, to see whether a name is bound in | |
252 | the current scope, it is not enough to look in the | |
253 | CURRENT_BINDING_LEVEL. You should use lookup_name_current_level | |
254 | instead. */ | |
255 | ||
d1b38208 | 256 | struct GTY(()) cp_binding_level { |
2c140474 DN |
257 | /* A chain of _DECL nodes for all variables, constants, functions, |
258 | and typedef types. These are in the reverse of the order | |
259 | supplied. There may be OVERLOADs on this list, too, but they | |
260 | are wrapped in TREE_LISTs; the TREE_VALUE is the OVERLOAD. */ | |
261 | tree names; | |
262 | ||
3c9feefc NS |
263 | /* Using directives. */ |
264 | vec<tree, va_gc> *using_directives; | |
2c140474 DN |
265 | |
266 | /* For the binding level corresponding to a class, the entities | |
267 | declared in the class or its base classes. */ | |
9771b263 | 268 | vec<cp_class_binding, va_gc> *class_shadowed; |
2c140474 DN |
269 | |
270 | /* Similar to class_shadowed, but for IDENTIFIER_TYPE_VALUE, and | |
271 | is used for all binding levels. The TREE_PURPOSE is the name of | |
272 | the entity, the TREE_TYPE is the associated type. In addition | |
273 | the TREE_VALUE is the IDENTIFIER_TYPE_VALUE before we entered | |
274 | the class. */ | |
275 | tree type_shadowed; | |
276 | ||
2c140474 DN |
277 | /* For each level (except not the global one), |
278 | a chain of BLOCK nodes for all the levels | |
279 | that were entered and exited one level down. */ | |
280 | tree blocks; | |
281 | ||
282 | /* The entity (namespace, class, function) the scope of which this | |
283 | binding contour corresponds to. Otherwise NULL. */ | |
284 | tree this_entity; | |
285 | ||
286 | /* The binding level which this one is contained in (inherits from). */ | |
287 | cp_binding_level *level_chain; | |
288 | ||
2c140474 DN |
289 | /* STATEMENT_LIST for statements in this binding contour. |
290 | Only used at present for SK_CLEANUP temporary bindings. */ | |
291 | tree statement_list; | |
292 | ||
293 | /* Binding depth at which this level began. */ | |
294 | int binding_depth; | |
295 | ||
296 | /* The kind of scope that this object represents. However, a | |
297 | SK_TEMPLATE_SPEC scope is represented with KIND set to | |
298 | SK_TEMPLATE_PARMS and EXPLICIT_SPEC_P set to true. */ | |
299 | ENUM_BITFIELD (scope_kind) kind : 4; | |
300 | ||
301 | /* True if this scope is an SK_TEMPLATE_SPEC scope. This field is | |
302 | only valid if KIND == SK_TEMPLATE_PARMS. */ | |
303 | BOOL_BITFIELD explicit_spec_p : 1; | |
304 | ||
305 | /* true means make a BLOCK for this level regardless of all else. */ | |
306 | unsigned keep : 1; | |
307 | ||
308 | /* Nonzero if this level can safely have additional | |
309 | cleanup-needing variables added to it. */ | |
310 | unsigned more_cleanups_ok : 1; | |
311 | unsigned have_cleanups : 1; | |
312 | ||
5294e4c3 AB |
313 | /* Transient state set if this scope is of sk_class kind |
314 | and is in the process of defining 'this_entity'. Reset | |
315 | on leaving the class definition to allow for the scope | |
316 | to be subsequently re-used as a non-defining scope for | |
317 | 'this_entity'. */ | |
318 | unsigned defining_class_p : 1; | |
319 | ||
f968ef9b JJ |
320 | /* true for SK_FUNCTION_PARMS of immediate functions. */ |
321 | unsigned immediate_fn_ctx_p : 1; | |
322 | ||
323 | /* 22 bits left to fill a 32-bit word. */ | |
2c140474 | 324 | }; |
1ec57cf0 GDR |
325 | |
326 | /* The binding level currently in effect. */ | |
327 | ||
328 | #define current_binding_level \ | |
da7d88bf | 329 | (*(cfun && cp_function_chain && cp_function_chain->bindings \ |
1ec57cf0 GDR |
330 | ? &cp_function_chain->bindings \ |
331 | : &scope_chain->bindings)) | |
332 | ||
333 | /* The binding level of the current class, if any. */ | |
334 | ||
335 | #define class_binding_level scope_chain->class_bindings | |
336 | ||
5f52c0e0 GDR |
337 | /* True if SCOPE designates the global scope binding contour. */ |
338 | #define global_scope_p(SCOPE) \ | |
339 | ((SCOPE) == NAMESPACE_LEVEL (global_namespace)) | |
aed81407 | 340 | |
2c140474 | 341 | extern cp_binding_level *leave_scope (void); |
00e8de68 | 342 | extern bool kept_level_p (void); |
c99c0026 | 343 | extern bool global_bindings_p (void); |
056a17ee | 344 | extern bool toplevel_bindings_p (void); |
00e8de68 | 345 | extern bool namespace_bindings_p (void); |
fdf03377 | 346 | extern bool local_bindings_p (void); |
00e8de68 GDR |
347 | extern bool template_parm_scope_p (void); |
348 | extern scope_kind innermost_scope_kind (void); | |
2c140474 | 349 | extern cp_binding_level *begin_scope (scope_kind, tree); |
00e8de68 | 350 | extern void print_binding_stack (void); |
00e8de68 GDR |
351 | extern void pop_everything (void); |
352 | extern void keep_next_level (bool); | |
056a17ee | 353 | extern bool is_ancestor (tree ancestor, tree descendant); |
322763f5 NS |
354 | extern bool is_nested_namespace (tree parent, tree descendant, |
355 | bool inline_only = false); | |
4514aa8c | 356 | extern tree push_scope (tree); |
5a167978 | 357 | extern void pop_scope (tree); |
87c465f5 KL |
358 | extern tree push_inner_scope (tree); |
359 | extern void pop_inner_scope (tree, tree); | |
2c140474 | 360 | extern void push_binding_level (cp_binding_level *); |
00e8de68 | 361 | \f |
65567efa | 362 | extern bool handle_namespace_attrs (tree, tree); |
00e8de68 GDR |
363 | extern void pushlevel_class (void); |
364 | extern void poplevel_class (void); | |
0c5f6bbf NS |
365 | |
366 | /* What kind of scopes name lookup looks in. An enum class so we | |
367 | don't accidentally mix integers. */ | |
368 | enum class LOOK_where | |
369 | { | |
370 | BLOCK = 1 << 0, /* Consider block scopes. */ | |
371 | CLASS = 1 << 1, /* Consider class scopes. */ | |
372 | NAMESPACE = 1 << 2, /* Consider namespace scopes. */ | |
373 | ||
374 | ALL = BLOCK | CLASS | NAMESPACE, | |
375 | BLOCK_NAMESPACE = BLOCK | NAMESPACE, | |
376 | CLASS_NAMESPACE = CLASS | NAMESPACE, | |
377 | }; | |
378 | constexpr LOOK_where operator| (LOOK_where a, LOOK_where b) | |
379 | { | |
380 | return LOOK_where (unsigned (a) | unsigned (b)); | |
381 | } | |
4c58a32f | 382 | constexpr LOOK_where operator& (LOOK_where a, LOOK_where b) |
0c5f6bbf | 383 | { |
4c58a32f | 384 | return LOOK_where (unsigned (a) & unsigned (b)); |
0c5f6bbf NS |
385 | } |
386 | ||
4c58a32f NS |
387 | enum class LOOK_want |
388 | { | |
389 | NORMAL = 0, /* Normal lookup -- non-types can hide implicit types. */ | |
390 | TYPE = 1 << 1, /* We only want TYPE_DECLS. */ | |
391 | NAMESPACE = 1 << 2, /* We only want NAMESPACE_DECLS. */ | |
0c5f6bbf | 392 | |
db1c2a89 NS |
393 | HIDDEN_FRIEND = 1 << 3, /* See hidden friends. */ |
394 | HIDDEN_LAMBDA = 1 << 4, /* See lambda-ignored entities. */ | |
395 | ||
4c58a32f NS |
396 | TYPE_NAMESPACE = TYPE | NAMESPACE, /* Either NAMESPACE or TYPE. */ |
397 | }; | |
398 | constexpr LOOK_want operator| (LOOK_want a, LOOK_want b) | |
399 | { | |
400 | return LOOK_want (unsigned (a) | unsigned (b)); | |
401 | } | |
402 | constexpr LOOK_want operator& (LOOK_want a, LOOK_want b) | |
403 | { | |
404 | return LOOK_want (unsigned (a) & unsigned (b)); | |
405 | } | |
0c5f6bbf | 406 | |
f00008b4 NS |
407 | extern tree lookup_name (tree, LOOK_where, LOOK_want = LOOK_want::NORMAL); |
408 | /* Also declared in c-family/c-common.h. */ | |
409 | extern tree lookup_name (tree name); | |
410 | inline tree lookup_name (tree name, LOOK_want want) | |
411 | { | |
412 | return lookup_name (name, LOOK_where::ALL, want); | |
413 | } | |
414 | ||
00aaae03 NS |
415 | enum class TAG_how |
416 | { | |
417 | CURRENT_ONLY = 0, // Look and insert only in current scope | |
418 | ||
419 | GLOBAL = 1, // Unqualified lookup, innermost-non-class insertion | |
420 | ||
421 | INNERMOST_NON_CLASS = 2, // Look and insert only into | |
422 | // innermost-non-class | |
423 | ||
424 | HIDDEN_FRIEND = 3, // As INNERMOST_NON_CLASS, but hide it | |
425 | }; | |
426 | ||
427 | extern tree lookup_elaborated_type (tree, TAG_how); | |
06aa5490 | 428 | extern tree get_namespace_binding (tree ns, tree id); |
87e3d7cf NS |
429 | extern void set_global_binding (tree decl); |
430 | inline tree get_global_binding (tree id) | |
431 | { | |
432 | return get_namespace_binding (NULL_TREE, id); | |
433 | } | |
4c58a32f NS |
434 | extern tree lookup_qualified_name (tree scope, tree name, |
435 | LOOK_want = LOOK_want::NORMAL, | |
db1c2a89 | 436 | bool = true); |
4c58a32f NS |
437 | extern tree lookup_qualified_name (tree scope, const char *name, |
438 | LOOK_want = LOOK_want::NORMAL, | |
db1c2a89 | 439 | bool = true); |
00e8de68 | 440 | extern bool pushdecl_class_level (tree); |
c74e6f7c | 441 | extern tree pushdecl_namespace_level (tree, bool hiding = false); |
00e8de68 | 442 | extern bool push_class_level_binding (tree, tree); |
9c82d7b6 | 443 | extern tree get_local_decls (); |
67e18edb | 444 | extern int function_parm_depth (void); |
00e8de68 | 445 | extern tree cp_namespace_decls (tree); |
5a167978 | 446 | extern void set_decl_namespace (tree, tree, bool); |
5a167978 GDR |
447 | extern void push_decl_namespace (tree); |
448 | extern void pop_decl_namespace (void); | |
449 | extern void do_namespace_alias (tree, tree); | |
1d786913 | 450 | extern tree do_class_using_decl (tree, tree); |
f35a733d | 451 | extern tree lookup_arg_dependent (tree, tree, vec<tree, va_gc> *); |
35129fd3 | 452 | extern tree search_anon_aggr (tree, tree, bool = false); |
9a54a0d9 NS |
453 | extern tree get_class_binding_direct (tree, tree, bool want_type = false); |
454 | extern tree get_class_binding (tree, tree, bool want_type = false); | |
10b5c982 NS |
455 | extern tree *find_member_slot (tree klass, tree name); |
456 | extern tree *add_member_slot (tree klass, tree name); | |
783dc739 | 457 | extern void resort_type_member_vec (void *, void *, |
fe920c2d | 458 | gt_pointer_operator, void *); |
79c1b9fb | 459 | extern vec<tree, va_gc> *set_class_bindings (tree, int extra = 0); |
41970ff1 | 460 | extern void insert_late_enum_def_bindings (tree, tree); |
90ea9897 MM |
461 | extern tree innermost_non_namespace_value (tree); |
462 | extern cxx_binding *outer_binding (tree, cxx_binding *, bool); | |
98ed9dae | 463 | extern void cp_emit_debug_info_for_using (tree, tree); |
c003e212 | 464 | |
692af872 NS |
465 | extern void finish_nonmember_using_decl (tree scope, tree name); |
466 | extern void finish_using_directive (tree target, tree attribs); | |
c74e6f7c | 467 | extern tree pushdecl (tree, bool hiding = false); |
5256a7f5 | 468 | extern tree pushdecl_outermost_localscope (tree); |
c74e6f7c | 469 | extern tree pushdecl_top_level (tree); |
2e3757e7 | 470 | extern tree pushdecl_top_level_and_finish (tree, tree); |
00aaae03 | 471 | extern tree pushtag (tree, tree, TAG_how = TAG_how::CURRENT_ONLY); |
3a77e7cc | 472 | extern int push_namespace (tree, bool make_inline = false); |
056a17ee NS |
473 | extern void pop_namespace (void); |
474 | extern void push_nested_namespace (tree); | |
475 | extern void pop_nested_namespace (tree); | |
476 | extern void push_to_top_level (void); | |
477 | extern void pop_from_top_level (void); | |
bddee796 JM |
478 | extern void maybe_save_operator_binding (tree); |
479 | extern void push_operator_bindings (void); | |
d89b00c0 | 480 | extern void push_using_decl_bindings (tree, tree); |
bddee796 | 481 | extern void discard_operator_bindings (tree); |
641da50a | 482 | |
c0979d8f | 483 | /* Lower level interface for modules. */ |
37b242a3 NS |
484 | extern tree *mergeable_namespace_slots (tree ns, tree name, bool is_global, |
485 | tree *mvec); | |
c0979d8f | 486 | extern void add_mergeable_namespace_entity (tree *slot, tree decl); |
37b242a3 NS |
487 | extern tree lookup_class_binding (tree ctx, tree name); |
488 | extern bool import_module_binding (tree ctx, tree name, unsigned mod, | |
489 | unsigned snum); | |
490 | extern bool set_module_binding (tree ctx, tree name, unsigned mod, | |
491 | int mod_glob_flag, | |
492 | tree value, tree type, tree visible); | |
493 | extern void add_module_decl (tree ctx, tree name, tree decl); | |
494 | ||
495 | enum WMB_Flags | |
496 | { | |
497 | WMB_None = 0, | |
498 | WMB_Dups = 1 << 0, | |
499 | WMB_Export = 1 << 1, | |
500 | WMB_Using = 1 << 2, | |
501 | WMB_Hidden = 1 << 3, | |
502 | }; | |
503 | ||
504 | extern unsigned walk_module_binding (tree binding, bitmap partitions, | |
505 | bool (*)(tree decl, WMB_Flags, void *data), | |
506 | void *data); | |
507 | extern tree add_imported_namespace (tree ctx, tree name, unsigned module, | |
508 | location_t, bool visible_p, bool inline_p); | |
509 | extern void note_pending_specializations (tree ns, tree name, bool is_header); | |
510 | extern void load_pending_specializations (tree ns, tree name); | |
511 | extern const char *get_cxx_dialect_name (enum cxx_dialect dialect); | |
c0979d8f | 512 | |
aed81407 | 513 | #endif /* GCC_CP_NAME_LOOKUP_H */ |