1 /* Some code common to C and ObjC front ends.
2 Copyright (C) 2001, 2002, 2003, 2004, 2005, 2007 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"
26 #include "insn-config.h"
27 #include "integrate.h"
29 #include "c-pretty-print.h"
33 #include "diagnostic.h"
34 #include "tree-inline.h"
37 #include "langhooks.h"
38 #include "tree-mudflap.h"
40 #include "c-objc-common.h"
42 static bool c_tree_printer (pretty_printer
*, text_info
*, const char *,
43 int, bool, bool, bool);
46 c_missing_noreturn_ok_p (tree decl
)
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
));
53 /* We want to inline `extern inline' functions even if this would
54 violate inlining limits. Some glibc and linux constructs depend on
55 such functions always being inlined when optimizing. */
58 c_disregard_inline_limits (tree fn
)
60 if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn
)) != NULL
)
63 return (!flag_really_no_inline
&& DECL_DECLARED_INLINE_P (fn
)
64 && DECL_EXTERNAL (fn
));
68 c_cannot_inline_tree_fn (tree
*fnp
)
71 bool do_warning
= (warn_inline
73 && DECL_DECLARED_INLINE_P (fn
)
74 && !DECL_IN_SYSTEM_HEADER (fn
));
76 if (flag_really_no_inline
77 && lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn
)) == NULL
)
80 warning (OPT_Winline
, "function %q+F can never be inlined because it "
81 "is suppressed using -fno-inline", fn
);
85 /* Don't auto-inline anything that might not be bound within
86 this unit of translation. */
87 if (!DECL_DECLARED_INLINE_P (fn
) && !targetm
.binds_local_p (fn
))
90 warning (OPT_Winline
, "function %q+F can never be inlined because it "
91 "might not be bound within this unit of translation", fn
);
95 if (!function_attribute_inlinable_p (fn
))
98 warning (OPT_Winline
, "function %q+F can never be inlined because it "
99 "uses attributes conflicting with inlining", fn
);
106 DECL_UNINLINABLE (fn
) = 1;
110 /* Called from check_global_declarations. */
113 c_warn_unused_global_decl (tree decl
)
115 if (TREE_CODE (decl
) == FUNCTION_DECL
&& DECL_DECLARED_INLINE_P (decl
))
117 if (DECL_IN_SYSTEM_HEADER (decl
))
123 /* Initialization common to C and Objective-C front ends. */
125 c_objc_common_init (void)
127 c_init_decl_processing ();
129 if (c_common_init () == false)
132 /* These were not defined in the Objective-C front end, but I'm
133 putting them here anyway. The diagnostic format decoder might
134 want an enhanced ObjC implementation. */
135 diagnostic_format_decoder (global_dc
) = &c_tree_printer
;
137 /* If still unspecified, make it match -std=c99
138 (allowing for -pedantic-errors). */
139 if (mesg_implicit_function_declaration
< 0)
142 mesg_implicit_function_declaration
= flag_pedantic_errors
? 2 : 1;
144 mesg_implicit_function_declaration
= 0;
150 /* Called during diagnostic message formatting process to print a
151 source-level entity onto BUFFER. The meaning of the format specifiers
154 %E: an identifier or expression,
155 %F: a function declaration,
158 These format specifiers form a subset of the format specifiers set used
159 by the C++ front-end.
160 Please notice when called, the `%' part was already skipped by the
161 diagnostic machinery. */
163 c_tree_printer (pretty_printer
*pp
, text_info
*text
, const char *spec
,
164 int precision
, bool wide
, bool set_locus
, bool hash
)
166 tree t
= va_arg (*text
->args_ptr
, tree
);
168 const char *n
= "({anonymous})";
169 c_pretty_printer
*cpp
= (c_pretty_printer
*) pp
;
170 pp
->padding
= pp_none
;
172 if (precision
!= 0 || wide
|| hash
)
175 if (set_locus
&& text
->locus
)
176 *text
->locus
= DECL_SOURCE_LOCATION (t
);
181 if (DECL_DEBUG_EXPR_IS_FROM (t
) && DECL_DEBUG_EXPR (t
))
183 t
= DECL_DEBUG_EXPR (t
);
186 pp_c_expression (cpp
, t
);
194 n
= lang_hooks
.decl_printable_name (t
, 2);
198 gcc_assert (TYPE_P (t
));
199 name
= TYPE_NAME (t
);
201 if (name
&& TREE_CODE (name
) == TYPE_DECL
)
203 if (DECL_NAME (name
))
204 pp_string (cpp
, lang_hooks
.decl_printable_name (name
, 2));
217 if (TREE_CODE (t
) == IDENTIFIER_NODE
)
218 n
= IDENTIFIER_POINTER (t
);
221 pp_expression (cpp
, t
);
234 /* In C and ObjC, all decls have "C" linkage. */
236 has_c_linkage (tree decl ATTRIBUTE_UNUSED
)
242 c_initialize_diagnostics (diagnostic_context
*context
)
244 pretty_printer
*base
= context
->printer
;
245 c_pretty_printer
*pp
= XNEW (c_pretty_printer
);
246 memcpy (pp_base (pp
), base
, sizeof (pretty_printer
));
247 pp_c_pretty_printer_init (pp
);
248 context
->printer
= (pretty_printer
*) pp
;
250 /* It is safe to free this object because it was previously XNEW()'d. */
255 c_types_compatible_p (tree x
, tree y
)
257 return comptypes (TYPE_MAIN_VARIANT (x
), TYPE_MAIN_VARIANT (y
));
260 /* Determine if the type is a vla type for the backend. */
263 c_vla_unspec_p (tree x
, tree fn ATTRIBUTE_UNUSED
)
265 return c_vla_type_p (x
);