1 /* Print in infix form a struct expression.
3 Copyright (C) 1986-2020 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 "expression.h"
26 #include "parser-defs.h"
27 #include "user-regs.h" /* For user_reg_map_regnum_to_name. */
32 #include "cli/cli-style.h"
37 print_expression (struct expression
*exp
, struct ui_file
*stream
)
41 print_subexp (exp
, &pc
, stream
, PREC_NULL
);
44 /* Print the subexpression of EXP that starts in position POS, on STREAM.
45 PREC is the precedence of the surrounding operator;
46 if the precedence of the main operator of this subexpression is less,
47 parentheses are needed here. */
50 print_subexp (struct expression
*exp
, int *pos
,
51 struct ui_file
*stream
, enum precedence prec
)
53 exp
->language_defn
->expression_ops ()->print_subexp (exp
, pos
, stream
,
57 /* See parser-defs.h. */
60 print_subexp_funcall (struct expression
*exp
, int *pos
,
61 struct ui_file
*stream
)
63 unsigned nargs
= longest_to_int (exp
->elts
[*pos
].longconst
);
65 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
66 fputs_filtered (" (", stream
);
67 for (unsigned tem
= 0; tem
< nargs
; tem
++)
70 fputs_filtered (", ", stream
);
71 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
73 fputs_filtered (")", stream
);
76 /* Standard implementation of print_subexp for use in language_defn
79 print_subexp_standard (struct expression
*exp
, int *pos
,
80 struct ui_file
*stream
, enum precedence prec
)
83 const struct op_print
*op_print_tab
;
87 int assign_modify
= 0;
88 enum exp_opcode opcode
;
89 enum precedence myprec
= PREC_NULL
;
90 /* Set to 1 for a right-associative operator. */
95 op_print_tab
= exp
->language_defn
->opcode_print_table ();
97 opcode
= exp
->elts
[pc
].opcode
;
104 type_print (exp
->elts
[pc
+ 1].type
, "", stream
, 0);
108 myprec
= PREC_PREFIX
;
110 fputs_filtered (exp
->elts
[pc
+ 1].type
->name (), stream
);
111 fputs_filtered ("::", stream
);
112 nargs
= longest_to_int (exp
->elts
[pc
+ 2].longconst
);
113 (*pos
) += 4 + BYTES_TO_EXP_ELEM (nargs
+ 1);
114 fputs_filtered (&exp
->elts
[pc
+ 3].string
, stream
);
119 struct value_print_options opts
;
121 get_no_prettyformat_print_options (&opts
);
123 value_print (value_from_longest (exp
->elts
[pc
+ 1].type
,
124 exp
->elts
[pc
+ 2].longconst
),
131 struct value_print_options opts
;
133 get_no_prettyformat_print_options (&opts
);
135 value_print (value_from_contents (exp
->elts
[pc
+ 1].type
,
136 exp
->elts
[pc
+ 2].floatconst
),
143 const struct block
*b
;
146 b
= exp
->elts
[pc
+ 1].block
;
148 && BLOCK_FUNCTION (b
) != NULL
149 && BLOCK_FUNCTION (b
)->print_name () != NULL
)
151 fputs_filtered (BLOCK_FUNCTION (b
)->print_name (), stream
);
152 fputs_filtered ("::", stream
);
154 fputs_filtered (exp
->elts
[pc
+ 2].symbol
->print_name (), stream
);
158 case OP_VAR_MSYM_VALUE
:
161 fputs_filtered (exp
->elts
[pc
+ 2].msymbol
->print_name (), stream
);
165 case OP_FUNC_STATIC_VAR
:
167 tem
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
168 (*pos
) += 3 + BYTES_TO_EXP_ELEM (tem
+ 1);
169 fputs_filtered (&exp
->elts
[pc
+ 1].string
, stream
);
173 case OP_VAR_ENTRY_VALUE
:
176 fprintf_filtered (stream
, "%s@entry",
177 exp
->elts
[pc
+ 1].symbol
->print_name ());
183 fprintf_filtered (stream
, "$%d",
184 longest_to_int (exp
->elts
[pc
+ 1].longconst
));
189 const char *name
= &exp
->elts
[pc
+ 2].string
;
191 (*pos
) += 3 + BYTES_TO_EXP_ELEM (exp
->elts
[pc
+ 1].longconst
+ 1);
192 fprintf_filtered (stream
, "$%s", name
);
198 fprintf_filtered (stream
, "%s",
199 longest_to_int (exp
->elts
[pc
+ 1].longconst
)
205 fprintf_filtered (stream
, "$%s",
206 internalvar_name (exp
->elts
[pc
+ 1].internalvar
));
210 print_subexp_funcall (exp
, pos
, stream
);
214 nargs
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
215 (*pos
) += 3 + BYTES_TO_EXP_ELEM (nargs
+ 1);
216 fputs_filtered (&exp
->elts
[pc
+ 2].string
, stream
);
221 struct value_print_options opts
;
223 nargs
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
224 (*pos
) += 3 + BYTES_TO_EXP_ELEM (nargs
+ 1);
225 /* LA_PRINT_STRING will print using the current repeat count threshold.
226 If necessary, we can temporarily set it to zero, or pass it as an
227 additional parameter to LA_PRINT_STRING. -fnf */
228 get_user_print_options (&opts
);
229 LA_PRINT_STRING (stream
, builtin_type (exp
->gdbarch
)->builtin_char
,
230 (gdb_byte
*) &exp
->elts
[pc
+ 2].string
, nargs
,
235 case OP_OBJC_NSSTRING
: /* Objective-C Foundation Class
236 NSString constant. */
238 struct value_print_options opts
;
240 nargs
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
241 (*pos
) += 3 + BYTES_TO_EXP_ELEM (nargs
+ 1);
242 fputs_filtered ("@\"", stream
);
243 get_user_print_options (&opts
);
244 LA_PRINT_STRING (stream
, builtin_type (exp
->gdbarch
)->builtin_char
,
245 (gdb_byte
*) &exp
->elts
[pc
+ 2].string
, nargs
,
247 fputs_filtered ("\"", stream
);
251 case OP_OBJC_MSGCALL
:
252 { /* Objective C message (method) call. */
254 nargs
= longest_to_int (exp
->elts
[pc
+ 2].longconst
);
255 fprintf_unfiltered (stream
, "[");
256 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
257 gdb::unique_xmalloc_ptr
<char> selector
258 = target_read_string (exp
->elts
[pc
+ 1].longconst
, 1024);
259 if (selector
== nullptr)
260 error (_("bad selector"));
266 for (tem
= 0; tem
< nargs
; tem
++)
268 nextS
= strchr (s
, ':');
269 gdb_assert (nextS
); /* Make sure we found ':'. */
271 fprintf_unfiltered (stream
, " %s: ", s
);
273 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
278 fprintf_unfiltered (stream
, " %s", selector
.get ());
280 fprintf_unfiltered (stream
, "]");
286 nargs
= longest_to_int (exp
->elts
[pc
+ 2].longconst
);
287 nargs
-= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
290 if (exp
->elts
[pc
+ 4].opcode
== OP_LONG
291 && exp
->elts
[pc
+ 5].type
292 == builtin_type (exp
->gdbarch
)->builtin_char
293 && exp
->language_defn
->la_language
== language_c
)
295 /* Attempt to print C character arrays using string syntax.
296 Walk through the args, picking up one character from each
297 of the OP_LONG expression elements. If any array element
298 does not match our expection of what we should find for
299 a simple string, revert back to array printing. Note that
300 the last expression element is an explicit null terminator
301 byte, which doesn't get printed. */
302 tempstr
= (char *) alloca (nargs
);
306 if (exp
->elts
[pc
].opcode
!= OP_LONG
307 || exp
->elts
[pc
+ 1].type
308 != builtin_type (exp
->gdbarch
)->builtin_char
)
310 /* Not a simple array of char, use regular array
318 longest_to_int (exp
->elts
[pc
+ 2].longconst
);
325 struct value_print_options opts
;
327 get_user_print_options (&opts
);
328 LA_PRINT_STRING (stream
, builtin_type (exp
->gdbarch
)->builtin_char
,
329 (gdb_byte
*) tempstr
, nargs
- 1, NULL
, 0, &opts
);
334 fputs_filtered (" {", stream
);
335 for (tem
= 0; tem
< nargs
; tem
++)
339 fputs_filtered (", ", stream
);
341 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
343 fputs_filtered ("}", stream
);
348 if ((int) prec
> (int) PREC_COMMA
)
349 fputs_filtered ("(", stream
);
350 /* Print the subexpressions, forcing parentheses
351 around any binary operations within them.
352 This is more parentheses than are strictly necessary,
353 but it looks clearer. */
354 print_subexp (exp
, pos
, stream
, PREC_HYPER
);
355 fputs_filtered (" ? ", stream
);
356 print_subexp (exp
, pos
, stream
, PREC_HYPER
);
357 fputs_filtered (" : ", stream
);
358 print_subexp (exp
, pos
, stream
, PREC_HYPER
);
359 if ((int) prec
> (int) PREC_COMMA
)
360 fputs_filtered (")", stream
);
364 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
365 fputs_filtered ("(", stream
);
366 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
367 fputs_filtered (opcode
== TERNOP_SLICE
? " : " : " UP ", stream
);
368 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
369 fputs_filtered (")", stream
);
372 case STRUCTOP_STRUCT
:
373 tem
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
374 (*pos
) += 3 + BYTES_TO_EXP_ELEM (tem
+ 1);
375 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
376 fputs_filtered (".", stream
);
377 fputs_filtered (&exp
->elts
[pc
+ 2].string
, stream
);
380 /* Will not occur for Modula-2. */
382 tem
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
383 (*pos
) += 3 + BYTES_TO_EXP_ELEM (tem
+ 1);
384 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
385 fputs_filtered ("->", stream
);
386 fputs_filtered (&exp
->elts
[pc
+ 2].string
, stream
);
389 case STRUCTOP_MEMBER
:
390 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
391 fputs_filtered (".*", stream
);
392 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
396 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
397 fputs_filtered ("->*", stream
);
398 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
401 case BINOP_SUBSCRIPT
:
402 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
403 fputs_filtered ("[", stream
);
404 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
405 fputs_filtered ("]", stream
);
408 case UNOP_POSTINCREMENT
:
409 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
410 fputs_filtered ("++", stream
);
413 case UNOP_POSTDECREMENT
:
414 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
415 fputs_filtered ("--", stream
);
420 if ((int) prec
> (int) PREC_PREFIX
)
421 fputs_filtered ("(", stream
);
422 fputs_filtered ("(", stream
);
423 type_print (exp
->elts
[pc
+ 1].type
, "", stream
, 0);
424 fputs_filtered (") ", stream
);
425 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
426 if ((int) prec
> (int) PREC_PREFIX
)
427 fputs_filtered (")", stream
);
431 if ((int) prec
> (int) PREC_PREFIX
)
432 fputs_filtered ("(", stream
);
433 fputs_filtered ("(", stream
);
434 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
435 fputs_filtered (") ", stream
);
436 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
437 if ((int) prec
> (int) PREC_PREFIX
)
438 fputs_filtered (")", stream
);
441 case UNOP_DYNAMIC_CAST
:
442 case UNOP_REINTERPRET_CAST
:
443 fputs_filtered (opcode
== UNOP_DYNAMIC_CAST
? "dynamic_cast"
444 : "reinterpret_cast", stream
);
445 fputs_filtered ("<", stream
);
446 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
447 fputs_filtered ("> (", stream
);
448 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
449 fputs_filtered (")", stream
);
454 if ((int) prec
> (int) PREC_PREFIX
)
455 fputs_filtered ("(", stream
);
456 if (exp
->elts
[pc
+ 1].type
->code () == TYPE_CODE_FUNC
457 && exp
->elts
[pc
+ 3].opcode
== OP_LONG
)
459 struct value_print_options opts
;
461 /* We have a minimal symbol fn, probably. It's encoded
462 as a UNOP_MEMVAL (function-type) of an OP_LONG (int, address).
463 Swallow the OP_LONG (including both its opcodes); ignore
464 its type; print the value in the type of the MEMVAL. */
466 val
= value_at_lazy (exp
->elts
[pc
+ 1].type
,
467 (CORE_ADDR
) exp
->elts
[pc
+ 5].longconst
);
468 get_no_prettyformat_print_options (&opts
);
469 value_print (val
, stream
, &opts
);
473 fputs_filtered ("{", stream
);
474 type_print (exp
->elts
[pc
+ 1].type
, "", stream
, 0);
475 fputs_filtered ("} ", stream
);
476 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
478 if ((int) prec
> (int) PREC_PREFIX
)
479 fputs_filtered (")", stream
);
482 case UNOP_MEMVAL_TYPE
:
483 if ((int) prec
> (int) PREC_PREFIX
)
484 fputs_filtered ("(", stream
);
485 fputs_filtered ("{", stream
);
486 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
487 fputs_filtered ("} ", stream
);
488 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
489 if ((int) prec
> (int) PREC_PREFIX
)
490 fputs_filtered (")", stream
);
493 case BINOP_ASSIGN_MODIFY
:
494 opcode
= exp
->elts
[pc
+ 1].opcode
;
496 myprec
= PREC_ASSIGN
;
500 for (tem
= 0; op_print_tab
[tem
].opcode
!= OP_NULL
; tem
++)
501 if (op_print_tab
[tem
].opcode
== opcode
)
503 op_str
= op_print_tab
[tem
].string
;
506 if (op_print_tab
[tem
].opcode
!= opcode
)
507 /* Not found; don't try to keep going because we don't know how
508 to interpret further elements. */
509 error (_("Invalid expression"));
516 if (exp
->language_defn
->name_of_this () != NULL
)
517 fputs_filtered (exp
->language_defn
->name_of_this (), stream
);
519 fprintf_styled (stream
, metadata_style
.style (),
520 _("<language %s has no 'this'>"),
521 exp
->language_defn
->name ());
526 case MULTI_SUBSCRIPT
:
528 nargs
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
529 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
530 fprintf_unfiltered (stream
, " [");
531 for (tem
= 0; tem
< nargs
; tem
++)
534 fprintf_unfiltered (stream
, ", ");
535 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
537 fprintf_unfiltered (stream
, "]");
542 fprintf_unfiltered (stream
, "VAL(");
543 type_print (exp
->elts
[pc
+ 1].type
, "", stream
, 0);
544 fprintf_unfiltered (stream
, ",");
545 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
546 fprintf_unfiltered (stream
, ")");
551 type_instance_flags flags
552 = (type_instance_flag_value
) longest_to_int (exp
->elts
[pc
+ 1].longconst
);
553 LONGEST count
= exp
->elts
[pc
+ 2].longconst
;
559 fputs_unfiltered ("TypeInstance(", stream
);
562 type_print (exp
->elts
[(*pos
)++].type
, "", stream
, 0);
564 fputs_unfiltered (",", stream
);
566 fputs_unfiltered (",", stream
);
567 /* Ending COUNT and ending TYPE_INSTANCE. */
569 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
571 if (flags
& TYPE_INSTANCE_FLAG_CONST
)
572 fputs_unfiltered (",const", stream
);
573 if (flags
& TYPE_INSTANCE_FLAG_VOLATILE
)
574 fputs_unfiltered (",volatile", stream
);
576 fputs_unfiltered (")", stream
);
582 enum range_flag range_flag
;
584 range_flag
= (enum range_flag
)
585 longest_to_int (exp
->elts
[pc
+ 1].longconst
);
588 if (range_flag
& RANGE_HIGH_BOUND_EXCLUSIVE
)
589 fputs_filtered ("EXCLUSIVE_", stream
);
590 fputs_filtered ("RANGE(", stream
);
591 if (!(range_flag
& RANGE_LOW_BOUND_DEFAULT
))
592 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
593 fputs_filtered ("..", stream
);
594 if (!(range_flag
& RANGE_HIGH_BOUND_DEFAULT
))
595 print_subexp (exp
, pos
, stream
, PREC_ABOVE_COMMA
);
596 fputs_filtered (")", stream
);
604 for (tem
= 0; op_print_tab
[tem
].opcode
!= OP_NULL
; tem
++)
605 if (op_print_tab
[tem
].opcode
== opcode
)
607 op_str
= op_print_tab
[tem
].string
;
608 myprec
= op_print_tab
[tem
].precedence
;
609 assoc
= op_print_tab
[tem
].right_assoc
;
612 if (op_print_tab
[tem
].opcode
!= opcode
)
613 /* Not found; don't try to keep going because we don't know how
614 to interpret further elements. For example, this happens
615 if opcode is OP_TYPE. */
616 error (_("Invalid expression"));
619 /* Note that PREC_BUILTIN will always emit parentheses. */
620 if ((int) myprec
< (int) prec
)
621 fputs_filtered ("(", stream
);
622 if ((int) opcode
> (int) BINOP_END
)
626 /* Unary postfix operator. */
627 print_subexp (exp
, pos
, stream
, PREC_SUFFIX
);
628 fputs_filtered (op_str
, stream
);
632 /* Unary prefix operator. */
633 fputs_filtered (op_str
, stream
);
634 if (myprec
== PREC_BUILTIN_FUNCTION
)
635 fputs_filtered ("(", stream
);
636 print_subexp (exp
, pos
, stream
, PREC_PREFIX
);
637 if (myprec
== PREC_BUILTIN_FUNCTION
)
638 fputs_filtered (")", stream
);
643 /* Binary operator. */
644 /* Print left operand.
645 If operator is right-associative,
646 increment precedence for this operand. */
647 print_subexp (exp
, pos
, stream
,
648 (enum precedence
) ((int) myprec
+ assoc
));
649 /* Print the operator itself. */
651 fprintf_filtered (stream
, " %s= ", op_str
);
652 else if (op_str
[0] == ',')
653 fprintf_filtered (stream
, "%s ", op_str
);
655 fprintf_filtered (stream
, " %s ", op_str
);
656 /* Print right operand.
657 If operator is left-associative,
658 increment precedence for this operand. */
659 print_subexp (exp
, pos
, stream
,
660 (enum precedence
) ((int) myprec
+ !assoc
));
663 if ((int) myprec
< (int) prec
)
664 fputs_filtered (")", stream
);
667 /* Return the operator corresponding to opcode OP as
668 a string. NULL indicates that the opcode was not found in the
669 current language table. */
671 op_string (enum exp_opcode op
)
674 const struct op_print
*op_print_tab
;
676 op_print_tab
= current_language
->opcode_print_table ();
677 for (tem
= 0; op_print_tab
[tem
].opcode
!= OP_NULL
; tem
++)
678 if (op_print_tab
[tem
].opcode
== op
)
679 return op_print_tab
[tem
].string
;
683 /* Support for dumping the raw data from expressions in a human readable
686 static int dump_subexp_body (struct expression
*exp
, struct ui_file
*, int);
688 /* Name for OPCODE, when it appears in expression EXP. */
691 op_name (struct expression
*exp
, enum exp_opcode opcode
)
693 if (opcode
>= OP_UNUSED_LAST
)
695 char *cell
= get_print_cell ();
696 xsnprintf (cell
, PRINT_CELL_SIZE
, "unknown opcode: %u",
700 return exp
->language_defn
->expression_ops ()->op_name (opcode
);
703 /* Default name for the standard operator OPCODE (i.e., one defined in
704 the definition of enum exp_opcode). */
707 op_name_standard (enum exp_opcode opcode
)
715 xsnprintf (buf
, sizeof (buf
), "<unknown %d>", opcode
);
721 #include "std-operator.def"
726 /* Print a raw dump of expression EXP to STREAM.
727 NOTE, if non-NULL, is printed as extra explanatory text. */
730 dump_raw_expression (struct expression
*exp
, struct ui_file
*stream
,
737 fprintf_filtered (stream
, "Dump of expression @ ");
738 gdb_print_host_address (exp
, stream
);
740 fprintf_filtered (stream
, ", %s:", note
);
741 fprintf_filtered (stream
, "\n\tLanguage %s, %d elements, %ld bytes each.\n",
742 exp
->language_defn
->name (), exp
->nelts
,
743 (long) sizeof (union exp_element
));
744 fprintf_filtered (stream
, "\t%5s %20s %16s %s\n", "Index", "Opcode",
745 "Hex Value", "String Value");
746 for (elt
= 0; elt
< exp
->nelts
; elt
++)
748 fprintf_filtered (stream
, "\t%5d ", elt
);
750 const char *opcode_name
= op_name (exp
, exp
->elts
[elt
].opcode
);
751 fprintf_filtered (stream
, "%20s ", opcode_name
);
753 print_longest (stream
, 'd', 0, exp
->elts
[elt
].longconst
);
754 fprintf_filtered (stream
, " ");
756 for (eltscan
= (char *) &exp
->elts
[elt
],
757 eltsize
= sizeof (union exp_element
);
761 fprintf_filtered (stream
, "%c",
762 isprint (*eltscan
) ? (*eltscan
& 0xFF) : '.');
764 fprintf_filtered (stream
, "\n");
768 /* Dump the subexpression of prefix expression EXP whose operator is at
769 position ELT onto STREAM. Returns the position of the next
770 subexpression in EXP. */
773 dump_subexp (struct expression
*exp
, struct ui_file
*stream
, int elt
)
775 static int indent
= 0;
778 fprintf_filtered (stream
, "\n");
779 fprintf_filtered (stream
, "\t%5d ", elt
);
781 for (i
= 1; i
<= indent
; i
++)
782 fprintf_filtered (stream
, " ");
785 fprintf_filtered (stream
, "%-20s ", op_name (exp
, exp
->elts
[elt
].opcode
));
787 elt
= dump_subexp_body (exp
, stream
, elt
);
794 /* Dump the operands of prefix expression EXP whose opcode is at
795 position ELT onto STREAM. Returns the position of the next
796 subexpression in EXP. */
799 dump_subexp_body (struct expression
*exp
, struct ui_file
*stream
, int elt
)
801 return exp
->language_defn
->expression_ops ()->dump_subexp_body (exp
, stream
,
805 /* See parser-defs.h. */
808 dump_subexp_body_funcall (struct expression
*exp
,
809 struct ui_file
*stream
, int elt
)
811 int nargs
= longest_to_int (exp
->elts
[elt
].longconst
);
812 fprintf_filtered (stream
, "Number of args: %d", nargs
);
815 for (int i
= 1; i
<= nargs
+ 1; i
++)
816 elt
= dump_subexp (exp
, stream
, elt
);
821 /* Default value for subexp_body in exp_descriptor vector. */
824 dump_subexp_body_standard (struct expression
*exp
,
825 struct ui_file
*stream
, int elt
)
827 int opcode
= exp
->elts
[elt
++].opcode
;
833 elt
= dump_subexp (exp
, stream
, elt
);
843 case BINOP_LOGICAL_AND
:
844 case BINOP_LOGICAL_OR
:
845 case BINOP_BITWISE_AND
:
846 case BINOP_BITWISE_IOR
:
847 case BINOP_BITWISE_XOR
:
857 case BINOP_SUBSCRIPT
:
862 case BINOP_ASSIGN_MODIFY
:
866 case STRUCTOP_MEMBER
:
868 elt
= dump_subexp (exp
, stream
, elt
);
871 case UNOP_LOGICAL_NOT
:
872 case UNOP_COMPLEMENT
:
875 case UNOP_PREINCREMENT
:
876 case UNOP_POSTINCREMENT
:
877 case UNOP_PREDECREMENT
:
878 case UNOP_POSTDECREMENT
:
892 elt
= dump_subexp (exp
, stream
, elt
);
895 fprintf_filtered (stream
, "Type @");
896 gdb_print_host_address (exp
->elts
[elt
].type
, stream
);
897 fprintf_filtered (stream
, " (");
898 type_print (exp
->elts
[elt
].type
, NULL
, stream
, 0);
899 fprintf_filtered (stream
, "), value %ld (0x%lx)",
900 (long) exp
->elts
[elt
+ 1].longconst
,
901 (long) exp
->elts
[elt
+ 1].longconst
);
905 fprintf_filtered (stream
, "Type @");
906 gdb_print_host_address (exp
->elts
[elt
].type
, stream
);
907 fprintf_filtered (stream
, " (");
908 type_print (exp
->elts
[elt
].type
, NULL
, stream
, 0);
909 fprintf_filtered (stream
, "), value ");
910 print_floating (exp
->elts
[elt
+ 1].floatconst
,
911 exp
->elts
[elt
].type
, stream
);
915 fprintf_filtered (stream
, "Block @");
916 gdb_print_host_address (exp
->elts
[elt
].block
, stream
);
917 fprintf_filtered (stream
, ", symbol @");
918 gdb_print_host_address (exp
->elts
[elt
+ 1].symbol
, stream
);
919 fprintf_filtered (stream
, " (%s)",
920 exp
->elts
[elt
+ 1].symbol
->print_name ());
923 case OP_VAR_MSYM_VALUE
:
924 fprintf_filtered (stream
, "Objfile @");
925 gdb_print_host_address (exp
->elts
[elt
].objfile
, stream
);
926 fprintf_filtered (stream
, ", msymbol @");
927 gdb_print_host_address (exp
->elts
[elt
+ 1].msymbol
, stream
);
928 fprintf_filtered (stream
, " (%s)",
929 exp
->elts
[elt
+ 1].msymbol
->print_name ());
932 case OP_VAR_ENTRY_VALUE
:
933 fprintf_filtered (stream
, "Entry value of symbol @");
934 gdb_print_host_address (exp
->elts
[elt
].symbol
, stream
);
935 fprintf_filtered (stream
, " (%s)",
936 exp
->elts
[elt
].symbol
->print_name ());
940 fprintf_filtered (stream
, "History element %ld",
941 (long) exp
->elts
[elt
].longconst
);
945 fprintf_filtered (stream
, "Register $%s", &exp
->elts
[elt
+ 1].string
);
946 elt
+= 3 + BYTES_TO_EXP_ELEM (exp
->elts
[elt
].longconst
+ 1);
949 fprintf_filtered (stream
, "Internal var @");
950 gdb_print_host_address (exp
->elts
[elt
].internalvar
, stream
);
951 fprintf_filtered (stream
, " (%s)",
952 internalvar_name (exp
->elts
[elt
].internalvar
));
956 elt
= dump_subexp_body_funcall (exp
, stream
, elt
);
963 lower
= longest_to_int (exp
->elts
[elt
].longconst
);
964 upper
= longest_to_int (exp
->elts
[elt
+ 1].longconst
);
966 fprintf_filtered (stream
, "Bounds [%d:%d]", lower
, upper
);
969 for (i
= 1; i
<= upper
- lower
+ 1; i
++)
970 elt
= dump_subexp (exp
, stream
, elt
);
973 case UNOP_DYNAMIC_CAST
:
974 case UNOP_REINTERPRET_CAST
:
976 case UNOP_MEMVAL_TYPE
:
977 fprintf_filtered (stream
, " (");
978 elt
= dump_subexp (exp
, stream
, elt
);
979 fprintf_filtered (stream
, ")");
980 elt
= dump_subexp (exp
, stream
, elt
);
984 fprintf_filtered (stream
, "Type @");
985 gdb_print_host_address (exp
->elts
[elt
].type
, stream
);
986 fprintf_filtered (stream
, " (");
987 type_print (exp
->elts
[elt
].type
, NULL
, stream
, 0);
988 fprintf_filtered (stream
, ")");
989 elt
= dump_subexp (exp
, stream
, elt
+ 2);
992 fprintf_filtered (stream
, "Type @");
993 gdb_print_host_address (exp
->elts
[elt
].type
, stream
);
994 fprintf_filtered (stream
, " (");
995 type_print (exp
->elts
[elt
].type
, NULL
, stream
, 0);
996 fprintf_filtered (stream
, ")");
1001 fprintf_filtered (stream
, "Typeof (");
1002 elt
= dump_subexp (exp
, stream
, elt
);
1003 fprintf_filtered (stream
, ")");
1006 fprintf_filtered (stream
, "typeid (");
1007 elt
= dump_subexp (exp
, stream
, elt
);
1008 fprintf_filtered (stream
, ")");
1010 case STRUCTOP_STRUCT
:
1016 len
= longest_to_int (exp
->elts
[elt
].longconst
);
1017 elem_name
= &exp
->elts
[elt
+ 1].string
;
1019 fprintf_filtered (stream
, "Element name: `%.*s'", len
, elem_name
);
1020 elt
= dump_subexp (exp
, stream
, elt
+ 3 + BYTES_TO_EXP_ELEM (len
+ 1));
1028 fprintf_filtered (stream
, "Type @");
1029 gdb_print_host_address (exp
->elts
[elt
].type
, stream
);
1030 fprintf_filtered (stream
, " (");
1031 type_print (exp
->elts
[elt
].type
, NULL
, stream
, 0);
1032 fprintf_filtered (stream
, ") ");
1034 len
= longest_to_int (exp
->elts
[elt
+ 1].longconst
);
1035 elem_name
= &exp
->elts
[elt
+ 2].string
;
1037 fprintf_filtered (stream
, "Field name: `%.*s'", len
, elem_name
);
1038 elt
+= 4 + BYTES_TO_EXP_ELEM (len
+ 1);
1042 case OP_FUNC_STATIC_VAR
:
1044 int len
= longest_to_int (exp
->elts
[elt
].longconst
);
1045 const char *var_name
= &exp
->elts
[elt
+ 1].string
;
1046 fprintf_filtered (stream
, "Field name: `%.*s'", len
, var_name
);
1047 elt
+= 3 + BYTES_TO_EXP_ELEM (len
+ 1);
1053 type_instance_flags flags
1054 = (type_instance_flag_value
) longest_to_int (exp
->elts
[elt
++].longconst
);
1055 LONGEST len
= exp
->elts
[elt
++].longconst
;
1056 fprintf_filtered (stream
, "%s TypeInstance: ", plongest (len
));
1059 fprintf_filtered (stream
, "Type @");
1060 gdb_print_host_address (exp
->elts
[elt
].type
, stream
);
1061 fprintf_filtered (stream
, " (");
1062 type_print (exp
->elts
[elt
].type
, NULL
, stream
, 0);
1063 fprintf_filtered (stream
, ")");
1066 fputs_filtered (", ", stream
);
1069 fprintf_filtered (stream
, " Flags: %s (", hex_string (flags
));
1071 auto print_one
= [&] (const char *mod
)
1074 fputs_filtered (" ", stream
);
1076 fprintf_filtered (stream
, "%s", mod
);
1078 if (flags
& TYPE_INSTANCE_FLAG_CONST
)
1079 print_one ("const");
1080 if (flags
& TYPE_INSTANCE_FLAG_VOLATILE
)
1081 print_one ("volatile");
1082 fprintf_filtered (stream
, ")");
1084 /* Ending LEN and ending TYPE_INSTANCE. */
1086 elt
= dump_subexp (exp
, stream
, elt
);
1091 LONGEST len
= exp
->elts
[elt
].longconst
;
1092 LONGEST type
= exp
->elts
[elt
+ 1].longconst
;
1094 fprintf_filtered (stream
, "Language-specific string type: %s",
1100 /* Skip string content. */
1101 elt
+= BYTES_TO_EXP_ELEM (len
);
1103 /* Skip length and ending OP_STRING. */
1109 enum range_flag range_flag
;
1111 range_flag
= (enum range_flag
)
1112 longest_to_int (exp
->elts
[elt
].longconst
);
1115 if (range_flag
& RANGE_HIGH_BOUND_EXCLUSIVE
)
1116 fputs_filtered ("Exclusive", stream
);
1117 fputs_filtered ("Range '", stream
);
1118 if (!(range_flag
& RANGE_LOW_BOUND_DEFAULT
))
1119 fputs_filtered ("EXP", stream
);
1120 fputs_filtered ("..", stream
);
1121 if (!(range_flag
& RANGE_HIGH_BOUND_DEFAULT
))
1122 fputs_filtered ("EXP", stream
);
1123 if (range_flag
& RANGE_HAS_STRIDE
)
1124 fputs_filtered (":EXP", stream
);
1125 fputs_filtered ("'", stream
);
1127 if (!(range_flag
& RANGE_LOW_BOUND_DEFAULT
))
1128 elt
= dump_subexp (exp
, stream
, elt
);
1129 if (!(range_flag
& RANGE_HIGH_BOUND_DEFAULT
))
1130 elt
= dump_subexp (exp
, stream
, elt
);
1131 if (range_flag
& RANGE_HAS_STRIDE
)
1132 elt
= dump_subexp (exp
, stream
, elt
);
1138 case MULTI_SUBSCRIPT
:
1144 fprintf_filtered (stream
, "Unknown format");
1151 dump_prefix_expression (struct expression
*exp
, struct ui_file
*stream
)
1155 fprintf_filtered (stream
, "Dump of expression @ ");
1156 gdb_print_host_address (exp
, stream
);
1157 fputs_filtered (", after conversion to prefix form:\nExpression: `", stream
);
1158 print_expression (exp
, stream
);
1159 fprintf_filtered (stream
, "'\n\tLanguage %s, %d elements, %ld bytes each.\n",
1160 exp
->language_defn
->name (), exp
->nelts
,
1161 (long) sizeof (union exp_element
));
1162 fputs_filtered ("\n", stream
);
1164 for (elt
= 0; elt
< exp
->nelts
;)
1165 elt
= dump_subexp (exp
, stream
, elt
);
1166 fputs_filtered ("\n", stream
);