contrib:

[pf3gnuchains/gcc-fork.git] / gcc / c-objc-common.c

diff --git a/gcc/c-objc-common.c b/gcc/c-objc-common.c
index 172346b..274f270 100644 (file)
--- a/gcc/c-objc-common.c
+++ b/gcc/c-objc-common.c
@@ -1,11 +1,11 @@
 /* Some code common to C and ObjC front ends.
 /* Some code common to C and ObjC front ends.

-   Copyright (C) 2001, 2002, 2003 Free Software Foundation, Inc.
+   Copyright (C) 2001, 2002, 2003, 2004, 2005, 2007 Free Software Foundation, Inc.

 
 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
 
 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
+Software Foundation; either version 3, or (at your option) any later

 version.
 
 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
 version.
 
 GCC is distributed in the hope that it will be useful, but WITHOUT ANY


@@ -14,9 +14,8 @@ 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
 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, 59 Temple Place - Suite 330, Boston, MA
-02111-1307, USA.  */
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */

 
 #include "config.h"
 #include "system.h"
 
 #include "config.h"
 #include "system.h"


@@ -26,8 +25,8 @@ Software Foundation, 59 Temple Place - Suite 330, Boston, MA
 #include "rtl.h"
 #include "insn-config.h"
 #include "integrate.h"
 #include "rtl.h"
 #include "insn-config.h"
 #include "integrate.h"

-#include "expr.h"

 #include "c-tree.h"
 #include "c-tree.h"

+#include "c-pretty-print.h"

 #include "function.h"
 #include "flags.h"
 #include "toplev.h"
 #include "function.h"
 #include "flags.h"
 #include "toplev.h"


@@ -36,14 +35,14 @@ Software Foundation, 59 Temple Place - Suite 330, Boston, MA
 #include "varray.h"
 #include "ggc.h"
 #include "langhooks.h"
 #include "varray.h"
 #include "ggc.h"
 #include "langhooks.h"

+#include "tree-mudflap.h"

 #include "target.h"
 #include "target.h"

-#include "cgraph.h"
+#include "c-objc-common.h"

 
 

-static bool c_tree_printer (pretty_printer *, text_info *);
-static tree start_cdtor (int);
-static void finish_cdtor (tree);
+static bool c_tree_printer (pretty_printer *, text_info *, const char *,
+                           int, bool, bool, bool);

 
 

-int
+bool

 c_missing_noreturn_ok_p (tree decl)
 {
   /* A missing noreturn is not ok for freestanding implementations and
 c_missing_noreturn_ok_p (tree decl)
 {
   /* A missing noreturn is not ok for freestanding implementations and


@@ -51,101 +50,10 @@ c_missing_noreturn_ok_p (tree decl)
   return flag_hosted && MAIN_NAME_P (DECL_ASSEMBLER_NAME (decl));
 }
 
   return flag_hosted && MAIN_NAME_P (DECL_ASSEMBLER_NAME (decl));
 }
 

-/* We want to inline `extern inline' functions even if this would
-   violate inlining limits.  Some glibc and linux constructs depend on
-   such functions always being inlined when optimizing.  */
-
-int
-c_disregard_inline_limits (tree fn)
-{
-  if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)) != NULL)
-    return 1;
-
-  return DECL_DECLARED_INLINE_P (fn) && DECL_EXTERNAL (fn);
-}
-
-int
-c_cannot_inline_tree_fn (tree *fnp)
-{
-  tree fn = *fnp;
-  tree t;
-  bool do_warning = (warn_inline
-                    && DECL_INLINE (fn)
-                    && DECL_DECLARED_INLINE_P (fn)
-                    && !DECL_IN_SYSTEM_HEADER (fn));
-
-  if (flag_really_no_inline
-      && lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)) == NULL)
-    {
-      if (do_warning)
-       warning ("%Hfunction '%F' can never be inlined because it "
-                "is supressed using -fno-inline",
-                &DECL_SOURCE_LOCATION (fn), fn);
-      goto cannot_inline;
-    }
-
-  /* Don't auto-inline anything that might not be bound within
-     this unit of translation.  */
-  if (!DECL_DECLARED_INLINE_P (fn) && !(*targetm.binds_local_p) (fn))
-    {
-      if (do_warning)
-       warning ("%Hfunction '%F' can never be inlined because it might not "
-                "be bound within this unit of translation",
-                &DECL_SOURCE_LOCATION (fn), fn);
-      goto cannot_inline;
-    }
-
-  if (! function_attribute_inlinable_p (fn))
-    {
-      if (do_warning)
-       warning ("%Hfunction '%F' can never be inlined because it uses "
-                "attributes conflicting with inlining",
-                &DECL_SOURCE_LOCATION (fn), fn);
-      goto cannot_inline;
-    }
-
-  /* If a function has pending sizes, we must not defer its
-     compilation, and we can't inline it as a tree.  */
-  if (fn == current_function_decl)
-    {
-      t = get_pending_sizes ();
-      put_pending_sizes (t);
-
-      if (t)
-       {
-         if (do_warning)
-           warning ("%Hfunction '%F' can never be inlined because it has "
-                    "pending sizes",
-                    &DECL_SOURCE_LOCATION (fn), fn);
-         goto cannot_inline;
-       }
-    }
-
-  if (! DECL_FILE_SCOPE_P (fn))
-    {
-      /* If a nested function has pending sizes, we may have already
-         saved them.  */
-      if (DECL_LANG_SPECIFIC (fn)->pending_sizes)
-       {
-         if (do_warning)
-           warning ("%Hnested function '%F' can never be inlined because it "
-                    "has possibly saved pending sizes",
-                    &DECL_SOURCE_LOCATION (fn), fn);
-         goto cannot_inline;
-       }
-    }
-
-  return 0;
-
- cannot_inline:
-  DECL_UNINLINABLE (fn) = 1;
-  return 1;
-}
-

 /* Called from check_global_declarations.  */
 
 bool
 /* Called from check_global_declarations.  */
 
 bool

-c_warn_unused_global_decl (tree decl)
+c_warn_unused_global_decl (const_tree decl)

 {
   if (TREE_CODE (decl) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (decl))
     return false;
 {
   if (TREE_CODE (decl) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (decl))
     return false;


@@ -159,134 +67,24 @@ c_warn_unused_global_decl (tree decl)
 bool
 c_objc_common_init (void)
 {
 bool
 c_objc_common_init (void)
 {

-  static const enum tree_code stmt_codes[] = {
-    c_common_stmt_codes
-  };
-
-  INIT_STATEMENT_CODES (stmt_codes);
-

   c_init_decl_processing ();
 
   if (c_common_init () == false)
     return false;
 
   c_init_decl_processing ();
 
   if (c_common_init () == false)
     return false;
 

-  lang_expand_decl_stmt = c_expand_decl_stmt;
-

   /* These were not defined in the Objective-C front end, but I'm
      putting them here anyway.  The diagnostic format decoder might
      want an enhanced ObjC implementation.  */
   diagnostic_format_decoder (global_dc) = &c_tree_printer;
   /* These were not defined in the Objective-C front end, but I'm
      putting them here anyway.  The diagnostic format decoder might
      want an enhanced ObjC implementation.  */
   diagnostic_format_decoder (global_dc) = &c_tree_printer;

-  lang_missing_noreturn_ok_p = &c_missing_noreturn_ok_p;
-
-  /* If still unspecified, make it match -std=c99
-     (allowing for -pedantic-errors).  */
-  if (mesg_implicit_function_declaration < 0)
-    {
-      if (flag_isoc99)
-       mesg_implicit_function_declaration = flag_pedantic_errors ? 2 : 1;
-      else
-       mesg_implicit_function_declaration = 0;
-    }

 
   return true;
 }
 
 
   return true;
 }
 

-static tree
-start_cdtor (int method_type)
-{
-  tree fnname = get_file_function_name (method_type);
-  tree void_list_node_1 = build_tree_list (NULL_TREE, void_type_node);
-  tree body;
-
-  start_function (void_list_node_1,
-                 build_nt (CALL_EXPR, fnname,
-                           tree_cons (NULL_TREE, NULL_TREE, void_list_node_1),
-                           NULL_TREE),
-                 NULL_TREE);
-  store_parm_decls ();
-
-  current_function_cannot_inline
-    = "static constructors and destructors cannot be inlined";
-
-  body = c_begin_compound_stmt ();
-
-  pushlevel (0);
-  clear_last_expr ();
-  add_scope_stmt (/*begin_p=*/1, /*partial_p=*/0);
-
-  return body;
-}
-
-static void
-finish_cdtor (tree body)
-{
-  tree scope;
-  tree block;
-
-  scope = add_scope_stmt (/*begin_p=*/0, /*partial_p=*/0);
-  block = poplevel (0, 0, 0);
-  SCOPE_STMT_BLOCK (TREE_PURPOSE (scope)) = block;
-  SCOPE_STMT_BLOCK (TREE_VALUE (scope)) = block;
-
-  RECHAIN_STMTS (body, COMPOUND_BODY (body));
-
-  finish_function ();
-}
-
-/* Called at end of parsing, but before end-of-file processing.  */
-
-void
-c_objc_common_finish_file (void)
-{
-  if (pch_file)
-    c_common_write_pch ();
-
-  /* If multiple translation units were built, copy information between
-     them based on linkage rules.  */
-  merge_translation_unit_decls ();
-
-  cgraph_finalize_compilation_unit ();
-  cgraph_optimize ();
-
-  if (static_ctors)
-    {
-      tree body = start_cdtor ('I');
-
-      for (; static_ctors; static_ctors = TREE_CHAIN (static_ctors))
-       c_expand_expr_stmt (build_function_call (TREE_VALUE (static_ctors),
-                                                NULL_TREE));
-
-      finish_cdtor (body);
-    }
-
-  if (static_dtors)
-    {
-      tree body = start_cdtor ('D');
-
-      for (; static_dtors; static_dtors = TREE_CHAIN (static_dtors))
-       c_expand_expr_stmt (build_function_call (TREE_VALUE (static_dtors),
-                                                NULL_TREE));
-
-      finish_cdtor (body);
-    }
-
-  {
-    int flags;
-    FILE *stream = dump_begin (TDI_all, &flags);
-
-    if (stream)
-      {
-       dump_node (getdecls (), flags & ~TDF_SLIM, stream);
-       dump_end (TDI_all, stream);
-      }
-  }
-}
-

 /* Called during diagnostic message formatting process to print a
    source-level entity onto BUFFER.  The meaning of the format specifiers
    is as follows:
    %D: a general decl,
 /* Called during diagnostic message formatting process to print a
    source-level entity onto BUFFER.  The meaning of the format specifiers
    is as follows:
    %D: a general decl,

-   %E: An expression,
+   %E: an identifier or expression,

    %F: a function declaration,
    %T: a type.
 
    %F: a function declaration,
    %T: a type.
 


@@ -295,32 +93,107 @@ c_objc_common_finish_file (void)
    Please notice when called, the `%' part was already skipped by the
    diagnostic machinery.  */
 static bool
    Please notice when called, the `%' part was already skipped by the
    diagnostic machinery.  */
 static bool

-c_tree_printer (pretty_printer *pp, text_info *text)
+c_tree_printer (pretty_printer *pp, text_info *text, const char *spec,
+               int precision, bool wide, bool set_locus, bool hash)

 {
   tree t = va_arg (*text->args_ptr, tree);
 {
   tree t = va_arg (*text->args_ptr, tree);

+  tree name;
+  const char *n = "({anonymous})";
+  c_pretty_printer *cpp = (c_pretty_printer *) pp;
+  pp->padding = pp_none;
+
+  if (precision != 0 || wide || hash)
+    return false;

 
 

-  switch (*text->format_spec)
+  if (set_locus && text->locus)
+    *text->locus = DECL_SOURCE_LOCATION (t);
+
+  switch (*spec)

     {
     case 'D':
     {
     case 'D':

+      if (DECL_DEBUG_EXPR_IS_FROM (t) && DECL_DEBUG_EXPR (t))
+       {
+         t = DECL_DEBUG_EXPR (t);
+         if (!DECL_P (t))
+           {
+             pp_c_expression (cpp, t);
+             return true;
+           }
+       }
+      /* FALLTHRU */
+

     case 'F':
     case 'F':

+      if (DECL_NAME (t))
+       n = lang_hooks.decl_printable_name (t, 2);
+      break;
+

     case 'T':
     case 'T':

-      {
-        const char *n = DECL_NAME (t)
-          ? (*lang_hooks.decl_printable_name) (t, 2)
-          : "({anonymous})";
-        pp_string (pp, n);
-      }
-      return true;
+      gcc_assert (TYPE_P (t));
+      name = TYPE_NAME (t);
+
+      if (name && TREE_CODE (name) == TYPE_DECL)
+       {
+         if (DECL_NAME (name))
+           pp_string (cpp, lang_hooks.decl_printable_name (name, 2));
+         else
+           pp_type_id (cpp, t);
+         return true;
+       }
+      else
+       {
+         pp_type_id (cpp, t);
+         return true;
+       }
+      break;

 
     case 'E':
 
     case 'E':

-       if (TREE_CODE (t) == IDENTIFIER_NODE)
-         {
-           pp_string (pp, IDENTIFIER_POINTER (t));
-           return true;
-         }
-       return false;
+      if (TREE_CODE (t) == IDENTIFIER_NODE)
+       n = IDENTIFIER_POINTER (t);
+      else
+       {
+         pp_expression (cpp, t);
+         return true;
+       }
+      break;

 
     default:
       return false;
     }
 
     default:
       return false;
     }

+
+  pp_string (cpp, n);
+  return true;
+}
+
+/* In C and ObjC, all decls have "C" linkage.  */
+bool
+has_c_linkage (const_tree decl ATTRIBUTE_UNUSED)
+{
+  return true;
+}
+
+void
+c_initialize_diagnostics (diagnostic_context *context)
+{
+  pretty_printer *base = context->printer;
+  c_pretty_printer *pp = XNEW (c_pretty_printer);
+  memcpy (pp_base (pp), base, sizeof (pretty_printer));
+  pp_c_pretty_printer_init (pp);
+  context->printer = (pretty_printer *) pp;
+
+  /* It is safe to free this object because it was previously XNEW()'d.  */
+  XDELETE (base);
+}
+
+int
+c_types_compatible_p (tree x, tree y)
+{
+  return comptypes (TYPE_MAIN_VARIANT (x), TYPE_MAIN_VARIANT (y));
+}
+
+/* Determine if the type is a vla type for the backend.  */
+
+bool
+c_vla_unspec_p (tree x, tree fn ATTRIBUTE_UNUSED)
+{
+  return c_vla_type_p (x);

 }
 }