Update
[gdb.git] / gdb / c-lang.c
blobc4ef9d6103fb50aa7bb489028b3ebe440fcb1bec
1 /* C language support routines for GDB, the GNU debugger.
3 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2002, 2003,
4 2004, 2005, 2007, 2008 Free Software Foundation, Inc.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
21 #include "defs.h"
22 #include "symtab.h"
23 #include "gdbtypes.h"
24 #include "expression.h"
25 #include "parser-defs.h"
26 #include "language.h"
27 #include "c-lang.h"
28 #include "valprint.h"
29 #include "macroscope.h"
30 #include "gdb_assert.h"
31 #include "charset.h"
32 #include "gdb_string.h"
33 #include "demangle.h"
34 #include "cp-abi.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. */
44 static void
45 c_emit_char (int c, struct ui_file *stream, int quoter)
47 const char *escape;
48 int host_char;
50 c &= 0xFF; /* Avoid sign bit follies */
52 escape = c_target_char_has_backslash_escape (c);
53 if (escape)
55 if (quoter == '"' && strcmp (escape, "0") == 0)
56 /* Print nulls embedded in double quoted strings as \000 to
57 prevent ambiguity. */
58 fprintf_filtered (stream, "\\000");
59 else
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);
69 else
70 fprintf_filtered (stream, "\\%.3o", (unsigned int) c);
73 void
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. */
87 void
88 c_printstr (struct ui_file *stream, const gdb_byte *string,
89 unsigned int length, int width, int force_ellipses)
91 unsigned int i;
92 unsigned int things_printed = 0;
93 int in_quotes = 0;
94 int need_comma = 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
98 style. */
99 if (!force_ellipses
100 && length > 0
101 && (extract_unsigned_integer (string + (length - 1) * width, width)
102 == '\0'))
103 length--;
105 if (length == 0)
107 fputs_filtered ("\"\"", stream);
108 return;
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. */
115 unsigned int rep1;
116 /* Number of repetitions we have detected so far. */
117 unsigned int reps;
118 unsigned long current_char;
120 QUIT;
122 if (need_comma)
124 fputs_filtered (", ", stream);
125 need_comma = 0;
128 current_char = extract_unsigned_integer (string + i * width, width);
130 rep1 = i + 1;
131 reps = 1;
132 while (rep1 < length
133 && extract_unsigned_integer (string + rep1 * width, width)
134 == current_char)
136 ++rep1;
137 ++reps;
140 if (reps > repeat_count_threshold)
142 if (in_quotes)
144 if (inspect_it)
145 fputs_filtered ("\\\", ", stream);
146 else
147 fputs_filtered ("\", ", stream);
148 in_quotes = 0;
150 LA_PRINT_CHAR (current_char, stream);
151 fprintf_filtered (stream, _(" <repeats %u times>"), reps);
152 i = rep1 - 1;
153 things_printed += repeat_count_threshold;
154 need_comma = 1;
156 else
158 if (!in_quotes)
160 if (inspect_it)
161 fputs_filtered ("\\\"", stream);
162 else
163 fputs_filtered ("\"", stream);
164 in_quotes = 1;
166 LA_EMIT_CHAR (current_char, stream, '"');
167 ++things_printed;
171 /* Terminate the quotes if necessary. */
172 if (in_quotes)
174 if (inspect_it)
175 fputs_filtered ("\\\"", stream);
176 else
177 fputs_filtered ("\"", stream);
180 if (force_ellipses || i < length)
181 fputs_filtered ("...", stream);
184 /* Preprocessing and parsing C and C++ expressions. */
187 /* When we find that lexptr (the global var defined in parse.c) is
188 pointing at a macro invocation, we expand the invocation, and call
189 scan_macro_expansion to save the old lexptr here and point lexptr
190 into the expanded text. When we reach the end of that, we call
191 end_macro_expansion to pop back to the value we saved here. The
192 macro expansion code promises to return only fully-expanded text,
193 so we don't need to "push" more than one level.
195 This is disgusting, of course. It would be cleaner to do all macro
196 expansion beforehand, and then hand that to lexptr. But we don't
197 really know where the expression ends. Remember, in a command like
199 (gdb) break *ADDRESS if CONDITION
201 we evaluate ADDRESS in the scope of the current frame, but we
202 evaluate CONDITION in the scope of the breakpoint's location. So
203 it's simply wrong to try to macro-expand the whole thing at once. */
204 static char *macro_original_text;
205 static char *macro_expanded_text;
208 void
209 scan_macro_expansion (char *expansion)
211 /* We'd better not be trying to push the stack twice. */
212 gdb_assert (! macro_original_text);
213 gdb_assert (! macro_expanded_text);
215 /* Save the old lexptr value, so we can return to it when we're done
216 parsing the expanded text. */
217 macro_original_text = lexptr;
218 lexptr = expansion;
220 /* Save the expanded text, so we can free it when we're finished. */
221 macro_expanded_text = expansion;
226 scanning_macro_expansion (void)
228 return macro_original_text != 0;
232 void
233 finished_macro_expansion (void)
235 /* There'd better be something to pop back to, and we better have
236 saved a pointer to the start of the expanded text. */
237 gdb_assert (macro_original_text);
238 gdb_assert (macro_expanded_text);
240 /* Pop back to the original text. */
241 lexptr = macro_original_text;
242 macro_original_text = 0;
244 /* Free the expanded text. */
245 xfree (macro_expanded_text);
246 macro_expanded_text = 0;
250 static void
251 scan_macro_cleanup (void *dummy)
253 if (macro_original_text)
254 finished_macro_expansion ();
258 /* We set these global variables before calling c_parse, to tell it
259 how it to find macro definitions for the expression at hand. */
260 macro_lookup_ftype *expression_macro_lookup_func;
261 void *expression_macro_lookup_baton;
264 static struct macro_definition *
265 null_macro_lookup (const char *name, void *baton)
267 return 0;
271 static int
272 c_preprocess_and_parse (void)
274 /* Set up a lookup function for the macro expander. */
275 struct macro_scope *scope = 0;
276 struct cleanup *back_to = make_cleanup (free_current_contents, &scope);
278 if (expression_context_block)
279 scope = sal_macro_scope (find_pc_line (expression_context_pc, 0));
280 else
281 scope = default_macro_scope ();
283 if (scope)
285 expression_macro_lookup_func = standard_macro_lookup;
286 expression_macro_lookup_baton = (void *) scope;
288 else
290 expression_macro_lookup_func = null_macro_lookup;
291 expression_macro_lookup_baton = 0;
294 gdb_assert (! macro_original_text);
295 make_cleanup (scan_macro_cleanup, 0);
298 int result = c_parse ();
299 do_cleanups (back_to);
300 return result;
306 /* Table mapping opcodes into strings for printing operators
307 and precedences of the operators. */
309 const struct op_print c_op_print_tab[] =
311 {",", BINOP_COMMA, PREC_COMMA, 0},
312 {"=", BINOP_ASSIGN, PREC_ASSIGN, 1},
313 {"||", BINOP_LOGICAL_OR, PREC_LOGICAL_OR, 0},
314 {"&&", BINOP_LOGICAL_AND, PREC_LOGICAL_AND, 0},
315 {"|", BINOP_BITWISE_IOR, PREC_BITWISE_IOR, 0},
316 {"^", BINOP_BITWISE_XOR, PREC_BITWISE_XOR, 0},
317 {"&", BINOP_BITWISE_AND, PREC_BITWISE_AND, 0},
318 {"==", BINOP_EQUAL, PREC_EQUAL, 0},
319 {"!=", BINOP_NOTEQUAL, PREC_EQUAL, 0},
320 {"<=", BINOP_LEQ, PREC_ORDER, 0},
321 {">=", BINOP_GEQ, PREC_ORDER, 0},
322 {">", BINOP_GTR, PREC_ORDER, 0},
323 {"<", BINOP_LESS, PREC_ORDER, 0},
324 {">>", BINOP_RSH, PREC_SHIFT, 0},
325 {"<<", BINOP_LSH, PREC_SHIFT, 0},
326 {"+", BINOP_ADD, PREC_ADD, 0},
327 {"-", BINOP_SUB, PREC_ADD, 0},
328 {"*", BINOP_MUL, PREC_MUL, 0},
329 {"/", BINOP_DIV, PREC_MUL, 0},
330 {"%", BINOP_REM, PREC_MUL, 0},
331 {"@", BINOP_REPEAT, PREC_REPEAT, 0},
332 {"-", UNOP_NEG, PREC_PREFIX, 0},
333 {"!", UNOP_LOGICAL_NOT, PREC_PREFIX, 0},
334 {"~", UNOP_COMPLEMENT, PREC_PREFIX, 0},
335 {"*", UNOP_IND, PREC_PREFIX, 0},
336 {"&", UNOP_ADDR, PREC_PREFIX, 0},
337 {"sizeof ", UNOP_SIZEOF, PREC_PREFIX, 0},
338 {"++", UNOP_PREINCREMENT, PREC_PREFIX, 0},
339 {"--", UNOP_PREDECREMENT, PREC_PREFIX, 0},
340 {NULL, 0, 0, 0}
343 enum c_primitive_types {
344 c_primitive_type_int,
345 c_primitive_type_long,
346 c_primitive_type_short,
347 c_primitive_type_char,
348 c_primitive_type_float,
349 c_primitive_type_double,
350 c_primitive_type_void,
351 c_primitive_type_long_long,
352 c_primitive_type_signed_char,
353 c_primitive_type_unsigned_char,
354 c_primitive_type_unsigned_short,
355 c_primitive_type_unsigned_int,
356 c_primitive_type_unsigned_long,
357 c_primitive_type_unsigned_long_long,
358 c_primitive_type_long_double,
359 c_primitive_type_complex,
360 c_primitive_type_double_complex,
361 c_primitive_type_decfloat,
362 c_primitive_type_decdouble,
363 c_primitive_type_declong,
364 nr_c_primitive_types
367 void
368 c_language_arch_info (struct gdbarch *gdbarch,
369 struct language_arch_info *lai)
371 const struct builtin_type *builtin = builtin_type (gdbarch);
372 lai->string_char_type = builtin->builtin_char;
373 lai->primitive_type_vector
374 = GDBARCH_OBSTACK_CALLOC (gdbarch, nr_c_primitive_types + 1,
375 struct type *);
376 lai->primitive_type_vector [c_primitive_type_int] = builtin->builtin_int;
377 lai->primitive_type_vector [c_primitive_type_long] = builtin->builtin_long;
378 lai->primitive_type_vector [c_primitive_type_short] = builtin->builtin_short;
379 lai->primitive_type_vector [c_primitive_type_char] = builtin->builtin_char;
380 lai->primitive_type_vector [c_primitive_type_float] = builtin->builtin_float;
381 lai->primitive_type_vector [c_primitive_type_double] = builtin->builtin_double;
382 lai->primitive_type_vector [c_primitive_type_void] = builtin->builtin_void;
383 lai->primitive_type_vector [c_primitive_type_long_long] = builtin->builtin_long_long;
384 lai->primitive_type_vector [c_primitive_type_signed_char] = builtin->builtin_signed_char;
385 lai->primitive_type_vector [c_primitive_type_unsigned_char] = builtin->builtin_unsigned_char;
386 lai->primitive_type_vector [c_primitive_type_unsigned_short] = builtin->builtin_unsigned_short;
387 lai->primitive_type_vector [c_primitive_type_unsigned_int] = builtin->builtin_unsigned_int;
388 lai->primitive_type_vector [c_primitive_type_unsigned_long] = builtin->builtin_unsigned_long;
389 lai->primitive_type_vector [c_primitive_type_unsigned_long_long] = builtin->builtin_unsigned_long_long;
390 lai->primitive_type_vector [c_primitive_type_long_double] = builtin->builtin_long_double;
391 lai->primitive_type_vector [c_primitive_type_complex] = builtin->builtin_complex;
392 lai->primitive_type_vector [c_primitive_type_double_complex] = builtin->builtin_double_complex;
393 lai->primitive_type_vector [c_primitive_type_decfloat] = builtin->builtin_decfloat;
394 lai->primitive_type_vector [c_primitive_type_decdouble] = builtin->builtin_decdouble;
395 lai->primitive_type_vector [c_primitive_type_declong] = builtin->builtin_declong;
398 const struct language_defn c_language_defn =
400 "c", /* Language name */
401 language_c,
402 range_check_off,
403 type_check_off,
404 case_sensitive_on,
405 array_row_major,
406 &exp_descriptor_standard,
407 c_preprocess_and_parse,
408 c_error,
409 null_post_parser,
410 c_printchar, /* Print a character constant */
411 c_printstr, /* Function to print string constant */
412 c_emit_char, /* Print a single char */
413 c_print_type, /* Print a type using appropriate syntax */
414 c_val_print, /* Print a value using appropriate syntax */
415 c_value_print, /* Print a top-level value */
416 NULL, /* Language specific skip_trampoline */
417 NULL, /* value_of_this */
418 basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
419 basic_lookup_transparent_type,/* lookup_transparent_type */
420 NULL, /* Language specific symbol demangler */
421 NULL, /* Language specific class_name_from_physname */
422 c_op_print_tab, /* expression operators for printing */
423 1, /* c-style arrays */
424 0, /* String lower bound */
425 default_word_break_characters,
426 default_make_symbol_completion_list,
427 c_language_arch_info,
428 default_print_array_index,
429 default_pass_by_reference,
430 LANG_MAGIC
433 enum cplus_primitive_types {
434 cplus_primitive_type_int,
435 cplus_primitive_type_long,
436 cplus_primitive_type_short,
437 cplus_primitive_type_char,
438 cplus_primitive_type_float,
439 cplus_primitive_type_double,
440 cplus_primitive_type_void,
441 cplus_primitive_type_long_long,
442 cplus_primitive_type_signed_char,
443 cplus_primitive_type_unsigned_char,
444 cplus_primitive_type_unsigned_short,
445 cplus_primitive_type_unsigned_int,
446 cplus_primitive_type_unsigned_long,
447 cplus_primitive_type_unsigned_long_long,
448 cplus_primitive_type_long_double,
449 cplus_primitive_type_complex,
450 cplus_primitive_type_double_complex,
451 cplus_primitive_type_bool,
452 cplus_primitive_type_decfloat,
453 cplus_primitive_type_decdouble,
454 cplus_primitive_type_declong,
455 nr_cplus_primitive_types
458 static void
459 cplus_language_arch_info (struct gdbarch *gdbarch,
460 struct language_arch_info *lai)
462 const struct builtin_type *builtin = builtin_type (gdbarch);
463 lai->string_char_type = builtin->builtin_char;
464 lai->primitive_type_vector
465 = GDBARCH_OBSTACK_CALLOC (gdbarch, nr_cplus_primitive_types + 1,
466 struct type *);
467 lai->primitive_type_vector [cplus_primitive_type_int]
468 = builtin->builtin_int;
469 lai->primitive_type_vector [cplus_primitive_type_long]
470 = builtin->builtin_long;
471 lai->primitive_type_vector [cplus_primitive_type_short]
472 = builtin->builtin_short;
473 lai->primitive_type_vector [cplus_primitive_type_char]
474 = builtin->builtin_char;
475 lai->primitive_type_vector [cplus_primitive_type_float]
476 = builtin->builtin_float;
477 lai->primitive_type_vector [cplus_primitive_type_double]
478 = builtin->builtin_double;
479 lai->primitive_type_vector [cplus_primitive_type_void]
480 = builtin->builtin_void;
481 lai->primitive_type_vector [cplus_primitive_type_long_long]
482 = builtin->builtin_long_long;
483 lai->primitive_type_vector [cplus_primitive_type_signed_char]
484 = builtin->builtin_signed_char;
485 lai->primitive_type_vector [cplus_primitive_type_unsigned_char]
486 = builtin->builtin_unsigned_char;
487 lai->primitive_type_vector [cplus_primitive_type_unsigned_short]
488 = builtin->builtin_unsigned_short;
489 lai->primitive_type_vector [cplus_primitive_type_unsigned_int]
490 = builtin->builtin_unsigned_int;
491 lai->primitive_type_vector [cplus_primitive_type_unsigned_long]
492 = builtin->builtin_unsigned_long;
493 lai->primitive_type_vector [cplus_primitive_type_unsigned_long_long]
494 = builtin->builtin_unsigned_long_long;
495 lai->primitive_type_vector [cplus_primitive_type_long_double]
496 = builtin->builtin_long_double;
497 lai->primitive_type_vector [cplus_primitive_type_complex]
498 = builtin->builtin_complex;
499 lai->primitive_type_vector [cplus_primitive_type_double_complex]
500 = builtin->builtin_double_complex;
501 lai->primitive_type_vector [cplus_primitive_type_bool]
502 = builtin->builtin_bool;
503 lai->primitive_type_vector [cplus_primitive_type_decfloat]
504 = builtin->builtin_decfloat;
505 lai->primitive_type_vector [cplus_primitive_type_decdouble]
506 = builtin->builtin_decdouble;
507 lai->primitive_type_vector [cplus_primitive_type_declong]
508 = builtin->builtin_declong;
511 const struct language_defn cplus_language_defn =
513 "c++", /* Language name */
514 language_cplus,
515 range_check_off,
516 type_check_off,
517 case_sensitive_on,
518 array_row_major,
519 &exp_descriptor_standard,
520 c_preprocess_and_parse,
521 c_error,
522 null_post_parser,
523 c_printchar, /* Print a character constant */
524 c_printstr, /* Function to print string constant */
525 c_emit_char, /* Print a single char */
526 c_print_type, /* Print a type using appropriate syntax */
527 c_val_print, /* Print a value using appropriate syntax */
528 c_value_print, /* Print a top-level value */
529 cplus_skip_trampoline, /* Language specific skip_trampoline */
530 value_of_this, /* value_of_this */
531 cp_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
532 cp_lookup_transparent_type, /* lookup_transparent_type */
533 cplus_demangle, /* Language specific symbol demangler */
534 cp_class_name_from_physname, /* Language specific class_name_from_physname */
535 c_op_print_tab, /* expression operators for printing */
536 1, /* c-style arrays */
537 0, /* String lower bound */
538 default_word_break_characters,
539 default_make_symbol_completion_list,
540 cplus_language_arch_info,
541 default_print_array_index,
542 cp_pass_by_reference,
543 LANG_MAGIC
546 const struct language_defn asm_language_defn =
548 "asm", /* Language name */
549 language_asm,
550 range_check_off,
551 type_check_off,
552 case_sensitive_on,
553 array_row_major,
554 &exp_descriptor_standard,
555 c_preprocess_and_parse,
556 c_error,
557 null_post_parser,
558 c_printchar, /* Print a character constant */
559 c_printstr, /* Function to print string constant */
560 c_emit_char, /* Print a single char */
561 c_print_type, /* Print a type using appropriate syntax */
562 c_val_print, /* Print a value using appropriate syntax */
563 c_value_print, /* Print a top-level value */
564 NULL, /* Language specific skip_trampoline */
565 NULL, /* value_of_this */
566 basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
567 basic_lookup_transparent_type,/* lookup_transparent_type */
568 NULL, /* Language specific symbol demangler */
569 NULL, /* Language specific class_name_from_physname */
570 c_op_print_tab, /* expression operators for printing */
571 1, /* c-style arrays */
572 0, /* String lower bound */
573 default_word_break_characters,
574 default_make_symbol_completion_list,
575 c_language_arch_info, /* FIXME: la_language_arch_info. */
576 default_print_array_index,
577 default_pass_by_reference,
578 LANG_MAGIC
581 /* The following language_defn does not represent a real language.
582 It just provides a minimal support a-la-C that should allow users
583 to do some simple operations when debugging applications that use
584 a language currently not supported by GDB. */
586 const struct language_defn minimal_language_defn =
588 "minimal", /* Language name */
589 language_minimal,
590 range_check_off,
591 type_check_off,
592 case_sensitive_on,
593 array_row_major,
594 &exp_descriptor_standard,
595 c_preprocess_and_parse,
596 c_error,
597 null_post_parser,
598 c_printchar, /* Print a character constant */
599 c_printstr, /* Function to print string constant */
600 c_emit_char, /* Print a single char */
601 c_print_type, /* Print a type using appropriate syntax */
602 c_val_print, /* Print a value using appropriate syntax */
603 c_value_print, /* Print a top-level value */
604 NULL, /* Language specific skip_trampoline */
605 NULL, /* value_of_this */
606 basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
607 basic_lookup_transparent_type,/* lookup_transparent_type */
608 NULL, /* Language specific symbol demangler */
609 NULL, /* Language specific class_name_from_physname */
610 c_op_print_tab, /* expression operators for printing */
611 1, /* c-style arrays */
612 0, /* String lower bound */
613 default_word_break_characters,
614 default_make_symbol_completion_list,
615 c_language_arch_info,
616 default_print_array_index,
617 default_pass_by_reference,
618 LANG_MAGIC
621 void
622 _initialize_c_language (void)
624 add_language (&c_language_defn);
625 add_language (&cplus_language_defn);
626 add_language (&asm_language_defn);
627 add_language (&minimal_language_defn);