OSDN Git Service

PR c++/28048
[pf3gnuchains/gcc-fork.git] / gcc / cp / expr.c
index fc22460..4039002 100644 (file)
@@ -1,28 +1,30 @@
 /* Convert language-specific tree expression to rtl instructions,
    for GNU compiler.
    Copyright (C) 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
-   2000, 2001 Free Software Foundation, Inc.
+   2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
 
-This file is part of GNU CC.
+This file is part of GCC.
 
-GNU CC is free software; you can redistribute it and/or modify
+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.
 
-GNU CC is distributed in the hope that it will be useful,
+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 GNU CC; see the file COPYING.  If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA.  */
+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.  */
 
 
 #include "config.h"
 #include "system.h"
+#include "coretypes.h"
+#include "tm.h"
 #include "rtl.h"
 #include "tree.h"
 #include "flags.h"
@@ -32,15 +34,11 @@ Boston, MA 02111-1307, USA.  */
 #include "except.h"
 #include "tm_p.h"
 
-static rtx cplus_expand_expr PARAMS ((tree, rtx, enum machine_mode,
-                                   enum expand_modifier));
-
 /* Hook used by output_constant to expand language-specific
    constants.  */
 
 tree
-cplus_expand_constant (cst)
-     tree cst;
+cplus_expand_constant (tree cst)
 {
   switch (TREE_CODE (cst))
     {
@@ -48,21 +46,32 @@ cplus_expand_constant (cst)
       {
        tree type = TREE_TYPE (cst);
        tree member;
-      
+
        /* Find the member.  */
        member = PTRMEM_CST_MEMBER (cst);
 
-       if (TREE_CODE (member) == FIELD_DECL) 
+       if (TREE_CODE (member) == FIELD_DECL)
          {
            /* Find the offset for the field.  */
-           tree offset = byte_position (member);
-           cst = fold (build1 (NOP_EXPR, type, offset));
+           cst = byte_position (member);
+           while (!same_type_p (DECL_CONTEXT (member),
+                                TYPE_PTRMEM_CLASS_TYPE (type)))
+             {
+               /* The MEMBER must have been nestled within an
+                  anonymous aggregate contained in TYPE.  Find the
+                  anonymous aggregate.  */
+               member = lookup_anon_field (TYPE_PTRMEM_CLASS_TYPE (type),
+                                           DECL_CONTEXT (member));
+               cst = size_binop (PLUS_EXPR, cst, byte_position (member));
+             }
+           cst = fold (build_nop (type, cst));
          }
        else
          {
-           tree delta, idx, pfn, delta2;
+           tree delta;
+           tree pfn;
 
-           expand_ptrmemfunc_cst (cst, &delta, &idx, &pfn, &delta2);
+           expand_ptrmemfunc_cst (cst, &delta, &pfn);
            cst = build_ptrmemfunc1 (type, delta, pfn);
          }
       }
@@ -77,17 +86,17 @@ cplus_expand_constant (cst)
 }
 
 /* Hook used by expand_expr to expand language-specific tree codes.  */
+/* ??? The only thing that should be here are things needed to expand
+   constant initializers; everything else should be handled by the
+   gimplification routines.  Are EMPTY_CLASS_EXPR or BASELINK needed?  */
 
-static rtx
-cplus_expand_expr (exp, target, tmode, modifier)
-     tree exp;
-     rtx target;
-     enum machine_mode tmode;
-     enum expand_modifier modifier;
+rtx
+cxx_expand_expr (tree exp, rtx target, enum machine_mode tmode, int modifier,
+                rtx *alt_rtl)
 {
   tree type = TREE_TYPE (exp);
-  register enum machine_mode mode = TYPE_MODE (type);
-  register enum tree_code code = TREE_CODE (exp);
+  enum machine_mode mode = TYPE_MODE (type);
+  enum tree_code code = TREE_CODE (exp);
 
   /* No sense saving up arithmetic to be done
      if it's all in the wrong mode to form part of an address.
@@ -103,39 +112,18 @@ cplus_expand_expr (exp, target, tmode, modifier)
                          target, tmode, modifier);
 
     case OFFSET_REF:
-      {
-       return expand_expr (default_conversion (resolve_offset_ref (exp)),
-                           target, tmode, EXPAND_NORMAL);
-      }
-
-    case THROW_EXPR:
-      expand_expr (TREE_OPERAND (exp, 0), const0_rtx, VOIDmode, 0);
-      expand_internal_throw ();
-      return NULL;
+      /* Offset refs should not make it through to here.  */
+      gcc_unreachable ();
 
     case EMPTY_CLASS_EXPR:
       /* We don't need to generate any code for an empty class.  */
       return const0_rtx;
 
+    case BASELINK:
+      return expand_expr (BASELINK_FUNCTIONS (exp), target, tmode,
+                         modifier);
+
     default:
-      return c_expand_expr (exp, target, tmode, modifier);
+      return c_expand_expr (exp, target, tmode, modifier, alt_rtl);
     }
-  my_friendly_abort (40);
-  /* NOTREACHED */
-  return NULL;
 }
-
-void
-init_cplus_expand ()
-{
-  lang_expand_expr = cplus_expand_expr;
-  lang_expand_constant = cplus_expand_constant;
-}
-
-int
-extract_init (decl, init)
-     tree decl ATTRIBUTE_UNUSED, init ATTRIBUTE_UNUSED;
-{
-  return 0;
-}
-