PR c++/42844

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

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

-   Copyright (C) 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
+   Copyright (C) 2001, 2002, 2003, 2004, 2005, 2007,
+   2009 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,32 +15,23 @@ 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 "coretypes.h"
 
 #include "config.h"
 #include "system.h"
 #include "coretypes.h"

-#include "tm.h"

 #include "tree.h"
 #include "tree.h"

-#include "rtl.h"
-#include "insn-config.h"
-#include "integrate.h"

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

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

 #include "flags.h"
 #include "flags.h"

-#include "toplev.h"

 #include "diagnostic.h"
 #include "diagnostic.h"

-#include "tree-inline.h"
-#include "varray.h"
-#include "ggc.h"

 #include "langhooks.h"
 #include "langhooks.h"

-#include "tree-mudflap.h"
-#include "target.h"
-#include "cgraph.h"
+#include "c-objc-common.h"

 
 

-static bool c_tree_printer (pretty_printer *, text_info *);
+static bool c_tree_printer (pretty_printer *, text_info *, const char *,
+                           int, bool, bool, bool);

 
 bool
 c_missing_noreturn_ok_p (tree decl)
 
 bool
 c_missing_noreturn_ok_p (tree decl)


@@ -49,97 +41,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 (!flag_really_no_inline && 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 ("%Jfunction '%F' can never be inlined because it "
-                "is suppressed using -fno-inline", 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 ("%Jfunction '%F' can never be inlined because it might not "
-                "be bound within this unit of translation", fn, fn);
-      goto cannot_inline;
-    }
-
-  if (! function_attribute_inlinable_p (fn))
-    {
-      if (do_warning)
-       warning ("%Jfunction '%F' can never be inlined because it uses "
-                "attributes conflicting with inlining", 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 ("%Jfunction '%F' can never be inlined because it has "
-                    "pending sizes", 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 ("%Jnested function '%F' can never be inlined because it "
-                    "has possibly saved pending sizes", 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;


@@ -153,12 +58,6 @@ 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)
   c_init_decl_processing ();
 
   if (c_common_init () == false)


@@ -169,85 +68,14 @@ c_objc_common_init (void)
      want an enhanced ObjC implementation.  */
   diagnostic_format_decoder (global_dc) = &c_tree_printer;
 
      want an enhanced ObjC implementation.  */
   diagnostic_format_decoder (global_dc) = &c_tree_printer;
 

-  /* 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;
 }
 

-/* Synthesize a function which calls all the global ctors or global dtors
-   in this file.  */
-static void
-build_cdtor (int method_type, tree cdtors)
-{
-  tree fnname = get_file_function_name (method_type);
-  tree body;
-  tree scope;
-  tree block;
-
-  start_function (void_list_node,
-                 build_nt (CALL_EXPR, fnname,
-                           tree_cons (NULL_TREE, NULL_TREE, void_list_node),
-                           NULL_TREE),
-                 NULL_TREE);
-  store_parm_decls ();
-
-  body = c_begin_compound_stmt ();
-  add_scope_stmt (/*begin_p=*/1, /*partial_p=*/0);
-
-  for (; cdtors; cdtors = TREE_CHAIN (cdtors))
-    add_stmt (build_stmt (EXPR_STMT,
-                         build_function_call (TREE_VALUE (cdtors), 0)));
-
-  scope = add_scope_stmt (/*begin_p=*/0, /*partial_p=*/0);
-
-  block = make_node (BLOCK);
-  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 (static_ctors)
-    {
-      build_cdtor ('I', static_ctors);
-      static_ctors = 0;
-    }
-  if (static_dtors)
-    {
-      build_cdtor ('D', static_dtors);
-      static_dtors = 0;
-    }
-
-  cgraph_finalize_compilation_unit ();
-  cgraph_optimize ();
-
-  if (flag_mudflap)
-    mudflap_finish_file ();
-}
-

 /* 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.
 


@@ -256,71 +84,106 @@ 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);

-  const char *n = "({anonymous})";
+  tree name;
+  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':
       if (DECL_NAME (t))
     case 'F':
       if (DECL_NAME (t))

-       n = lang_hooks.decl_printable_name (t, 2);
+       {
+         pp_identifier (cpp, lang_hooks.decl_printable_name (t, 2));
+         return true;
+       }

       break;
 
     case 'T':
       break;
 
     case 'T':

-      if (TYPE_P (t))
-       t = TYPE_NAME (t);
-      if (t && TREE_CODE (t) == TYPE_DECL)
+      gcc_assert (TYPE_P (t));
+      name = TYPE_NAME (t);
+
+      if (name && TREE_CODE (name) == TYPE_DECL)
+       {
+         if (DECL_NAME (name))
+           pp_identifier (cpp, lang_hooks.decl_printable_name (name, 2));
+         else
+           pp_type_id (cpp, t);
+         return true;
+       }
+      else

        {
        {

-         if (DECL_NAME (t))
-           n = lang_hooks.decl_printable_name (t, 2);
+         pp_type_id (cpp, t);
+         return true;

        }
        }

-      else if (t)
-       n = IDENTIFIER_POINTER (t);

       break;
 
     case 'E':
       if (TREE_CODE (t) == IDENTIFIER_NODE)
       break;
 
     case 'E':
       if (TREE_CODE (t) == IDENTIFIER_NODE)

-       n = IDENTIFIER_POINTER (t);
+       pp_identifier (cpp, IDENTIFIER_POINTER (t));

       else
       else

-        return false;
-      break;
+       pp_expression (cpp, t);
+      return true;

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

-  pp_string (pp, n);
+  pp_string (cpp, _("({anonymous})"));

   return true;
 }
 
   return true;
 }
 

-tree
-c_objc_common_truthvalue_conversion (tree expr)
+/* In C and ObjC, all decls have "C" linkage.  */
+bool
+has_c_linkage (const_tree decl ATTRIBUTE_UNUSED)

 {
 {

- retry:
-  switch (TREE_CODE (TREE_TYPE (expr)))
-    {
-    case ARRAY_TYPE:
-      expr = default_conversion (expr);
-      if (TREE_CODE (TREE_TYPE (expr)) != ARRAY_TYPE)
-       goto retry;
+  return true;
+}

 
 

-      error ("used array that cannot be converted to pointer where scalar is required");
-      return error_mark_node;
+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);
+}

 
 

-    case RECORD_TYPE:
-      error ("used struct type value where scalar is required");
-      return error_mark_node;
+int
+c_types_compatible_p (tree x, tree y)
+{
+  return comptypes (TYPE_MAIN_VARIANT (x), TYPE_MAIN_VARIANT (y));
+}

 
 

-    case UNION_TYPE:
-      error ("used union type value where scalar is required");
-      return error_mark_node;
-    default:
-      break;
-    }
+/* Determine if the type is a vla type for the backend.  */

 
 

-  return c_common_truthvalue_conversion (expr);
+bool
+c_vla_unspec_p (tree x, tree fn ATTRIBUTE_UNUSED)
+{
+  return c_vla_type_p (x);

 }
 }

-