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/>. */
24 #include "expression.h"
25 #include "parser-defs.h"
29 #include "macroscope.h"
30 #include "gdb_assert.h"
32 #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
, const gdb_byte
*string
,
89 unsigned int length
, 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 /* 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
;
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
;
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;
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;
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
;
265 c_preprocess_and_parse (void)
267 /* Set up a lookup function for the macro expander. */
268 struct macro_scope
*scope
= 0;
269 struct cleanup
*back_to
= make_cleanup (free_current_contents
, &scope
);
271 if (expression_context_block
)
272 scope
= sal_macro_scope (find_pc_line (expression_context_pc
, 0));
274 scope
= default_macro_scope ();
276 scope
= user_macro_scope ();
278 expression_macro_lookup_func
= standard_macro_lookup
;
279 expression_macro_lookup_baton
= (void *) scope
;
281 gdb_assert (! macro_original_text
);
282 make_cleanup (scan_macro_cleanup
, 0);
285 int result
= c_parse ();
286 do_cleanups (back_to
);
293 /* Table mapping opcodes into strings for printing operators
294 and precedences of the operators. */
296 const struct op_print c_op_print_tab
[] =
298 {",", BINOP_COMMA
, PREC_COMMA
, 0},
299 {"=", BINOP_ASSIGN
, PREC_ASSIGN
, 1},
300 {"||", BINOP_LOGICAL_OR
, PREC_LOGICAL_OR
, 0},
301 {"&&", BINOP_LOGICAL_AND
, PREC_LOGICAL_AND
, 0},
302 {"|", BINOP_BITWISE_IOR
, PREC_BITWISE_IOR
, 0},
303 {"^", BINOP_BITWISE_XOR
, PREC_BITWISE_XOR
, 0},
304 {"&", BINOP_BITWISE_AND
, PREC_BITWISE_AND
, 0},
305 {"==", BINOP_EQUAL
, PREC_EQUAL
, 0},
306 {"!=", BINOP_NOTEQUAL
, PREC_EQUAL
, 0},
307 {"<=", BINOP_LEQ
, PREC_ORDER
, 0},
308 {">=", BINOP_GEQ
, PREC_ORDER
, 0},
309 {">", BINOP_GTR
, PREC_ORDER
, 0},
310 {"<", BINOP_LESS
, PREC_ORDER
, 0},
311 {">>", BINOP_RSH
, PREC_SHIFT
, 0},
312 {"<<", BINOP_LSH
, PREC_SHIFT
, 0},
313 {"+", BINOP_ADD
, PREC_ADD
, 0},
314 {"-", BINOP_SUB
, PREC_ADD
, 0},
315 {"*", BINOP_MUL
, PREC_MUL
, 0},
316 {"/", BINOP_DIV
, PREC_MUL
, 0},
317 {"%", BINOP_REM
, PREC_MUL
, 0},
318 {"@", BINOP_REPEAT
, PREC_REPEAT
, 0},
319 {"-", UNOP_NEG
, PREC_PREFIX
, 0},
320 {"!", UNOP_LOGICAL_NOT
, PREC_PREFIX
, 0},
321 {"~", UNOP_COMPLEMENT
, PREC_PREFIX
, 0},
322 {"*", UNOP_IND
, PREC_PREFIX
, 0},
323 {"&", UNOP_ADDR
, PREC_PREFIX
, 0},
324 {"sizeof ", UNOP_SIZEOF
, PREC_PREFIX
, 0},
325 {"++", UNOP_PREINCREMENT
, PREC_PREFIX
, 0},
326 {"--", UNOP_PREDECREMENT
, PREC_PREFIX
, 0},
330 enum c_primitive_types
{
331 c_primitive_type_int
,
332 c_primitive_type_long
,
333 c_primitive_type_short
,
334 c_primitive_type_char
,
335 c_primitive_type_float
,
336 c_primitive_type_double
,
337 c_primitive_type_void
,
338 c_primitive_type_long_long
,
339 c_primitive_type_signed_char
,
340 c_primitive_type_unsigned_char
,
341 c_primitive_type_unsigned_short
,
342 c_primitive_type_unsigned_int
,
343 c_primitive_type_unsigned_long
,
344 c_primitive_type_unsigned_long_long
,
345 c_primitive_type_long_double
,
346 c_primitive_type_complex
,
347 c_primitive_type_double_complex
,
348 c_primitive_type_decfloat
,
349 c_primitive_type_decdouble
,
350 c_primitive_type_declong
,
355 c_language_arch_info (struct gdbarch
*gdbarch
,
356 struct language_arch_info
*lai
)
358 const struct builtin_type
*builtin
= builtin_type (gdbarch
);
359 lai
->string_char_type
= builtin
->builtin_char
;
360 lai
->primitive_type_vector
361 = GDBARCH_OBSTACK_CALLOC (gdbarch
, nr_c_primitive_types
+ 1,
363 lai
->primitive_type_vector
[c_primitive_type_int
] = builtin
->builtin_int
;
364 lai
->primitive_type_vector
[c_primitive_type_long
] = builtin
->builtin_long
;
365 lai
->primitive_type_vector
[c_primitive_type_short
] = builtin
->builtin_short
;
366 lai
->primitive_type_vector
[c_primitive_type_char
] = builtin
->builtin_char
;
367 lai
->primitive_type_vector
[c_primitive_type_float
] = builtin
->builtin_float
;
368 lai
->primitive_type_vector
[c_primitive_type_double
] = builtin
->builtin_double
;
369 lai
->primitive_type_vector
[c_primitive_type_void
] = builtin
->builtin_void
;
370 lai
->primitive_type_vector
[c_primitive_type_long_long
] = builtin
->builtin_long_long
;
371 lai
->primitive_type_vector
[c_primitive_type_signed_char
] = builtin
->builtin_signed_char
;
372 lai
->primitive_type_vector
[c_primitive_type_unsigned_char
] = builtin
->builtin_unsigned_char
;
373 lai
->primitive_type_vector
[c_primitive_type_unsigned_short
] = builtin
->builtin_unsigned_short
;
374 lai
->primitive_type_vector
[c_primitive_type_unsigned_int
] = builtin
->builtin_unsigned_int
;
375 lai
->primitive_type_vector
[c_primitive_type_unsigned_long
] = builtin
->builtin_unsigned_long
;
376 lai
->primitive_type_vector
[c_primitive_type_unsigned_long_long
] = builtin
->builtin_unsigned_long_long
;
377 lai
->primitive_type_vector
[c_primitive_type_long_double
] = builtin
->builtin_long_double
;
378 lai
->primitive_type_vector
[c_primitive_type_complex
] = builtin
->builtin_complex
;
379 lai
->primitive_type_vector
[c_primitive_type_double_complex
] = builtin
->builtin_double_complex
;
380 lai
->primitive_type_vector
[c_primitive_type_decfloat
] = builtin
->builtin_decfloat
;
381 lai
->primitive_type_vector
[c_primitive_type_decdouble
] = builtin
->builtin_decdouble
;
382 lai
->primitive_type_vector
[c_primitive_type_declong
] = builtin
->builtin_declong
;
385 const struct language_defn c_language_defn
=
387 "c", /* Language name */
393 &exp_descriptor_standard
,
394 c_preprocess_and_parse
,
397 c_printchar
, /* Print a character constant */
398 c_printstr
, /* Function to print string constant */
399 c_emit_char
, /* Print a single char */
400 c_print_type
, /* Print a type using appropriate syntax */
401 c_val_print
, /* Print a value using appropriate syntax */
402 c_value_print
, /* Print a top-level value */
403 NULL
, /* Language specific skip_trampoline */
404 NULL
, /* name_of_this */
405 basic_lookup_symbol_nonlocal
, /* lookup_symbol_nonlocal */
406 basic_lookup_transparent_type
,/* lookup_transparent_type */
407 NULL
, /* Language specific symbol demangler */
408 NULL
, /* Language specific class_name_from_physname */
409 c_op_print_tab
, /* expression operators for printing */
410 1, /* c-style arrays */
411 0, /* String lower bound */
412 default_word_break_characters
,
413 default_make_symbol_completion_list
,
414 c_language_arch_info
,
415 default_print_array_index
,
416 default_pass_by_reference
,
420 enum cplus_primitive_types
{
421 cplus_primitive_type_int
,
422 cplus_primitive_type_long
,
423 cplus_primitive_type_short
,
424 cplus_primitive_type_char
,
425 cplus_primitive_type_float
,
426 cplus_primitive_type_double
,
427 cplus_primitive_type_void
,
428 cplus_primitive_type_long_long
,
429 cplus_primitive_type_signed_char
,
430 cplus_primitive_type_unsigned_char
,
431 cplus_primitive_type_unsigned_short
,
432 cplus_primitive_type_unsigned_int
,
433 cplus_primitive_type_unsigned_long
,
434 cplus_primitive_type_unsigned_long_long
,
435 cplus_primitive_type_long_double
,
436 cplus_primitive_type_complex
,
437 cplus_primitive_type_double_complex
,
438 cplus_primitive_type_bool
,
439 cplus_primitive_type_decfloat
,
440 cplus_primitive_type_decdouble
,
441 cplus_primitive_type_declong
,
442 nr_cplus_primitive_types
446 cplus_language_arch_info (struct gdbarch
*gdbarch
,
447 struct language_arch_info
*lai
)
449 const struct builtin_type
*builtin
= builtin_type (gdbarch
);
450 lai
->string_char_type
= builtin
->builtin_char
;
451 lai
->primitive_type_vector
452 = GDBARCH_OBSTACK_CALLOC (gdbarch
, nr_cplus_primitive_types
+ 1,
454 lai
->primitive_type_vector
[cplus_primitive_type_int
]
455 = builtin
->builtin_int
;
456 lai
->primitive_type_vector
[cplus_primitive_type_long
]
457 = builtin
->builtin_long
;
458 lai
->primitive_type_vector
[cplus_primitive_type_short
]
459 = builtin
->builtin_short
;
460 lai
->primitive_type_vector
[cplus_primitive_type_char
]
461 = builtin
->builtin_char
;
462 lai
->primitive_type_vector
[cplus_primitive_type_float
]
463 = builtin
->builtin_float
;
464 lai
->primitive_type_vector
[cplus_primitive_type_double
]
465 = builtin
->builtin_double
;
466 lai
->primitive_type_vector
[cplus_primitive_type_void
]
467 = builtin
->builtin_void
;
468 lai
->primitive_type_vector
[cplus_primitive_type_long_long
]
469 = builtin
->builtin_long_long
;
470 lai
->primitive_type_vector
[cplus_primitive_type_signed_char
]
471 = builtin
->builtin_signed_char
;
472 lai
->primitive_type_vector
[cplus_primitive_type_unsigned_char
]
473 = builtin
->builtin_unsigned_char
;
474 lai
->primitive_type_vector
[cplus_primitive_type_unsigned_short
]
475 = builtin
->builtin_unsigned_short
;
476 lai
->primitive_type_vector
[cplus_primitive_type_unsigned_int
]
477 = builtin
->builtin_unsigned_int
;
478 lai
->primitive_type_vector
[cplus_primitive_type_unsigned_long
]
479 = builtin
->builtin_unsigned_long
;
480 lai
->primitive_type_vector
[cplus_primitive_type_unsigned_long_long
]
481 = builtin
->builtin_unsigned_long_long
;
482 lai
->primitive_type_vector
[cplus_primitive_type_long_double
]
483 = builtin
->builtin_long_double
;
484 lai
->primitive_type_vector
[cplus_primitive_type_complex
]
485 = builtin
->builtin_complex
;
486 lai
->primitive_type_vector
[cplus_primitive_type_double_complex
]
487 = builtin
->builtin_double_complex
;
488 lai
->primitive_type_vector
[cplus_primitive_type_bool
]
489 = builtin
->builtin_bool
;
490 lai
->primitive_type_vector
[cplus_primitive_type_decfloat
]
491 = builtin
->builtin_decfloat
;
492 lai
->primitive_type_vector
[cplus_primitive_type_decdouble
]
493 = builtin
->builtin_decdouble
;
494 lai
->primitive_type_vector
[cplus_primitive_type_declong
]
495 = builtin
->builtin_declong
;
498 const struct language_defn cplus_language_defn
=
500 "c++", /* Language name */
506 &exp_descriptor_standard
,
507 c_preprocess_and_parse
,
510 c_printchar
, /* Print a character constant */
511 c_printstr
, /* Function to print string constant */
512 c_emit_char
, /* Print a single char */
513 c_print_type
, /* Print a type using appropriate syntax */
514 c_val_print
, /* Print a value using appropriate syntax */
515 c_value_print
, /* Print a top-level value */
516 cplus_skip_trampoline
, /* Language specific skip_trampoline */
517 "this", /* name_of_this */
518 cp_lookup_symbol_nonlocal
, /* lookup_symbol_nonlocal */
519 cp_lookup_transparent_type
, /* lookup_transparent_type */
520 cplus_demangle
, /* Language specific symbol demangler */
521 cp_class_name_from_physname
, /* Language specific class_name_from_physname */
522 c_op_print_tab
, /* expression operators for printing */
523 1, /* c-style arrays */
524 0, /* String lower bound */
525 default_word_break_characters
,
526 default_make_symbol_completion_list
,
527 cplus_language_arch_info
,
528 default_print_array_index
,
529 cp_pass_by_reference
,
533 const struct language_defn asm_language_defn
=
535 "asm", /* Language name */
541 &exp_descriptor_standard
,
542 c_preprocess_and_parse
,
545 c_printchar
, /* Print a character constant */
546 c_printstr
, /* Function to print string constant */
547 c_emit_char
, /* Print a single char */
548 c_print_type
, /* Print a type using appropriate syntax */
549 c_val_print
, /* Print a value using appropriate syntax */
550 c_value_print
, /* Print a top-level value */
551 NULL
, /* Language specific skip_trampoline */
552 NULL
, /* name_of_this */
553 basic_lookup_symbol_nonlocal
, /* lookup_symbol_nonlocal */
554 basic_lookup_transparent_type
,/* lookup_transparent_type */
555 NULL
, /* Language specific symbol demangler */
556 NULL
, /* Language specific class_name_from_physname */
557 c_op_print_tab
, /* expression operators for printing */
558 1, /* c-style arrays */
559 0, /* String lower bound */
560 default_word_break_characters
,
561 default_make_symbol_completion_list
,
562 c_language_arch_info
, /* FIXME: la_language_arch_info. */
563 default_print_array_index
,
564 default_pass_by_reference
,
568 /* The following language_defn does not represent a real language.
569 It just provides a minimal support a-la-C that should allow users
570 to do some simple operations when debugging applications that use
571 a language currently not supported by GDB. */
573 const struct language_defn minimal_language_defn
=
575 "minimal", /* Language name */
581 &exp_descriptor_standard
,
582 c_preprocess_and_parse
,
585 c_printchar
, /* Print a character constant */
586 c_printstr
, /* Function to print string constant */
587 c_emit_char
, /* Print a single char */
588 c_print_type
, /* Print a type using appropriate syntax */
589 c_val_print
, /* Print a value using appropriate syntax */
590 c_value_print
, /* Print a top-level value */
591 NULL
, /* Language specific skip_trampoline */
592 NULL
, /* name_of_this */
593 basic_lookup_symbol_nonlocal
, /* lookup_symbol_nonlocal */
594 basic_lookup_transparent_type
,/* lookup_transparent_type */
595 NULL
, /* Language specific symbol demangler */
596 NULL
, /* Language specific class_name_from_physname */
597 c_op_print_tab
, /* expression operators for printing */
598 1, /* c-style arrays */
599 0, /* String lower bound */
600 default_word_break_characters
,
601 default_make_symbol_completion_list
,
602 c_language_arch_info
,
603 default_print_array_index
,
604 default_pass_by_reference
,
609 _initialize_c_language (void)
611 add_language (&c_language_defn
);
612 add_language (&cplus_language_defn
);
613 add_language (&asm_language_defn
);
614 add_language (&minimal_language_defn
);