1 /* Some code common to C and ObjC front ends.
2 Copyright (C) 2001-2015 Free Software Foundation, Inc.
4 This file is part of GCC.
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
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
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/>. */
22 #include "coretypes.h"
28 #include "double-int.h"
35 #include "c-family/c-pretty-print.h"
36 #include "diagnostic.h"
37 #include "tree-pretty-print.h"
38 #include "langhooks.h"
39 #include "c-objc-common.h"
41 #include <new> // For placement new.
43 static bool c_tree_printer (pretty_printer
*, text_info
*, const char *,
44 int, bool, bool, bool);
47 c_missing_noreturn_ok_p (tree decl
)
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
));
54 /* Called from check_global_declarations. */
57 c_warn_unused_global_decl (const_tree decl
)
59 if (TREE_CODE (decl
) == FUNCTION_DECL
&& DECL_DECLARED_INLINE_P (decl
))
61 if (DECL_IN_SYSTEM_HEADER (decl
))
67 /* Initialization common to C and Objective-C front ends. */
69 c_objc_common_init (void)
71 c_init_decl_processing ();
73 return c_common_init ();
76 /* Called during diagnostic message formatting process to print a
77 source-level entity onto BUFFER. The meaning of the format specifiers
80 %E: an identifier or expression,
81 %F: a function declaration,
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.
87 Please notice when called, the `%' part was already skipped by the
88 diagnostic machinery. */
90 c_tree_printer (pretty_printer
*pp
, text_info
*text
, const char *spec
,
91 int precision
, bool wide
, bool set_locus
, bool hash
)
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
;
99 if (precision
!= 0 || wide
)
104 percent_K_format (text
);
110 t
= va_arg (*text
->args_ptr
, tree
);
111 if (set_locus
&& text
->locus
)
112 *text
->locus
= DECL_SOURCE_LOCATION (t
);
118 if (TREE_CODE (t
) == VAR_DECL
&& DECL_HAS_DEBUG_EXPR_P (t
))
120 t
= DECL_DEBUG_EXPR (t
);
132 pp_identifier (cpp
, lang_hooks
.decl_printable_name (t
, 2));
139 gcc_assert (TYPE_P (t
));
140 struct obstack
*ob
= pp_buffer (cpp
)->obstack
;
141 char *p
= (char *) obstack_base (ob
);
142 /* Remember the end of the initial dump. */
143 int len
= obstack_object_size (ob
);
145 name
= TYPE_NAME (t
);
146 if (name
&& TREE_CODE (name
) == TYPE_DECL
&& DECL_NAME (name
))
147 pp_identifier (cpp
, lang_hooks
.decl_printable_name (name
, 2));
151 /* If we're printing a type that involves typedefs, also print the
152 stripped version. But sometimes the stripped version looks
153 exactly the same, so we don't want it after all. To avoid
154 printing it in that case, we play ugly obstack games. */
155 if (TYPE_CANONICAL (t
) && t
!= TYPE_CANONICAL (t
))
157 c_pretty_printer cpp2
;
158 /* Print the stripped version into a temporary printer. */
159 cpp2
.type_id (TYPE_CANONICAL (t
));
160 struct obstack
*ob2
= cpp2
.buffer
->obstack
;
161 /* Get the stripped version from the temporary printer. */
162 const char *aka
= (char *) obstack_base (ob2
);
163 int aka_len
= obstack_object_size (ob2
);
164 int type1_len
= obstack_object_size (ob
) - len
;
166 /* If they are identical, bail out. */
167 if (aka_len
== type1_len
&& memcmp (p
+ len
, aka
, aka_len
) == 0)
170 /* They're not, print the stripped version now. */
171 pp_c_whitespace (cpp
);
173 pp_c_ws_string (cpp
, _("aka"));
174 pp_c_whitespace (cpp
);
175 cpp
->type_id (TYPE_CANONICAL (t
));
176 pp_right_brace (cpp
);
182 if (TREE_CODE (t
) == IDENTIFIER_NODE
)
183 pp_identifier (cpp
, IDENTIFIER_POINTER (t
));
189 pp_c_type_qualifier_list (cpp
, t
);
193 pp_c_cv_qualifiers (cpp
, va_arg (*text
->args_ptr
, int), hash
);
200 pp_string (cpp
, _("({anonymous})"));
204 /* In C and ObjC, all decls have "C" linkage. */
206 has_c_linkage (const_tree decl ATTRIBUTE_UNUSED
)
212 c_initialize_diagnostics (diagnostic_context
*context
)
214 pretty_printer
*base
= context
->printer
;
215 c_pretty_printer
*pp
= XNEW (c_pretty_printer
);
216 context
->printer
= new (pp
) c_pretty_printer ();
218 /* It is safe to free this object because it was previously XNEW()'d. */
219 base
->~pretty_printer ();
222 c_common_diagnostics_set_defaults (context
);
223 diagnostic_format_decoder (context
) = &c_tree_printer
;
227 c_types_compatible_p (tree x
, tree y
)
229 return comptypes (TYPE_MAIN_VARIANT (x
), TYPE_MAIN_VARIANT (y
));
232 /* Determine if the type is a vla type for the backend. */
235 c_vla_unspec_p (tree x
, tree fn ATTRIBUTE_UNUSED
)
237 return c_vla_type_p (x
);