1 /* C language support routines for GDB, the GNU debugger.
2 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2002, 2003, 2004
3 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 2 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, write to the Free Software
19 Foundation, Inc., 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
25 #include "expression.h"
26 #include "parser-defs.h"
30 #include "macroscope.h"
31 #include "gdb_assert.h"
33 #include "gdb_string.h"
35 #include "cp-support.h"
37 extern void _initialize_c_language (void);
38 static void c_emit_char (int c, struct ui_file * stream, int quoter);
40 /* Print the character C on STREAM as part of the contents of a literal
41 string whose delimiter is QUOTER. Note that that format for printing
42 characters and strings is language specific. */
45 c_emit_char (int c, struct ui_file *stream, int quoter)
50 c &= 0xFF; /* Avoid sign bit follies */
52 escape = c_target_char_has_backslash_escape (c);
55 if (quoter == '"' && strcmp (escape, "0") == 0)
56 /* Print nulls embedded in double quoted strings as \000 to
58 fprintf_filtered (stream, "\\000");
60 fprintf_filtered (stream, "\\%s", escape);
62 else if (target_char_to_host (c, &host_char)
63 && host_char_print_literally (host_char))
65 if (host_char == '\\' || host_char == quoter)
66 fputs_filtered ("\\", stream);
67 fprintf_filtered (stream, "%c", host_char);
70 fprintf_filtered (stream, "\\%.3o", (unsigned int) c);
74 c_printchar (int c, struct ui_file *stream)
76 fputc_filtered ('\'', stream);
77 LA_EMIT_CHAR (c, stream, '\'');
78 fputc_filtered ('\'', stream);
81 /* Print the character string STRING, printing at most LENGTH characters.
82 LENGTH is -1 if the string is nul terminated. Each character is WIDTH bytes
83 long. Printing stops early if the number hits print_max; repeat counts are
84 printed as appropriate. Print ellipses at the end if we had to stop before
85 printing LENGTH characters, or if FORCE_ELLIPSES. */
88 c_printstr (struct ui_file *stream, char *string, unsigned int length,
89 int width, int force_ellipses)
92 unsigned int things_printed = 0;
96 /* If the string was not truncated due to `set print elements', and
97 the last byte of it is a null, we don't print that, in traditional C
101 && (extract_unsigned_integer (string + (length - 1) * width, width)
107 fputs_filtered ("\"\"", stream);
111 for (i = 0; i < length && things_printed < print_max; ++i)
113 /* Position of the character we are examining
114 to see whether it is repeated. */
116 /* Number of repetitions we have detected so far. */
118 unsigned long current_char;
124 fputs_filtered (", ", stream);
128 current_char = extract_unsigned_integer (string + i * width, width);
133 && extract_unsigned_integer (string + rep1 * width, width)
140 if (reps > repeat_count_threshold)
145 fputs_filtered ("\\\", ", stream);
147 fputs_filtered ("\", ", stream);
150 LA_PRINT_CHAR (current_char, stream);
151 fprintf_filtered (stream, " <repeats %u times>", reps);
153 things_printed += repeat_count_threshold;
161 fputs_filtered ("\\\"", stream);
163 fputs_filtered ("\"", stream);
166 LA_EMIT_CHAR (current_char, stream, '"');
171 /* Terminate the quotes if necessary. */
175 fputs_filtered ("\\\"", stream);
177 fputs_filtered ("\"", stream);
180 if (force_ellipses || i < length)
181 fputs_filtered ("...", stream);
184 /* Create a fundamental C type using default reasonable for the current
187 Some object/debugging file formats (DWARF version 1, COFF, etc) do not
188 define fundamental types such as "int" or "double". Others (stabs or
189 DWARF version 2, etc) do define fundamental types. For the formats which
190 don't provide fundamental types, gdb can create such types using this
193 FIXME: Some compilers distinguish explicitly signed integral types
194 (signed short, signed int, signed long) from "regular" integral types
195 (short, int, long) in the debugging information. There is some dis-
196 agreement as to how useful this feature is. In particular, gcc does
197 not support this. Also, only some debugging formats allow the
198 distinction to be passed on to a debugger. For now, we always just
199 use "short", "int", or "long" as the type name, for both the implicit
200 and explicitly signed types. This also makes life easier for the
201 gdb test suite since we don't have to account for the differences
202 in output depending upon what the compiler and debugging format
203 support. We will probably have to re-examine the issue when gdb
204 starts taking it's fundamental type information directly from the
205 debugging information supplied by the compiler. fnf@cygnus.com */
208 c_create_fundamental_type (struct objfile *objfile, int typeid)
210 struct type *type = NULL;
215 /* FIXME: For now, if we are asked to produce a type not in this
216 language, create the equivalent of a C integer type with the
217 name "<?type?>". When all the dust settles from the type
218 reconstruction work, this should probably become an error. */
219 type = init_type (TYPE_CODE_INT,
220 TARGET_INT_BIT / TARGET_CHAR_BIT,
221 0, "<?type?>", objfile);
222 warning ("internal error: no C/C++ fundamental type %d", typeid);
225 type = init_type (TYPE_CODE_VOID,
226 TARGET_CHAR_BIT / TARGET_CHAR_BIT,
230 type = init_type (TYPE_CODE_BOOL,
231 TARGET_CHAR_BIT / TARGET_CHAR_BIT,
235 type = init_type (TYPE_CODE_INT,
236 TARGET_CHAR_BIT / TARGET_CHAR_BIT,
237 TYPE_FLAG_NOSIGN, "char", objfile);
240 type = init_type (TYPE_CODE_INT,
241 TARGET_CHAR_BIT / TARGET_CHAR_BIT,
242 0, "signed char", objfile);
244 case FT_UNSIGNED_CHAR:
245 type = init_type (TYPE_CODE_INT,
246 TARGET_CHAR_BIT / TARGET_CHAR_BIT,
247 TYPE_FLAG_UNSIGNED, "unsigned char", objfile);
250 type = init_type (TYPE_CODE_INT,
251 TARGET_SHORT_BIT / TARGET_CHAR_BIT,
252 0, "short", objfile);
254 case FT_SIGNED_SHORT:
255 type = init_type (TYPE_CODE_INT,
256 TARGET_SHORT_BIT / TARGET_CHAR_BIT,
257 0, "short", objfile); /* FIXME-fnf */
259 case FT_UNSIGNED_SHORT:
260 type = init_type (TYPE_CODE_INT,
261 TARGET_SHORT_BIT / TARGET_CHAR_BIT,
262 TYPE_FLAG_UNSIGNED, "unsigned short", objfile);
265 type = init_type (TYPE_CODE_INT,
266 TARGET_INT_BIT / TARGET_CHAR_BIT,
269 case FT_SIGNED_INTEGER:
270 type = init_type (TYPE_CODE_INT,
271 TARGET_INT_BIT / TARGET_CHAR_BIT,
272 0, "int", objfile); /* FIXME -fnf */
274 case FT_UNSIGNED_INTEGER:
275 type = init_type (TYPE_CODE_INT,
276 TARGET_INT_BIT / TARGET_CHAR_BIT,
277 TYPE_FLAG_UNSIGNED, "unsigned int", objfile);
280 type = init_type (TYPE_CODE_INT,
281 TARGET_LONG_BIT / TARGET_CHAR_BIT,
285 type = init_type (TYPE_CODE_INT,
286 TARGET_LONG_BIT / TARGET_CHAR_BIT,
287 0, "long", objfile); /* FIXME -fnf */
289 case FT_UNSIGNED_LONG:
290 type = init_type (TYPE_CODE_INT,
291 TARGET_LONG_BIT / TARGET_CHAR_BIT,
292 TYPE_FLAG_UNSIGNED, "unsigned long", objfile);
295 type = init_type (TYPE_CODE_INT,
296 TARGET_LONG_LONG_BIT / TARGET_CHAR_BIT,
297 0, "long long", objfile);
299 case FT_SIGNED_LONG_LONG:
300 type = init_type (TYPE_CODE_INT,
301 TARGET_LONG_LONG_BIT / TARGET_CHAR_BIT,
302 0, "signed long long", objfile);
304 case FT_UNSIGNED_LONG_LONG:
305 type = init_type (TYPE_CODE_INT,
306 TARGET_LONG_LONG_BIT / TARGET_CHAR_BIT,
307 TYPE_FLAG_UNSIGNED, "unsigned long long", objfile);
310 type = init_type (TYPE_CODE_FLT,
311 TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
312 0, "float", objfile);
314 case FT_DBL_PREC_FLOAT:
315 type = init_type (TYPE_CODE_FLT,
316 TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
317 0, "double", objfile);
319 case FT_EXT_PREC_FLOAT:
320 type = init_type (TYPE_CODE_FLT,
321 TARGET_LONG_DOUBLE_BIT / TARGET_CHAR_BIT,
322 0, "long double", objfile);
325 type = init_type (TYPE_CODE_FLT,
326 2 * TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
327 0, "complex float", objfile);
328 TYPE_TARGET_TYPE (type)
329 = init_type (TYPE_CODE_FLT, TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
330 0, "float", objfile);
332 case FT_DBL_PREC_COMPLEX:
333 type = init_type (TYPE_CODE_FLT,
334 2 * TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
335 0, "complex double", objfile);
336 TYPE_TARGET_TYPE (type)
337 = init_type (TYPE_CODE_FLT, TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
338 0, "double", objfile);
340 case FT_EXT_PREC_COMPLEX:
341 type = init_type (TYPE_CODE_FLT,
342 2 * TARGET_LONG_DOUBLE_BIT / TARGET_CHAR_BIT,
343 0, "complex long double", objfile);
344 TYPE_TARGET_TYPE (type)
345 = init_type (TYPE_CODE_FLT, TARGET_LONG_DOUBLE_BIT / TARGET_CHAR_BIT,
346 0, "long double", objfile);
348 case FT_TEMPLATE_ARG:
349 type = init_type (TYPE_CODE_TEMPLATE_ARG,
351 0, "<template arg>", objfile);
357 /* Preprocessing and parsing C and C++ expressions. */
360 /* When we find that lexptr (the global var defined in parse.c) is
361 pointing at a macro invocation, we expand the invocation, and call
362 scan_macro_expansion to save the old lexptr here and point lexptr
363 into the expanded text. When we reach the end of that, we call
364 end_macro_expansion to pop back to the value we saved here. The
365 macro expansion code promises to return only fully-expanded text,
366 so we don't need to "push" more than one level.
368 This is disgusting, of course. It would be cleaner to do all macro
369 expansion beforehand, and then hand that to lexptr. But we don't
370 really know where the expression ends. Remember, in a command like
372 (gdb) break *ADDRESS if CONDITION
374 we evaluate ADDRESS in the scope of the current frame, but we
375 evaluate CONDITION in the scope of the breakpoint's location. So
376 it's simply wrong to try to macro-expand the whole thing at once. */
377 static char *macro_original_text;
378 static char *macro_expanded_text;
382 scan_macro_expansion (char *expansion)
384 /* We'd better not be trying to push the stack twice. */
385 gdb_assert (! macro_original_text);
386 gdb_assert (! macro_expanded_text);
388 /* Save the old lexptr value, so we can return to it when we're done
389 parsing the expanded text. */
390 macro_original_text = lexptr;
393 /* Save the expanded text, so we can free it when we're finished. */
394 macro_expanded_text = expansion;
399 scanning_macro_expansion (void)
401 return macro_original_text != 0;
406 finished_macro_expansion (void)
408 /* There'd better be something to pop back to, and we better have
409 saved a pointer to the start of the expanded text. */
410 gdb_assert (macro_original_text);
411 gdb_assert (macro_expanded_text);
413 /* Pop back to the original text. */
414 lexptr = macro_original_text;
415 macro_original_text = 0;
417 /* Free the expanded text. */
418 xfree (macro_expanded_text);
419 macro_expanded_text = 0;
424 scan_macro_cleanup (void *dummy)
426 if (macro_original_text)
427 finished_macro_expansion ();
431 /* We set these global variables before calling c_parse, to tell it
432 how it to find macro definitions for the expression at hand. */
433 macro_lookup_ftype *expression_macro_lookup_func;
434 void *expression_macro_lookup_baton;
437 static struct macro_definition *
438 null_macro_lookup (const char *name, void *baton)
445 c_preprocess_and_parse (void)
447 /* Set up a lookup function for the macro expander. */
448 struct macro_scope *scope = 0;
449 struct cleanup *back_to = make_cleanup (free_current_contents, &scope);
451 if (expression_context_block)
452 scope = sal_macro_scope (find_pc_line (expression_context_pc, 0));
454 scope = default_macro_scope ();
458 expression_macro_lookup_func = standard_macro_lookup;
459 expression_macro_lookup_baton = (void *) scope;
463 expression_macro_lookup_func = null_macro_lookup;
464 expression_macro_lookup_baton = 0;
467 gdb_assert (! macro_original_text);
468 make_cleanup (scan_macro_cleanup, 0);
471 int result = c_parse ();
472 do_cleanups (back_to);
479 /* Table mapping opcodes into strings for printing operators
480 and precedences of the operators. */
482 const struct op_print c_op_print_tab[] =
484 {",", BINOP_COMMA, PREC_COMMA, 0},
485 {"=", BINOP_ASSIGN, PREC_ASSIGN, 1},
486 {"||", BINOP_LOGICAL_OR, PREC_LOGICAL_OR, 0},
487 {"&&", BINOP_LOGICAL_AND, PREC_LOGICAL_AND, 0},
488 {"|", BINOP_BITWISE_IOR, PREC_BITWISE_IOR, 0},
489 {"^", BINOP_BITWISE_XOR, PREC_BITWISE_XOR, 0},
490 {"&", BINOP_BITWISE_AND, PREC_BITWISE_AND, 0},
491 {"==", BINOP_EQUAL, PREC_EQUAL, 0},
492 {"!=", BINOP_NOTEQUAL, PREC_EQUAL, 0},
493 {"<=", BINOP_LEQ, PREC_ORDER, 0},
494 {">=", BINOP_GEQ, PREC_ORDER, 0},
495 {">", BINOP_GTR, PREC_ORDER, 0},
496 {"<", BINOP_LESS, PREC_ORDER, 0},
497 {">>", BINOP_RSH, PREC_SHIFT, 0},
498 {"<<", BINOP_LSH, PREC_SHIFT, 0},
499 {"+", BINOP_ADD, PREC_ADD, 0},
500 {"-", BINOP_SUB, PREC_ADD, 0},
501 {"*", BINOP_MUL, PREC_MUL, 0},
502 {"/", BINOP_DIV, PREC_MUL, 0},
503 {"%", BINOP_REM, PREC_MUL, 0},
504 {"@", BINOP_REPEAT, PREC_REPEAT, 0},
505 {"-", UNOP_NEG, PREC_PREFIX, 0},
506 {"!", UNOP_LOGICAL_NOT, PREC_PREFIX, 0},
507 {"~", UNOP_COMPLEMENT, PREC_PREFIX, 0},
508 {"*", UNOP_IND, PREC_PREFIX, 0},
509 {"&", UNOP_ADDR, PREC_PREFIX, 0},
510 {"sizeof ", UNOP_SIZEOF, PREC_PREFIX, 0},
511 {"++", UNOP_PREINCREMENT, PREC_PREFIX, 0},
512 {"--", UNOP_PREDECREMENT, PREC_PREFIX, 0},
516 struct type **const (c_builtin_types[]) =
523 &builtin_type_double,
525 &builtin_type_long_long,
526 &builtin_type_signed_char,
527 &builtin_type_unsigned_char,
528 &builtin_type_unsigned_short,
529 &builtin_type_unsigned_int,
530 &builtin_type_unsigned_long,
531 &builtin_type_unsigned_long_long,
532 &builtin_type_long_double,
533 &builtin_type_complex,
534 &builtin_type_double_complex,
538 const struct language_defn c_language_defn =
540 "c", /* Language name */
546 &exp_descriptor_standard,
547 c_preprocess_and_parse,
550 c_printchar, /* Print a character constant */
551 c_printstr, /* Function to print string constant */
552 c_emit_char, /* Print a single char */
553 c_create_fundamental_type, /* Create fundamental type in this language */
554 c_print_type, /* Print a type using appropriate syntax */
555 c_val_print, /* Print a value using appropriate syntax */
556 c_value_print, /* Print a top-level value */
557 NULL, /* Language specific skip_trampoline */
558 NULL, /* value_of_this */
559 basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
560 basic_lookup_transparent_type,/* lookup_transparent_type */
561 NULL, /* Language specific symbol demangler */
562 NULL, /* Language specific class_name_from_physname */
563 {"", "", "", ""}, /* Binary format info */
564 {"0%lo", "0", "o", ""}, /* Octal format info */
565 {"%ld", "", "d", ""}, /* Decimal format info */
566 {"0x%lx", "0x", "x", ""}, /* Hex format info */
567 c_op_print_tab, /* expression operators for printing */
568 1, /* c-style arrays */
569 0, /* String lower bound */
570 &builtin_type_char, /* Type of string elements */
571 default_word_break_characters,
572 NULL, /* FIXME: la_language_arch_info. */
576 struct type **const (cplus_builtin_types[]) =
583 &builtin_type_double,
585 &builtin_type_long_long,
586 &builtin_type_signed_char,
587 &builtin_type_unsigned_char,
588 &builtin_type_unsigned_short,
589 &builtin_type_unsigned_int,
590 &builtin_type_unsigned_long,
591 &builtin_type_unsigned_long_long,
592 &builtin_type_long_double,
593 &builtin_type_complex,
594 &builtin_type_double_complex,
599 const struct language_defn cplus_language_defn =
601 "c++", /* Language name */
607 &exp_descriptor_standard,
608 c_preprocess_and_parse,
611 c_printchar, /* Print a character constant */
612 c_printstr, /* Function to print string constant */
613 c_emit_char, /* Print a single char */
614 c_create_fundamental_type, /* Create fundamental type in this language */
615 c_print_type, /* Print a type using appropriate syntax */
616 c_val_print, /* Print a value using appropriate syntax */
617 c_value_print, /* Print a top-level value */
618 NULL, /* Language specific skip_trampoline */
619 value_of_this, /* value_of_this */
620 cp_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
621 cp_lookup_transparent_type, /* lookup_transparent_type */
622 cplus_demangle, /* Language specific symbol demangler */
623 cp_class_name_from_physname, /* Language specific class_name_from_physname */
624 {"", "", "", ""}, /* Binary format info */
625 {"0%lo", "0", "o", ""}, /* Octal format info */
626 {"%ld", "", "d", ""}, /* Decimal format info */
627 {"0x%lx", "0x", "x", ""}, /* Hex format info */
628 c_op_print_tab, /* expression operators for printing */
629 1, /* c-style arrays */
630 0, /* String lower bound */
631 &builtin_type_char, /* Type of string elements */
632 default_word_break_characters,
633 NULL, /* FIXME: la_language_arch_info. */
637 const struct language_defn asm_language_defn =
639 "asm", /* Language name */
645 &exp_descriptor_standard,
646 c_preprocess_and_parse,
649 c_printchar, /* Print a character constant */
650 c_printstr, /* Function to print string constant */
651 c_emit_char, /* Print a single char */
652 c_create_fundamental_type, /* Create fundamental type in this language */
653 c_print_type, /* Print a type using appropriate syntax */
654 c_val_print, /* Print a value using appropriate syntax */
655 c_value_print, /* Print a top-level value */
656 NULL, /* Language specific skip_trampoline */
657 NULL, /* value_of_this */
658 basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
659 basic_lookup_transparent_type,/* lookup_transparent_type */
660 NULL, /* Language specific symbol demangler */
661 NULL, /* Language specific class_name_from_physname */
662 {"", "", "", ""}, /* Binary format info */
663 {"0%lo", "0", "o", ""}, /* Octal format info */
664 {"%ld", "", "d", ""}, /* Decimal format info */
665 {"0x%lx", "0x", "x", ""}, /* Hex format info */
666 c_op_print_tab, /* expression operators for printing */
667 1, /* c-style arrays */
668 0, /* String lower bound */
669 &builtin_type_char, /* Type of string elements */
670 default_word_break_characters,
671 NULL, /* FIXME: la_language_arch_info. */
675 /* The following language_defn does not represent a real language.
676 It just provides a minimal support a-la-C that should allow users
677 to do some simple operations when debugging applications that use
678 a language currently not supported by GDB. */
680 const struct language_defn minimal_language_defn =
682 "minimal", /* Language name */
688 &exp_descriptor_standard,
689 c_preprocess_and_parse,
692 c_printchar, /* Print a character constant */
693 c_printstr, /* Function to print string constant */
694 c_emit_char, /* Print a single char */
695 c_create_fundamental_type, /* Create fundamental type in this language */
696 c_print_type, /* Print a type using appropriate syntax */
697 c_val_print, /* Print a value using appropriate syntax */
698 c_value_print, /* Print a top-level value */
699 NULL, /* Language specific skip_trampoline */
700 NULL, /* value_of_this */
701 basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
702 basic_lookup_transparent_type,/* lookup_transparent_type */
703 NULL, /* Language specific symbol demangler */
704 NULL, /* Language specific class_name_from_physname */
705 {"", "", "", ""}, /* Binary format info */
706 {"0%lo", "0", "o", ""}, /* Octal format info */
707 {"%ld", "", "d", ""}, /* Decimal format info */
708 {"0x%lx", "0x", "x", ""}, /* Hex format info */
709 c_op_print_tab, /* expression operators for printing */
710 1, /* c-style arrays */
711 0, /* String lower bound */
712 &builtin_type_char, /* Type of string elements */
713 default_word_break_characters,
714 NULL, /* FIXME: la_language_arch_info. */
719 _initialize_c_language (void)
721 add_language (&c_language_defn);
722 add_language (&cplus_language_defn);
723 add_language (&asm_language_defn);
724 add_language (&minimal_language_defn);