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/>. */
23 #include "compile-internal.h"
24 #include "compile-c.h"
27 /* Convert a pointer type to its gcc representation. */
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. */
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
)
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 ());
71 LONGEST low_bound
, high_bound
, count
;
73 if (!get_array_bounds (type
, &low_bound
, &high_bound
))
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. */
90 convert_struct_or_union (compile_c_instance
*context
, struct type
*type
)
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 ();
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
)
109 unsigned long bitsize
= type
->field (i
).bitsize ();
111 field_type
= context
->convert_type (type
->field (i
).type ());
113 bitsize
= 8 * type
->field (i
).type ()->length ();
114 context
->plugin ().build_add_field (result
,
115 type
->field (i
).name (),
118 type
->field (i
).loc_bitpos ());
121 context
->plugin ().finish_record_or_union (result
, type
->length ());
125 /* Convert an enum type to its gcc representation. */
128 convert_enum (compile_c_instance
*context
, struct type
*type
)
130 gcc_type int_type
, result
;
133 int_type
= context
->plugin ().int_type_v0 (type
->is_unsigned (),
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
);
148 /* Convert a function type to its gcc representation. */
151 convert_func (compile_c_instance
*context
, struct type
*type
)
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
,
187 /* Convert an integer type to its gcc representation. */
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 (),
204 return context
->plugin ().int_type_v0 (type
->is_unsigned (),
208 /* Convert a floating-point type to its gcc representation. */
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 (),
217 return context
->plugin ().float_type_v0 (type
->length ());
220 /* Convert the 'void' type to its gcc representation. */
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. */
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. */
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
,
258 /* Convert a complex type to its gcc representation. */
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. */
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 ())
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
);
296 return convert_enum (context
, type
);
299 return convert_func (context
, type
);
302 return convert_int (context
, type
);
305 return convert_float (context
, type
);
308 return convert_void (context
, type
);
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
336 "__gcc_personality_v0". */
338 " -Wno-implicit-function-declaration";
340 /* See compile-c.h. */
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
);
350 if (get_cached_type (type
, &result
))
353 result
= convert_type_basic (this, type
);
354 insert_type (type
, 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"