2504 lines
65 KiB
C
2504 lines
65 KiB
C
/* Language-dependent node constructors for parse phase of GNU compiler.
|
||
Copyright (C) 1987, 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
|
||
1999, 2000, 2001 Free Software Foundation, Inc.
|
||
Hacked by Michael Tiemann (tiemann@cygnus.com)
|
||
|
||
This file is part of GNU CC.
|
||
|
||
GNU CC 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.
|
||
|
||
GNU CC 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 GNU CC; see the file COPYING. If not, write to
|
||
the Free Software Foundation, 59 Temple Place - Suite 330,
|
||
Boston, MA 02111-1307, USA. */
|
||
|
||
#include "config.h"
|
||
#include "system.h"
|
||
#include "obstack.h"
|
||
#include "tree.h"
|
||
#include "cp-tree.h"
|
||
#include "flags.h"
|
||
#include "rtl.h"
|
||
#include "toplev.h"
|
||
#include "ggc.h"
|
||
#include "insn-config.h"
|
||
#include "integrate.h"
|
||
#include "tree-inline.h"
|
||
|
||
static tree bot_manip PARAMS ((tree *, int *, void *));
|
||
static tree bot_replace PARAMS ((tree *, int *, void *));
|
||
static tree build_cplus_array_type_1 PARAMS ((tree, tree));
|
||
static int list_hash_eq PARAMS ((const void *, const void *));
|
||
static hashval_t list_hash_pieces PARAMS ((tree, tree, tree));
|
||
static hashval_t list_hash PARAMS ((const void *));
|
||
static cp_lvalue_kind lvalue_p_1 PARAMS ((tree, int));
|
||
static tree no_linkage_helper PARAMS ((tree *, int *, void *));
|
||
static tree build_srcloc PARAMS ((const char *, int));
|
||
static tree mark_local_for_remap_r PARAMS ((tree *, int *, void *));
|
||
static tree cp_unsave_r PARAMS ((tree *, int *, void *));
|
||
static void cp_unsave PARAMS ((tree *));
|
||
static tree build_target_expr PARAMS ((tree, tree));
|
||
static tree count_trees_r PARAMS ((tree *, int *, void *));
|
||
static tree verify_stmt_tree_r PARAMS ((tree *, int *, void *));
|
||
static tree find_tree_r PARAMS ((tree *, int *, void *));
|
||
extern int cp_statement_code_p PARAMS ((enum tree_code));
|
||
|
||
static tree handle_java_interface_attribute PARAMS ((tree *, tree, tree, int, bool *));
|
||
static tree handle_com_interface_attribute PARAMS ((tree *, tree, tree, int, bool *));
|
||
static tree handle_init_priority_attribute PARAMS ((tree *, tree, tree, int, bool *));
|
||
|
||
/* If REF is an lvalue, returns the kind of lvalue that REF is.
|
||
Otherwise, returns clk_none. If TREAT_CLASS_RVALUES_AS_LVALUES is
|
||
non-zero, rvalues of class type are considered lvalues. */
|
||
|
||
static cp_lvalue_kind
|
||
lvalue_p_1 (ref, treat_class_rvalues_as_lvalues)
|
||
tree ref;
|
||
int treat_class_rvalues_as_lvalues;
|
||
{
|
||
cp_lvalue_kind op1_lvalue_kind = clk_none;
|
||
cp_lvalue_kind op2_lvalue_kind = clk_none;
|
||
|
||
if (TREE_CODE (TREE_TYPE (ref)) == REFERENCE_TYPE)
|
||
return clk_ordinary;
|
||
|
||
if (ref == current_class_ptr)
|
||
return clk_none;
|
||
|
||
switch (TREE_CODE (ref))
|
||
{
|
||
/* preincrements and predecrements are valid lvals, provided
|
||
what they refer to are valid lvals. */
|
||
case PREINCREMENT_EXPR:
|
||
case PREDECREMENT_EXPR:
|
||
case SAVE_EXPR:
|
||
case UNSAVE_EXPR:
|
||
case TRY_CATCH_EXPR:
|
||
case WITH_CLEANUP_EXPR:
|
||
case REALPART_EXPR:
|
||
case IMAGPART_EXPR:
|
||
/* This shouldn't be here, but there are lots of places in the compiler
|
||
that are sloppy about tacking on NOP_EXPRs to the same type when
|
||
no actual conversion is happening. */
|
||
case NOP_EXPR:
|
||
return lvalue_p_1 (TREE_OPERAND (ref, 0),
|
||
treat_class_rvalues_as_lvalues);
|
||
|
||
case COMPONENT_REF:
|
||
op1_lvalue_kind = lvalue_p_1 (TREE_OPERAND (ref, 0),
|
||
treat_class_rvalues_as_lvalues);
|
||
if (op1_lvalue_kind
|
||
/* The "field" can be a FUNCTION_DECL or an OVERLOAD in some
|
||
situations. */
|
||
&& TREE_CODE (TREE_OPERAND (ref, 1)) == FIELD_DECL
|
||
&& DECL_C_BIT_FIELD (TREE_OPERAND (ref, 1)))
|
||
{
|
||
/* Clear the ordinary bit. If this object was a class
|
||
rvalue we want to preserve that information. */
|
||
op1_lvalue_kind &= ~clk_ordinary;
|
||
/* The lvalue is for a btifield. */
|
||
op1_lvalue_kind |= clk_bitfield;
|
||
}
|
||
return op1_lvalue_kind;
|
||
|
||
case STRING_CST:
|
||
return clk_ordinary;
|
||
|
||
case VAR_DECL:
|
||
if (TREE_READONLY (ref) && ! TREE_STATIC (ref)
|
||
&& DECL_LANG_SPECIFIC (ref)
|
||
&& DECL_IN_AGGR_P (ref))
|
||
return clk_none;
|
||
case INDIRECT_REF:
|
||
case ARRAY_REF:
|
||
case PARM_DECL:
|
||
case RESULT_DECL:
|
||
if (TREE_CODE (TREE_TYPE (ref)) != METHOD_TYPE)
|
||
return clk_ordinary;
|
||
break;
|
||
|
||
/* A currently unresolved scope ref. */
|
||
case SCOPE_REF:
|
||
abort ();
|
||
case OFFSET_REF:
|
||
if (TREE_CODE (TREE_OPERAND (ref, 1)) == FUNCTION_DECL)
|
||
return clk_ordinary;
|
||
/* Fall through. */
|
||
case MAX_EXPR:
|
||
case MIN_EXPR:
|
||
op1_lvalue_kind = lvalue_p_1 (TREE_OPERAND (ref, 0),
|
||
treat_class_rvalues_as_lvalues);
|
||
op2_lvalue_kind = lvalue_p_1 (TREE_OPERAND (ref, 1),
|
||
treat_class_rvalues_as_lvalues);
|
||
break;
|
||
|
||
case COND_EXPR:
|
||
op1_lvalue_kind = lvalue_p_1 (TREE_OPERAND (ref, 1),
|
||
treat_class_rvalues_as_lvalues);
|
||
op2_lvalue_kind = lvalue_p_1 (TREE_OPERAND (ref, 2),
|
||
treat_class_rvalues_as_lvalues);
|
||
break;
|
||
|
||
case MODIFY_EXPR:
|
||
return clk_ordinary;
|
||
|
||
case COMPOUND_EXPR:
|
||
return lvalue_p_1 (TREE_OPERAND (ref, 1),
|
||
treat_class_rvalues_as_lvalues);
|
||
|
||
case TARGET_EXPR:
|
||
return treat_class_rvalues_as_lvalues ? clk_class : clk_none;
|
||
|
||
case CALL_EXPR:
|
||
case VA_ARG_EXPR:
|
||
return ((treat_class_rvalues_as_lvalues
|
||
&& IS_AGGR_TYPE (TREE_TYPE (ref)))
|
||
? clk_class : clk_none);
|
||
|
||
case FUNCTION_DECL:
|
||
/* All functions (except non-static-member functions) are
|
||
lvalues. */
|
||
return (DECL_NONSTATIC_MEMBER_FUNCTION_P (ref)
|
||
? clk_none : clk_ordinary);
|
||
|
||
default:
|
||
break;
|
||
}
|
||
|
||
/* If one operand is not an lvalue at all, then this expression is
|
||
not an lvalue. */
|
||
if (!op1_lvalue_kind || !op2_lvalue_kind)
|
||
return clk_none;
|
||
|
||
/* Otherwise, it's an lvalue, and it has all the odd properties
|
||
contributed by either operand. */
|
||
op1_lvalue_kind = op1_lvalue_kind | op2_lvalue_kind;
|
||
/* It's not an ordinary lvalue if it involves either a bit-field or
|
||
a class rvalue. */
|
||
if ((op1_lvalue_kind & ~clk_ordinary) != clk_none)
|
||
op1_lvalue_kind &= ~clk_ordinary;
|
||
return op1_lvalue_kind;
|
||
}
|
||
|
||
/* If REF is an lvalue, returns the kind of lvalue that REF is.
|
||
Otherwise, returns clk_none. Lvalues can be assigned, unless they
|
||
have TREE_READONLY, or unless they are FUNCTION_DECLs. Lvalues can
|
||
have their address taken, unless they have DECL_REGISTER. */
|
||
|
||
cp_lvalue_kind
|
||
real_lvalue_p (ref)
|
||
tree ref;
|
||
{
|
||
return lvalue_p_1 (ref, /*treat_class_rvalues_as_lvalues=*/0);
|
||
}
|
||
|
||
/* This differs from real_lvalue_p in that class rvalues are
|
||
considered lvalues. */
|
||
|
||
int
|
||
lvalue_p (ref)
|
||
tree ref;
|
||
{
|
||
return
|
||
(lvalue_p_1 (ref, /*treat_class_rvalues_as_lvalues=*/1) != clk_none);
|
||
}
|
||
|
||
/* Return nonzero if REF is an lvalue valid for this language;
|
||
otherwise, print an error message and return zero. */
|
||
|
||
int
|
||
lvalue_or_else (ref, string)
|
||
tree ref;
|
||
const char *string;
|
||
{
|
||
int win = lvalue_p (ref);
|
||
if (! win)
|
||
error ("non-lvalue in %s", string);
|
||
return win;
|
||
}
|
||
|
||
/* Build a TARGET_EXPR, initializing the DECL with the VALUE. */
|
||
|
||
static tree
|
||
build_target_expr (decl, value)
|
||
tree decl;
|
||
tree value;
|
||
{
|
||
tree t;
|
||
|
||
t = build (TARGET_EXPR, TREE_TYPE (decl), decl, value,
|
||
maybe_build_cleanup (decl), NULL_TREE);
|
||
/* We always set TREE_SIDE_EFFECTS so that expand_expr does not
|
||
ignore the TARGET_EXPR. If there really turn out to be no
|
||
side-effects, then the optimizer should be able to get rid of
|
||
whatever code is generated anyhow. */
|
||
TREE_SIDE_EFFECTS (t) = 1;
|
||
|
||
return t;
|
||
}
|
||
|
||
/* INIT is a CALL_EXPR which needs info about its target.
|
||
TYPE is the type that this initialization should appear to have.
|
||
|
||
Build an encapsulation of the initialization to perform
|
||
and return it so that it can be processed by language-independent
|
||
and language-specific expression expanders. */
|
||
|
||
tree
|
||
build_cplus_new (type, init)
|
||
tree type;
|
||
tree init;
|
||
{
|
||
tree fn;
|
||
tree slot;
|
||
tree rval;
|
||
|
||
/* Make sure that we're not trying to create an instance of an
|
||
abstract class. */
|
||
abstract_virtuals_error (NULL_TREE, type);
|
||
|
||
if (TREE_CODE (init) != CALL_EXPR && TREE_CODE (init) != AGGR_INIT_EXPR)
|
||
return convert (type, init);
|
||
|
||
slot = build (VAR_DECL, type);
|
||
DECL_ARTIFICIAL (slot) = 1;
|
||
DECL_CONTEXT (slot) = current_function_decl;
|
||
layout_decl (slot, 0);
|
||
|
||
/* We split the CALL_EXPR into its function and its arguments here.
|
||
Then, in expand_expr, we put them back together. The reason for
|
||
this is that this expression might be a default argument
|
||
expression. In that case, we need a new temporary every time the
|
||
expression is used. That's what break_out_target_exprs does; it
|
||
replaces every AGGR_INIT_EXPR with a copy that uses a fresh
|
||
temporary slot. Then, expand_expr builds up a call-expression
|
||
using the new slot. */
|
||
fn = TREE_OPERAND (init, 0);
|
||
rval = build (AGGR_INIT_EXPR, type, fn, TREE_OPERAND (init, 1), slot);
|
||
TREE_SIDE_EFFECTS (rval) = 1;
|
||
AGGR_INIT_VIA_CTOR_P (rval)
|
||
= (TREE_CODE (fn) == ADDR_EXPR
|
||
&& TREE_CODE (TREE_OPERAND (fn, 0)) == FUNCTION_DECL
|
||
&& DECL_CONSTRUCTOR_P (TREE_OPERAND (fn, 0)));
|
||
rval = build_target_expr (slot, rval);
|
||
|
||
return rval;
|
||
}
|
||
|
||
/* Buidl a TARGET_EXPR using INIT to initialize a new temporary of the
|
||
indicated TYPE. */
|
||
|
||
tree
|
||
build_target_expr_with_type (init, type)
|
||
tree init;
|
||
tree type;
|
||
{
|
||
tree slot;
|
||
tree rval;
|
||
|
||
if (TREE_CODE (init) == TARGET_EXPR)
|
||
return init;
|
||
|
||
slot = build (VAR_DECL, type);
|
||
DECL_ARTIFICIAL (slot) = 1;
|
||
DECL_CONTEXT (slot) = current_function_decl;
|
||
layout_decl (slot, 0);
|
||
rval = build_target_expr (slot, init);
|
||
|
||
return rval;
|
||
}
|
||
|
||
/* Like build_target_expr_with_type, but use the type of INIT. */
|
||
|
||
tree
|
||
get_target_expr (init)
|
||
tree init;
|
||
{
|
||
return build_target_expr_with_type (init, TREE_TYPE (init));
|
||
}
|
||
|
||
/* Recursively perform a preorder search EXP for CALL_EXPRs, making
|
||
copies where they are found. Returns a deep copy all nodes transitively
|
||
containing CALL_EXPRs. */
|
||
|
||
tree
|
||
break_out_calls (exp)
|
||
tree exp;
|
||
{
|
||
register tree t1, t2 = NULL_TREE;
|
||
register enum tree_code code;
|
||
register int changed = 0;
|
||
register int i;
|
||
|
||
if (exp == NULL_TREE)
|
||
return exp;
|
||
|
||
code = TREE_CODE (exp);
|
||
|
||
if (code == CALL_EXPR)
|
||
return copy_node (exp);
|
||
|
||
/* Don't try and defeat a save_expr, as it should only be done once. */
|
||
if (code == SAVE_EXPR)
|
||
return exp;
|
||
|
||
switch (TREE_CODE_CLASS (code))
|
||
{
|
||
default:
|
||
abort ();
|
||
|
||
case 'c': /* a constant */
|
||
case 't': /* a type node */
|
||
case 'x': /* something random, like an identifier or an ERROR_MARK. */
|
||
return exp;
|
||
|
||
case 'd': /* A decl node */
|
||
#if 0 /* This is bogus. jason 9/21/94 */
|
||
|
||
t1 = break_out_calls (DECL_INITIAL (exp));
|
||
if (t1 != DECL_INITIAL (exp))
|
||
{
|
||
exp = copy_node (exp);
|
||
DECL_INITIAL (exp) = t1;
|
||
}
|
||
#endif
|
||
return exp;
|
||
|
||
case 'b': /* A block node */
|
||
{
|
||
/* Don't know how to handle these correctly yet. Must do a
|
||
break_out_calls on all DECL_INITIAL values for local variables,
|
||
and also break_out_calls on all sub-blocks and sub-statements. */
|
||
abort ();
|
||
}
|
||
return exp;
|
||
|
||
case 'e': /* an expression */
|
||
case 'r': /* a reference */
|
||
case 's': /* an expression with side effects */
|
||
for (i = TREE_CODE_LENGTH (code) - 1; i >= 0; i--)
|
||
{
|
||
t1 = break_out_calls (TREE_OPERAND (exp, i));
|
||
if (t1 != TREE_OPERAND (exp, i))
|
||
{
|
||
exp = copy_node (exp);
|
||
TREE_OPERAND (exp, i) = t1;
|
||
}
|
||
}
|
||
return exp;
|
||
|
||
case '<': /* a comparison expression */
|
||
case '2': /* a binary arithmetic expression */
|
||
t2 = break_out_calls (TREE_OPERAND (exp, 1));
|
||
if (t2 != TREE_OPERAND (exp, 1))
|
||
changed = 1;
|
||
case '1': /* a unary arithmetic expression */
|
||
t1 = break_out_calls (TREE_OPERAND (exp, 0));
|
||
if (t1 != TREE_OPERAND (exp, 0))
|
||
changed = 1;
|
||
if (changed)
|
||
{
|
||
if (TREE_CODE_LENGTH (code) == 1)
|
||
return build1 (code, TREE_TYPE (exp), t1);
|
||
else
|
||
return build (code, TREE_TYPE (exp), t1, t2);
|
||
}
|
||
return exp;
|
||
}
|
||
|
||
}
|
||
|
||
/* Construct, lay out and return the type of methods belonging to class
|
||
BASETYPE and whose arguments are described by ARGTYPES and whose values
|
||
are described by RETTYPE. If each type exists already, reuse it. */
|
||
|
||
tree
|
||
build_cplus_method_type (basetype, rettype, argtypes)
|
||
tree basetype, rettype, argtypes;
|
||
{
|
||
register tree t;
|
||
tree ptype;
|
||
int hashcode;
|
||
|
||
/* Make a node of the sort we want. */
|
||
t = make_node (METHOD_TYPE);
|
||
|
||
TYPE_METHOD_BASETYPE (t) = TYPE_MAIN_VARIANT (basetype);
|
||
TREE_TYPE (t) = rettype;
|
||
ptype = build_pointer_type (basetype);
|
||
|
||
/* The actual arglist for this function includes a "hidden" argument
|
||
which is "this". Put it into the list of argument types. */
|
||
argtypes = tree_cons (NULL_TREE, ptype, argtypes);
|
||
TYPE_ARG_TYPES (t) = argtypes;
|
||
TREE_SIDE_EFFECTS (argtypes) = 1; /* Mark first argtype as "artificial". */
|
||
|
||
/* If we already have such a type, use the old one and free this one.
|
||
Note that it also frees up the above cons cell if found. */
|
||
hashcode = TYPE_HASH (basetype) + TYPE_HASH (rettype) +
|
||
type_hash_list (argtypes);
|
||
|
||
t = type_hash_canon (hashcode, t);
|
||
|
||
if (!COMPLETE_TYPE_P (t))
|
||
layout_type (t);
|
||
|
||
return t;
|
||
}
|
||
|
||
static tree
|
||
build_cplus_array_type_1 (elt_type, index_type)
|
||
tree elt_type;
|
||
tree index_type;
|
||
{
|
||
tree t;
|
||
|
||
if (elt_type == error_mark_node || index_type == error_mark_node)
|
||
return error_mark_node;
|
||
|
||
/* Don't do the minimal thing just because processing_template_decl is
|
||
set; we want to give string constants the right type immediately, so
|
||
we don't have to fix them up at instantiation time. */
|
||
if ((processing_template_decl
|
||
&& index_type && TYPE_MAX_VALUE (index_type)
|
||
&& TREE_CODE (TYPE_MAX_VALUE (index_type)) != INTEGER_CST)
|
||
|| uses_template_parms (elt_type)
|
||
|| uses_template_parms (index_type))
|
||
{
|
||
t = make_node (ARRAY_TYPE);
|
||
TREE_TYPE (t) = elt_type;
|
||
TYPE_DOMAIN (t) = index_type;
|
||
}
|
||
else
|
||
t = build_array_type (elt_type, index_type);
|
||
|
||
/* Push these needs up so that initialization takes place
|
||
more easily. */
|
||
TYPE_NEEDS_CONSTRUCTING (t)
|
||
= TYPE_NEEDS_CONSTRUCTING (TYPE_MAIN_VARIANT (elt_type));
|
||
TYPE_HAS_NONTRIVIAL_DESTRUCTOR (t)
|
||
= TYPE_HAS_NONTRIVIAL_DESTRUCTOR (TYPE_MAIN_VARIANT (elt_type));
|
||
return t;
|
||
}
|
||
|
||
tree
|
||
build_cplus_array_type (elt_type, index_type)
|
||
tree elt_type;
|
||
tree index_type;
|
||
{
|
||
tree t;
|
||
int type_quals = cp_type_quals (elt_type);
|
||
|
||
if (type_quals != TYPE_UNQUALIFIED)
|
||
elt_type = cp_build_qualified_type (elt_type, TYPE_UNQUALIFIED);
|
||
|
||
t = build_cplus_array_type_1 (elt_type, index_type);
|
||
|
||
if (type_quals != TYPE_UNQUALIFIED)
|
||
t = cp_build_qualified_type (t, type_quals);
|
||
|
||
return t;
|
||
}
|
||
|
||
/* Make a variant of TYPE, qualified with the TYPE_QUALS. Handles
|
||
arrays correctly. In particular, if TYPE is an array of T's, and
|
||
TYPE_QUALS is non-empty, returns an array of qualified T's.
|
||
|
||
FLAGS determines how to deal with illformed qualifications. If
|
||
tf_ignore_bad_quals is set, then bad qualifications are dropped
|
||
(this is permitted if TYPE was introduced via a typedef or template
|
||
type parameter). If bad qualifications are dropped and tf_warning
|
||
is set, then a warning is issued for non-const qualifications. If
|
||
tf_ignore_bad_quals is not set and tf_error is not set, we
|
||
return error_mark_node. Otherwise, we issue an error, and ignore
|
||
the qualifications.
|
||
|
||
Qualification of a reference type is valid when the reference came
|
||
via a typedef or template type argument. [dcl.ref] No such
|
||
dispensation is provided for qualifying a function type. [dcl.fct]
|
||
DR 295 queries this and the proposed resolution brings it into line
|
||
with qualifiying a reference. We implement the DR. We also behave
|
||
in a similar manner for restricting non-pointer types. */
|
||
|
||
tree
|
||
cp_build_qualified_type_real (type, type_quals, complain)
|
||
tree type;
|
||
int type_quals;
|
||
tsubst_flags_t complain;
|
||
{
|
||
tree result;
|
||
int bad_quals = TYPE_UNQUALIFIED;
|
||
|
||
if (type == error_mark_node)
|
||
return type;
|
||
|
||
if (type_quals == cp_type_quals (type))
|
||
return type;
|
||
|
||
/* A reference, fucntion or method type shall not be cv qualified.
|
||
[dcl.ref], [dct.fct] */
|
||
if (type_quals & (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE)
|
||
&& (TREE_CODE (type) == REFERENCE_TYPE
|
||
|| TREE_CODE (type) == FUNCTION_TYPE
|
||
|| TREE_CODE (type) == METHOD_TYPE))
|
||
{
|
||
bad_quals |= type_quals & (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE);
|
||
type_quals &= ~(TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE);
|
||
}
|
||
|
||
/* A restrict-qualified type must be a pointer (or reference)
|
||
to object or incomplete type. */
|
||
if ((type_quals & TYPE_QUAL_RESTRICT)
|
||
&& TREE_CODE (type) != TEMPLATE_TYPE_PARM
|
||
&& TREE_CODE (type) != TYPENAME_TYPE
|
||
&& !POINTER_TYPE_P (type))
|
||
{
|
||
bad_quals |= TYPE_QUAL_RESTRICT;
|
||
type_quals &= ~TYPE_QUAL_RESTRICT;
|
||
}
|
||
|
||
if (bad_quals == TYPE_UNQUALIFIED)
|
||
/*OK*/;
|
||
else if (!(complain & (tf_error | tf_ignore_bad_quals)))
|
||
return error_mark_node;
|
||
else
|
||
{
|
||
if (complain & tf_ignore_bad_quals)
|
||
/* We're not going to warn about constifying things that can't
|
||
be constified. */
|
||
bad_quals &= ~TYPE_QUAL_CONST;
|
||
if (bad_quals)
|
||
{
|
||
tree bad_type = build_qualified_type (ptr_type_node, bad_quals);
|
||
|
||
if (!(complain & tf_ignore_bad_quals))
|
||
error ("`%V' qualifiers cannot be applied to `%T'",
|
||
bad_type, type);
|
||
else if (complain & tf_warning)
|
||
warning ("ignoring `%V' qualifiers on `%T'", bad_type, type);
|
||
}
|
||
}
|
||
|
||
if (TREE_CODE (type) == ARRAY_TYPE)
|
||
{
|
||
/* In C++, the qualification really applies to the array element
|
||
type. Obtain the appropriately qualified element type. */
|
||
tree t;
|
||
tree element_type
|
||
= cp_build_qualified_type_real (TREE_TYPE (type),
|
||
type_quals,
|
||
complain);
|
||
|
||
if (element_type == error_mark_node)
|
||
return error_mark_node;
|
||
|
||
/* See if we already have an identically qualified type. */
|
||
t = get_qualified_type (type, type_quals);
|
||
|
||
/* If we didn't already have it, create it now. */
|
||
if (!t)
|
||
{
|
||
/* Make a new array type, just like the old one, but with the
|
||
appropriately qualified element type. */
|
||
t = build_type_copy (type);
|
||
TREE_TYPE (t) = element_type;
|
||
}
|
||
|
||
/* Even if we already had this variant, we update
|
||
TYPE_NEEDS_CONSTRUCTING and TYPE_HAS_NONTRIVIAL_DESTRUCTOR in case
|
||
they changed since the variant was originally created.
|
||
|
||
This seems hokey; if there is some way to use a previous
|
||
variant *without* coming through here,
|
||
TYPE_NEEDS_CONSTRUCTING will never be updated. */
|
||
TYPE_NEEDS_CONSTRUCTING (t)
|
||
= TYPE_NEEDS_CONSTRUCTING (TYPE_MAIN_VARIANT (element_type));
|
||
TYPE_HAS_NONTRIVIAL_DESTRUCTOR (t)
|
||
= TYPE_HAS_NONTRIVIAL_DESTRUCTOR (TYPE_MAIN_VARIANT (element_type));
|
||
return t;
|
||
}
|
||
else if (TYPE_PTRMEMFUNC_P (type))
|
||
{
|
||
/* For a pointer-to-member type, we can't just return a
|
||
cv-qualified version of the RECORD_TYPE. If we do, we
|
||
haven't changed the field that contains the actual pointer to
|
||
a method, and so TYPE_PTRMEMFUNC_FN_TYPE will be wrong. */
|
||
tree t;
|
||
|
||
t = TYPE_PTRMEMFUNC_FN_TYPE (type);
|
||
t = cp_build_qualified_type_real (t, type_quals, complain);
|
||
return build_ptrmemfunc_type (t);
|
||
}
|
||
|
||
/* Retrieve (or create) the appropriately qualified variant. */
|
||
result = build_qualified_type (type, type_quals);
|
||
|
||
/* If this was a pointer-to-method type, and we just made a copy,
|
||
then we need to clear the cached associated
|
||
pointer-to-member-function type; it is not valid for the new
|
||
type. */
|
||
if (result != type
|
||
&& TREE_CODE (type) == POINTER_TYPE
|
||
&& TREE_CODE (TREE_TYPE (type)) == METHOD_TYPE)
|
||
TYPE_SET_PTRMEMFUNC_TYPE (result, NULL_TREE);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* Returns the canonical version of TYPE. In other words, if TYPE is
|
||
a typedef, returns the underlying type. The cv-qualification of
|
||
the type returned matches the type input; they will always be
|
||
compatible types. */
|
||
|
||
tree
|
||
canonical_type_variant (t)
|
||
tree t;
|
||
{
|
||
return cp_build_qualified_type (TYPE_MAIN_VARIANT (t), cp_type_quals (t));
|
||
}
|
||
|
||
/* Makes new binfos for the indirect bases under BINFO, and updates
|
||
BINFO_OFFSET for them and their bases. */
|
||
|
||
void
|
||
unshare_base_binfos (binfo)
|
||
tree binfo;
|
||
{
|
||
tree binfos = BINFO_BASETYPES (binfo);
|
||
tree new_binfo;
|
||
int j;
|
||
|
||
if (binfos == NULL_TREE)
|
||
return;
|
||
|
||
/* Now unshare the structure beneath BINFO. */
|
||
for (j = TREE_VEC_LENGTH (binfos)-1;
|
||
j >= 0; j--)
|
||
{
|
||
tree base_binfo = TREE_VEC_ELT (binfos, j);
|
||
new_binfo = TREE_VEC_ELT (binfos, j)
|
||
= make_binfo (BINFO_OFFSET (base_binfo),
|
||
base_binfo,
|
||
BINFO_VTABLE (base_binfo),
|
||
BINFO_VIRTUALS (base_binfo));
|
||
TREE_VIA_PUBLIC (new_binfo) = TREE_VIA_PUBLIC (base_binfo);
|
||
TREE_VIA_PROTECTED (new_binfo) = TREE_VIA_PROTECTED (base_binfo);
|
||
TREE_VIA_VIRTUAL (new_binfo) = TREE_VIA_VIRTUAL (base_binfo);
|
||
BINFO_INHERITANCE_CHAIN (new_binfo) = binfo;
|
||
BINFO_PRIMARY_BASE_OF (new_binfo) = NULL_TREE;
|
||
unshare_base_binfos (new_binfo);
|
||
}
|
||
}
|
||
|
||
|
||
/* Hashing of lists so that we don't make duplicates.
|
||
The entry point is `list_hash_canon'. */
|
||
|
||
/* Now here is the hash table. When recording a list, it is added
|
||
to the slot whose index is the hash code mod the table size.
|
||
Note that the hash table is used for several kinds of lists.
|
||
While all these live in the same table, they are completely independent,
|
||
and the hash code is computed differently for each of these. */
|
||
|
||
static htab_t list_hash_table;
|
||
|
||
struct list_proxy
|
||
{
|
||
tree purpose;
|
||
tree value;
|
||
tree chain;
|
||
};
|
||
|
||
/* Compare ENTRY (an entry in the hash table) with DATA (a list_proxy
|
||
for a node we are thinking about adding). */
|
||
|
||
static int
|
||
list_hash_eq (entry, data)
|
||
const void *entry;
|
||
const void *data;
|
||
{
|
||
tree t = (tree) entry;
|
||
struct list_proxy *proxy = (struct list_proxy *) data;
|
||
|
||
return (TREE_VALUE (t) == proxy->value
|
||
&& TREE_PURPOSE (t) == proxy->purpose
|
||
&& TREE_CHAIN (t) == proxy->chain);
|
||
}
|
||
|
||
/* Compute a hash code for a list (chain of TREE_LIST nodes
|
||
with goodies in the TREE_PURPOSE, TREE_VALUE, and bits of the
|
||
TREE_COMMON slots), by adding the hash codes of the individual entries. */
|
||
|
||
static hashval_t
|
||
list_hash_pieces (purpose, value, chain)
|
||
tree purpose;
|
||
tree value;
|
||
tree chain;
|
||
{
|
||
hashval_t hashcode = 0;
|
||
|
||
if (chain)
|
||
hashcode += TYPE_HASH (chain);
|
||
|
||
if (value)
|
||
hashcode += TYPE_HASH (value);
|
||
else
|
||
hashcode += 1007;
|
||
if (purpose)
|
||
hashcode += TYPE_HASH (purpose);
|
||
else
|
||
hashcode += 1009;
|
||
return hashcode;
|
||
}
|
||
|
||
/* Hash an already existing TREE_LIST. */
|
||
|
||
static hashval_t
|
||
list_hash (p)
|
||
const void *p;
|
||
{
|
||
tree t = (tree) p;
|
||
return list_hash_pieces (TREE_PURPOSE (t),
|
||
TREE_VALUE (t),
|
||
TREE_CHAIN (t));
|
||
}
|
||
|
||
/* Given list components PURPOSE, VALUE, AND CHAIN, return the canonical
|
||
object for an identical list if one already exists. Otherwise, build a
|
||
new one, and record it as the canonical object. */
|
||
|
||
tree
|
||
hash_tree_cons (purpose, value, chain)
|
||
tree purpose, value, chain;
|
||
{
|
||
int hashcode = 0;
|
||
PTR* slot;
|
||
struct list_proxy proxy;
|
||
|
||
/* Hash the list node. */
|
||
hashcode = list_hash_pieces (purpose, value, chain);
|
||
/* Create a proxy for the TREE_LIST we would like to create. We
|
||
don't actually create it so as to avoid creating garbage. */
|
||
proxy.purpose = purpose;
|
||
proxy.value = value;
|
||
proxy.chain = chain;
|
||
/* See if it is already in the table. */
|
||
slot = htab_find_slot_with_hash (list_hash_table, &proxy, hashcode,
|
||
INSERT);
|
||
/* If not, create a new node. */
|
||
if (!*slot)
|
||
*slot = (PTR) tree_cons (purpose, value, chain);
|
||
return *slot;
|
||
}
|
||
|
||
/* Constructor for hashed lists. */
|
||
|
||
tree
|
||
hash_tree_chain (value, chain)
|
||
tree value, chain;
|
||
{
|
||
return hash_tree_cons (NULL_TREE, value, chain);
|
||
}
|
||
|
||
/* Similar, but used for concatenating two lists. */
|
||
|
||
tree
|
||
hash_chainon (list1, list2)
|
||
tree list1, list2;
|
||
{
|
||
if (list2 == 0)
|
||
return list1;
|
||
if (list1 == 0)
|
||
return list2;
|
||
if (TREE_CHAIN (list1) == NULL_TREE)
|
||
return hash_tree_chain (TREE_VALUE (list1), list2);
|
||
return hash_tree_chain (TREE_VALUE (list1),
|
||
hash_chainon (TREE_CHAIN (list1), list2));
|
||
}
|
||
|
||
/* Build an association between TYPE and some parameters:
|
||
|
||
OFFSET is the offset added to `this' to convert it to a pointer
|
||
of type `TYPE *'
|
||
|
||
BINFO is the base binfo to use, if we are deriving from one. This
|
||
is necessary, as we want specialized parent binfos from base
|
||
classes, so that the VTABLE_NAMEs of bases are for the most derived
|
||
type, instead of the simple type.
|
||
|
||
VTABLE is the virtual function table with which to initialize
|
||
sub-objects of type TYPE.
|
||
|
||
VIRTUALS are the virtual functions sitting in VTABLE. */
|
||
|
||
tree
|
||
make_binfo (offset, binfo, vtable, virtuals)
|
||
tree offset, binfo;
|
||
tree vtable, virtuals;
|
||
{
|
||
tree new_binfo = make_tree_vec (11);
|
||
tree type;
|
||
|
||
if (TREE_CODE (binfo) == TREE_VEC)
|
||
type = BINFO_TYPE (binfo);
|
||
else
|
||
{
|
||
type = binfo;
|
||
binfo = CLASS_TYPE_P (type) ? TYPE_BINFO (binfo) : NULL_TREE;
|
||
}
|
||
|
||
TREE_TYPE (new_binfo) = TYPE_MAIN_VARIANT (type);
|
||
BINFO_OFFSET (new_binfo) = offset;
|
||
BINFO_VTABLE (new_binfo) = vtable;
|
||
BINFO_VIRTUALS (new_binfo) = virtuals;
|
||
|
||
if (binfo && BINFO_BASETYPES (binfo) != NULL_TREE)
|
||
BINFO_BASETYPES (new_binfo) = copy_node (BINFO_BASETYPES (binfo));
|
||
return new_binfo;
|
||
}
|
||
|
||
/* Return a TREE_LIST whose TREE_VALUE nodes along the
|
||
BINFO_INHERITANCE_CHAIN for BINFO, but in the opposite order. In
|
||
other words, while the BINFO_INHERITANCE_CHAIN goes from base
|
||
classes to derived classes, the reversed path goes from derived
|
||
classes to base classes. */
|
||
|
||
tree
|
||
reverse_path (binfo)
|
||
tree binfo;
|
||
{
|
||
tree reversed_path;
|
||
|
||
reversed_path = NULL_TREE;
|
||
while (binfo)
|
||
{
|
||
reversed_path = tree_cons (NULL_TREE, binfo, reversed_path);
|
||
binfo = BINFO_INHERITANCE_CHAIN (binfo);
|
||
}
|
||
|
||
return reversed_path;
|
||
}
|
||
|
||
void
|
||
debug_binfo (elem)
|
||
tree elem;
|
||
{
|
||
HOST_WIDE_INT n;
|
||
tree virtuals;
|
||
|
||
fprintf (stderr, "type \"%s\", offset = ",
|
||
TYPE_NAME_STRING (BINFO_TYPE (elem)));
|
||
fprintf (stderr, HOST_WIDE_INT_PRINT_DEC,
|
||
TREE_INT_CST_LOW (BINFO_OFFSET (elem)));
|
||
fprintf (stderr, "\nvtable type:\n");
|
||
debug_tree (BINFO_TYPE (elem));
|
||
if (BINFO_VTABLE (elem))
|
||
fprintf (stderr, "vtable decl \"%s\"\n",
|
||
IDENTIFIER_POINTER (DECL_NAME (get_vtbl_decl_for_binfo (elem))));
|
||
else
|
||
fprintf (stderr, "no vtable decl yet\n");
|
||
fprintf (stderr, "virtuals:\n");
|
||
virtuals = BINFO_VIRTUALS (elem);
|
||
n = 0;
|
||
|
||
while (virtuals)
|
||
{
|
||
tree fndecl = TREE_VALUE (virtuals);
|
||
fprintf (stderr, "%s [%ld =? %ld]\n",
|
||
IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fndecl)),
|
||
(long) n, (long) TREE_INT_CST_LOW (DECL_VINDEX (fndecl)));
|
||
++n;
|
||
virtuals = TREE_CHAIN (virtuals);
|
||
}
|
||
}
|
||
|
||
int
|
||
count_functions (t)
|
||
tree t;
|
||
{
|
||
int i;
|
||
if (TREE_CODE (t) == FUNCTION_DECL)
|
||
return 1;
|
||
else if (TREE_CODE (t) == OVERLOAD)
|
||
{
|
||
for (i=0; t; t = OVL_CHAIN (t))
|
||
i++;
|
||
return i;
|
||
}
|
||
|
||
abort ();
|
||
return 0;
|
||
}
|
||
|
||
int
|
||
is_overloaded_fn (x)
|
||
tree x;
|
||
{
|
||
/* A baselink is also considered an overloaded function. */
|
||
if (TREE_CODE (x) == OFFSET_REF)
|
||
x = TREE_OPERAND (x, 1);
|
||
if (BASELINK_P (x))
|
||
x = TREE_VALUE (x);
|
||
return (TREE_CODE (x) == FUNCTION_DECL
|
||
|| TREE_CODE (x) == TEMPLATE_ID_EXPR
|
||
|| DECL_FUNCTION_TEMPLATE_P (x)
|
||
|| TREE_CODE (x) == OVERLOAD);
|
||
}
|
||
|
||
int
|
||
really_overloaded_fn (x)
|
||
tree x;
|
||
{
|
||
/* A baselink is also considered an overloaded function. */
|
||
if (TREE_CODE (x) == OFFSET_REF)
|
||
x = TREE_OPERAND (x, 1);
|
||
if (BASELINK_P (x))
|
||
x = TREE_VALUE (x);
|
||
return (TREE_CODE (x) == OVERLOAD
|
||
&& (TREE_CHAIN (x) != NULL_TREE
|
||
|| DECL_FUNCTION_TEMPLATE_P (OVL_FUNCTION (x))));
|
||
}
|
||
|
||
tree
|
||
get_first_fn (from)
|
||
tree from;
|
||
{
|
||
my_friendly_assert (is_overloaded_fn (from), 9);
|
||
/* A baselink is also considered an overloaded function. */
|
||
if (BASELINK_P (from))
|
||
from = TREE_VALUE (from);
|
||
return OVL_CURRENT (from);
|
||
}
|
||
|
||
/* Returns nonzero if T is a ->* or .* expression that refers to a
|
||
member function. */
|
||
|
||
int
|
||
bound_pmf_p (t)
|
||
tree t;
|
||
{
|
||
return (TREE_CODE (t) == OFFSET_REF
|
||
&& TYPE_PTRMEMFUNC_P (TREE_TYPE (TREE_OPERAND (t, 1))));
|
||
}
|
||
|
||
/* Return a new OVL node, concatenating it with the old one. */
|
||
|
||
tree
|
||
ovl_cons (decl, chain)
|
||
tree decl;
|
||
tree chain;
|
||
{
|
||
tree result = make_node (OVERLOAD);
|
||
TREE_TYPE (result) = unknown_type_node;
|
||
OVL_FUNCTION (result) = decl;
|
||
TREE_CHAIN (result) = chain;
|
||
|
||
return result;
|
||
}
|
||
|
||
/* Build a new overloaded function. If this is the first one,
|
||
just return it; otherwise, ovl_cons the _DECLs */
|
||
|
||
tree
|
||
build_overload (decl, chain)
|
||
tree decl;
|
||
tree chain;
|
||
{
|
||
if (! chain && TREE_CODE (decl) != TEMPLATE_DECL)
|
||
return decl;
|
||
if (chain && TREE_CODE (chain) != OVERLOAD)
|
||
chain = ovl_cons (chain, NULL_TREE);
|
||
return ovl_cons (decl, chain);
|
||
}
|
||
|
||
int
|
||
is_aggr_type_2 (t1, t2)
|
||
tree t1, t2;
|
||
{
|
||
if (TREE_CODE (t1) != TREE_CODE (t2))
|
||
return 0;
|
||
return IS_AGGR_TYPE (t1) && IS_AGGR_TYPE (t2);
|
||
}
|
||
|
||
/* Returns non-zero if CODE is the code for a statement. */
|
||
|
||
int
|
||
cp_statement_code_p (code)
|
||
enum tree_code code;
|
||
{
|
||
switch (code)
|
||
{
|
||
case SUBOBJECT:
|
||
case CTOR_STMT:
|
||
case CTOR_INITIALIZER:
|
||
case RETURN_INIT:
|
||
case TRY_BLOCK:
|
||
case HANDLER:
|
||
case EH_SPEC_BLOCK:
|
||
case USING_STMT:
|
||
case TAG_DEFN:
|
||
return 1;
|
||
|
||
default:
|
||
return 0;
|
||
}
|
||
}
|
||
|
||
#define PRINT_RING_SIZE 4
|
||
|
||
const char *
|
||
lang_printable_name (decl, v)
|
||
tree decl;
|
||
int v;
|
||
{
|
||
static tree decl_ring[PRINT_RING_SIZE];
|
||
static char *print_ring[PRINT_RING_SIZE];
|
||
static int ring_counter;
|
||
int i;
|
||
|
||
/* Only cache functions. */
|
||
if (v < 2
|
||
|| TREE_CODE (decl) != FUNCTION_DECL
|
||
|| DECL_LANG_SPECIFIC (decl) == 0)
|
||
return lang_decl_name (decl, v);
|
||
|
||
/* See if this print name is lying around. */
|
||
for (i = 0; i < PRINT_RING_SIZE; i++)
|
||
if (decl_ring[i] == decl)
|
||
/* yes, so return it. */
|
||
return print_ring[i];
|
||
|
||
if (++ring_counter == PRINT_RING_SIZE)
|
||
ring_counter = 0;
|
||
|
||
if (current_function_decl != NULL_TREE)
|
||
{
|
||
if (decl_ring[ring_counter] == current_function_decl)
|
||
ring_counter += 1;
|
||
if (ring_counter == PRINT_RING_SIZE)
|
||
ring_counter = 0;
|
||
if (decl_ring[ring_counter] == current_function_decl)
|
||
abort ();
|
||
}
|
||
|
||
if (print_ring[ring_counter])
|
||
free (print_ring[ring_counter]);
|
||
|
||
print_ring[ring_counter] = xstrdup (lang_decl_name (decl, v));
|
||
decl_ring[ring_counter] = decl;
|
||
return print_ring[ring_counter];
|
||
}
|
||
|
||
/* Build the FUNCTION_TYPE or METHOD_TYPE which may throw exceptions
|
||
listed in RAISES. */
|
||
|
||
tree
|
||
build_exception_variant (type, raises)
|
||
tree type;
|
||
tree raises;
|
||
{
|
||
tree v = TYPE_MAIN_VARIANT (type);
|
||
int type_quals = TYPE_QUALS (type);
|
||
|
||
for (; v; v = TYPE_NEXT_VARIANT (v))
|
||
if (TYPE_QUALS (v) == type_quals
|
||
&& comp_except_specs (raises, TYPE_RAISES_EXCEPTIONS (v), 1))
|
||
return v;
|
||
|
||
/* Need to build a new variant. */
|
||
v = build_type_copy (type);
|
||
TYPE_RAISES_EXCEPTIONS (v) = raises;
|
||
return v;
|
||
}
|
||
|
||
/* Given a TEMPLATE_TEMPLATE_PARM node T, create a new
|
||
BOUND_TEMPLATE_TEMPLATE_PARM bound with NEWARGS as its template
|
||
arguments. */
|
||
|
||
tree
|
||
bind_template_template_parm (t, newargs)
|
||
tree t;
|
||
tree newargs;
|
||
{
|
||
tree decl = TYPE_NAME (t);
|
||
tree t2;
|
||
|
||
t2 = make_aggr_type (BOUND_TEMPLATE_TEMPLATE_PARM);
|
||
decl = build_decl (TYPE_DECL, DECL_NAME (decl), NULL_TREE);
|
||
|
||
/* These nodes have to be created to reflect new TYPE_DECL and template
|
||
arguments. */
|
||
TEMPLATE_TYPE_PARM_INDEX (t2) = copy_node (TEMPLATE_TYPE_PARM_INDEX (t));
|
||
TEMPLATE_PARM_DECL (TEMPLATE_TYPE_PARM_INDEX (t2)) = decl;
|
||
TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO (t2)
|
||
= tree_cons (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL (t),
|
||
newargs, NULL_TREE);
|
||
|
||
TREE_TYPE (decl) = t2;
|
||
TYPE_NAME (t2) = decl;
|
||
TYPE_STUB_DECL (t2) = decl;
|
||
TYPE_SIZE (t2) = 0;
|
||
|
||
return t2;
|
||
}
|
||
|
||
/* Called from count_trees via walk_tree. */
|
||
|
||
static tree
|
||
count_trees_r (tp, walk_subtrees, data)
|
||
tree *tp ATTRIBUTE_UNUSED;
|
||
int *walk_subtrees ATTRIBUTE_UNUSED;
|
||
void *data;
|
||
{
|
||
++ *((int*) data);
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Debugging function for measuring the rough complexity of a tree
|
||
representation. */
|
||
|
||
int
|
||
count_trees (t)
|
||
tree t;
|
||
{
|
||
int n_trees = 0;
|
||
walk_tree_without_duplicates (&t, count_trees_r, &n_trees);
|
||
return n_trees;
|
||
}
|
||
|
||
/* Called from verify_stmt_tree via walk_tree. */
|
||
|
||
static tree
|
||
verify_stmt_tree_r (tp, walk_subtrees, data)
|
||
tree *tp;
|
||
int *walk_subtrees ATTRIBUTE_UNUSED;
|
||
void *data;
|
||
{
|
||
tree t = *tp;
|
||
htab_t *statements = (htab_t *) data;
|
||
void **slot;
|
||
|
||
if (!statement_code_p (TREE_CODE (t)))
|
||
return NULL_TREE;
|
||
|
||
/* If this statement is already present in the hash table, then
|
||
there is a circularity in the statement tree. */
|
||
if (htab_find (*statements, t))
|
||
abort ();
|
||
|
||
slot = htab_find_slot (*statements, t, INSERT);
|
||
*slot = t;
|
||
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Debugging function to check that the statement T has not been
|
||
corrupted. For now, this function simply checks that T contains no
|
||
circularities. */
|
||
|
||
void
|
||
verify_stmt_tree (t)
|
||
tree t;
|
||
{
|
||
htab_t statements;
|
||
statements = htab_create (37, htab_hash_pointer, htab_eq_pointer, NULL);
|
||
walk_tree (&t, verify_stmt_tree_r, &statements, NULL);
|
||
htab_delete (statements);
|
||
}
|
||
|
||
/* Called from find_tree via walk_tree. */
|
||
|
||
static tree
|
||
find_tree_r (tp, walk_subtrees, data)
|
||
tree *tp;
|
||
int *walk_subtrees ATTRIBUTE_UNUSED;
|
||
void *data;
|
||
{
|
||
if (*tp == (tree) data)
|
||
return (tree) data;
|
||
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Returns X if X appears in the tree structure rooted at T. */
|
||
|
||
tree
|
||
find_tree (t, x)
|
||
tree t;
|
||
tree x;
|
||
{
|
||
return walk_tree_without_duplicates (&t, find_tree_r, x);
|
||
}
|
||
|
||
/* Passed to walk_tree. Checks for the use of types with no linkage. */
|
||
|
||
static tree
|
||
no_linkage_helper (tp, walk_subtrees, data)
|
||
tree *tp;
|
||
int *walk_subtrees ATTRIBUTE_UNUSED;
|
||
void *data ATTRIBUTE_UNUSED;
|
||
{
|
||
tree t = *tp;
|
||
|
||
if (TYPE_P (t)
|
||
&& (CLASS_TYPE_P (t) || TREE_CODE (t) == ENUMERAL_TYPE)
|
||
&& (decl_function_context (TYPE_MAIN_DECL (t))
|
||
|| TYPE_ANONYMOUS_P (t)))
|
||
return t;
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Check if the type T depends on a type with no linkage and if so, return
|
||
it. */
|
||
|
||
tree
|
||
no_linkage_check (t)
|
||
tree t;
|
||
{
|
||
/* There's no point in checking linkage on template functions; we
|
||
can't know their complete types. */
|
||
if (processing_template_decl)
|
||
return NULL_TREE;
|
||
|
||
t = walk_tree_without_duplicates (&t, no_linkage_helper, NULL);
|
||
if (t != error_mark_node)
|
||
return t;
|
||
return NULL_TREE;
|
||
}
|
||
|
||
#ifdef GATHER_STATISTICS
|
||
extern int depth_reached;
|
||
#endif
|
||
|
||
void
|
||
cxx_print_statistics ()
|
||
{
|
||
print_search_statistics ();
|
||
print_class_statistics ();
|
||
#ifdef GATHER_STATISTICS
|
||
fprintf (stderr, "maximum template instantiation depth reached: %d\n",
|
||
depth_reached);
|
||
#endif
|
||
}
|
||
|
||
/* Return, as an INTEGER_CST node, the number of elements for TYPE
|
||
(which is an ARRAY_TYPE). This counts only elements of the top
|
||
array. */
|
||
|
||
tree
|
||
array_type_nelts_top (type)
|
||
tree type;
|
||
{
|
||
return fold (build (PLUS_EXPR, sizetype,
|
||
array_type_nelts (type),
|
||
integer_one_node));
|
||
}
|
||
|
||
/* Return, as an INTEGER_CST node, the number of elements for TYPE
|
||
(which is an ARRAY_TYPE). This one is a recursive count of all
|
||
ARRAY_TYPEs that are clumped together. */
|
||
|
||
tree
|
||
array_type_nelts_total (type)
|
||
tree type;
|
||
{
|
||
tree sz = array_type_nelts_top (type);
|
||
type = TREE_TYPE (type);
|
||
while (TREE_CODE (type) == ARRAY_TYPE)
|
||
{
|
||
tree n = array_type_nelts_top (type);
|
||
sz = fold (build (MULT_EXPR, sizetype, sz, n));
|
||
type = TREE_TYPE (type);
|
||
}
|
||
return sz;
|
||
}
|
||
|
||
/* Called from break_out_target_exprs via mapcar. */
|
||
|
||
static tree
|
||
bot_manip (tp, walk_subtrees, data)
|
||
tree *tp;
|
||
int *walk_subtrees;
|
||
void *data;
|
||
{
|
||
splay_tree target_remap = ((splay_tree) data);
|
||
tree t = *tp;
|
||
|
||
if (TREE_CONSTANT (t))
|
||
{
|
||
/* There can't be any TARGET_EXPRs or their slot variables below
|
||
this point. We used to check !TREE_SIDE_EFFECTS, but then we
|
||
failed to copy an ADDR_EXPR of the slot VAR_DECL. */
|
||
*walk_subtrees = 0;
|
||
return NULL_TREE;
|
||
}
|
||
if (TREE_CODE (t) == TARGET_EXPR)
|
||
{
|
||
tree u;
|
||
|
||
if (TREE_CODE (TREE_OPERAND (t, 1)) == AGGR_INIT_EXPR)
|
||
{
|
||
mark_used (TREE_OPERAND (TREE_OPERAND (TREE_OPERAND (t, 1), 0), 0));
|
||
u = build_cplus_new
|
||
(TREE_TYPE (t), break_out_target_exprs (TREE_OPERAND (t, 1)));
|
||
}
|
||
else
|
||
{
|
||
u = build_target_expr_with_type
|
||
(break_out_target_exprs (TREE_OPERAND (t, 1)), TREE_TYPE (t));
|
||
}
|
||
|
||
/* Map the old variable to the new one. */
|
||
splay_tree_insert (target_remap,
|
||
(splay_tree_key) TREE_OPERAND (t, 0),
|
||
(splay_tree_value) TREE_OPERAND (u, 0));
|
||
|
||
/* Replace the old expression with the new version. */
|
||
*tp = u;
|
||
/* We don't have to go below this point; the recursive call to
|
||
break_out_target_exprs will have handled anything below this
|
||
point. */
|
||
*walk_subtrees = 0;
|
||
return NULL_TREE;
|
||
}
|
||
else if (TREE_CODE (t) == CALL_EXPR)
|
||
mark_used (TREE_OPERAND (TREE_OPERAND (t, 0), 0));
|
||
|
||
/* Make a copy of this node. */
|
||
return copy_tree_r (tp, walk_subtrees, NULL);
|
||
}
|
||
|
||
/* Replace all remapped VAR_DECLs in T with their new equivalents.
|
||
DATA is really a splay-tree mapping old variables to new
|
||
variables. */
|
||
|
||
static tree
|
||
bot_replace (t, walk_subtrees, data)
|
||
tree *t;
|
||
int *walk_subtrees ATTRIBUTE_UNUSED;
|
||
void *data;
|
||
{
|
||
splay_tree target_remap = ((splay_tree) data);
|
||
|
||
if (TREE_CODE (*t) == VAR_DECL)
|
||
{
|
||
splay_tree_node n = splay_tree_lookup (target_remap,
|
||
(splay_tree_key) *t);
|
||
if (n)
|
||
*t = (tree) n->value;
|
||
}
|
||
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* When we parse a default argument expression, we may create
|
||
temporary variables via TARGET_EXPRs. When we actually use the
|
||
default-argument expression, we make a copy of the expression, but
|
||
we must replace the temporaries with appropriate local versions. */
|
||
|
||
tree
|
||
break_out_target_exprs (t)
|
||
tree t;
|
||
{
|
||
static int target_remap_count;
|
||
static splay_tree target_remap;
|
||
|
||
if (!target_remap_count++)
|
||
target_remap = splay_tree_new (splay_tree_compare_pointers,
|
||
/*splay_tree_delete_key_fn=*/NULL,
|
||
/*splay_tree_delete_value_fn=*/NULL);
|
||
walk_tree (&t, bot_manip, target_remap, NULL);
|
||
walk_tree (&t, bot_replace, target_remap, NULL);
|
||
|
||
if (!--target_remap_count)
|
||
{
|
||
splay_tree_delete (target_remap);
|
||
target_remap = NULL;
|
||
}
|
||
|
||
return t;
|
||
}
|
||
|
||
/* Obstack used for allocating nodes in template function and variable
|
||
definitions. */
|
||
|
||
/* Similar to `build_nt', except that we set TREE_COMPLEXITY to be the
|
||
current line number. */
|
||
|
||
tree
|
||
build_min_nt VPARAMS ((enum tree_code code, ...))
|
||
{
|
||
register tree t;
|
||
register int length;
|
||
register int i;
|
||
|
||
VA_OPEN (p, code);
|
||
VA_FIXEDARG (p, enum tree_code, code);
|
||
|
||
t = make_node (code);
|
||
length = TREE_CODE_LENGTH (code);
|
||
TREE_COMPLEXITY (t) = lineno;
|
||
|
||
for (i = 0; i < length; i++)
|
||
{
|
||
tree x = va_arg (p, tree);
|
||
TREE_OPERAND (t, i) = x;
|
||
}
|
||
|
||
VA_CLOSE (p);
|
||
return t;
|
||
}
|
||
|
||
/* Similar to `build', except we set TREE_COMPLEXITY to the current
|
||
line-number. */
|
||
|
||
tree
|
||
build_min VPARAMS ((enum tree_code code, tree tt, ...))
|
||
{
|
||
register tree t;
|
||
register int length;
|
||
register int i;
|
||
|
||
VA_OPEN (p, tt);
|
||
VA_FIXEDARG (p, enum tree_code, code);
|
||
VA_FIXEDARG (p, tree, tt);
|
||
|
||
t = make_node (code);
|
||
length = TREE_CODE_LENGTH (code);
|
||
TREE_TYPE (t) = tt;
|
||
TREE_COMPLEXITY (t) = lineno;
|
||
|
||
for (i = 0; i < length; i++)
|
||
{
|
||
tree x = va_arg (p, tree);
|
||
TREE_OPERAND (t, i) = x;
|
||
}
|
||
|
||
VA_CLOSE (p);
|
||
return t;
|
||
}
|
||
|
||
/* Returns an INTEGER_CST (of type `int') corresponding to I.
|
||
Multiple calls with the same value of I may or may not yield the
|
||
same node; therefore, callers should never modify the node
|
||
returned. */
|
||
|
||
tree
|
||
build_shared_int_cst (i)
|
||
int i;
|
||
{
|
||
static tree cache[256];
|
||
|
||
if (i >= 256)
|
||
return build_int_2 (i, 0);
|
||
|
||
if (!cache[i])
|
||
cache[i] = build_int_2 (i, 0);
|
||
|
||
return cache[i];
|
||
}
|
||
|
||
tree
|
||
get_type_decl (t)
|
||
tree t;
|
||
{
|
||
if (TREE_CODE (t) == TYPE_DECL)
|
||
return t;
|
||
if (TYPE_P (t))
|
||
return TYPE_STUB_DECL (t);
|
||
if (t == error_mark_node)
|
||
return t;
|
||
|
||
abort ();
|
||
|
||
/* Stop compiler from complaining control reaches end of non-void function. */
|
||
return 0;
|
||
}
|
||
|
||
/* Return first vector element whose BINFO_TYPE is ELEM.
|
||
Return 0 if ELEM is not in VEC. VEC may be NULL_TREE. */
|
||
|
||
tree
|
||
vec_binfo_member (elem, vec)
|
||
tree elem, vec;
|
||
{
|
||
int i;
|
||
|
||
if (vec)
|
||
for (i = 0; i < TREE_VEC_LENGTH (vec); ++i)
|
||
if (same_type_p (elem, BINFO_TYPE (TREE_VEC_ELT (vec, i))))
|
||
return TREE_VEC_ELT (vec, i);
|
||
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Returns the namespace that contains DECL, whether directly or
|
||
indirectly. */
|
||
|
||
tree
|
||
decl_namespace_context (decl)
|
||
tree decl;
|
||
{
|
||
while (1)
|
||
{
|
||
if (TREE_CODE (decl) == NAMESPACE_DECL)
|
||
return decl;
|
||
else if (TYPE_P (decl))
|
||
decl = CP_DECL_CONTEXT (TYPE_MAIN_DECL (decl));
|
||
else
|
||
decl = CP_DECL_CONTEXT (decl);
|
||
}
|
||
}
|
||
|
||
/* Return truthvalue of whether T1 is the same tree structure as T2.
|
||
Return 1 if they are the same.
|
||
Return 0 if they are understandably different.
|
||
Return -1 if either contains tree structure not understood by
|
||
this function. */
|
||
|
||
int
|
||
cp_tree_equal (t1, t2)
|
||
tree t1, t2;
|
||
{
|
||
register enum tree_code code1, code2;
|
||
int cmp;
|
||
|
||
if (t1 == t2)
|
||
return 1;
|
||
if (t1 == 0 || t2 == 0)
|
||
return 0;
|
||
|
||
code1 = TREE_CODE (t1);
|
||
code2 = TREE_CODE (t2);
|
||
|
||
if (code1 == NOP_EXPR || code1 == CONVERT_EXPR || code1 == NON_LVALUE_EXPR)
|
||
{
|
||
if (code2 == NOP_EXPR || code2 == CONVERT_EXPR || code2 == NON_LVALUE_EXPR)
|
||
return cp_tree_equal (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0));
|
||
else
|
||
return cp_tree_equal (TREE_OPERAND (t1, 0), t2);
|
||
}
|
||
else if (code2 == NOP_EXPR || code2 == CONVERT_EXPR
|
||
|| code2 == NON_LVALUE_EXPR)
|
||
return cp_tree_equal (t1, TREE_OPERAND (t2, 0));
|
||
|
||
if (code1 != code2)
|
||
return 0;
|
||
|
||
switch (code1)
|
||
{
|
||
case INTEGER_CST:
|
||
return TREE_INT_CST_LOW (t1) == TREE_INT_CST_LOW (t2)
|
||
&& TREE_INT_CST_HIGH (t1) == TREE_INT_CST_HIGH (t2);
|
||
|
||
case REAL_CST:
|
||
return REAL_VALUES_EQUAL (TREE_REAL_CST (t1), TREE_REAL_CST (t2));
|
||
|
||
case STRING_CST:
|
||
return TREE_STRING_LENGTH (t1) == TREE_STRING_LENGTH (t2)
|
||
&& !memcmp (TREE_STRING_POINTER (t1), TREE_STRING_POINTER (t2),
|
||
TREE_STRING_LENGTH (t1));
|
||
|
||
case CONSTRUCTOR:
|
||
/* We need to do this when determining whether or not two
|
||
non-type pointer to member function template arguments
|
||
are the same. */
|
||
if (!(same_type_p (TREE_TYPE (t1), TREE_TYPE (t2))
|
||
/* The first operand is RTL. */
|
||
&& TREE_OPERAND (t1, 0) == TREE_OPERAND (t2, 0)))
|
||
return 0;
|
||
return cp_tree_equal (TREE_OPERAND (t1, 1), TREE_OPERAND (t2, 1));
|
||
|
||
case TREE_LIST:
|
||
cmp = cp_tree_equal (TREE_PURPOSE (t1), TREE_PURPOSE (t2));
|
||
if (cmp <= 0)
|
||
return cmp;
|
||
cmp = cp_tree_equal (TREE_VALUE (t1), TREE_VALUE (t2));
|
||
if (cmp <= 0)
|
||
return cmp;
|
||
return cp_tree_equal (TREE_CHAIN (t1), TREE_CHAIN (t2));
|
||
|
||
case SAVE_EXPR:
|
||
return cp_tree_equal (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0));
|
||
|
||
case CALL_EXPR:
|
||
cmp = cp_tree_equal (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0));
|
||
if (cmp <= 0)
|
||
return cmp;
|
||
return simple_cst_list_equal (TREE_OPERAND (t1, 1), TREE_OPERAND (t2, 1));
|
||
|
||
case TARGET_EXPR:
|
||
/* Special case: if either target is an unallocated VAR_DECL,
|
||
it means that it's going to be unified with whatever the
|
||
TARGET_EXPR is really supposed to initialize, so treat it
|
||
as being equivalent to anything. */
|
||
if ((TREE_CODE (TREE_OPERAND (t1, 0)) == VAR_DECL
|
||
&& DECL_NAME (TREE_OPERAND (t1, 0)) == NULL_TREE
|
||
&& !DECL_RTL_SET_P (TREE_OPERAND (t1, 0)))
|
||
|| (TREE_CODE (TREE_OPERAND (t2, 0)) == VAR_DECL
|
||
&& DECL_NAME (TREE_OPERAND (t2, 0)) == NULL_TREE
|
||
&& !DECL_RTL_SET_P (TREE_OPERAND (t2, 0))))
|
||
cmp = 1;
|
||
else
|
||
cmp = cp_tree_equal (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0));
|
||
if (cmp <= 0)
|
||
return cmp;
|
||
return cp_tree_equal (TREE_OPERAND (t1, 1), TREE_OPERAND (t2, 1));
|
||
|
||
case WITH_CLEANUP_EXPR:
|
||
cmp = cp_tree_equal (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0));
|
||
if (cmp <= 0)
|
||
return cmp;
|
||
return cp_tree_equal (TREE_OPERAND (t1, 1), TREE_OPERAND (t1, 1));
|
||
|
||
case COMPONENT_REF:
|
||
if (TREE_OPERAND (t1, 1) == TREE_OPERAND (t2, 1))
|
||
return cp_tree_equal (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0));
|
||
return 0;
|
||
|
||
case VAR_DECL:
|
||
case PARM_DECL:
|
||
case CONST_DECL:
|
||
case FUNCTION_DECL:
|
||
return 0;
|
||
|
||
case TEMPLATE_PARM_INDEX:
|
||
return TEMPLATE_PARM_IDX (t1) == TEMPLATE_PARM_IDX (t2)
|
||
&& TEMPLATE_PARM_LEVEL (t1) == TEMPLATE_PARM_LEVEL (t2);
|
||
|
||
case SIZEOF_EXPR:
|
||
case ALIGNOF_EXPR:
|
||
if (TREE_CODE (TREE_OPERAND (t1, 0)) != TREE_CODE (TREE_OPERAND (t2, 0)))
|
||
return 0;
|
||
if (TYPE_P (TREE_OPERAND (t1, 0)))
|
||
return same_type_p (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0));
|
||
break;
|
||
|
||
case PTRMEM_CST:
|
||
/* Two pointer-to-members are the same if they point to the same
|
||
field or function in the same class. */
|
||
return (PTRMEM_CST_MEMBER (t1) == PTRMEM_CST_MEMBER (t2)
|
||
&& same_type_p (PTRMEM_CST_CLASS (t1), PTRMEM_CST_CLASS (t2)));
|
||
|
||
default:
|
||
break;
|
||
}
|
||
|
||
switch (TREE_CODE_CLASS (code1))
|
||
{
|
||
case '1':
|
||
case '2':
|
||
case '<':
|
||
case 'e':
|
||
case 'r':
|
||
case 's':
|
||
{
|
||
int i;
|
||
|
||
cmp = 1;
|
||
for (i = 0; i < TREE_CODE_LENGTH (code1); ++i)
|
||
{
|
||
cmp = cp_tree_equal (TREE_OPERAND (t1, i), TREE_OPERAND (t2, i));
|
||
if (cmp <= 0)
|
||
return cmp;
|
||
}
|
||
return cmp;
|
||
}
|
||
|
||
case 't':
|
||
return same_type_p (t1, t2) ? 1 : 0;
|
||
}
|
||
|
||
return -1;
|
||
}
|
||
|
||
/* Build a wrapper around some pointer PTR so we can use it as a tree. */
|
||
|
||
tree
|
||
build_ptr_wrapper (ptr)
|
||
void *ptr;
|
||
{
|
||
tree t = make_node (WRAPPER);
|
||
WRAPPER_PTR (t) = ptr;
|
||
return t;
|
||
}
|
||
|
||
/* Build a wrapper around some integer I so we can use it as a tree. */
|
||
|
||
tree
|
||
build_int_wrapper (i)
|
||
int i;
|
||
{
|
||
tree t = make_node (WRAPPER);
|
||
WRAPPER_INT (t) = i;
|
||
return t;
|
||
}
|
||
|
||
static tree
|
||
build_srcloc (file, line)
|
||
const char *file;
|
||
int line;
|
||
{
|
||
tree t;
|
||
|
||
t = make_node (SRCLOC);
|
||
SRCLOC_FILE (t) = file;
|
||
SRCLOC_LINE (t) = line;
|
||
|
||
return t;
|
||
}
|
||
|
||
tree
|
||
build_srcloc_here ()
|
||
{
|
||
return build_srcloc (input_filename, lineno);
|
||
}
|
||
|
||
/* The type of ARG when used as an lvalue. */
|
||
|
||
tree
|
||
lvalue_type (arg)
|
||
tree arg;
|
||
{
|
||
tree type = TREE_TYPE (arg);
|
||
if (TREE_CODE (arg) == OVERLOAD)
|
||
type = unknown_type_node;
|
||
return type;
|
||
}
|
||
|
||
/* The type of ARG for printing error messages; denote lvalues with
|
||
reference types. */
|
||
|
||
tree
|
||
error_type (arg)
|
||
tree arg;
|
||
{
|
||
tree type = TREE_TYPE (arg);
|
||
if (TREE_CODE (type) == ARRAY_TYPE)
|
||
;
|
||
else if (real_lvalue_p (arg))
|
||
type = build_reference_type (lvalue_type (arg));
|
||
else if (IS_AGGR_TYPE (type))
|
||
type = lvalue_type (arg);
|
||
|
||
return type;
|
||
}
|
||
|
||
/* Does FUNCTION use a variable-length argument list? */
|
||
|
||
int
|
||
varargs_function_p (function)
|
||
tree function;
|
||
{
|
||
tree parm = TYPE_ARG_TYPES (TREE_TYPE (function));
|
||
for (; parm; parm = TREE_CHAIN (parm))
|
||
if (TREE_VALUE (parm) == void_type_node)
|
||
return 0;
|
||
return 1;
|
||
}
|
||
|
||
/* Returns 1 if decl is a member of a class. */
|
||
|
||
int
|
||
member_p (decl)
|
||
tree decl;
|
||
{
|
||
const tree ctx = DECL_CONTEXT (decl);
|
||
return (ctx && TYPE_P (ctx));
|
||
}
|
||
|
||
/* Create a placeholder for member access where we don't actually have an
|
||
object that the access is against. */
|
||
|
||
tree
|
||
build_dummy_object (type)
|
||
tree type;
|
||
{
|
||
tree decl = build1 (NOP_EXPR, build_pointer_type (type), void_zero_node);
|
||
return build_indirect_ref (decl, NULL);
|
||
}
|
||
|
||
/* We've gotten a reference to a member of TYPE. Return *this if appropriate,
|
||
or a dummy object otherwise. If BINFOP is non-0, it is filled with the
|
||
binfo path from current_class_type to TYPE, or 0. */
|
||
|
||
tree
|
||
maybe_dummy_object (type, binfop)
|
||
tree type;
|
||
tree *binfop;
|
||
{
|
||
tree decl, context;
|
||
tree binfo;
|
||
|
||
if (current_class_type
|
||
&& (binfo = lookup_base (current_class_type, type,
|
||
ba_ignore | ba_quiet, NULL)))
|
||
context = current_class_type;
|
||
else
|
||
{
|
||
/* Reference from a nested class member function. */
|
||
context = type;
|
||
binfo = TYPE_BINFO (type);
|
||
}
|
||
|
||
if (binfop)
|
||
*binfop = binfo;
|
||
|
||
if (current_class_ref && context == current_class_type)
|
||
decl = current_class_ref;
|
||
else
|
||
decl = build_dummy_object (context);
|
||
|
||
return decl;
|
||
}
|
||
|
||
/* Returns 1 if OB is a placeholder object, or a pointer to one. */
|
||
|
||
int
|
||
is_dummy_object (ob)
|
||
tree ob;
|
||
{
|
||
if (TREE_CODE (ob) == INDIRECT_REF)
|
||
ob = TREE_OPERAND (ob, 0);
|
||
return (TREE_CODE (ob) == NOP_EXPR
|
||
&& TREE_OPERAND (ob, 0) == void_zero_node);
|
||
}
|
||
|
||
/* Returns 1 iff type T is a POD type, as defined in [basic.types]. */
|
||
|
||
int
|
||
pod_type_p (t)
|
||
tree t;
|
||
{
|
||
t = strip_array_types (t);
|
||
|
||
if (INTEGRAL_TYPE_P (t))
|
||
return 1; /* integral, character or enumeral type */
|
||
if (FLOAT_TYPE_P (t))
|
||
return 1;
|
||
if (TYPE_PTR_P (t))
|
||
return 1; /* pointer to non-member */
|
||
if (TYPE_PTRMEM_P (t))
|
||
return 1; /* pointer to member object */
|
||
if (TYPE_PTRMEMFUNC_P (t))
|
||
return 1; /* pointer to member function */
|
||
|
||
if (! CLASS_TYPE_P (t))
|
||
return 0; /* other non-class type (reference or function) */
|
||
if (CLASSTYPE_NON_POD_P (t))
|
||
return 0;
|
||
return 1;
|
||
}
|
||
|
||
/* Table of valid C++ attributes. */
|
||
const struct attribute_spec cp_attribute_table[] =
|
||
{
|
||
/* { name, min_len, max_len, decl_req, type_req, fn_type_req, handler } */
|
||
{ "java_interface", 0, 0, false, false, false, handle_java_interface_attribute },
|
||
{ "com_interface", 0, 0, false, false, false, handle_com_interface_attribute },
|
||
{ "init_priority", 1, 1, true, false, false, handle_init_priority_attribute },
|
||
{ NULL, 0, 0, false, false, false, NULL }
|
||
};
|
||
|
||
/* Handle a "java_interface" attribute; arguments as in
|
||
struct attribute_spec.handler. */
|
||
static tree
|
||
handle_java_interface_attribute (node, name, args, flags, no_add_attrs)
|
||
tree *node;
|
||
tree name;
|
||
tree args ATTRIBUTE_UNUSED;
|
||
int flags;
|
||
bool *no_add_attrs;
|
||
{
|
||
if (DECL_P (*node)
|
||
|| !CLASS_TYPE_P (*node)
|
||
|| !TYPE_FOR_JAVA (*node))
|
||
{
|
||
error ("`%s' attribute can only be applied to Java class definitions",
|
||
IDENTIFIER_POINTER (name));
|
||
*no_add_attrs = true;
|
||
return NULL_TREE;
|
||
}
|
||
if (!(flags & (int) ATTR_FLAG_TYPE_IN_PLACE))
|
||
*node = build_type_copy (*node);
|
||
TYPE_JAVA_INTERFACE (*node) = 1;
|
||
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Handle a "com_interface" attribute; arguments as in
|
||
struct attribute_spec.handler. */
|
||
static tree
|
||
handle_com_interface_attribute (node, name, args, flags, no_add_attrs)
|
||
tree *node;
|
||
tree name;
|
||
tree args ATTRIBUTE_UNUSED;
|
||
int flags ATTRIBUTE_UNUSED;
|
||
bool *no_add_attrs;
|
||
{
|
||
static int warned;
|
||
|
||
*no_add_attrs = true;
|
||
|
||
if (DECL_P (*node)
|
||
|| !CLASS_TYPE_P (*node)
|
||
|| *node != TYPE_MAIN_VARIANT (*node))
|
||
{
|
||
warning ("`%s' attribute can only be applied to class definitions",
|
||
IDENTIFIER_POINTER (name));
|
||
return NULL_TREE;
|
||
}
|
||
|
||
if (!warned++)
|
||
warning ("`%s' is obsolete; g++ vtables are now COM-compatible by default",
|
||
IDENTIFIER_POINTER (name));
|
||
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Handle an "init_priority" attribute; arguments as in
|
||
struct attribute_spec.handler. */
|
||
static tree
|
||
handle_init_priority_attribute (node, name, args, flags, no_add_attrs)
|
||
tree *node;
|
||
tree name;
|
||
tree args;
|
||
int flags ATTRIBUTE_UNUSED;
|
||
bool *no_add_attrs;
|
||
{
|
||
tree initp_expr = TREE_VALUE (args);
|
||
tree decl = *node;
|
||
tree type = TREE_TYPE (decl);
|
||
int pri;
|
||
|
||
STRIP_NOPS (initp_expr);
|
||
|
||
if (!initp_expr || TREE_CODE (initp_expr) != INTEGER_CST)
|
||
{
|
||
error ("requested init_priority is not an integer constant");
|
||
*no_add_attrs = true;
|
||
return NULL_TREE;
|
||
}
|
||
|
||
pri = TREE_INT_CST_LOW (initp_expr);
|
||
|
||
type = strip_array_types (type);
|
||
|
||
if (decl == NULL_TREE
|
||
|| TREE_CODE (decl) != VAR_DECL
|
||
|| !TREE_STATIC (decl)
|
||
|| DECL_EXTERNAL (decl)
|
||
|| (TREE_CODE (type) != RECORD_TYPE
|
||
&& TREE_CODE (type) != UNION_TYPE)
|
||
/* Static objects in functions are initialized the
|
||
first time control passes through that
|
||
function. This is not precise enough to pin down an
|
||
init_priority value, so don't allow it. */
|
||
|| current_function_decl)
|
||
{
|
||
error ("can only use `%s' attribute on file-scope definitions of objects of class type",
|
||
IDENTIFIER_POINTER (name));
|
||
*no_add_attrs = true;
|
||
return NULL_TREE;
|
||
}
|
||
|
||
if (pri > MAX_INIT_PRIORITY || pri <= 0)
|
||
{
|
||
error ("requested init_priority is out of range");
|
||
*no_add_attrs = true;
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Check for init_priorities that are reserved for
|
||
language and runtime support implementations.*/
|
||
if (pri <= MAX_RESERVED_INIT_PRIORITY)
|
||
{
|
||
warning
|
||
("requested init_priority is reserved for internal use");
|
||
}
|
||
|
||
if (SUPPORTS_INIT_PRIORITY)
|
||
{
|
||
DECL_INIT_PRIORITY (decl) = pri;
|
||
return NULL_TREE;
|
||
}
|
||
else
|
||
{
|
||
error ("`%s' attribute is not supported on this platform",
|
||
IDENTIFIER_POINTER (name));
|
||
*no_add_attrs = true;
|
||
return NULL_TREE;
|
||
}
|
||
}
|
||
|
||
/* Return a new PTRMEM_CST of the indicated TYPE. The MEMBER is the
|
||
thing pointed to by the constant. */
|
||
|
||
tree
|
||
make_ptrmem_cst (type, member)
|
||
tree type;
|
||
tree member;
|
||
{
|
||
tree ptrmem_cst = make_node (PTRMEM_CST);
|
||
/* If would seem a great convenience if make_node would set
|
||
TREE_CONSTANT for things of class `c', but it does not. */
|
||
TREE_CONSTANT (ptrmem_cst) = 1;
|
||
TREE_TYPE (ptrmem_cst) = type;
|
||
PTRMEM_CST_MEMBER (ptrmem_cst) = member;
|
||
return ptrmem_cst;
|
||
}
|
||
|
||
/* Apply FUNC to all language-specific sub-trees of TP in a pre-order
|
||
traversal. Called from walk_tree(). */
|
||
|
||
tree
|
||
cp_walk_subtrees (tp, walk_subtrees_p, func, data, htab)
|
||
tree *tp;
|
||
int *walk_subtrees_p;
|
||
walk_tree_fn func;
|
||
void *data;
|
||
void *htab;
|
||
{
|
||
enum tree_code code = TREE_CODE (*tp);
|
||
tree result;
|
||
|
||
#define WALK_SUBTREE(NODE) \
|
||
do \
|
||
{ \
|
||
result = walk_tree (&(NODE), func, data, htab); \
|
||
if (result) \
|
||
return result; \
|
||
} \
|
||
while (0)
|
||
|
||
/* Not one of the easy cases. We must explicitly go through the
|
||
children. */
|
||
switch (code)
|
||
{
|
||
case DEFAULT_ARG:
|
||
case TEMPLATE_TEMPLATE_PARM:
|
||
case BOUND_TEMPLATE_TEMPLATE_PARM:
|
||
case UNBOUND_CLASS_TEMPLATE:
|
||
case TEMPLATE_PARM_INDEX:
|
||
case TEMPLATE_TYPE_PARM:
|
||
case TYPENAME_TYPE:
|
||
case TYPEOF_TYPE:
|
||
/* None of thse have subtrees other than those already walked
|
||
above. */
|
||
*walk_subtrees_p = 0;
|
||
break;
|
||
|
||
case PTRMEM_CST:
|
||
WALK_SUBTREE (TREE_TYPE (*tp));
|
||
*walk_subtrees_p = 0;
|
||
break;
|
||
|
||
case TREE_LIST:
|
||
/* A BASELINK_P's TREE_PURPOSE is a BINFO, and hence circular. */
|
||
if (!BASELINK_P (*tp))
|
||
WALK_SUBTREE (TREE_PURPOSE (*tp));
|
||
break;
|
||
|
||
case OVERLOAD:
|
||
WALK_SUBTREE (OVL_FUNCTION (*tp));
|
||
WALK_SUBTREE (OVL_CHAIN (*tp));
|
||
*walk_subtrees_p = 0;
|
||
break;
|
||
|
||
case RECORD_TYPE:
|
||
if (TYPE_PTRMEMFUNC_P (*tp))
|
||
WALK_SUBTREE (TYPE_PTRMEMFUNC_FN_TYPE (*tp));
|
||
break;
|
||
|
||
default:
|
||
break;
|
||
}
|
||
|
||
/* We didn't find what we were looking for. */
|
||
return NULL_TREE;
|
||
|
||
#undef WALK_SUBTREE
|
||
}
|
||
|
||
/* Decide whether there are language-specific reasons to not inline a
|
||
function as a tree. */
|
||
|
||
int
|
||
cp_cannot_inline_tree_fn (fnp)
|
||
tree *fnp;
|
||
{
|
||
tree fn = *fnp;
|
||
|
||
if (flag_really_no_inline
|
||
&& lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)) == NULL)
|
||
return 1;
|
||
|
||
/* We can inline a template instantiation only if it's fully
|
||
instantiated. */
|
||
if (DECL_TEMPLATE_INFO (fn)
|
||
&& TI_PENDING_TEMPLATE_FLAG (DECL_TEMPLATE_INFO (fn)))
|
||
{
|
||
fn = *fnp = instantiate_decl (fn, /*defer_ok=*/0);
|
||
return TI_PENDING_TEMPLATE_FLAG (DECL_TEMPLATE_INFO (fn));
|
||
}
|
||
|
||
if (varargs_function_p (fn))
|
||
{
|
||
DECL_UNINLINABLE (fn) = 1;
|
||
return 1;
|
||
}
|
||
|
||
if (! function_attribute_inlinable_p (fn))
|
||
{
|
||
DECL_UNINLINABLE (fn) = 1;
|
||
return 1;
|
||
}
|
||
|
||
return 0;
|
||
}
|
||
|
||
/* Add any pending functions other than the current function (already
|
||
handled by the caller), that thus cannot be inlined, to FNS_P, then
|
||
return the latest function added to the array, PREV_FN. */
|
||
|
||
tree
|
||
cp_add_pending_fn_decls (fns_p, prev_fn)
|
||
void *fns_p;
|
||
tree prev_fn;
|
||
{
|
||
varray_type *fnsp = (varray_type *)fns_p;
|
||
struct saved_scope *s;
|
||
|
||
for (s = scope_chain; s; s = s->prev)
|
||
if (s->function_decl && s->function_decl != prev_fn)
|
||
{
|
||
VARRAY_PUSH_TREE (*fnsp, s->function_decl);
|
||
prev_fn = s->function_decl;
|
||
}
|
||
|
||
return prev_fn;
|
||
}
|
||
|
||
/* Determine whether a tree node is an OVERLOAD node. Used to decide
|
||
whether to copy a node or to preserve its chain when inlining a
|
||
function. */
|
||
|
||
int
|
||
cp_is_overload_p (t)
|
||
tree t;
|
||
{
|
||
return TREE_CODE (t) == OVERLOAD;
|
||
}
|
||
|
||
/* Determine whether VAR is a declaration of an automatic variable in
|
||
function FN. */
|
||
|
||
int
|
||
cp_auto_var_in_fn_p (var, fn)
|
||
tree var, fn;
|
||
{
|
||
return (DECL_P (var) && DECL_CONTEXT (var) == fn
|
||
&& nonstatic_local_decl_p (var));
|
||
}
|
||
|
||
/* Tell whether a declaration is needed for the RESULT of a function
|
||
FN being inlined into CALLER or if the top node of target_exprs is
|
||
to be used. */
|
||
|
||
tree
|
||
cp_copy_res_decl_for_inlining (result, fn, caller, decl_map_,
|
||
need_decl, target_exprs)
|
||
tree result, fn, caller;
|
||
void *decl_map_;
|
||
int *need_decl;
|
||
void *target_exprs;
|
||
{
|
||
splay_tree decl_map = (splay_tree)decl_map_;
|
||
varray_type *texps = (varray_type *)target_exprs;
|
||
tree var;
|
||
int aggregate_return_p;
|
||
|
||
/* Figure out whether or not FN returns an aggregate. */
|
||
aggregate_return_p = IS_AGGR_TYPE (TREE_TYPE (result));
|
||
*need_decl = ! aggregate_return_p;
|
||
|
||
/* If FN returns an aggregate then the caller will always create the
|
||
temporary (using a TARGET_EXPR) and the call will be the
|
||
initializing expression for the TARGET_EXPR. If we were just to
|
||
create a new VAR_DECL here, then the result of this function
|
||
would be copied (bitwise) into the variable initialized by the
|
||
TARGET_EXPR. That's incorrect, so we must transform any
|
||
references to the RESULT into references to the target. */
|
||
if (aggregate_return_p)
|
||
{
|
||
if (VARRAY_ACTIVE_SIZE (*texps) == 0)
|
||
abort ();
|
||
var = TREE_OPERAND (VARRAY_TOP_TREE (*texps), 0);
|
||
if (! same_type_ignoring_top_level_qualifiers_p (TREE_TYPE (var),
|
||
TREE_TYPE (result)))
|
||
abort ();
|
||
}
|
||
/* Otherwise, make an appropriate copy. */
|
||
else
|
||
var = copy_decl_for_inlining (result, fn, caller);
|
||
|
||
if (DECL_SAVED_FUNCTION_DATA (fn))
|
||
{
|
||
tree nrv = DECL_SAVED_FUNCTION_DATA (fn)->x_return_value;
|
||
if (nrv)
|
||
{
|
||
/* We have a named return value; copy the name and source
|
||
position so we can get reasonable debugging information, and
|
||
register the return variable as its equivalent. */
|
||
DECL_NAME (var) = DECL_NAME (nrv);
|
||
DECL_SOURCE_FILE (var) = DECL_SOURCE_FILE (nrv);
|
||
DECL_SOURCE_LINE (var) = DECL_SOURCE_LINE (nrv);
|
||
DECL_ABSTRACT_ORIGIN (var) = DECL_ORIGIN (nrv);
|
||
splay_tree_insert (decl_map,
|
||
(splay_tree_key) nrv,
|
||
(splay_tree_value) var);
|
||
}
|
||
}
|
||
|
||
return var;
|
||
}
|
||
|
||
/* Record that we're about to start inlining FN, and return non-zero if
|
||
that's OK. Used for lang_hooks.tree_inlining.start_inlining. */
|
||
|
||
int
|
||
cp_start_inlining (fn)
|
||
tree fn;
|
||
{
|
||
if (DECL_TEMPLATE_INSTANTIATION (fn))
|
||
return push_tinst_level (fn);
|
||
else
|
||
return 1;
|
||
}
|
||
|
||
/* Record that we're done inlining FN. Used for
|
||
lang_hooks.tree_inlining.end_inlining. */
|
||
|
||
void
|
||
cp_end_inlining (fn)
|
||
tree fn ATTRIBUTE_UNUSED;
|
||
{
|
||
if (DECL_TEMPLATE_INSTANTIATION (fn))
|
||
pop_tinst_level ();
|
||
}
|
||
|
||
/* Initialize tree.c. */
|
||
|
||
void
|
||
init_tree ()
|
||
{
|
||
make_lang_type_fn = cp_make_lang_type;
|
||
lang_unsave = cp_unsave;
|
||
lang_statement_code_p = cp_statement_code_p;
|
||
lang_set_decl_assembler_name = mangle_decl;
|
||
list_hash_table = htab_create (31, list_hash, list_hash_eq, NULL);
|
||
ggc_add_root (&list_hash_table, 1,
|
||
sizeof (list_hash_table),
|
||
mark_tree_hashtable);
|
||
}
|
||
|
||
/* Called via walk_tree. If *TP points to a DECL_STMT for a local
|
||
declaration, copies the declaration and enters it in the splay_tree
|
||
pointed to by DATA (which is really a `splay_tree *'). */
|
||
|
||
static tree
|
||
mark_local_for_remap_r (tp, walk_subtrees, data)
|
||
tree *tp;
|
||
int *walk_subtrees ATTRIBUTE_UNUSED;
|
||
void *data;
|
||
{
|
||
tree t = *tp;
|
||
splay_tree st = (splay_tree) data;
|
||
tree decl;
|
||
|
||
|
||
if (TREE_CODE (t) == DECL_STMT
|
||
&& nonstatic_local_decl_p (DECL_STMT_DECL (t)))
|
||
decl = DECL_STMT_DECL (t);
|
||
else if (TREE_CODE (t) == LABEL_STMT)
|
||
decl = LABEL_STMT_LABEL (t);
|
||
else if (TREE_CODE (t) == TARGET_EXPR
|
||
&& nonstatic_local_decl_p (TREE_OPERAND (t, 0)))
|
||
decl = TREE_OPERAND (t, 0);
|
||
else if (TREE_CODE (t) == CASE_LABEL)
|
||
decl = CASE_LABEL_DECL (t);
|
||
else
|
||
decl = NULL_TREE;
|
||
|
||
if (decl)
|
||
{
|
||
tree copy;
|
||
|
||
/* Make a copy. */
|
||
copy = copy_decl_for_inlining (decl,
|
||
DECL_CONTEXT (decl),
|
||
DECL_CONTEXT (decl));
|
||
|
||
/* Remember the copy. */
|
||
splay_tree_insert (st,
|
||
(splay_tree_key) decl,
|
||
(splay_tree_value) copy);
|
||
}
|
||
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Called via walk_tree when an expression is unsaved. Using the
|
||
splay_tree pointed to by ST (which is really a `splay_tree'),
|
||
remaps all local declarations to appropriate replacements. */
|
||
|
||
static tree
|
||
cp_unsave_r (tp, walk_subtrees, data)
|
||
tree *tp;
|
||
int *walk_subtrees;
|
||
void *data;
|
||
{
|
||
splay_tree st = (splay_tree) data;
|
||
splay_tree_node n;
|
||
|
||
/* Only a local declaration (variable or label). */
|
||
if (nonstatic_local_decl_p (*tp))
|
||
{
|
||
/* Lookup the declaration. */
|
||
n = splay_tree_lookup (st, (splay_tree_key) *tp);
|
||
|
||
/* If it's there, remap it. */
|
||
if (n)
|
||
*tp = (tree) n->value;
|
||
}
|
||
else if (TREE_CODE (*tp) == SAVE_EXPR)
|
||
remap_save_expr (tp, st, current_function_decl, walk_subtrees);
|
||
else
|
||
{
|
||
copy_tree_r (tp, walk_subtrees, NULL);
|
||
|
||
/* Do whatever unsaving is required. */
|
||
unsave_expr_1 (*tp);
|
||
}
|
||
|
||
/* Keep iterating. */
|
||
return NULL_TREE;
|
||
}
|
||
|
||
/* Called by unsave_expr_now whenever an expression (*TP) needs to be
|
||
unsaved. */
|
||
|
||
static void
|
||
cp_unsave (tp)
|
||
tree *tp;
|
||
{
|
||
splay_tree st;
|
||
|
||
/* Create a splay-tree to map old local variable declarations to new
|
||
ones. */
|
||
st = splay_tree_new (splay_tree_compare_pointers, NULL, NULL);
|
||
|
||
/* Walk the tree once figuring out what needs to be remapped. */
|
||
walk_tree (tp, mark_local_for_remap_r, st, NULL);
|
||
|
||
/* Walk the tree again, copying, remapping, and unsaving. */
|
||
walk_tree (tp, cp_unsave_r, st, NULL);
|
||
|
||
/* Clean up. */
|
||
splay_tree_delete (st);
|
||
}
|
||
|
||
/* Returns the kind of special function that DECL (a FUNCTION_DECL)
|
||
is. Note that this sfk_none is zero, so this function can be used
|
||
as a predicate to test whether or not DECL is a special function. */
|
||
|
||
special_function_kind
|
||
special_function_p (decl)
|
||
tree decl;
|
||
{
|
||
/* Rather than doing all this stuff with magic names, we should
|
||
probably have a field of type `special_function_kind' in
|
||
DECL_LANG_SPECIFIC. */
|
||
if (DECL_COPY_CONSTRUCTOR_P (decl))
|
||
return sfk_copy_constructor;
|
||
if (DECL_CONSTRUCTOR_P (decl))
|
||
return sfk_constructor;
|
||
if (DECL_OVERLOADED_OPERATOR_P (decl) == NOP_EXPR)
|
||
return sfk_assignment_operator;
|
||
if (DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P (decl))
|
||
return sfk_destructor;
|
||
if (DECL_COMPLETE_DESTRUCTOR_P (decl))
|
||
return sfk_complete_destructor;
|
||
if (DECL_BASE_DESTRUCTOR_P (decl))
|
||
return sfk_base_destructor;
|
||
if (DECL_DELETING_DESTRUCTOR_P (decl))
|
||
return sfk_deleting_destructor;
|
||
if (DECL_CONV_FN_P (decl))
|
||
return sfk_conversion;
|
||
|
||
return sfk_none;
|
||
}
|
||
|
||
/* Returns non-zero if TYPE is a character type, including wchar_t. */
|
||
|
||
int
|
||
char_type_p (type)
|
||
tree type;
|
||
{
|
||
return (same_type_p (type, char_type_node)
|
||
|| same_type_p (type, unsigned_char_type_node)
|
||
|| same_type_p (type, signed_char_type_node)
|
||
|| same_type_p (type, wchar_type_node));
|
||
}
|
||
|
||
/* Returns the kind of linkage associated with the indicated DECL. Th
|
||
value returned is as specified by the language standard; it is
|
||
independent of implementation details regarding template
|
||
instantiation, etc. For example, it is possible that a declaration
|
||
to which this function assigns external linkage would not show up
|
||
as a global symbol when you run `nm' on the resulting object file. */
|
||
|
||
linkage_kind
|
||
decl_linkage (decl)
|
||
tree decl;
|
||
{
|
||
/* This function doesn't attempt to calculate the linkage from first
|
||
principles as given in [basic.link]. Instead, it makes use of
|
||
the fact that we have already set TREE_PUBLIC appropriately, and
|
||
then handles a few special cases. Ideally, we would calculate
|
||
linkage first, and then transform that into a concrete
|
||
implementation. */
|
||
|
||
/* Things that don't have names have no linkage. */
|
||
if (!DECL_NAME (decl))
|
||
return lk_none;
|
||
|
||
/* Things that are TREE_PUBLIC have external linkage. */
|
||
if (TREE_PUBLIC (decl))
|
||
return lk_external;
|
||
|
||
/* Some things that are not TREE_PUBLIC have external linkage, too.
|
||
For example, on targets that don't have weak symbols, we make all
|
||
template instantiations have internal linkage (in the object
|
||
file), but the symbols should still be treated as having external
|
||
linkage from the point of view of the language. */
|
||
if (DECL_LANG_SPECIFIC (decl) && DECL_COMDAT (decl))
|
||
return lk_external;
|
||
|
||
/* Things in local scope do not have linkage, if they don't have
|
||
TREE_PUBLIC set. */
|
||
if (decl_function_context (decl))
|
||
return lk_none;
|
||
|
||
/* Everything else has internal linkage. */
|
||
return lk_internal;
|
||
}
|