gcc/c-objc-common.c

   1 /* Some code common to C and ObjC front ends.
   2    Copyright (C) 2001, 2002, 2003, 2004, 2005, 2007 Free Software Foundation, Inc.
   3
   4 This file is part of GCC.
   5
   6 GCC is free software; you can redistribute it and/or modify it under
   7 the terms of the GNU General Public License as published by the Free
   8 Software Foundation; either version 3, or (at your option) any later
   9 version.
  10
  11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14 for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GCC; see the file COPYING3.  If not see
  18 <http://www.gnu.org/licenses/>.  */
  19
  20 #include "config.h"
  21 #include "system.h"
  22 #include "coretypes.h"
  23 #include "tm.h"
  24 #include "tree.h"
  25 #include "rtl.h"
  26 #include "insn-config.h"
  27 #include "integrate.h"
  28 #include "c-tree.h"
  29 #include "c-pretty-print.h"
  30 #include "function.h"
  31 #include "flags.h"
  32 #include "toplev.h"
  33 #include "diagnostic.h"
  34 #include "tree-inline.h"
  35 #include "varray.h"
  36 #include "ggc.h"
  37 #include "langhooks.h"
  38 #include "tree-mudflap.h"
  39 #include "target.h"
  40 #include "c-objc-common.h"
  41
  42 static bool c_tree_printer (pretty_printer *, text_info *, const char *,
  43                             int, bool, bool, bool);
  44
  45 bool
  46 c_missing_noreturn_ok_p (tree decl)
  47 {
  48   /* A missing noreturn is not ok for freestanding implementations and
  49      ok for the `main' function in hosted implementations.  */
  50   return flag_hosted && MAIN_NAME_P (DECL_ASSEMBLER_NAME (decl));
  51 }
  52
  53 /* Called from check_global_declarations.  */
  54
  55 bool
  56 c_warn_unused_global_decl (const_tree decl)
  57 {
  58   if (TREE_CODE (decl) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (decl))
  59     return false;
  60   if (DECL_IN_SYSTEM_HEADER (decl))
  61     return false;
  62
  63   return true;
  64 }
  65
  66 /* Initialization common to C and Objective-C front ends.  */
  67 bool
  68 c_objc_common_init (void)
  69 {
  70   c_init_decl_processing ();
  71
  72   if (c_common_init () == false)
  73     return false;
  74
  75   /* These were not defined in the Objective-C front end, but I'm
  76      putting them here anyway.  The diagnostic format decoder might
  77      want an enhanced ObjC implementation.  */
  78   diagnostic_format_decoder (global_dc) = &c_tree_printer;
  79
  80   return true;
  81 }
  82
  83 /* Called during diagnostic message formatting process to print a
  84    source-level entity onto BUFFER.  The meaning of the format specifiers
  85    is as follows:
  86    %D: a general decl,
  87    %E: an identifier or expression,
  88    %F: a function declaration,
  89    %T: a type.
  90
  91    These format specifiers form a subset of the format specifiers set used
  92    by the C++ front-end.
  93    Please notice when called, the `%' part was already skipped by the
  94    diagnostic machinery.  */
  95 static bool
  96 c_tree_printer (pretty_printer *pp, text_info *text, const char *spec,
  97                 int precision, bool wide, bool set_locus, bool hash)
  98 {
  99   tree t = va_arg (*text->args_ptr, tree);
 100   tree name;
 101   const char *n = "({anonymous})";
 102   c_pretty_printer *cpp = (c_pretty_printer *) pp;
 103   pp->padding = pp_none;
 104
 105   if (precision != 0 || wide || hash)
 106     return false;
 107
 108   if (set_locus && text->locus)
 109     *text->locus = DECL_SOURCE_LOCATION (t);
 110
 111   switch (*spec)
 112     {
 113     case 'D':
 114       if (DECL_DEBUG_EXPR_IS_FROM (t) && DECL_DEBUG_EXPR (t))
 115         {
 116           t = DECL_DEBUG_EXPR (t);
 117           if (!DECL_P (t))
 118             {
 119               pp_c_expression (cpp, t);
 120               return true;
 121             }
 122         }
 123       /* FALLTHRU */
 124
 125     case 'F':
 126       if (DECL_NAME (t))
 127         n = lang_hooks.decl_printable_name (t, 2);
 128       break;
 129
 130     case 'T':
 131       gcc_assert (TYPE_P (t));
 132       name = TYPE_NAME (t);
 133
 134       if (name && TREE_CODE (name) == TYPE_DECL)
 135         {
 136           if (DECL_NAME (name))
 137             pp_string (cpp, lang_hooks.decl_printable_name (name, 2));
 138           else
 139             pp_type_id (cpp, t);
 140           return true;
 141         }
 142       else
 143         {
 144           pp_type_id (cpp, t);
 145           return true;
 146         }
 147       break;
 148
 149     case 'E':
 150       if (TREE_CODE (t) == IDENTIFIER_NODE)
 151         n = IDENTIFIER_POINTER (t);
 152       else
 153         {
 154           pp_expression (cpp, t);
 155           return true;
 156         }
 157       break;
 158
 159     default:
 160       return false;
 161     }
 162
 163   pp_string (cpp, n);
 164   return true;
 165 }
 166
 167 /* In C and ObjC, all decls have "C" linkage.  */
 168 bool
 169 has_c_linkage (const_tree decl ATTRIBUTE_UNUSED)
 170 {
 171   return true;
 172 }
 173
 174 void
 175 c_initialize_diagnostics (diagnostic_context *context)
 176 {
 177   pretty_printer *base = context->printer;
 178   c_pretty_printer *pp = XNEW (c_pretty_printer);
 179   memcpy (pp_base (pp), base, sizeof (pretty_printer));
 180   pp_c_pretty_printer_init (pp);
 181   context->printer = (pretty_printer *) pp;
 182
 183   /* It is safe to free this object because it was previously XNEW()'d.  */
 184   XDELETE (base);
 185 }
 186
 187 int
 188 c_types_compatible_p (tree x, tree y)
 189 {
 190   return comptypes (TYPE_MAIN_VARIANT (x), TYPE_MAIN_VARIANT (y));
 191 }
 192
 193 /* Determine if the type is a vla type for the backend.  */
 194
 195 bool
 196 c_vla_unspec_p (tree x, tree fn ATTRIBUTE_UNUSED)
 197 {
 198   return c_vla_type_p (x);
 199 }