CARP:
[deliverable/binutils-gdb.git] / gdb / c-valprint.c
CommitLineData
a8a69e63 1/* Support for printing C values for GDB, the GNU debugger.
153da921 2 Copyright 1986, 1988, 1989, 1991, 1992, 1993, 1994, 1995, 1996, 1997
0568ccb0 3 Free Software Foundation, Inc.
a8a69e63
FF
4
5This file is part of GDB.
6
7This program is free software; you can redistribute it and/or modify
8it under the terms of the GNU General Public License as published by
9the Free Software Foundation; either version 2 of the License, or
10(at your option) any later version.
11
12This program is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
18along with this program; if not, write to the Free Software
6c9638b4 19Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
a8a69e63
FF
20
21#include "defs.h"
22#include "symtab.h"
23#include "gdbtypes.h"
24#include "expression.h"
25#include "value.h"
26#include "demangle.h"
27#include "valprint.h"
28#include "language.h"
5e548861 29#include "c-lang.h"
a8a69e63 30
a8a69e63
FF
31\f
32/* Print data of type TYPE located at VALADDR (within GDB), which came from
33 the inferior at address ADDRESS, onto stdio stream STREAM according to
34 FORMAT (a letter or 0 for natural format). The data at VALADDR is in
35 target byte order.
36
37 If the data are a string pointer, returns the number of string characters
38 printed.
39
40 If DEREF_REF is nonzero, then dereference references, otherwise just print
41 them like pointers.
42
43 The PRETTY parameter controls prettyprinting. */
44
45int
46c_val_print (type, valaddr, address, stream, format, deref_ref, recurse,
47 pretty)
48 struct type *type;
49 char *valaddr;
50 CORE_ADDR address;
199b2450 51 GDB_FILE *stream;
a8a69e63
FF
52 int format;
53 int deref_ref;
54 int recurse;
55 enum val_prettyprint pretty;
56{
c4413e2c 57 register unsigned int i = 0; /* Number of characters printed */
a8a69e63
FF
58 unsigned len;
59 struct type *elttype;
60 unsigned eltlen;
61 LONGEST val;
c4413e2c 62 CORE_ADDR addr;
a8a69e63 63
5e548861 64 CHECK_TYPEDEF (type);
a8a69e63
FF
65 switch (TYPE_CODE (type))
66 {
67 case TYPE_CODE_ARRAY:
68 if (TYPE_LENGTH (type) > 0 && TYPE_LENGTH (TYPE_TARGET_TYPE (type)) > 0)
69 {
5e548861 70 elttype = check_typedef (TYPE_TARGET_TYPE (type));
a8a69e63
FF
71 eltlen = TYPE_LENGTH (elttype);
72 len = TYPE_LENGTH (type) / eltlen;
73 if (prettyprint_arrays)
74 {
75 print_spaces_filtered (2 + 2 * recurse, stream);
76 }
a8a69e63 77 /* For an array of chars, print with string syntax. */
0568ccb0
SS
78 if (eltlen == 1 &&
79 ((TYPE_CODE (elttype) == TYPE_CODE_INT)
80 || ((current_language->la_language == language_m2)
81 && (TYPE_CODE (elttype) == TYPE_CODE_CHAR)))
c4413e2c 82 && (format == 0 || format == 's'))
a8a69e63 83 {
0568ccb0
SS
84 /* If requested, look for the first null char and only print
85 elements up to it. */
86 if (stop_print_at_null)
87 {
88 int temp_len;
89
90 /* Look for a NULL char. */
91 for (temp_len = 0;
92 valaddr[temp_len]
93 && temp_len < len && temp_len < print_max;
94 temp_len++);
95 len = temp_len;
96 }
97
242c0d81 98 LA_PRINT_STRING (stream, valaddr, len, eltlen, 0);
ec16f701 99 i = len;
a8a69e63
FF
100 }
101 else
102 {
c4413e2c 103 fprintf_filtered (stream, "{");
a8a69e63
FF
104 /* If this is a virtual function table, print the 0th
105 entry specially, and the rest of the members normally. */
106 if (cp_is_vtbl_ptr_type (elttype))
107 {
108 i = 1;
109 fprintf_filtered (stream, "%d vtable entries", len - 1);
110 }
111 else
112 {
113 i = 0;
114 }
115 val_print_array_elements (type, valaddr, address, stream,
116 format, deref_ref, recurse, pretty, i);
c4413e2c 117 fprintf_filtered (stream, "}");
a8a69e63 118 }
a8a69e63
FF
119 break;
120 }
121 /* Array of unspecified length: treat like pointer to first elt. */
1326dace
JK
122 addr = address;
123 goto print_unpacked_pointer;
a8a69e63
FF
124
125 case TYPE_CODE_PTR:
126 if (format && format != 's')
127 {
128 print_scalar_formatted (valaddr, type, format, 0, stream);
129 break;
130 }
36a2283d
PB
131 if (vtblprint && cp_is_vtbl_ptr_type(type))
132 {
133 /* Print the unmangled name if desired. */
134 /* Print vtable entry - we only get here if we ARE using
135 -fvtable_thunks. (Otherwise, look under TYPE_CODE_STRUCT.) */
136 print_address_demangle(extract_address (valaddr, TYPE_LENGTH (type)),
137 stream, demangle);
138 break;
139 }
5e548861
PB
140 elttype = check_typedef (TYPE_TARGET_TYPE (type));
141 if (TYPE_CODE (elttype) == TYPE_CODE_METHOD)
a8a69e63 142 {
c7da3ed3 143 cp_print_class_method (valaddr, type, stream);
a8a69e63 144 }
5e548861 145 else if (TYPE_CODE (elttype) == TYPE_CODE_MEMBER)
a8a69e63
FF
146 {
147 cp_print_class_member (valaddr,
148 TYPE_DOMAIN_TYPE (TYPE_TARGET_TYPE (type)),
149 stream, "&");
150 }
151 else
152 {
c4413e2c 153 addr = unpack_pointer (type, valaddr);
1326dace 154 print_unpacked_pointer:
aad09779 155 elttype = check_typedef (TYPE_TARGET_TYPE (type));
a8a69e63
FF
156
157 if (TYPE_CODE (elttype) == TYPE_CODE_FUNC)
158 {
159 /* Try to print what function it points to. */
160 print_address_demangle (addr, stream, demangle);
161 /* Return value is irrelevant except for string pointers. */
162 return (0);
163 }
164
165 if (addressprint && format != 's')
166 {
d24c0599 167 print_address_numeric (addr, 1, stream);
a8a69e63
FF
168 }
169
170 /* For a pointer to char or unsigned char, also print the string
171 pointed to, unless pointer is null. */
242c0d81
SG
172 /* FIXME: need to handle wchar_t here... */
173
c4413e2c
FF
174 if (TYPE_LENGTH (elttype) == 1
175 && TYPE_CODE (elttype) == TYPE_CODE_INT
176 && (format == 0 || format == 's')
177 && addr != 0)
a8a69e63 178 {
242c0d81 179 i = val_print_string (addr, -1, TYPE_LENGTH (elttype), stream);
a8a69e63
FF
180 }
181 else if (cp_is_vtbl_member(type))
182 {
183 /* print vtbl's nicely */
184 CORE_ADDR vt_address = unpack_pointer (type, valaddr);
185
186 struct minimal_symbol *msymbol =
187 lookup_minimal_symbol_by_pc (vt_address);
2e4964ad
FF
188 if ((msymbol != NULL) &&
189 (vt_address == SYMBOL_VALUE_ADDRESS (msymbol)))
a8a69e63
FF
190 {
191 fputs_filtered (" <", stream);
2e4964ad 192 fputs_filtered (SYMBOL_SOURCE_NAME (msymbol), stream);
a8a69e63
FF
193 fputs_filtered (">", stream);
194 }
40f24469 195 if (vt_address && vtblprint)
a8a69e63 196 {
82a2edfb 197 value_ptr vt_val;
1bd97ba8
KH
198 struct symbol *wsym = (struct symbol *)NULL;
199 struct type *wtype;
200 struct symtab *s;
201 struct block *block = (struct block *)NULL;
202 int is_this_fld;
203
40f24469
KH
204 if (msymbol != NULL)
205 wsym = lookup_symbol (SYMBOL_NAME(msymbol), block,
1bd97ba8
KH
206 VAR_NAMESPACE, &is_this_fld, &s);
207
208 if (wsym)
209 {
210 wtype = SYMBOL_TYPE(wsym);
211 }
212 else
213 {
214 wtype = TYPE_TARGET_TYPE(type);
215 }
6c310da8 216 vt_val = value_at (wtype, vt_address, NULL);
a8a69e63
FF
217 val_print (VALUE_TYPE (vt_val), VALUE_CONTENTS (vt_val),
218 VALUE_ADDRESS (vt_val), stream, format,
219 deref_ref, recurse + 1, pretty);
220 if (pretty)
221 {
222 fprintf_filtered (stream, "\n");
223 print_spaces_filtered (2 + 2 * recurse, stream);
224 }
225 }
226 }
227
79f3d586
JK
228 /* Return number of characters printed, including the terminating
229 '\0' if we reached the end. val_print_string takes care including
230 the terminating '\0' if necessary. */
231 return i;
a8a69e63
FF
232 }
233 break;
234
235 case TYPE_CODE_MEMBER:
236 error ("not implemented: member type in c_val_print");
237 break;
238
239 case TYPE_CODE_REF:
5e548861
PB
240 elttype = check_typedef (TYPE_TARGET_TYPE (type));
241 if (TYPE_CODE (elttype) == TYPE_CODE_MEMBER)
a8a69e63
FF
242 {
243 cp_print_class_member (valaddr,
5e548861 244 TYPE_DOMAIN_TYPE (elttype),
a8a69e63
FF
245 stream, "");
246 break;
247 }
248 if (addressprint)
249 {
833e0d94
JK
250 fprintf_filtered (stream, "@");
251 print_address_numeric
252 (extract_address (valaddr,
d24c0599 253 TARGET_PTR_BIT / HOST_CHAR_BIT), 1, stream);
a8a69e63
FF
254 if (deref_ref)
255 fputs_filtered (": ", stream);
256 }
257 /* De-reference the reference. */
258 if (deref_ref)
259 {
5e548861 260 if (TYPE_CODE (elttype) != TYPE_CODE_UNDEF)
a8a69e63 261 {
82a2edfb 262 value_ptr deref_val =
a8a69e63
FF
263 value_at
264 (TYPE_TARGET_TYPE (type),
265 unpack_pointer (lookup_pointer_type (builtin_type_void),
6c310da8
SG
266 valaddr),
267 NULL);
a8a69e63
FF
268 val_print (VALUE_TYPE (deref_val),
269 VALUE_CONTENTS (deref_val),
270 VALUE_ADDRESS (deref_val), stream, format,
271 deref_ref, recurse + 1, pretty);
272 }
273 else
274 fputs_filtered ("???", stream);
275 }
276 break;
277
278 case TYPE_CODE_UNION:
279 if (recurse && !unionprint)
280 {
281 fprintf_filtered (stream, "{...}");
282 break;
283 }
284 /* Fall through. */
285 case TYPE_CODE_STRUCT:
286 if (vtblprint && cp_is_vtbl_ptr_type(type))
287 {
288 /* Print the unmangled name if desired. */
36a2283d
PB
289 /* Print vtable entry - we only get here if NOT using
290 -fvtable_thunks. (Otherwise, look under TYPE_CODE_PTR.) */
153da921
PS
291 print_address_demangle (extract_address (
292 valaddr + TYPE_FIELD_BITPOS (type, VTBL_FNADDR_OFFSET) / 8,
293 TYPE_LENGTH (TYPE_FIELD_TYPE (type, VTBL_FNADDR_OFFSET))),
294 stream, demangle);
a8a69e63 295 }
5e548861
PB
296 else
297 cp_print_value_fields (type, valaddr, address, stream, format,
298 recurse, pretty, NULL, 0);
a8a69e63
FF
299 break;
300
301 case TYPE_CODE_ENUM:
302 if (format)
303 {
304 print_scalar_formatted (valaddr, type, format, 0, stream);
305 break;
306 }
307 len = TYPE_NFIELDS (type);
1d9449ab 308 val = unpack_long (type, valaddr);
a8a69e63
FF
309 for (i = 0; i < len; i++)
310 {
311 QUIT;
312 if (val == TYPE_FIELD_BITPOS (type, i))
313 {
314 break;
315 }
316 }
317 if (i < len)
318 {
319 fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
320 }
321 else
322 {
7efb57c3 323 print_longest (stream, 'd', 0, val);
a8a69e63
FF
324 }
325 break;
326
327 case TYPE_CODE_FUNC:
328 if (format)
329 {
330 print_scalar_formatted (valaddr, type, format, 0, stream);
331 break;
332 }
333 /* FIXME, we should consider, at least for ANSI C language, eliminating
334 the distinction made between FUNCs and POINTERs to FUNCs. */
335 fprintf_filtered (stream, "{");
336 type_print (type, "", stream, -1);
337 fprintf_filtered (stream, "} ");
338 /* Try to print what function it points to, and its address. */
339 print_address_demangle (address, stream, demangle);
340 break;
341
7e71985c 342 case TYPE_CODE_BOOL:
c6038971
PB
343 format = format ? format : output_format;
344 if (format)
345 print_scalar_formatted (valaddr, type, format, 0, stream);
346 else
347 {
348 val = unpack_long (type, valaddr);
349 if (val == 0)
350 fputs_filtered ("false", stream);
351 else if (val == 1)
352 fputs_filtered ("true", stream);
353 else
354 print_longest (stream, 'd', 0, val);
355 }
356 break;
7e71985c 357
85b8aa88
JK
358 case TYPE_CODE_RANGE:
359 /* FIXME: create_range_type does not set the unsigned bit in a
360 range type (I think it probably should copy it from the target
361 type), so we won't print values which are too large to
362 fit in a signed integer correctly. */
363 /* FIXME: Doesn't handle ranges of enums correctly. (Can't just
364 print with the target type, though, because the size of our type
365 and the target type might differ). */
366 /* FALLTHROUGH */
367
a8a69e63
FF
368 case TYPE_CODE_INT:
369 format = format ? format : output_format;
370 if (format)
371 {
372 print_scalar_formatted (valaddr, type, format, 0, stream);
373 }
374 else
375 {
376 val_print_type_code_int (type, valaddr, stream);
377 /* C and C++ has no single byte int type, char is used instead.
378 Since we don't know whether the value is really intended to
379 be used as an integer or a character, print the character
380 equivalent as well. */
381 if (TYPE_LENGTH (type) == 1)
382 {
383 fputs_filtered (" ", stream);
384 LA_PRINT_CHAR ((unsigned char) unpack_long (type, valaddr),
385 stream);
386 }
387 }
388 break;
389
390 case TYPE_CODE_CHAR:
391 format = format ? format : output_format;
392 if (format)
393 {
394 print_scalar_formatted (valaddr, type, format, 0, stream);
395 }
396 else
397 {
398 fprintf_filtered (stream, TYPE_UNSIGNED (type) ? "%u" : "%d",
399 unpack_long (type, valaddr));
400 fputs_filtered (" ", stream);
401 LA_PRINT_CHAR ((unsigned char) unpack_long (type, valaddr), stream);
402 }
403 break;
404
405 case TYPE_CODE_FLT:
406 if (format)
407 {
408 print_scalar_formatted (valaddr, type, format, 0, stream);
409 }
410 else
411 {
412 print_floating (valaddr, type, stream);
413 }
414 break;
415
416 case TYPE_CODE_VOID:
417 fprintf_filtered (stream, "void");
418 break;
419
420 case TYPE_CODE_ERROR:
421 fprintf_filtered (stream, "<error type>");
422 break;
423
a8a69e63
FF
424 case TYPE_CODE_UNDEF:
425 /* This happens (without TYPE_FLAG_STUB set) on systems which don't use
426 dbx xrefs (NO_DBX_XREFS in gcc) if a file has a "struct foo *bar"
427 and no complete type for struct foo in that file. */
428 fprintf_filtered (stream, "<incomplete type>");
429 break;
430
431 default:
432 error ("Invalid C/C++ type code %d in symbol table.", TYPE_CODE (type));
433 }
199b2450 434 gdb_flush (stream);
a8a69e63
FF
435 return (0);
436}
e10cfcaa
PB
437\f
438int
439c_value_print (val, stream, format, pretty)
440 value_ptr val;
441 GDB_FILE *stream;
442 int format;
443 enum val_prettyprint pretty;
444{
398f584f 445 struct type *type = VALUE_TYPE (val);
e10cfcaa 446
398f584f
PB
447 /* If it is a pointer, indicate what it points to.
448
449 Print type also if it is a reference.
450
451 C++: if it is a member pointer, we will take care
452 of that when we print it. */
453 if (TYPE_CODE (type) == TYPE_CODE_PTR ||
454 TYPE_CODE (type) == TYPE_CODE_REF)
e10cfcaa 455 {
398f584f
PB
456 /* Hack: remove (char *) for char strings. Their
457 type is indicated by the quoted string anyway. */
458 if (TYPE_CODE (type) == TYPE_CODE_PTR &&
459 TYPE_NAME (type) == NULL &&
460 TYPE_NAME (TYPE_TARGET_TYPE (type)) != NULL &&
461 STREQ (TYPE_NAME (TYPE_TARGET_TYPE (type)), "char"))
e10cfcaa 462 {
398f584f 463 /* Print nothing */
e10cfcaa 464 }
398f584f 465 else
e10cfcaa 466 {
398f584f
PB
467 fprintf_filtered (stream, "(");
468 type_print (type, "", stream, -1);
469 fprintf_filtered (stream, ") ");
e10cfcaa 470 }
e10cfcaa 471 }
074d813d
PS
472 return val_print (type, VALUE_CONTENTS (val),
473 VALUE_ADDRESS (val) + VALUE_OFFSET (val),
474 stream, format, 1, 0, pretty);
e10cfcaa 475}
This page took 0.263106 seconds and 4 git commands to generate.