[gcc.git] / gcc / cp / name-lookup.h

/* Declarations for C++ name lookup routines.
   Copyright (C) 2003, 2004, 2005  Free Software Foundation, Inc.
   Contributed by Gabriel Dos Reis <gdr@integrable-solutions.net>

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING.  If not, write to
the Free Software Foundation, 51 Franklin Street, Fifth Floor,
Boston, MA 02110-1301, USA.  */

#ifndef GCC_CP_NAME_LOOKUP_H
#define GCC_CP_NAME_LOOKUP_H

#include "c-common.h"

/* The type of dictionary used to map names to types declared at
   a given scope.  */
typedef struct binding_table_s *binding_table;
typedef struct binding_entry_s *binding_entry;

/* The type of a routine repeatedly called by binding_table_foreach.  */
typedef void (*bt_foreach_proc) (binding_entry, void *);

struct binding_entry_s GTY(())
{
  binding_entry chain;
  tree name;
  tree type;
};

/* These macros indicate the initial chains count for binding_table.  */
#define SCOPE_DEFAULT_HT_SIZE		(1 << 3)
#define CLASS_SCOPE_HT_SIZE		(1 << 3)
#define NAMESPACE_ORDINARY_HT_SIZE	(1 << 5)
#define NAMESPACE_STD_HT_SIZE		(1 << 8)
#define GLOBAL_SCOPE_HT_SIZE		(1 << 8)

extern void binding_table_foreach (binding_table, bt_foreach_proc, void *);
extern binding_entry binding_table_find (binding_table, tree);
\f
/* Datatype that represents binding established by a declaration between
   a name and a C++ entity.  */
typedef struct cxx_binding cxx_binding;

/* The datatype used to implement C++ scope.  */
typedef struct cp_binding_level cxx_scope;

/* Nonzero if this binding is for a local scope, as opposed to a class
   or namespace scope.  */
#define LOCAL_BINDING_P(NODE) ((NODE)->is_local)

/* True if NODE->value is from a base class of the class which is
   currently being defined.  */
#define INHERITED_VALUE_BINDING_P(NODE) ((NODE)->value_is_inherited)

struct cxx_binding GTY(())
{
  /* Link to chain together various bindings for this name.  */
  cxx_binding *previous;
  /* The non-type entity this name is bound to.  */
  tree value;
  /* The type entity this name is bound to.  */
  tree type;
  /* The scope at which this binding was made.  */
  cxx_scope *scope;
  unsigned value_is_inherited : 1;
  unsigned is_local : 1;
};

/* Datatype used to temporarily save C++ bindings (for implicit
   instantiations purposes and like).  Implemented in decl.c.  */
typedef struct cxx_saved_binding GTY(())
{
  /* The name of the current binding.  */
  tree identifier;
  /* The binding we're saving.  */
  cxx_binding *binding;
  tree real_type_value;
} cxx_saved_binding;

DEF_VEC_O(cxx_saved_binding);
DEF_VEC_ALLOC_O(cxx_saved_binding,gc);

extern tree identifier_type_value (tree);
extern void set_identifier_type_value (tree, tree);
extern void pop_binding (tree, tree);
extern tree constructor_name (tree);
extern bool constructor_name_p (tree, tree);
\f
/* The kinds of scopes we recognize.  */
typedef enum scope_kind {
  sk_block = 0,      /* An ordinary block scope.  This enumerator must
			have the value zero because "cp_binding_level"
			is initialized by using "memset" to set the
			contents to zero, and the default scope kind
			is "sk_block".  */
  sk_cleanup,	     /* A scope for (pseudo-)scope for cleanup.  It is
			peusdo in that it is transparent to name lookup
			activities.  */
  sk_try,	     /* A try-block.  */
  sk_catch,	     /* A catch-block.  */
  sk_for,	     /* The scope of the variable declared in a
			for-init-statement.  */
  sk_function_parms, /* The scope containing function parameters.  */
  sk_class,	     /* The scope containing the members of a class.  */
  sk_namespace,	     /* The scope containing the members of a
			namespace, including the global scope.  */
  sk_template_parms, /* A scope for template parameters.  */
  sk_template_spec   /* Like sk_template_parms, but for an explicit
			specialization.  Since, by definition, an
			explicit specialization is introduced by
			"template <>", this scope is always empty.  */
} scope_kind;

/* The scope where the class/struct/union/enum tag applies.  */
typedef enum tag_scope {
  ts_current = 0,	/* Current scope only.  This is for the
			     class-key identifier;
			   case mentioned in [basic.lookup.elab]/2,
			   or the class/enum definition
			     class-key identifier { ... };  */
  ts_global = 1,	/* All scopes.  This is the 3.4.1
			   [basic.lookup.unqual] lookup mentioned
			   in [basic.lookup.elab]/2.  */
  ts_within_enclosing_non_class = 2	/* Search within enclosing non-class
					   only, for friend class lookup
					   according to [namespace.memdef]/3
					   and [class.friend]/9.  */
} tag_scope;

typedef struct cp_class_binding GTY(())
{
  cxx_binding base;
  /* The bound name.  */
  tree identifier;
} cp_class_binding;

DEF_VEC_O(cp_class_binding);
DEF_VEC_ALLOC_O(cp_class_binding,gc);

/* For each binding contour we allocate a binding_level structure
   which records the names defined in that contour.
   Contours include:
    0) the global one
    1) one for each function definition,
       where internal declarations of the parameters appear.
    2) one for each compound statement,
       to record its declarations.

   The current meaning of a name can be found by searching the levels
   from the current one out to the global one.

   Off to the side, may be the class_binding_level.  This exists only
   to catch class-local declarations.  It is otherwise nonexistent.

   Also there may be binding levels that catch cleanups that must be
   run when exceptions occur.  Thus, to see whether a name is bound in
   the current scope, it is not enough to look in the
   CURRENT_BINDING_LEVEL.  You should use lookup_name_current_level
   instead.  */

/* Note that the information in the `names' component of the global contour
   is duplicated in the IDENTIFIER_GLOBAL_VALUEs of all identifiers.  */

struct cp_binding_level GTY(())
  {
    /* A chain of _DECL nodes for all variables, constants, functions,
       and typedef types.  These are in the reverse of the order
       supplied.  There may be OVERLOADs on this list, too, but they
       are wrapped in TREE_LISTs; the TREE_VALUE is the OVERLOAD.  */
    tree names;

    /* Count of elements in names chain.  */
    size_t names_size;

    /* A chain of NAMESPACE_DECL nodes.  */
    tree namespaces;

    /* An array of static functions and variables (for namespaces only) */
    VEC(tree,gc) *static_decls;

    /* A chain of VTABLE_DECL nodes.  */
    tree vtables;

    /* A list of USING_DECL nodes.  */
    tree usings;

    /* A list of used namespaces. PURPOSE is the namespace,
       VALUE the common ancestor with this binding_level's namespace.  */
    tree using_directives;

    /* For the binding level corresponding to a class, the entities
       declared in the class or its base classes.  */
    VEC(cp_class_binding,gc) *class_shadowed;

    /* Similar to class_shadowed, but for IDENTIFIER_TYPE_VALUE, and
       is used for all binding levels. The TREE_PURPOSE is the name of
       the entity, the TREE_TYPE is the associated type.  In addition
       the TREE_VALUE is the IDENTIFIER_TYPE_VALUE before we entered
       the class.  */
    tree type_shadowed;

    /* A TREE_LIST.  Each TREE_VALUE is the LABEL_DECL for a local
       label in this scope.  The TREE_PURPOSE is the previous value of
       the IDENTIFIER_LABEL VALUE.  */
    tree shadowed_labels;

    /* For each level (except not the global one),
       a chain of BLOCK nodes for all the levels
       that were entered and exited one level down.  */
    tree blocks;

    /* The entity (namespace, class, function) the scope of which this
       binding contour corresponds to.  Otherwise NULL.  */
    tree this_entity;

    /* The binding level which this one is contained in (inherits from).  */
    struct cp_binding_level *level_chain;

    /* List of VAR_DECLS saved from a previous for statement.
       These would be dead in ISO-conforming code, but might
       be referenced in ARM-era code.  These are stored in a
       TREE_LIST; the TREE_VALUE is the actual declaration.  */
    tree dead_vars_from_for;

    /* STATEMENT_LIST for statements in this binding contour.
       Only used at present for SK_CLEANUP temporary bindings.  */
    tree statement_list;

    /* Binding depth at which this level began.  */
    int binding_depth;

    /* The kind of scope that this object represents.  However, a
       SK_TEMPLATE_SPEC scope is represented with KIND set to
       SK_TEMPLATE_PARMS and EXPLICIT_SPEC_P set to true.  */
    ENUM_BITFIELD (scope_kind) kind : 4;

    /* True if this scope is an SK_TEMPLATE_SPEC scope.  This field is
       only valid if KIND == SK_TEMPLATE_PARMS.  */
    BOOL_BITFIELD explicit_spec_p : 1;

    /* true means make a BLOCK for this level regardless of all else.  */
    unsigned keep : 1;

    /* Nonzero if this level can safely have additional
       cleanup-needing variables added to it.  */
    unsigned more_cleanups_ok : 1;
    unsigned have_cleanups : 1;

    /* 22 bits left to fill a 32-bit word.  */
  };

/* The binding level currently in effect.  */

#define current_binding_level			\
  (*(cfun && cp_function_chain->bindings	\
   ? &cp_function_chain->bindings		\
   : &scope_chain->bindings))

/* The binding level of the current class, if any.  */

#define class_binding_level scope_chain->class_bindings

/* The tree node representing the global scope.  */
extern GTY(()) tree global_namespace;
extern GTY(()) tree global_scope_name;

/* Indicates that there is a type value in some namespace, although
   that is not necessarily in scope at the moment.  */

extern GTY(()) tree global_type_node;

/* True if SCOPE designates the global scope binding contour.  */
#define global_scope_p(SCOPE) \
  ((SCOPE) == NAMESPACE_LEVEL (global_namespace))

extern cxx_scope *leave_scope (void);
extern bool kept_level_p (void);
extern int global_bindings_p (void);
extern bool toplevel_bindings_p	(void);
extern bool namespace_bindings_p (void);
extern bool template_parm_scope_p (void);
extern scope_kind innermost_scope_kind (void);
extern cxx_scope *begin_scope (scope_kind, tree);
extern void print_binding_stack	(void);
extern void push_to_top_level (void);
extern void pop_from_top_level (void);
extern void pop_everything (void);
extern void keep_next_level (bool);
extern bool is_ancestor (tree, tree);
extern tree push_scope (tree);
extern void pop_scope (tree);
extern tree push_inner_scope (tree);
extern void pop_inner_scope (tree, tree);
extern void push_binding_level (struct cp_binding_level *);
\f
extern void push_namespace (tree);
extern void pop_namespace (void);
extern void push_nested_namespace (tree);
extern void pop_nested_namespace (tree);
extern void pushlevel_class (void);
extern void poplevel_class (void);
extern tree pushdecl_with_scope (tree, cxx_scope *);
extern tree lookup_name	(tree, int);
extern tree lookup_name_real (tree, int, int, bool, int, int);
extern tree lookup_type_scope (tree, tag_scope);
extern tree namespace_binding (tree, tree);
extern void set_namespace_binding (tree, tree, tree);
extern bool hidden_name_p (tree);
extern tree lookup_namespace_name (tree, tree);
extern tree lookup_qualified_name (tree, tree, bool, bool);
extern tree lookup_name_nonclass (tree);
extern tree lookup_function_nonclass (tree, tree, bool);
extern void push_local_binding (tree, tree, int);
extern bool pushdecl_class_level (tree);
extern tree pushdecl_namespace_level (tree);
extern bool push_class_level_binding (tree, tree);
extern tree getdecls (void);
extern tree cp_namespace_decls (tree);
extern void set_decl_namespace (tree, tree, bool);
extern void push_decl_namespace (tree);
extern void pop_decl_namespace (void);
extern void do_namespace_alias (tree, tree);
extern void do_toplevel_using_decl (tree, tree, tree);
extern void do_local_using_decl (tree, tree, tree);
extern tree do_class_using_decl (tree, tree);
extern void do_using_directive (tree);
extern tree lookup_arg_dependent (tree, tree, tree);
extern bool is_associated_namespace (tree, tree);
extern void parse_using_directive (tree, tree);
extern tree innermost_non_namespace_value (tree);
extern cxx_binding *outer_binding (tree, cxx_binding *, bool);
extern void cp_emit_debug_info_for_using (tree, tree);

/* Set *DECL to the (non-hidden) declaration for ID at global scope,
   if present and return true; otherwise return false.  */

static inline bool
get_global_value_if_present (tree id, tree *decl)
{
  tree global_value = namespace_binding (id, global_namespace);
  if (global_value)
    *decl = global_value;
  return global_value != NULL;
}

/* True is the binding of IDENTIFIER at global scope names a type.  */

static inline bool
is_typename_at_global_scope (tree id)
{
  tree global_value = namespace_binding (id, global_namespace);

  return global_value && TREE_CODE (global_value) == TYPE_DECL;
}

#endif /* GCC_CP_NAME_LOOKUP_H */
Commit	Line	Data
aed81407	1	/* Declarations for C++ name lookup routines.
4514aa8c	2	Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc.
aed81407 GDR	3	Contributed by Gabriel Dos Reis <gdr@integrable-solutions.net>
aed81407 GDR	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 GDR	8	it under the terms of the GNU General Public License as published by
	9	the Free Software Foundation; either version 2, or (at your option)
	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
ed3cf953	18	along with GCC; see the file COPYING. If not, write to
1788952f KC	19	the Free Software Foundation, 51 Franklin Street, Fifth Floor,
1788952f KC	20	Boston, MA 02110-1301, USA. */
aed81407 GDR	21
	22	#ifndef GCC_CP_NAME_LOOKUP_H
	23	#define GCC_CP_NAME_LOOKUP_H
	24
	25	#include "c-common.h"
	26
5e0c54e5 GDR	27	/* The type of dictionary used to map names to types declared at
	28	a given scope. */
	29	typedef struct binding_table_s *binding_table;
	30	typedef struct binding_entry_s *binding_entry;
	31
	32	/* The type of a routine repeatedly called by binding_table_foreach. */
	33	typedef void (bt_foreach_proc) (binding_entry, void );
	34
	35	struct binding_entry_s GTY(())
	36	{
	37	binding_entry chain;
	38	tree name;
	39	tree type;
	40	};
	41
	42	/* These macros indicate the initial chains count for binding_table. */
0cbd7506 MS	43	#define SCOPE_DEFAULT_HT_SIZE (1 << 3)
	44	#define CLASS_SCOPE_HT_SIZE (1 << 3)
	45	#define NAMESPACE_ORDINARY_HT_SIZE (1 << 5)
	46	#define NAMESPACE_STD_HT_SIZE (1 << 8)
	47	#define GLOBAL_SCOPE_HT_SIZE (1 << 8)
5e0c54e5	48
5e0c54e5 GDR	49	extern void binding_table_foreach (binding_table, bt_foreach_proc, void *);
5e0c54e5 GDR	50	extern binding_entry binding_table_find (binding_table, tree);
5e0c54e5	51	\f
aed81407 GDR	52	/* Datatype that represents binding established by a declaration between
	53	a name and a C++ entity. */
	54	typedef struct cxx_binding cxx_binding;
	55
ed3cf953 GDR	56	/* The datatype used to implement C++ scope. */
	57	typedef struct cp_binding_level cxx_scope;
	58
aed81407 GDR	59	/* Nonzero if this binding is for a local scope, as opposed to a class
	60	or namespace scope. */
	61	#define LOCAL_BINDING_P(NODE) ((NODE)->is_local)
	62
147135cc	63	/* True if NODE->value is from a base class of the class which is
aed81407 GDR	64	currently being defined. */
	65	#define INHERITED_VALUE_BINDING_P(NODE) ((NODE)->value_is_inherited)
	66
aed81407 GDR	67	struct cxx_binding GTY(())
	68	{
	69	/* Link to chain together various bindings for this name. */
	70	cxx_binding *previous;
	71	/* The non-type entity this name is bound to. */
	72	tree value;
	73	/* The type entity this name is bound to. */
	74	tree type;
ed3cf953 GDR	75	/* The scope at which this binding was made. */
ed3cf953 GDR	76	cxx_scope *scope;
aed81407 GDR	77	unsigned value_is_inherited : 1;
	78	unsigned is_local : 1;
	79	};
	80
f44b0c8e MM	81	/* Datatype used to temporarily save C++ bindings (for implicit
	82	instantiations purposes and like). Implemented in decl.c. */
	83	typedef struct cxx_saved_binding GTY(())
	84	{
	85	/* The name of the current binding. */
	86	tree identifier;
	87	/* The binding we're saving. */
	88	cxx_binding *binding;
f44b0c8e MM	89	tree real_type_value;
	90	} cxx_saved_binding;
	91
d4e6fecb NS	92	DEF_VEC_O(cxx_saved_binding);
d4e6fecb NS	93	DEF_VEC_ALLOC_O(cxx_saved_binding,gc);
f44b0c8e	94
00e8de68 GDR	95	extern tree identifier_type_value (tree);
	96	extern void set_identifier_type_value (tree, tree);
	97	extern void pop_binding (tree, tree);
5a167978 GDR	98	extern tree constructor_name (tree);
5a167978 GDR	99	extern bool constructor_name_p (tree, tree);
aed81407	100	\f
1ec57cf0 GDR	101	/* The kinds of scopes we recognize. */
	102	typedef enum scope_kind {
	103	sk_block = 0, /* An ordinary block scope. This enumerator must
	104	have the value zero because "cp_binding_level"
	105	is initialized by using "memset" to set the
	106	contents to zero, and the default scope kind
	107	is "sk_block". */
0cbd7506 MS	108	sk_cleanup, /* A scope for (pseudo-)scope for cleanup. It is
	109	peusdo in that it is transparent to name lookup
	110	activities. */
1ec57cf0	111	sk_try, /* A try-block. */
0cbd7506 MS	112	sk_catch, /* A catch-block. */
0cbd7506 MS	113	sk_for, /* The scope of the variable declared in a
1ec57cf0 GDR	114	for-init-statement. */
1ec57cf0 GDR	115	sk_function_parms, /* The scope containing function parameters. */
0cbd7506 MS	116	sk_class, /* The scope containing the members of a class. */
0cbd7506 MS	117	sk_namespace, /* The scope containing the members of a
1ec57cf0 GDR	118	namespace, including the global scope. */
	119	sk_template_parms, /* A scope for template parameters. */
	120	sk_template_spec /* Like sk_template_parms, but for an explicit
	121	specialization. Since, by definition, an
	122	explicit specialization is introduced by
	123	"template <>", this scope is always empty. */
	124	} scope_kind;
	125
29ef83de KL	126	/* The scope where the class/struct/union/enum tag applies. */
	127	typedef enum tag_scope {
	128	ts_current = 0, /* Current scope only. This is for the
	129	class-key identifier;
	130	case mentioned in [basic.lookup.elab]/2,
	131	or the class/enum definition
	132	class-key identifier { ... }; */
	133	ts_global = 1, /* All scopes. This is the 3.4.1
	134	[basic.lookup.unqual] lookup mentioned
	135	in [basic.lookup.elab]/2. */
	136	ts_within_enclosing_non_class = 2 /* Search within enclosing non-class
	137	only, for friend class lookup
	138	according to [namespace.memdef]/3
	139	and [class.friend]/9. */
	140	} tag_scope;
	141
89b578be MM	142	typedef struct cp_class_binding GTY(())
	143	{
	144	cxx_binding base;
	145	/* The bound name. */
	146	tree identifier;
	147	} cp_class_binding;
	148
d4e6fecb NS	149	DEF_VEC_O(cp_class_binding);
d4e6fecb NS	150	DEF_VEC_ALLOC_O(cp_class_binding,gc);
89b578be	151
1ec57cf0 GDR	152	/* For each binding contour we allocate a binding_level structure
	153	which records the names defined in that contour.
	154	Contours include:
	155	0) the global one
	156	1) one for each function definition,
	157	where internal declarations of the parameters appear.
	158	2) one for each compound statement,
	159	to record its declarations.
	160
	161	The current meaning of a name can be found by searching the levels
	162	from the current one out to the global one.
	163
	164	Off to the side, may be the class_binding_level. This exists only
	165	to catch class-local declarations. It is otherwise nonexistent.
	166
	167	Also there may be binding levels that catch cleanups that must be
	168	run when exceptions occur. Thus, to see whether a name is bound in
	169	the current scope, it is not enough to look in the
	170	CURRENT_BINDING_LEVEL. You should use lookup_name_current_level
	171	instead. */
	172
	173	/* Note that the information in the `names' component of the global contour
	174	is duplicated in the IDENTIFIER_GLOBAL_VALUEs of all identifiers. */
	175
	176	struct cp_binding_level GTY(())
	177	{
	178	/* A chain of _DECL nodes for all variables, constants, functions,
	179	and typedef types. These are in the reverse of the order
	180	supplied. There may be OVERLOADs on this list, too, but they
	181	are wrapped in TREE_LISTs; the TREE_VALUE is the OVERLOAD. */
	182	tree names;
	183
	184	/* Count of elements in names chain. */
	185	size_t names_size;
	186
	187	/* A chain of NAMESPACE_DECL nodes. */
	188	tree namespaces;
	189
	190	/* An array of static functions and variables (for namespaces only) */
9857866d	191	VEC(tree,gc) *static_decls;
1ec57cf0 GDR	192
1ec57cf0 GDR	193	/* A chain of VTABLE_DECL nodes. */
c8094d83	194	tree vtables;
1ec57cf0	195
1ec57cf0 GDR	196	/* A list of USING_DECL nodes. */
	197	tree usings;
	198
	199	/* A list of used namespaces. PURPOSE is the namespace,
	200	VALUE the common ancestor with this binding_level's namespace. */
	201	tree using_directives;
	202
6f2838e3 MM	203	/* For the binding level corresponding to a class, the entities
6f2838e3 MM	204	declared in the class or its base classes. */
d4e6fecb	205	VEC(cp_class_binding,gc) *class_shadowed;
1ec57cf0 GDR	206
1ec57cf0 GDR	207	/* Similar to class_shadowed, but for IDENTIFIER_TYPE_VALUE, and
6f2838e3 MM	208	is used for all binding levels. The TREE_PURPOSE is the name of
	209	the entity, the TREE_TYPE is the associated type. In addition
	210	the TREE_VALUE is the IDENTIFIER_TYPE_VALUE before we entered
	211	the class. */
1ec57cf0 GDR	212	tree type_shadowed;
	213
	214	/* A TREE_LIST. Each TREE_VALUE is the LABEL_DECL for a local
	215	label in this scope. The TREE_PURPOSE is the previous value of
	216	the IDENTIFIER_LABEL VALUE. */
	217	tree shadowed_labels;
	218
	219	/* For each level (except not the global one),
	220	a chain of BLOCK nodes for all the levels
	221	that were entered and exited one level down. */
	222	tree blocks;
	223
	224	/* The entity (namespace, class, function) the scope of which this
	225	binding contour corresponds to. Otherwise NULL. */
	226	tree this_entity;
	227
	228	/* The binding level which this one is contained in (inherits from). */
	229	struct cp_binding_level *level_chain;
	230
	231	/* List of VAR_DECLS saved from a previous for statement.
	232	These would be dead in ISO-conforming code, but might
	233	be referenced in ARM-era code. These are stored in a
	234	TREE_LIST; the TREE_VALUE is the actual declaration. */
	235	tree dead_vars_from_for;
	236
325c3691 RH	237	/* STATEMENT_LIST for statements in this binding contour.
	238	Only used at present for SK_CLEANUP temporary bindings. */
	239	tree statement_list;
	240
1ec57cf0 GDR	241	/* Binding depth at which this level began. */
	242	int binding_depth;
	243
	244	/* The kind of scope that this object represents. However, a
	245	SK_TEMPLATE_SPEC scope is represented with KIND set to
77880ae4	246	SK_TEMPLATE_PARMS and EXPLICIT_SPEC_P set to true. */
df2b750f	247	ENUM_BITFIELD (scope_kind) kind : 4;
1ec57cf0 GDR	248
	249	/* True if this scope is an SK_TEMPLATE_SPEC scope. This field is
	250	only valid if KIND == SK_TEMPLATE_PARMS. */
1c62e7b2	251	BOOL_BITFIELD explicit_spec_p : 1;
1ec57cf0 GDR	252
	253	/* true means make a BLOCK for this level regardless of all else. */
	254	unsigned keep : 1;
	255
	256	/* Nonzero if this level can safely have additional
	257	cleanup-needing variables added to it. */
	258	unsigned more_cleanups_ok : 1;
	259	unsigned have_cleanups : 1;
	260
	261	/* 22 bits left to fill a 32-bit word. */
	262	};
	263
	264	/* The binding level currently in effect. */
	265
	266	#define current_binding_level \
	267	(*(cfun && cp_function_chain->bindings \
	268	? &cp_function_chain->bindings \
	269	: &scope_chain->bindings))
	270
	271	/* The binding level of the current class, if any. */
	272
	273	#define class_binding_level scope_chain->class_bindings
	274
c003e212 GDR	275	/* The tree node representing the global scope. */
c003e212 GDR	276	extern GTY(()) tree global_namespace;
00e8de68 GDR	277	extern GTY(()) tree global_scope_name;
	278
	279	/* Indicates that there is a type value in some namespace, although
	280	that is not necessarily in scope at the moment. */
	281
	282	extern GTY(()) tree global_type_node;
c003e212	283
5f52c0e0 GDR	284	/* True if SCOPE designates the global scope binding contour. */
	285	#define global_scope_p(SCOPE) \
	286	((SCOPE) == NAMESPACE_LEVEL (global_namespace))
aed81407	287
00e8de68 GDR	288	extern cxx_scope *leave_scope (void);
	289	extern bool kept_level_p (void);
	290	extern int global_bindings_p (void);
	291	extern bool toplevel_bindings_p (void);
	292	extern bool namespace_bindings_p (void);
	293	extern bool template_parm_scope_p (void);
	294	extern scope_kind innermost_scope_kind (void);
	295	extern cxx_scope *begin_scope (scope_kind, tree);
	296	extern void print_binding_stack (void);
00e8de68 GDR	297	extern void push_to_top_level (void);
00e8de68 GDR	298	extern void pop_from_top_level (void);
00e8de68 GDR	299	extern void pop_everything (void);
00e8de68 GDR	300	extern void keep_next_level (bool);
5a167978	301	extern bool is_ancestor (tree, tree);
4514aa8c	302	extern tree push_scope (tree);
5a167978	303	extern void pop_scope (tree);
87c465f5 KL	304	extern tree push_inner_scope (tree);
87c465f5 KL	305	extern void pop_inner_scope (tree, tree);
89b578be	306	extern void push_binding_level (struct cp_binding_level *);
00e8de68 GDR	307	\f
	308	extern void push_namespace (tree);
	309	extern void pop_namespace (void);
	310	extern void push_nested_namespace (tree);
	311	extern void pop_nested_namespace (tree);
00e8de68 GDR	312	extern void pushlevel_class (void);
00e8de68 GDR	313	extern void poplevel_class (void);
00e8de68	314	extern tree pushdecl_with_scope (tree, cxx_scope *);
00e8de68	315	extern tree lookup_name (tree, int);
12cf89fa	316	extern tree lookup_name_real (tree, int, int, bool, int, int);
29ef83de	317	extern tree lookup_type_scope (tree, tag_scope);
ed3cf953 GDR	318	extern tree namespace_binding (tree, tree);
ed3cf953 GDR	319	extern void set_namespace_binding (tree, tree, tree);
bd3d082e	320	extern bool hidden_name_p (tree);
00e8de68	321	extern tree lookup_namespace_name (tree, tree);
00e8de68 GDR	322	extern tree lookup_qualified_name (tree, tree, bool, bool);
00e8de68 GDR	323	extern tree lookup_name_nonclass (tree);
12cf89fa	324	extern tree lookup_function_nonclass (tree, tree, bool);
58ec3cc5	325	extern void push_local_binding (tree, tree, int);
00e8de68 GDR	326	extern bool pushdecl_class_level (tree);
	327	extern tree pushdecl_namespace_level (tree);
	328	extern bool push_class_level_binding (tree, tree);
00e8de68 GDR	329	extern tree getdecls (void);
00e8de68 GDR	330	extern tree cp_namespace_decls (tree);
5a167978	331	extern void set_decl_namespace (tree, tree, bool);
5a167978 GDR	332	extern void push_decl_namespace (tree);
	333	extern void pop_decl_namespace (void);
	334	extern void do_namespace_alias (tree, tree);
ed5f054f AO	335	extern void do_toplevel_using_decl (tree, tree, tree);
ed5f054f AO	336	extern void do_local_using_decl (tree, tree, tree);
1d786913	337	extern tree do_class_using_decl (tree, tree);
5a167978 GDR	338	extern void do_using_directive (tree);
5a167978 GDR	339	extern tree lookup_arg_dependent (tree, tree, tree);
86098eb8 JM	340	extern bool is_associated_namespace (tree, tree);
86098eb8 JM	341	extern void parse_using_directive (tree, tree);
90ea9897 MM	342	extern tree innermost_non_namespace_value (tree);
90ea9897 MM	343	extern cxx_binding outer_binding (tree, cxx_binding , bool);
98ed9dae	344	extern void cp_emit_debug_info_for_using (tree, tree);
c003e212 GDR	345
	346	/* Set *DECL to the (non-hidden) declaration for ID at global scope,
	347	if present and return true; otherwise return false. */
	348
	349	static inline bool
	350	get_global_value_if_present (tree id, tree *decl)
	351	{
	352	tree global_value = namespace_binding (id, global_namespace);
c003e212 GDR	353	if (global_value)
	354	*decl = global_value;
	355	return global_value != NULL;
	356	}
	357
	358	/* True is the binding of IDENTIFIER at global scope names a type. */
	359
	360	static inline bool
	361	is_typename_at_global_scope (tree id)
	362	{
	363	tree global_value = namespace_binding (id, global_namespace);
	364
	365	return global_value && TREE_CODE (global_value) == TYPE_DECL;
	366	}
	367
aed81407	368	#endif /* GCC_CP_NAME_LOOKUP_H */