From: Doug Evans Date: Wed, 8 Aug 2012 21:17:04 +0000 (+0000) Subject: * eval.c (evaluate_subexp_standard): Fix thinko in handling X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4f485ebc90209b0bbe5e53cdec27ff15911b02ac;p=binutils-gdb.git * eval.c (evaluate_subexp_standard): Fix thinko in handling UNOP_MEMVAL_TYPE. * expprint.c (print_subexp_standard, case OP_TYPE): New. (print_subexp_standard, case UNOP_CAST_TYPE): Don't increment pos. (print_subexp_standard, case UNOP_DYNAMIC_CAST): Ditto. (print_subexp_standard, case UNOP_REINTERPRET_CAST): Ditto. (print_subexp_standard, case UNOP_MEMVAL_TYPE): Ditto. (dump_subexp_body_standard, case UNOP_DYNAMIC_CAST): Don't increment elt. (dump_subexp_body_standard, case UNOP_REINTERPRET_CAST): Ditto. (dump_subexp_body_standard, case UNOP_CAST_TYPE): Ditto. (dump_subexp_body_standard, case UNOP_MEMVAL_TYPE): Ditto. (dump_prefix_expression): Handle OP_TYPE. testsuite/ * gdb.base/debug-expr.c: New file. * gdb.base/debug-expr.exp: New file. * gdb.base/exprs.exp: Test {type} casts. * gdb.cp/debug-expr.exp: New file. --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index c0c9e696fca..1dd5730c1c7 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,19 @@ +2012-08-08 Doug Evans + + * eval.c (evaluate_subexp_standard): Fix thinko in handling + UNOP_MEMVAL_TYPE. + * expprint.c (print_subexp_standard, case OP_TYPE): New. + (print_subexp_standard, case UNOP_CAST_TYPE): Don't increment pos. + (print_subexp_standard, case UNOP_DYNAMIC_CAST): Ditto. + (print_subexp_standard, case UNOP_REINTERPRET_CAST): Ditto. + (print_subexp_standard, case UNOP_MEMVAL_TYPE): Ditto. + (dump_subexp_body_standard, case UNOP_DYNAMIC_CAST): Don't increment + elt. + (dump_subexp_body_standard, case UNOP_REINTERPRET_CAST): Ditto. + (dump_subexp_body_standard, case UNOP_CAST_TYPE): Ditto. + (dump_subexp_body_standard, case UNOP_MEMVAL_TYPE): Ditto. + (dump_prefix_expression): Handle OP_TYPE. + 2012-08-08 Keith Seitz * breakpoint.c (parse_breakpoint_sals): Remove unused variable diff --git a/gdb/eval.c b/gdb/eval.c index 4253820719c..42958459b8c 100644 --- a/gdb/eval.c +++ b/gdb/eval.c @@ -2751,10 +2751,9 @@ evaluate_subexp_standard (struct type *expect_type, if (noside == EVAL_SKIP) goto nosideret; if (noside == EVAL_AVOID_SIDE_EFFECTS) - return value_zero (exp->elts[pc + 1].type, lval_memory); + return value_zero (type, lval_memory); else - return value_at_lazy (exp->elts[pc + 1].type, - value_as_address (arg1)); + return value_at_lazy (type, value_as_address (arg1)); case UNOP_MEMVAL_TLS: (*pos) += 3; diff --git a/gdb/expprint.c b/gdb/expprint.c index 945389c437d..779368b4eb9 100644 --- a/gdb/expprint.c +++ b/gdb/expprint.c @@ -83,6 +83,11 @@ print_subexp_standard (struct expression *exp, int *pos, { /* Common ops */ + case OP_TYPE: + (*pos) += 2; + type_print (exp->elts[pc + 1].type, "", stream, 0); + return; + case OP_SCOPE: myprec = PREC_PREFIX; assoc = 0; @@ -430,7 +435,6 @@ print_subexp_standard (struct expression *exp, int *pos, return; case UNOP_CAST_TYPE: - (*pos) += 1; if ((int) prec > (int) PREC_PREFIX) fputs_filtered ("(", stream); fputs_filtered ("(", stream); @@ -446,7 +450,6 @@ print_subexp_standard (struct expression *exp, int *pos, fputs_filtered (opcode == UNOP_DYNAMIC_CAST ? "dynamic_cast" : "reinterpret_cast", stream); fputs_filtered ("<", stream); - (*pos) += 1; print_subexp (exp, pos, stream, PREC_PREFIX); fputs_filtered ("> (", stream); print_subexp (exp, pos, stream, PREC_PREFIX); @@ -484,7 +487,6 @@ print_subexp_standard (struct expression *exp, int *pos, return; case UNOP_MEMVAL_TYPE: - (*pos) += 1; if ((int) prec > (int) PREC_PREFIX) fputs_filtered ("(", stream); fputs_filtered ("{", stream); @@ -938,7 +940,6 @@ dump_subexp_body_standard (struct expression *exp, case UNOP_REINTERPRET_CAST: case UNOP_CAST_TYPE: case UNOP_MEMVAL_TYPE: - ++elt; fprintf_filtered (stream, " ("); elt = dump_subexp (exp, stream, elt); fprintf_filtered (stream, ")"); @@ -1056,10 +1057,7 @@ dump_prefix_expression (struct expression *exp, struct ui_file *stream) fprintf_filtered (stream, "Dump of expression @ "); gdb_print_host_address (exp, stream); fputs_filtered (", after conversion to prefix form:\nExpression: `", stream); - if (exp->elts[0].opcode != OP_TYPE) - print_expression (exp, stream); - else - fputs_filtered ("Type printing not yet supported....", stream); + print_expression (exp, stream); fprintf_filtered (stream, "'\n\tLanguage %s, %d elements, %ld bytes each.\n", exp->language_defn->la_name, exp->nelts, (long) sizeof (union exp_element)); diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 7936bf58f32..7b0cb22f4a5 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2012-08-08 Doug Evans + + * gdb.base/debug-expr.c: New file. + * gdb.base/debug-expr.exp: New file. + * gdb.base/exprs.exp: Test {type} casts. + * gdb.cp/debug-expr.exp: New file. + 2012-08-07 Jan Kratochvil * gdb.base/valgrind-infcall.exp (continue #$continue_count): Use diff --git a/gdb/testsuite/gdb.base/debug-expr.c b/gdb/testsuite/gdb.base/debug-expr.c new file mode 100644 index 00000000000..9b32c52576a --- /dev/null +++ b/gdb/testsuite/gdb.base/debug-expr.c @@ -0,0 +1,7 @@ +char array[4]; + +int +main () +{ + return 0; +} diff --git a/gdb/testsuite/gdb.base/debug-expr.exp b/gdb/testsuite/gdb.base/debug-expr.exp new file mode 100644 index 00000000000..3066dcb8a46 --- /dev/null +++ b/gdb/testsuite/gdb.base/debug-expr.exp @@ -0,0 +1,52 @@ +# Copyright 2012 Free Software Foundation, Inc. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +# Test "set debug expr 1" on c expressions. + +standard_testfile .c + +if {[prepare_for_testing $testfile.exp $testfile $srcfile {debug}]} { + return -1 +} + +if ![runto_main] { + fail "run to main" + return -1 +} + +# Test whether the expression debug machinery accepts the expression. + +proc test_debug_expr { cmd output } { + global gdb_prompt + + gdb_test_multiple $cmd "" { + -re ".*Invalid expression.*\r\n$gdb_prompt $" { + fail $cmd + } + -re ".*\[\r\n\]$output\r\n$gdb_prompt $" { + pass $cmd + } + } +} + +for { set i 0 } { $i < 4 } { incr i } { + gdb_test_no_output "set variable array\[$i\] = $i" +} + +gdb_test_no_output "set debug expression 1" + +# This caused gdb to segfault. +test_debug_expr "print /x {char\[4\]} array" \ + "\[$\]$decimal = \\{0x0, 0x1, 0x2, 0x3\\}" diff --git a/gdb/testsuite/gdb.base/exprs.exp b/gdb/testsuite/gdb.base/exprs.exp index 9599028bac7..c6a07fa4773 100644 --- a/gdb/testsuite/gdb.base/exprs.exp +++ b/gdb/testsuite/gdb.base/exprs.exp @@ -266,3 +266,7 @@ gdb_test {print *v_int_array_init@2} { = \{10, 20\}} gdb_test {print v_int_array_init[0]@1} { = \{10\}} gdb_test {print v_int_array_init[0]@2} { = \{10, 20\}} gdb_test {print v_int_array_init[1]@1} { = \{20\}} + +# gdb's {} extension +gdb_test_no_output "set variable v_short_array\[0\] = 42" +gdb_test "print {short} v_short_array" "$decimal = 42" diff --git a/gdb/testsuite/gdb.cp/debug-expr.exp b/gdb/testsuite/gdb.cp/debug-expr.exp new file mode 100644 index 00000000000..65384bbbbe3 --- /dev/null +++ b/gdb/testsuite/gdb.cp/debug-expr.exp @@ -0,0 +1,43 @@ +# Copyright 2012 Free Software Foundation, Inc. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +# Test "set debug expr 1" on c++ expressions. + +if { [skip_cplus_tests] } { continue } + +gdb_start +gdb_test_no_output "set language c++" +gdb_test_no_output "set debug expression 1" + +# Test whether the expression debug machinery accepts the expression. + +proc test_debug_expr { cmd output } { + global gdb_prompt + + gdb_test_multiple $cmd "" { + -re ".*Invalid expression.*\r\n$gdb_prompt $" { + fail $cmd + } + -re ".*\[\r\n\]$output\r\n$gdb_prompt $" { + pass $cmd + } + } +} + +set void_star_zero_regex "\[$\]$decimal = \\(void \[*\]\\) 0x0" + +test_debug_expr "print static_cast(0)" "$void_star_zero_regex" +test_debug_expr "print reinterpret_cast(0)" "$void_star_zero_regex" +test_debug_expr "print dynamic_cast(0)" "$void_star_zero_regex"