Fix: strip --strip-debug breaks relocations
[binutils-gdb.git] / gdb / compile / compile-c-types.c
blob274871655d058de77bd1598d4c10ca016a02e60c
1 /* Convert types from GDB to GCC
3 Copyright (C) 2014-2023 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
21 #include "defs.h"
22 #include "gdbtypes.h"
23 #include "compile-internal.h"
24 #include "compile-c.h"
25 #include "objfiles.h"
27 /* Convert a pointer type to its gcc representation. */
29 static gcc_type
30 convert_pointer (compile_c_instance *context, struct type *type)
32 gcc_type target = context->convert_type (type->target_type ());
34 return context->plugin ().build_pointer_type (target);
37 /* Convert an array type to its gcc representation. */
39 static gcc_type
40 convert_array (compile_c_instance *context, struct type *type)
42 gcc_type element_type;
43 struct type *range = type->index_type ();
45 element_type = context->convert_type (type->target_type ());
47 if (!range->bounds ()->low.is_constant ())
48 return context->plugin ().error (_("array type with non-constant"
49 " lower bound is not supported"));
50 if (range->bounds ()->low.const_val () != 0)
51 return context->plugin ().error (_("cannot convert array type with "
52 "non-zero lower bound to C"));
54 if (range->bounds ()->high.kind () == PROP_LOCEXPR
55 || range->bounds ()->high.kind () == PROP_LOCLIST)
57 gcc_type result;
59 if (type->is_vector ())
60 return context->plugin ().error (_("variably-sized vector type"
61 " is not supported"));
63 std::string upper_bound
64 = c_get_range_decl_name (&range->bounds ()->high);
65 result = context->plugin ().build_vla_array_type (element_type,
66 upper_bound.c_str ());
67 return result;
69 else
71 LONGEST low_bound, high_bound, count;
73 if (!get_array_bounds (type, &low_bound, &high_bound))
74 count = -1;
75 else
77 gdb_assert (low_bound == 0); /* Ensured above. */
78 count = high_bound + 1;
81 if (type->is_vector ())
82 return context->plugin ().build_vector_type (element_type, count);
83 return context->plugin ().build_array_type (element_type, count);
87 /* Convert a struct or union type to its gcc representation. */
89 static gcc_type
90 convert_struct_or_union (compile_c_instance *context, struct type *type)
92 int i;
93 gcc_type result;
95 /* First we create the resulting type and enter it into our hash
96 table. This lets recursive types work. */
97 if (type->code () == TYPE_CODE_STRUCT)
98 result = context->plugin ().build_record_type ();
99 else
101 gdb_assert (type->code () == TYPE_CODE_UNION);
102 result = context->plugin ().build_union_type ();
104 context->insert_type (type, result);
106 for (i = 0; i < type->num_fields (); ++i)
108 gcc_type field_type;
109 unsigned long bitsize = type->field (i).bitsize ();
111 field_type = context->convert_type (type->field (i).type ());
112 if (bitsize == 0)
113 bitsize = 8 * type->field (i).type ()->length ();
114 context->plugin ().build_add_field (result,
115 type->field (i).name (),
116 field_type,
117 bitsize,
118 type->field (i).loc_bitpos ());
121 context->plugin ().finish_record_or_union (result, type->length ());
122 return result;
125 /* Convert an enum type to its gcc representation. */
127 static gcc_type
128 convert_enum (compile_c_instance *context, struct type *type)
130 gcc_type int_type, result;
131 int i;
133 int_type = context->plugin ().int_type_v0 (type->is_unsigned (),
134 type->length ());
136 result = context->plugin ().build_enum_type (int_type);
137 for (i = 0; i < type->num_fields (); ++i)
139 context->plugin ().build_add_enum_constant
140 (result, type->field (i).name (), type->field (i).loc_enumval ());
143 context->plugin ().finish_enum_type (result);
145 return result;
148 /* Convert a function type to its gcc representation. */
150 static gcc_type
151 convert_func (compile_c_instance *context, struct type *type)
153 int i;
154 gcc_type result, return_type;
155 struct gcc_type_array array;
156 int is_varargs = type->has_varargs () || !type->is_prototyped ();
158 struct type *target_type = type->target_type ();
160 /* Functions with no debug info have no return type. Ideally we'd
161 want to fallback to the type of the cast just before the
162 function, like GDB's built-in expression parser, but we don't
163 have access to that type here. For now, fallback to int, like
164 GDB's parser used to do. */
165 if (target_type == NULL)
167 target_type = builtin_type (type->arch ())->builtin_int;
168 warning (_("function has unknown return type; assuming int"));
171 /* This approach means we can't make self-referential function
172 types. Those are impossible in C, though. */
173 return_type = context->convert_type (target_type);
175 array.n_elements = type->num_fields ();
176 std::vector<gcc_type> elements (array.n_elements);
177 array.elements = elements.data ();
178 for (i = 0; i < type->num_fields (); ++i)
179 array.elements[i] = context->convert_type (type->field (i).type ());
181 result = context->plugin ().build_function_type (return_type,
182 &array, is_varargs);
184 return result;
187 /* Convert an integer type to its gcc representation. */
189 static gcc_type
190 convert_int (compile_c_instance *context, struct type *type)
192 if (context->plugin ().version () >= GCC_C_FE_VERSION_1)
194 if (type->has_no_signedness ())
196 gdb_assert (type->length () == 1);
197 return context->plugin ().char_type ();
199 return context->plugin ().int_type (type->is_unsigned (),
200 type->length (),
201 type->name ());
203 else
204 return context->plugin ().int_type_v0 (type->is_unsigned (),
205 type->length ());
208 /* Convert a floating-point type to its gcc representation. */
210 static gcc_type
211 convert_float (compile_c_instance *context, struct type *type)
213 if (context->plugin ().version () >= GCC_C_FE_VERSION_1)
214 return context->plugin ().float_type (type->length (),
215 type->name ());
216 else
217 return context->plugin ().float_type_v0 (type->length ());
220 /* Convert the 'void' type to its gcc representation. */
222 static gcc_type
223 convert_void (compile_c_instance *context, struct type *type)
225 return context->plugin ().void_type ();
228 /* Convert a boolean type to its gcc representation. */
230 static gcc_type
231 convert_bool (compile_c_instance *context, struct type *type)
233 return context->plugin ().bool_type ();
236 /* Convert a qualified type to its gcc representation. */
238 static gcc_type
239 convert_qualified (compile_c_instance *context, struct type *type)
241 struct type *unqual = make_unqualified_type (type);
242 gcc_type unqual_converted;
243 gcc_qualifiers_flags quals = 0;
245 unqual_converted = context->convert_type (unqual);
247 if (TYPE_CONST (type))
248 quals |= GCC_QUALIFIER_CONST;
249 if (TYPE_VOLATILE (type))
250 quals |= GCC_QUALIFIER_VOLATILE;
251 if (TYPE_RESTRICT (type))
252 quals |= GCC_QUALIFIER_RESTRICT;
254 return context->plugin ().build_qualified_type (unqual_converted,
255 quals.raw ());
258 /* Convert a complex type to its gcc representation. */
260 static gcc_type
261 convert_complex (compile_c_instance *context, struct type *type)
263 gcc_type base = context->convert_type (type->target_type ());
265 return context->plugin ().build_complex_type (base);
268 /* A helper function which knows how to convert most types from their
269 gdb representation to the corresponding gcc form. This examines
270 the TYPE and dispatches to the appropriate conversion function. It
271 returns the gcc type. */
273 static gcc_type
274 convert_type_basic (compile_c_instance *context, struct type *type)
276 /* If we are converting a qualified type, first convert the
277 unqualified type and then apply the qualifiers. */
278 if ((type->instance_flags () & (TYPE_INSTANCE_FLAG_CONST
279 | TYPE_INSTANCE_FLAG_VOLATILE
280 | TYPE_INSTANCE_FLAG_RESTRICT)) != 0)
281 return convert_qualified (context, type);
283 switch (type->code ())
285 case TYPE_CODE_PTR:
286 return convert_pointer (context, type);
288 case TYPE_CODE_ARRAY:
289 return convert_array (context, type);
291 case TYPE_CODE_STRUCT:
292 case TYPE_CODE_UNION:
293 return convert_struct_or_union (context, type);
295 case TYPE_CODE_ENUM:
296 return convert_enum (context, type);
298 case TYPE_CODE_FUNC:
299 return convert_func (context, type);
301 case TYPE_CODE_INT:
302 return convert_int (context, type);
304 case TYPE_CODE_FLT:
305 return convert_float (context, type);
307 case TYPE_CODE_VOID:
308 return convert_void (context, type);
310 case TYPE_CODE_BOOL:
311 return convert_bool (context, type);
313 case TYPE_CODE_COMPLEX:
314 return convert_complex (context, type);
316 case TYPE_CODE_ERROR:
318 /* Ideally, if we get here due to a cast expression, we'd use
319 the cast-to type as the variable's type, like GDB's
320 built-in parser does. For now, assume "int" like GDB's
321 built-in parser used to do, but at least warn. */
322 struct type *fallback = builtin_type (type->arch ())->builtin_int;
323 warning (_("variable has unknown type; assuming int"));
324 return convert_int (context, fallback);
328 return context->plugin ().error (_("cannot convert gdb type to gcc type"));
331 /* Default compile flags for C. */
333 const char *compile_c_instance::m_default_cflags = "-std=gnu11"
334 /* Otherwise the .o file may need
335 "_Unwind_Resume" and
336 "__gcc_personality_v0". */
337 " -fno-exceptions"
338 " -Wno-implicit-function-declaration";
340 /* See compile-c.h. */
342 gcc_type
343 compile_c_instance::convert_type (struct type *type)
345 /* We don't ever have to deal with typedefs in this code, because
346 those are only needed as symbols by the C compiler. */
347 type = check_typedef (type);
349 gcc_type result;
350 if (get_cached_type (type, &result))
351 return result;
353 result = convert_type_basic (this, type);
354 insert_type (type, result);
355 return result;
360 /* C plug-in wrapper. */
362 #define FORWARD(OP,...) m_context->c_ops->OP(m_context, ##__VA_ARGS__)
363 #define GCC_METHOD0(R, N) \
364 R gcc_c_plugin::N () const \
365 { return FORWARD (N); }
366 #define GCC_METHOD1(R, N, A) \
367 R gcc_c_plugin::N (A a) const \
368 { return FORWARD (N, a); }
369 #define GCC_METHOD2(R, N, A, B) \
370 R gcc_c_plugin::N (A a, B b) const \
371 { return FORWARD (N, a, b); }
372 #define GCC_METHOD3(R, N, A, B, C) \
373 R gcc_c_plugin::N (A a, B b, C c) const \
374 { return FORWARD (N, a, b, c); }
375 #define GCC_METHOD4(R, N, A, B, C, D) \
376 R gcc_c_plugin::N (A a, B b, C c, D d) const \
377 { return FORWARD (N, a, b, c, d); }
378 #define GCC_METHOD5(R, N, A, B, C, D, E) \
379 R gcc_c_plugin::N (A a, B b, C c, D d, E e) const \
380 { return FORWARD (N, a, b, c, d, e); }
381 #define GCC_METHOD7(R, N, A, B, C, D, E, F, G) \
382 R gcc_c_plugin::N (A a, B b, C c, D d, E e, F f, G g) const \
383 { return FORWARD (N, a, b, c, d, e, f, g); }
385 #include "gcc-c-fe.def"
387 #undef GCC_METHOD0
388 #undef GCC_METHOD1
389 #undef GCC_METHOD2
390 #undef GCC_METHOD3
391 #undef GCC_METHOD4
392 #undef GCC_METHOD5
393 #undef GCC_METHOD7
394 #undef FORWARD