OSDN Git Service

PR c/44051
[pf3gnuchains/gcc-fork.git] / gcc / c-objc-common.c
1 /* Some code common to C and ObjC front ends.
2    Copyright (C) 2001, 2002, 2003, 2004, 2005, 2007,
3    2009 Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3.  If not see
19 <http://www.gnu.org/licenses/>.  */
20
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "tm.h"
25 #include "tree.h"
26 #include "rtl.h"
27 #include "insn-config.h"
28 #include "integrate.h"
29 #include "c-tree.h"
30 #include "intl.h"
31 #include "c-pretty-print.h"
32 #include "function.h"
33 #include "flags.h"
34 #include "toplev.h"
35 #include "diagnostic.h"
36 #include "tree-inline.h"
37 #include "ggc.h"
38 #include "langhooks.h"
39 #include "tree-mudflap.h"
40 #include "target.h"
41 #include "c-objc-common.h"
42
43 static bool c_tree_printer (pretty_printer *, text_info *, const char *,
44                             int, bool, bool, bool);
45
46 bool
47 c_missing_noreturn_ok_p (tree decl)
48 {
49   /* A missing noreturn is not ok for freestanding implementations and
50      ok for the `main' function in hosted implementations.  */
51   return flag_hosted && MAIN_NAME_P (DECL_ASSEMBLER_NAME (decl));
52 }
53
54 /* Called from check_global_declarations.  */
55
56 bool
57 c_warn_unused_global_decl (const_tree decl)
58 {
59   if (TREE_CODE (decl) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (decl))
60     return false;
61   if (DECL_IN_SYSTEM_HEADER (decl))
62     return false;
63
64   return true;
65 }
66
67 /* Initialization common to C and Objective-C front ends.  */
68 bool
69 c_objc_common_init (void)
70 {
71   c_init_decl_processing ();
72
73   if (c_common_init () == false)
74     return false;
75
76   /* These were not defined in the Objective-C front end, but I'm
77      putting them here anyway.  The diagnostic format decoder might
78      want an enhanced ObjC implementation.  */
79   diagnostic_format_decoder (global_dc) = &c_tree_printer;
80
81   return true;
82 }
83
84 /* Called during diagnostic message formatting process to print a
85    source-level entity onto BUFFER.  The meaning of the format specifiers
86    is as follows:
87    %D: a general decl,
88    %E: an identifier or expression,
89    %F: a function declaration,
90    %T: a type.
91
92    These format specifiers form a subset of the format specifiers set used
93    by the C++ front-end.
94    Please notice when called, the `%' part was already skipped by the
95    diagnostic machinery.  */
96 static bool
97 c_tree_printer (pretty_printer *pp, text_info *text, const char *spec,
98                 int precision, bool wide, bool set_locus, bool hash)
99 {
100   tree t = va_arg (*text->args_ptr, tree);
101   tree name;
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         {
128           pp_identifier (cpp, lang_hooks.decl_printable_name (t, 2));
129           return true;
130         }
131       break;
132
133     case 'T':
134       gcc_assert (TYPE_P (t));
135       name = TYPE_NAME (t);
136
137       if (name && TREE_CODE (name) == TYPE_DECL)
138         {
139           if (DECL_NAME (name))
140             pp_identifier (cpp, lang_hooks.decl_printable_name (name, 2));
141           else
142             pp_type_id (cpp, t);
143           return true;
144         }
145       else
146         {
147           pp_type_id (cpp, t);
148           return true;
149         }
150       break;
151
152     case 'E':
153       if (TREE_CODE (t) == IDENTIFIER_NODE)
154         pp_identifier (cpp, IDENTIFIER_POINTER (t));
155       else
156         pp_expression (cpp, t);
157       return true;
158
159     default:
160       return false;
161     }
162
163   pp_string (cpp, _("({anonymous})"));
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 }