1 /* Some code common to C and ObjC front ends.
2 Copyright (C) 2001-2014 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 "tree.h"
24 #include "c-tree.h"
25 #include "intl.h"
26 #include "c-family/c-pretty-print.h"
27 #include "flags.h"
28 #include "diagnostic.h"
29 #include "tree-pretty-print.h"
30 #include "langhooks.h"
31 #include "c-objc-common.h"
32
33 #include <new> // For placement new.
34
35 static bool c_tree_printer (pretty_printer *, text_info *, const char *,
36 int, bool, bool, bool);
37
38 bool
c_missing_noreturn_ok_p(tree decl)39 c_missing_noreturn_ok_p (tree decl)
40 {
41 /* A missing noreturn is not ok for freestanding implementations and
42 ok for the `main' function in hosted implementations. */
43 return flag_hosted && MAIN_NAME_P (DECL_ASSEMBLER_NAME (decl));
44 }
45
46 /* Called from check_global_declarations. */
47
48 bool
c_warn_unused_global_decl(const_tree decl)49 c_warn_unused_global_decl (const_tree decl)
50 {
51 if (TREE_CODE (decl) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (decl))
52 return false;
53 if (DECL_IN_SYSTEM_HEADER (decl))
54 return false;
55
56 return true;
57 }
58
59 /* Initialization common to C and Objective-C front ends. */
60 bool
c_objc_common_init(void)61 c_objc_common_init (void)
62 {
63 c_init_decl_processing ();
64
65 if (c_common_init () == false)
66 return false;
67
68 /* These were not defined in the Objective-C front end, but I'm
69 putting them here anyway. The diagnostic format decoder might
70 want an enhanced ObjC implementation. */
71 diagnostic_format_decoder (global_dc) = &c_tree_printer;
72
73 return true;
74 }
75
76 /* Called during diagnostic message formatting process to print a
77 source-level entity onto BUFFER. The meaning of the format specifiers
78 is as follows:
79 %D: a general decl,
80 %E: an identifier or expression,
81 %F: a function declaration,
82 %T: a type.
83 %V: a list of type qualifiers from a tree.
84 %v: an explicit list of type qualifiers
85 %#v: an explicit list of type qualifiers of a function type.
86
87 Please notice when called, the `%' part was already skipped by the
88 diagnostic machinery. */
89 static bool
c_tree_printer(pretty_printer * pp,text_info * text,const char * spec,int precision,bool wide,bool set_locus,bool hash)90 c_tree_printer (pretty_printer *pp, text_info *text, const char *spec,
91 int precision, bool wide, bool set_locus, bool hash)
92 {
93 tree t = NULL_TREE;
94 tree name;
95 // FIXME: the next cast should be a dynamic_cast, when it is permitted.
96 c_pretty_printer *cpp = (c_pretty_printer *) pp;
97 pp->padding = pp_none;
98
99 if (precision != 0 || wide)
100 return false;
101
102 if (*spec == 'K')
103 {
104 percent_K_format (text);
105 return true;
106 }
107
108 if (*spec != 'v')
109 {
110 t = va_arg (*text->args_ptr, tree);
111 if (set_locus && text->locus)
112 *text->locus = DECL_SOURCE_LOCATION (t);
113 }
114
115 switch (*spec)
116 {
117 case 'D':
118 if (TREE_CODE (t) == VAR_DECL && DECL_HAS_DEBUG_EXPR_P (t))
119 {
120 t = DECL_DEBUG_EXPR (t);
121 if (!DECL_P (t))
122 {
123 cpp->expression (t);
124 return true;
125 }
126 }
127 /* FALLTHRU */
128
129 case 'F':
130 if (DECL_NAME (t))
131 {
132 pp_identifier (cpp, lang_hooks.decl_printable_name (t, 2));
133 return true;
134 }
135 break;
136
137 case 'T':
138 gcc_assert (TYPE_P (t));
139 name = TYPE_NAME (t);
140
141 if (name && TREE_CODE (name) == TYPE_DECL)
142 {
143 if (DECL_NAME (name))
144 pp_identifier (cpp, lang_hooks.decl_printable_name (name, 2));
145 else
146 cpp->type_id (t);
147 return true;
148 }
149 else
150 {
151 cpp->type_id (t);
152 return true;
153 }
154 break;
155
156 case 'E':
157 if (TREE_CODE (t) == IDENTIFIER_NODE)
158 pp_identifier (cpp, IDENTIFIER_POINTER (t));
159 else
160 cpp->expression (t);
161 return true;
162
163 case 'V':
164 pp_c_type_qualifier_list (cpp, t);
165 return true;
166
167 case 'v':
168 pp_c_cv_qualifiers (cpp, va_arg (*text->args_ptr, int), hash);
169 return true;
170
171 default:
172 return false;
173 }
174
175 pp_string (cpp, _("({anonymous})"));
176 return true;
177 }
178
179 /* In C and ObjC, all decls have "C" linkage. */
180 bool
has_c_linkage(const_tree decl ATTRIBUTE_UNUSED)181 has_c_linkage (const_tree decl ATTRIBUTE_UNUSED)
182 {
183 return true;
184 }
185
186 void
c_initialize_diagnostics(diagnostic_context * context)187 c_initialize_diagnostics (diagnostic_context *context)
188 {
189 c_common_initialize_diagnostics (context);
190
191 pretty_printer *base = context->printer;
192 c_pretty_printer *pp = XNEW (c_pretty_printer);
193 context->printer = new (pp) c_pretty_printer ();
194
195 /* It is safe to free this object because it was previously XNEW()'d. */
196 base->~pretty_printer ();
197 XDELETE (base);
198 }
199
200 int
c_types_compatible_p(tree x,tree y)201 c_types_compatible_p (tree x, tree y)
202 {
203 return comptypes (TYPE_MAIN_VARIANT (x), TYPE_MAIN_VARIANT (y));
204 }
205
206 /* Determine if the type is a vla type for the backend. */
207
208 bool
c_vla_unspec_p(tree x,tree fn ATTRIBUTE_UNUSED)209 c_vla_unspec_p (tree x, tree fn ATTRIBUTE_UNUSED)
210 {
211 return c_vla_type_p (x);
212 }
213