Revert the entire VLA series.

[thirdparty/binutils-gdb.git] / gdb / ChangeLog

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 26bd07bcc231c3bfcbaa773233c7097b57645416..2184479588972b566539ba0df78dbe2597445b09 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,67 @@
+2014-04-11  Joel Brobecker  <brobecker@adacore.com>
+
+       Revert the following changes due to regressions:
+
+       * 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.
+
+       * eval.c (evaluate_subexp_for_sizeof) <OP_VAR_VALUE>: If the type
+       passed to sizeof is dynamic evaluate the argument to compute the length.
+
+       * eval.c (evaluate_subexp_for_sizeof) <UNOP_IND>: Create an indirect
+       value and retrieve the dynamic type size.
+
+       * 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.
+
+       * 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.
+
+       * 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.
+
+       * findvar.c (default_read_var_value): Resolve dynamic bounds if location
+       points to a constant blob.
+
+       * 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.
+
 2014-04-11  Keith Seitz  <keiths@redhat.com>
 
        PR c++/16675