OSDN Git Service

2008-06-07 Xinliang David Li <davidxl@google.com>
[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 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 }