diff options
author | Joel Brobecker <brobecker@adacore.com> | 2014-04-11 14:47:15 -0700 |
---|---|---|
committer | Joel Brobecker <brobecker@adacore.com> | 2014-04-11 15:26:21 -0700 |
commit | 6b662e19e420d2ef28f14b985390977080bcd341 (patch) | |
tree | 83e0a2a9763c26c7c93ed7be2e7ef80e52f61dc6 /gdb/testsuite/gdb.mi | |
parent | 245a5f0b7429b03566eb3f57a92544218f33393c (diff) | |
download | gdb-6b662e19e420d2ef28f14b985390977080bcd341.zip gdb-6b662e19e420d2ef28f14b985390977080bcd341.tar.gz gdb-6b662e19e420d2ef28f14b985390977080bcd341.tar.bz2 |
Revert the entire VLA series.
This reverts the following patch series, as they cause some regresssions.
commit 37c1ab67a35025d37d42c449deab5f254f9f59da
type: add c99 variable length array support
gdb/
* dwarf2loc.c (dwarf2_locexpr_baton_eval): New function.
(dwarf2_evaluate_property): New function.
* dwarf2loc.h (dwarf2_evaluate_property): New function prototype.
* dwarf2read.c (attr_to_dynamic_prop): New function.
(read_subrange_type): Use attr_to_dynamic_prop to read high bound
attribute.
* gdbtypes.c: Include dwarf2loc.h.
(is_dynamic_type): New function.
(resolve_dynamic_type): New function.
(resolve_dynamic_bounds): New function.
(get_type_length): New function.
(check_typedef): Use get_type_length to compute type length.
* gdbtypes.h (TYPE_HIGH_BOUND_KIND): New macro.
(TYPE_LOW_BOUND_KIND): New macro.
(is_dynamic_type): New function prototype.
* value.c (value_from_contents_and_address): Call resolve_dynamic_type
to resolve dynamic properties of the type. Update comment.
* valops.c (get_value_at, value_at, value_at_lazy): Update comment.
commit 26cb189f8b46dbe7b2d485525329a8919005ca8a
vla: enable sizeof operator to work with variable length arrays
gdb/
* eval.c (evaluate_subexp_for_sizeof) <OP_VAR_VALUE>: If the type
passed to sizeof is dynamic evaluate the argument to compute the length.
commit 04b19544ef6a97b62b2cc4a3170b900e046ab185
vla: enable sizeof operator for indirection
gdb/
* eval.c (evaluate_subexp_for_sizeof) <UNOP_IND>: Create an indirect
value and retrieve the dynamic type size.
commit bcd629a44fff61527430f353cf77e20fe3afc395
vla: update type from newly created value
gdb/
* ada-lang.c (ada_value_primitive_packed_val): Re-fetch type from value.
(ada_template_to_fixed_record_type_1): Likewise.
(ada_to_fixed_type_1): Likewise.
* cp-valprint.c (cp_print_value_fields_rtti): Likewise.
(cp_print_value): Likewise.
* d-valprint.c (dynamic_array_type): Likewise.
* eval.c (evaluate_subexp_with_coercion): Likewise.
* findvar.c (address_of_variable): Likewise.
* jv-valprint.c (java_value_print): Likewise.
* valops.c (value_ind): Likewise.
* value.c (coerce_ref): Likewise.
commit b86138fb0484f42db6cb83abed1e3d0ad2ec4eac
vla: print "variable length" for unresolved dynamic bounds
gdb/
* c-typeprint.c (c_type_print_varspec_suffix): Added
check for not yet resolved high bound. If unresolved, print
"variable length" string to the console instead of random
length.
commit e1969afbd454c09c3aad1990305715f70bc47c3c
vla: support for DW_AT_count
gdb/
* dwarf2read.c (read_subrange_type): Convert DW_AT_count to a dynamic
property and store it as the high bound and flag the range accordingly.
* gdbtypes.c (resolve_dynamic_bounds): If range is flagged as
RANGE_UPPER_BOUND_IS_COUNT assign low + high - 1 as the new high bound.
* gdbtypes.h (enum range_flags): New enum.
(struct range_bounds): Add flags member.
commit 92b09522dc5a93ba4bda3c1c0b3c58264e357c8a
vla: resolve dynamic bounds if value contents is a constant byte-sequence
gdb/
* findvar.c (default_read_var_value): Resolve dynamic bounds if location
points to a constant blob.
commit 3bce82377f683870cc89925ff43aefb7dcce4a77
vla: evaluate operand of sizeof if its type is a vla
gdb/
* eval.c (evaluate_subexp_for_sizeof): Add enum noside argument.
(evaluate_subexp_standard): Pass noside argument.
(evaluate_subexp_for_sizeof) <BINOP_SUBSCRIPT>: Handle subscript case
if noside equals EVAL_NORMAL. If the subscript yields a vla type
re-evaluate subscript operation with EVAL_NORMAL to enable sideffects.
* gdbtypes.c (resolve_dynamic_bounds): Mark bound as evaluated.
* gdbtypes.h (enum range_flags): Add RANGE_EVALUATED case.
gdb/testsuite
* gdb.base/vla-sideeffect.c: New file.
* gdb.base/vla-sideeffect.exp: New file.
commit 504f34326e5ae7c78ebfcdd6ed03c7403b42048b
test: cover subranges with present DW_AT_count attribute
gdb/testsuite/
* gdb.dwarf2/count.exp: New file.
commit 1a237e0ee53bbdee97d72d794b5b42e774cc81c0
test: multi-dimensional c99 vla.
gdb/testsuite/
* gdb.base/vla-multi.c: New file.
* gdb.base/vla-multi.exp: New file.
commit 024e13b46f9c33d151ae82fd9d64c53092fd9313
test: evaluate pointers to C99 vla correctly.
gdb/testsuite/
* gdb.base/vla-ptr.c: New file.
* gdb.base/vla-ptr.exp: New file.
commit c8655f75e2f0fada311be193e3090087a77ec802
test: basic c99 vla tests for C primitives
gdb/testsuite/
* gdb.base/vla-datatypes.c: New file.
* gdb.base/vla-datatypes.exp: New file.
commit 58a84dcf29b735ee776536b4c51ba90b51612b71
test: add mi vla test
gdb/testsuite/
* gdb.mi/mi-vla-c99.exp: New file.
* gdb.mi/vla.c: New file.
Diffstat (limited to 'gdb/testsuite/gdb.mi')
-rw-r--r-- | gdb/testsuite/gdb.mi/mi-vla-c99.exp | 82 | ||||
-rw-r--r-- | gdb/testsuite/gdb.mi/vla.c | 37 |
2 files changed, 0 insertions, 119 deletions
diff --git a/gdb/testsuite/gdb.mi/mi-vla-c99.exp b/gdb/testsuite/gdb.mi/mi-vla-c99.exp deleted file mode 100644 index 618e8ab..0000000 --- a/gdb/testsuite/gdb.mi/mi-vla-c99.exp +++ /dev/null @@ -1,82 +0,0 @@ -# Copyright 2014 Free Software Foundation, Inc. - -# Contributed by Intel Corp. <keven.boell@intel.com> -# -# 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 <http://www.gnu.org/licenses/>. - -# Verify that, using the MI, we can evaluate a simple C Variable Length -# Array (VLA). - -load_lib mi-support.exp -set MIFLAGS "-i=mi" - -gdb_exit -if [mi_gdb_start] { - continue -} - -standard_testfile vla.c - -if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" \ - "${binfile}" executable {debug}] != "" } { - untested mi-vla-basics.exp - return -1 -} - -mi_delete_breakpoints -mi_gdb_reinitialize_dir $srcdir/$subdir -mi_gdb_load ${binfile} - -set bp_lineno [gdb_get_line_number "vla-filled"] - -mi_create_breakpoint "-t vla.c:$bp_lineno" 1 "del" "func" \ - ".*vla.c" $bp_lineno $hex \ - "insert breakpoint at line $bp_lineno after vla is filled" -mi_run_cmd -mi_expect_stop "breakpoint-hit" "func" "\{name=\"n\",value=\"5\"\}" \ - ".*vla.c" "$bp_lineno" { "" "disp=\"del\"" } \ - "run to breakpoint at line $bp_lineno" - -mi_gdb_test "500-data-evaluate-expression vla" \ - "500\\^done,value=\"\\{0, 1, 2, 3, 4\\}\"" "evaluate complete vla" - -mi_gdb_test "501-data-evaluate-expression vla\[0\]" \ - "501\\^done,value=\"0\"" "evaluate vla\[0\]" - -mi_gdb_test "502-data-evaluate-expression vla\[2\]" \ - "502\\^done,value=\"2\"" "evaluate vla\[2\]" - -mi_gdb_test "503-data-evaluate-expression vla\[4\]" \ - "503\\^done,value=\"4\"" "evaluate vla\[4\]" - -mi_create_varobj_checked vla vla "int \\\[5\\\]" \ - "create local variable vla" - -mi_gdb_test "504-var-info-type vla" \ - "504\\^done,type=\"int \\\[5\\\]\"" \ - "info type variable vla" - -mi_gdb_test "505-var-show-format vla" \ - "505\\^done,format=\"natural\"" \ - "show format variable vla" - -mi_gdb_test "506-var-evaluate-expression vla" \ - "506\\^done,value=\"\\\[5\\\]\"" \ - "eval variable vla" - -mi_list_array_varobj_children "vla" "5" "int" \ - "get children of vla" - -mi_gdb_exit -return 0 diff --git a/gdb/testsuite/gdb.mi/vla.c b/gdb/testsuite/gdb.mi/vla.c deleted file mode 100644 index a26244b..0000000 --- a/gdb/testsuite/gdb.mi/vla.c +++ /dev/null @@ -1,37 +0,0 @@ -/* This testcase is part of GDB, the GNU debugger. - - Contributed by Intel Corp. <keven.boell@intel.com> - - Copyright 2014 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 <http://www.gnu.org/licenses/>. */ - -int -func (int n) -{ - int vla[n], i; - - for (i = 0; i < n; i++) - vla[i] = i; - - return n; /* vla-filled */ -} - -int -main (void) -{ - func (5); - - return 0; -} |