]> git.ipfire.org Git - thirdparty/elfutils.git/log
thirdparty/elfutils.git
14 years agodwarflint: check_dups_abstract_origin allow subprogram defined outside body.
Mark Wielaard [Fri, 8 Apr 2011 09:16:11 +0000 (11:16 +0200)] 
dwarflint: check_dups_abstract_origin allow subprogram defined outside body.

A subprogram can be defined outside the body of the enclosing class,
then file and/or line attributes can differ.

14 years agoMerge branch 'dwarf' of git://git.fedorahosted.org/git/elfutils into dwarf
Mark Wielaard [Thu, 7 Apr 2011 22:57:33 +0000 (00:57 +0200)] 
Merge branch 'dwarf' of git://git.fedorahosted.org/git/elfutils into dwarf

14 years agoTurn check_dups_abstract_origin into a die_check class.
Mark Wielaard [Thu, 7 Apr 2011 16:03:19 +0000 (18:03 +0200)] 
Turn check_dups_abstract_origin into a die_check class.

14 years agoMerge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf
Petr Machata [Thu, 7 Apr 2011 15:56:43 +0000 (17:56 +0200)] 
Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

14 years agodwarflint: More support for message tresholds and composed messages
Petr Machata [Thu, 7 Apr 2011 15:51:32 +0000 (17:51 +0200)] 
dwarflint: More support for message tresholds and composed messages

14 years agodwarflint: check_dups_abstract_origin allow dup object_pointer on subprogram.
Mark Wielaard [Thu, 7 Apr 2011 15:47:25 +0000 (17:47 +0200)] 
dwarflint: check_dups_abstract_origin allow dup object_pointer on subprogram.

14 years agodwarf::attr_value::constant_block () handle DW_FORM_locexpr.
Mark Wielaard [Thu, 7 Apr 2011 14:56:40 +0000 (16:56 +0200)] 
dwarf::attr_value::constant_block () handle DW_FORM_locexpr.

14 years agodwarflint: Use stream operations for wr_form_leb128_messages
Petr Machata [Thu, 7 Apr 2011 14:46:03 +0000 (16:46 +0200)] 
dwarflint: Use stream operations for wr_form_leb128_messages

14 years agodwarflint: Convert WHERE to a function
Petr Machata [Thu, 7 Apr 2011 14:36:51 +0000 (16:36 +0200)] 
dwarflint: Convert WHERE to a function

14 years agodwarflint: Support composed messages
Petr Machata [Wed, 6 Apr 2011 16:42:42 +0000 (18:42 +0200)] 
dwarflint: Support composed messages

- This should be used like this:
   bool whether = false;
   wr_message (where, cat).id (this, whether) << stuff stuff;
   wr_message (where2, cat2).when (whether) << stuffy stuff;

14 years agodwarflint: .ii -> _i.hh
Petr Machata [Wed, 6 Apr 2011 15:40:50 +0000 (17:40 +0200)] 
dwarflint: .ii -> _i.hh

14 years agodwarflint: Move DIE check registrar away from the class dwarflint
Petr Machata [Wed, 6 Apr 2011 11:14:10 +0000 (13:14 +0200)] 
dwarflint: Move DIE check registrar away from the class dwarflint

14 years agoMerge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf
Petr Machata [Wed, 6 Apr 2011 10:08:41 +0000 (12:08 +0200)] 
Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

14 years agodwarflint: highlevel_check_i holds Dwarf et.al., pass it to die_check
Petr Machata [Wed, 6 Apr 2011 10:06:37 +0000 (12:06 +0200)] 
dwarflint: highlevel_check_i holds Dwarf et.al., pass it to die_check

14 years agodwarflint: Fix run-check_self_referential_die.sh expected warning message.
Mark Wielaard [Wed, 6 Apr 2011 09:17:15 +0000 (11:17 +0200)] 
dwarflint: Fix run-check_self_referential_die.sh expected warning message.

14 years agoTurn check_linkage_external_die into a die_check class.
Mark Wielaard [Tue, 5 Apr 2011 16:11:36 +0000 (18:11 +0200)] 
Turn check_linkage_external_die into a die_check class.

14 years agoTurn check_self_referential_die into a die_check class.
Mark Wielaard [Tue, 5 Apr 2011 15:59:48 +0000 (17:59 +0200)] 
Turn check_self_referential_die into a die_check class.

14 years agodwarflint: Make locstats an independent tool
Petr Machata [Tue, 5 Apr 2011 18:00:42 +0000 (20:00 +0200)] 
dwarflint: Make locstats an independent tool

14 years agoMerge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf
Petr Machata [Tue, 5 Apr 2011 15:55:46 +0000 (17:55 +0200)] 
Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

14 years agodwarflint: Guard against exceptions in per-DIE checks
Petr Machata [Tue, 5 Apr 2011 15:55:30 +0000 (17:55 +0200)] 
dwarflint: Guard against exceptions in per-DIE checks

- throwing check_base::unscheduled can be used to turn off the per-DIE
  check for this file

14 years agodwarflint: Initialize check_debug_info::_m_need_ranges
Petr Machata [Tue, 5 Apr 2011 15:51:48 +0000 (17:51 +0200)] 
dwarflint: Initialize check_debug_info::_m_need_ranges

14 years agoUpdate dwarf-knowledge.cc and expected-at.cc with DWARF4 tags and attributes.
Mark Wielaard [Mon, 4 Apr 2011 14:10:20 +0000 (16:10 +0200)] 
Update dwarf-knowledge.cc and expected-at.cc with DWARF4 tags and attributes.

14 years agodwarflint: Allow DW_AT_ranges with const form, as gnu extension.
Mark Wielaard [Wed, 30 Mar 2011 10:44:14 +0000 (12:44 +0200)] 
dwarflint: Allow DW_AT_ranges with const form, as gnu extension.

Without -gstrict-dwarf gcc allows usage of attributes from
later versions. One strange case is DW_AT_ranges in version 2
since that version doesn't actually define a rangelistptr
class. This case is added in the form_allowed override for dwarf_gnu.
In gnu mode dwarf_version_union::form_allowed checks both variants,
source and extension, in no-gnu mode, only the latest is allowed.

14 years agodwarflint: linkage_name attributes checking.
Mark Wielaard [Mon, 4 Apr 2011 10:42:21 +0000 (12:42 +0200)] 
dwarflint: linkage_name attributes checking.

Dwarf4 introduces DW_AT_linkage_name, which is like DW_AT_MIPS_linkage_name
already used by gcc for earlier versions. Mark DW_TAG_common_block,
DW_TAG_constant, DW_TAG_entry_point, DW_TAG_subprogram and DW_TAG_variable
as optionally having at_linkage_name (either the old or new variant) in
expected-at.cc. Add new check_linkage_external_die.cc to find DIEs with
linkage_name set, but not marked DW_AT_external.

14 years agoAdd minimal support for DW_TAG_GNU_template.
Mark Wielaard [Sun, 3 Apr 2011 18:14:50 +0000 (20:14 +0200)] 
Add minimal support for DW_TAG_GNU_template.

http://gcc.gnu.org/wiki/TemplateParmsDwarf describes
DW_TAG_GNU_template_template_param, DW_TAG_GNU_template_parameter_pack,
DW_TAG_GNU_formal_parameter_pack and DW_AT_GNU_template_name.
Added to libdw/c++/dwarf-knowledge.cc, dwarflint/expected-at.cc and
dwarflint/dwarf_gnu.cc

14 years agodwarflint: Add DW_LNE_set_discriminator check and clean unknown upcode warn.
Mark Wielaard [Sat, 2 Apr 2011 15:33:41 +0000 (17:33 +0200)] 
dwarflint: Add DW_LNE_set_discriminator check and clean unknown upcode warn.

Print unknown (extended) opcodes has hex values.
Add dwarf_line_extended_opcode_string.
New simple DW_LNE_set_discriminator check (not zero).

14 years agodwarf-knowledge.cc expected_value_space for DW_AT_GNU_vector is VS(flag).
Mark Wielaard [Fri, 1 Apr 2011 22:59:50 +0000 (00:59 +0200)] 
dwarf-knowledge.cc expected_value_space for DW_AT_GNU_vector is VS(flag).

Also DW_AT_GNU_vector is an optional attribute for DW_TAG_array_type
in dwarflint/expected-at.cc.

14 years agodwarflint: check_dups_abstract_origin, be specific about GNU_call_site dups.
Mark Wielaard [Fri, 1 Apr 2011 22:36:56 +0000 (00:36 +0200)] 
dwarflint: check_dups_abstract_origin, be specific about GNU_call_site dups.

A call site entry has a DW_AT_low_pc attribute which is the return
address after the call and a DW_AT_abstract_origin that is a
pointer to the reference it calls directly or indirectly. So
both may be available also at the abstract_origin (with different
values).

14 years agodwarflint: Turn global_opts into a static initializer function.
Mark Wielaard [Fri, 1 Apr 2011 13:59:27 +0000 (15:59 +0200)] 
dwarflint: Turn global_opts into a static initializer function.

Trick to make sure the static options are always initialized
before access (it is used from various global initializers).

14 years agodwarflint: Work around a GCC compilation problem
Petr Machata [Fri, 1 Apr 2011 12:38:07 +0000 (14:38 +0200)] 
dwarflint: Work around a GCC compilation problem

14 years agodwarflint: check_dups_abstract_origin, some (GNU_call_site) dups are OK.
Mark Wielaard [Thu, 31 Mar 2011 22:17:58 +0000 (00:17 +0200)] 
dwarflint: check_dups_abstract_origin, some (GNU_call_site) dups are OK.

A call site entry has a DW_AT_low_pc attribute which is the return
address after the call and a DW_AT_abstract_origin that is a
pointer to the reference it calls directly or indirectly.

14 years agodwarflint: check_debug_abbrev.cc (load_debug_abbrev) prev_abbr_off not used.
Mark Wielaard [Wed, 30 Mar 2011 21:07:03 +0000 (23:07 +0200)] 
dwarflint: check_debug_abbrev.cc (load_debug_abbrev) prev_abbr_off not used.

14 years agodwarflint: Add GNU_call attributes and tags to expected-at.cc.
Mark Wielaard [Wed, 30 Mar 2011 17:53:21 +0000 (19:53 +0200)] 
dwarflint: Add GNU_call attributes and tags to expected-at.cc.

14 years agoAdd DW_AT_GNU_call attributes to dwarf-knowledge.cc.
Mark Wielaard [Wed, 30 Mar 2011 15:09:17 +0000 (17:09 +0200)] 
Add DW_AT_GNU_call attributes to dwarf-knowledge.cc.

DW_AT_GNU_call_site_value, DW_AT_GNU_call_site_data_value,
DW_AT_GNU_call_site_target and DW_AT_GNU_call_site_target_clobbered
describe locations. DW_AT_GNU_tail_call, DW_AT_GNU_all_tail_call_sites,
DW_AT_GNU_all_call_sites and DW_AT_GNU_all_source_call_sites are flags.

14 years agodwarflint: Add filtering of duplicate messages
Petr Machata [Mon, 28 Mar 2011 22:54:48 +0000 (00:54 +0200)] 
dwarflint: Add filtering of duplicate messages

- we use the first string component of stream implementation of wr_message
  as a key to decide whether we've seen the message before.  Most of the
  messages use streams, is why it's like that.  When (if) we get back to
  formatting strings, that string should be even better key, because there
  will be less chance for compiler to do duplicate elimination etc.

14 years agodwarflint: Drop wr_warning
Petr Machata [Mon, 28 Mar 2011 18:34:28 +0000 (20:34 +0200)] 
dwarflint: Drop wr_warning

- wr_error is for outright violations.  The rest should be passed through
  wr_message to allow filtering

14 years agodwarflint: Drop the "cat" function, use operator| instead
Petr Machata [Mon, 28 Mar 2011 18:19:36 +0000 (20:19 +0200)] 
dwarflint: Drop the "cat" function, use operator| instead

14 years agoMerge branch 'pmachata/dwarflint' into dwarf
Petr Machata [Mon, 28 Mar 2011 14:10:26 +0000 (16:10 +0200)] 
Merge branch 'pmachata/dwarflint' into dwarf

14 years agodwarflint: Rewrite check_duplicate_DW_tag_variable as a per-DIE check
Petr Machata [Mon, 28 Mar 2011 13:43:44 +0000 (15:43 +0200)] 
dwarflint: Rewrite check_duplicate_DW_tag_variable as a per-DIE check

14 years agodwarflint: Add check_die_tree pass for generic per-DIE checks
Petr Machata [Thu, 24 Mar 2011 16:44:12 +0000 (17:44 +0100)] 
dwarflint: Add check_die_tree pass for generic per-DIE checks

- add reg_die_check for registering per-DIE check passes
- turn check_registrar into a template to allow reuse among reg<> and
  reg_die_check<>
- the per-DIE checking magic is in check_die_tree.hh
- hide most of checks.hh into dwarflint.cc.  That has little to do
  with per-DIE checks as such, but was a necessary cleanup

14 years agoMerge branch 'mjw/call_site' into dwarf
Mark Wielaard [Thu, 24 Mar 2011 12:21:43 +0000 (13:21 +0100)] 
Merge branch 'mjw/call_site' into dwarf

14 years agoMerge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf
Petr Machata [Wed, 23 Mar 2011 17:45:05 +0000 (18:45 +0100)] 
Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

14 years agodwarflint: Tolerate attributes from all DWARF versions, be less strict
Petr Machata [Wed, 23 Mar 2011 17:44:30 +0000 (18:44 +0100)] 
dwarflint: Tolerate attributes from all DWARF versions, be less strict

14 years agoAdd support for low-level dwarflint checks for call_site and entry_value. mjw/call_site
Mark Wielaard [Wed, 23 Mar 2011 12:31:06 +0000 (13:31 +0100)] 
Add support for low-level dwarflint checks for call_site and entry_value.

14 years agoCopy master readelf.c dwarf_tag/attr_string changes to dwarfstrings.c.
Mark Wielaard [Wed, 23 Mar 2011 09:17:48 +0000 (10:17 +0100)] 
Copy master readelf.c dwarf_tag/attr_string changes to dwarfstrings.c.

14 years agoMerge branch 'master' into dwarf
Mark Wielaard [Wed, 23 Mar 2011 09:07:44 +0000 (10:07 +0100)] 
Merge branch 'master' into dwarf

Conflicts:
libdw/ChangeLog
src/readelf.c
tests/ChangeLog
tests/Makefile.am

14 years agoAdd support for call_site and entry_value to dwarf.h and readelf.
Mark Wielaard [Tue, 22 Mar 2011 22:03:31 +0000 (23:03 +0100)] 
Add support for call_site and entry_value to dwarf.h and readelf.

New tags DW_TAG_GNU_call_site and DW_TAG_GNU_call_site_parameter.
New attributes DW_AT_GNU_call_site_value,
DW_AT_GNU_call_site_data_value, DW_AT_GNU_call_site_target,
DW_AT_GNU_call_site_target_clobbered, DW_AT_GNU_tail_call,
DW_AT_GNU_all_tail_call_sites, DW_AT_GNU_all_call_sites,
and DW_AT_GNU_all_source_call_sites.
New operation DW_OP_GNU_entry_value.

14 years agodwarflint: Only add range to CU DIE coverage if low_pc > high_pc
Petr Machata [Tue, 22 Mar 2011 11:50:36 +0000 (12:50 +0100)] 
dwarflint: Only add range to CU DIE coverage if low_pc > high_pc

14 years agodwarflint: Fix reporting of CU x arange mismatch
Petr Machata [Mon, 21 Mar 2011 15:47:26 +0000 (16:47 +0100)] 
dwarflint: Fix reporting of CU x arange mismatch

- report the direction of mismatch correctly
- clarify that we only care about CU DIEs, not any old DIE.  Clarify that
  in a comment in check_debug_info

14 years agodwarflint: Check that operand of DW_LNE_set_address is != 0
Petr Machata [Sat, 19 Mar 2011 10:55:07 +0000 (11:55 +0100)] 
dwarflint: Check that operand of DW_LNE_set_address is != 0

14 years agodwarflint: Do the ET_REL layout starting on address > 0
Petr Machata [Sat, 19 Mar 2011 10:53:31 +0000 (11:53 +0100)] 
dwarflint: Do the ET_REL layout starting on address > 0

14 years agodwarlint check_debug_line.cc DW_LNS_advance_line takes a sleb128 operan.
Mark Wielaard [Fri, 18 Mar 2011 10:38:38 +0000 (11:38 +0100)] 
dwarlint check_debug_line.cc DW_LNS_advance_line takes a sleb128 operan.

14 years agodwarflint: DW_AT_high_pc always has to be >= DW_AT_low_pc
Petr Machata [Fri, 18 Mar 2011 09:05:57 +0000 (10:05 +0100)] 
dwarflint: DW_AT_high_pc always has to be >= DW_AT_low_pc

14 years agodwarflint: Also cover DW_AT_low_pc == DW_AT_high_pc (if that is > 0)
Petr Machata [Fri, 18 Mar 2011 00:21:12 +0000 (01:21 +0100)] 
dwarflint: Also cover DW_AT_low_pc == DW_AT_high_pc (if that is > 0)

14 years agodwarflint: Catch and report exceptions thrown in checks
Petr Machata [Fri, 18 Mar 2011 00:12:34 +0000 (01:12 +0100)] 
dwarflint: Catch and report exceptions thrown in checks

14 years agodwarflint: Add a check for DW_AT_low_pc > DW_AT_high_pc
Petr Machata [Thu, 17 Mar 2011 23:01:38 +0000 (00:01 +0100)] 
dwarflint: Add a check for DW_AT_low_pc > DW_AT_high_pc

14 years agodwarflint: Support DW_AT_high_pc that is constant, check low_pc <= high_pc
Petr Machata [Thu, 17 Mar 2011 22:28:44 +0000 (23:28 +0100)] 
dwarflint: Support DW_AT_high_pc that is constant, check low_pc <= high_pc

14 years agoMerge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf
Petr Machata [Thu, 17 Mar 2011 16:20:22 +0000 (17:20 +0100)] 
Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

14 years agodwarflint: Extract "local function" out of the method
Petr Machata [Thu, 17 Mar 2011 16:19:52 +0000 (17:19 +0100)] 
dwarflint: Extract "local function" out of the method

14 years agodwarflint: Add a test case for check_self_referential_die
Petr Machata [Thu, 17 Mar 2011 16:18:29 +0000 (17:18 +0100)] 
dwarflint: Add a test case for check_self_referential_die

14 years agoMerge remote-tracking branch 'origin/mjw/check_self_referential_die' into dwarf
Petr Machata [Thu, 17 Mar 2011 16:08:35 +0000 (17:08 +0100)] 
Merge remote-tracking branch 'origin/mjw/check_self_referential_die' into dwarf

14 years agodwarflint: Fix message filtering
Petr Machata [Thu, 17 Mar 2011 16:06:53 +0000 (17:06 +0100)] 
dwarflint: Fix message filtering

14 years agoWorkaround all self referential ref values, not just DW_AT_containing_type.
Mark Wielaard [Thu, 17 Mar 2011 11:46:06 +0000 (12:46 +0100)] 
Workaround all self referential ref values, not just DW_AT_containing_type.

14 years agodwarflint: More thorough validation of ELF sections
Petr Machata [Thu, 17 Mar 2011 12:17:35 +0000 (13:17 +0100)] 
dwarflint: More thorough validation of ELF sections

14 years agoAdd check_self_referential_die pass to dwarflint. mjw/check_self_referential_die
Mark Wielaard [Thu, 17 Mar 2011 11:38:45 +0000 (12:38 +0100)] 
Add check_self_referential_die pass to dwarflint.

14 years agodwarflint: Check that .shstrtab is sound
Petr Machata [Thu, 17 Mar 2011 09:51:58 +0000 (10:51 +0100)] 
dwarflint: Check that .shstrtab is sound

14 years agoMerge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf
Petr Machata [Wed, 16 Mar 2011 23:11:21 +0000 (00:11 +0100)] 
Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

14 years agodwarflint: Better validation of .debug_line table header length
Petr Machata [Wed, 16 Mar 2011 23:10:56 +0000 (00:10 +0100)] 
dwarflint: Better validation of .debug_line table header length

14 years agoWorkaround weird (buggy) self referential DW_AT_containing_type case.
Mark Wielaard [Mon, 21 Feb 2011 15:58:26 +0000 (16:58 +0100)] 
Workaround weird (buggy) self referential DW_AT_containing_type case.

https://fedorahosted.org/pipermail/elfutils-devel/2011-February/001792.html

14 years agoAdd reference chain cycle detection.
Mark Wielaard [Mon, 21 Feb 2011 14:21:51 +0000 (15:21 +0100)] 
Add reference chain cycle detection.

14 years agoCalculate reference hash before finalizing, store in die_info.
Mark Wielaard [Fri, 18 Feb 2011 19:16:03 +0000 (20:16 +0100)] 
Calculate reference hash before finalizing, store in die_info.

Follows whole reference chain (ignoring children) and combines
local references of all dies found. Reduces number of attr_set
collisions a lot. Unfortunately there are circular reference
chains for some larger c++ programs. That was unexpected.
Needs cycle detection to figure out what is going on.

14 years agoAdd get_die_info to references, use for hash calculation.
Mark Wielaard [Fri, 18 Feb 2011 10:03:52 +0000 (11:03 +0100)] 
Add get_die_info to references, use for hash calculation.

14 years agoNever recalculate local hash, always reuse die_info stored one.
Mark Wielaard [Fri, 18 Feb 2011 08:58:28 +0000 (09:58 +0100)] 
Never recalculate local hash, always reuse die_info stored one.

14 years agoFetch local hash from pending or finalized entry die. Use it in attr_value.
Mark Wielaard [Wed, 16 Feb 2011 17:42:29 +0000 (18:42 +0100)] 
Fetch local hash from pending or finalized entry die. Use it in attr_value.

14 years agoDon't finalize entries on first go, just create and store die_info for them.
Mark Wielaard [Wed, 16 Feb 2011 08:14:23 +0000 (09:14 +0100)] 
Don't finalize entries on first go, just create and store die_info for them.

Do all finalization for the whole CU after walking the whole tree.

14 years agoCalculate local_hash only on finalizing entry, store in die_info.
Mark Wielaard [Mon, 14 Feb 2011 13:36:28 +0000 (14:36 +0100)] 
Calculate local_hash only on finalizing entry, store in die_info.

14 years agoAdd local hash for children_types.
Mark Wielaard [Fri, 21 Jan 2011 21:44:15 +0000 (22:44 +0100)] 
Add local hash for children_types.

14 years agoAdd local_hash to attributes_type and use it for die hash.
Mark Wielaard [Fri, 21 Jan 2011 09:37:08 +0000 (10:37 +0100)] 
Add local_hash to attributes_type and use it for die hash.

Skips values of reference attributes.

14 years agoTurn copier::entry into a value_reference so what_space works on it.
Mark Wielaard [Thu, 20 Jan 2011 15:23:48 +0000 (16:23 +0100)] 
Turn copier::entry into a value_reference so what_space works on it.

copier::entry is used as a value_reference when an attr_value has a
dangling reference to a DIE not yet built in the output. So make sure
its type matches that usage.

14 years agoIntroduce local_hash for dwarf_output debug_info_die.
Mark Wielaard [Thu, 20 Jan 2011 14:28:59 +0000 (15:28 +0100)] 
Introduce local_hash for dwarf_output debug_info_die.

Very simplistic local_hash implementation. Just takes tag name,
attributes and children sizes into account. But is good enough to
make all the dwarf_edit_output tests pass. Some dwarfcmp-test-self
tests fail though. it also generates a significant number of
collissions for the dwarf_output_collector attr_sets.

14 years agoAdd the *info () hack in dwarf_output, so we can rely on it for now.
Mark Wielaard [Wed, 23 Feb 2011 18:59:41 +0000 (19:59 +0100)] 
Add the *info () hack in dwarf_output, so we can rely on it for now.

14 years agoDW_AT_*_file is allowed to be zero, meaning "no file".
Mark Wielaard [Wed, 23 Feb 2011 16:26:09 +0000 (17:26 +0100)] 
DW_AT_*_file is allowed to be zero, meaning "no file".

14 years agoRemove unused output-shape from dwarf_output collector.
Mark Wielaard [Thu, 13 Jan 2011 12:09:31 +0000 (13:09 +0100)] 
Remove unused output-shape from dwarf_output collector.

14 years agodwarflint: Replace over-zealous assert with a warning
Petr Machata [Mon, 14 Mar 2011 13:19:59 +0000 (14:19 +0100)] 
dwarflint: Replace over-zealous assert with a warning

14 years agoAdd new ebl_check_st_other_bits function. mpolacek/autotest
Mark Wielaard [Thu, 10 Mar 2011 12:02:32 +0000 (13:02 +0100)] 
Add new ebl_check_st_other_bits function.

14 years agodwarflint: Fix "die chain not terminated by a null entry" for CU DIE
Petr Machata [Thu, 10 Mar 2011 15:03:18 +0000 (16:03 +0100)] 
dwarflint: Fix "die chain not terminated by a null entry" for CU DIE

- CU DIE is not part of DIE chain, it's a singleton (with optional null
  entries following it as padding)
- consequently, don't emit this message for CU DIE, and change it to full
  error for all other cases

14 years agodwarflint: Missing DW_LNE_end_sequence OK in empty line number program
Petr Machata [Thu, 10 Mar 2011 14:39:01 +0000 (15:39 +0100)] 
dwarflint: Missing DW_LNE_end_sequence OK in empty line number program

- also the fact that the line number program is empty is not a problem
  in itself, only when combined with otherwise unused file table

14 years agodwarflint: Fix last-die-has-sibling-attr message, don't let such to high-level
Petr Machata [Thu, 10 Mar 2011 13:54:09 +0000 (14:54 +0100)] 
dwarflint: Fix last-die-has-sibling-attr message, don't let such to high-level

14 years agoCosmetic cleanup for new test.
Roland McGrath [Thu, 10 Mar 2011 02:21:22 +0000 (18:21 -0800)] 
Cosmetic cleanup for new test.

14 years agoReject requests for abbreviation with code 0
Petr Machata [Thu, 10 Mar 2011 00:50:32 +0000 (01:50 +0100)] 
Reject requests for abbreviation with code 0

14 years agodwarflint: Detect and diagnose empty CU
Petr Machata [Wed, 9 Mar 2011 23:51:43 +0000 (00:51 +0100)] 
dwarflint: Detect and diagnose empty CU

14 years agodwarflint: Check that CU DIE has stmt_list if children have decl_file
Petr Machata [Wed, 9 Mar 2011 20:33:31 +0000 (21:33 +0100)] 
dwarflint: Check that CU DIE has stmt_list if children have decl_file

- Mark's test case attached

14 years agoAlpha backend: accept any _GLOBAL_OFFSET_TABLE_ value.
Roland McGrath [Wed, 9 Mar 2011 18:10:36 +0000 (10:10 -0800)] 
Alpha backend: accept any _GLOBAL_OFFSET_TABLE_ value.

14 years agoCheck for truncated section in dwarf_child.
Petr Machata [Wed, 9 Mar 2011 18:01:29 +0000 (10:01 -0800)] 
Check for truncated section in dwarf_child.

14 years agodwarflint: Properly diagnose DW_AT_sibling with value of 0
Petr Machata [Wed, 9 Mar 2011 17:10:24 +0000 (18:10 +0100)] 
dwarflint: Properly diagnose DW_AT_sibling with value of 0

14 years agodwarflint: Fix attribute and form validation in .debug_abbrev and .debug_info
Petr Machata [Wed, 9 Mar 2011 12:18:18 +0000 (13:18 +0100)] 
dwarflint: Fix attribute and form validation in .debug_abbrev and .debug_info

- and a test case that used to SIGSEGV

14 years agodwarflint: Fix a SEGV for invalid address size in CU header
Petr Machata [Wed, 9 Mar 2011 01:00:28 +0000 (02:00 +0100)] 
dwarflint: Fix a SEGV for invalid address size in CU header

- read_address_size has a richer interface now.  New type error_code, which
  might be more generally useful
- adapt callers
- add test case

14 years agodwarflint: Clarify error message when CU headers can't be parsed
Petr Machata [Wed, 9 Mar 2011 00:57:25 +0000 (01:57 +0100)] 
dwarflint: Clarify error message when CU headers can't be parsed

14 years agolibdwfl: Clear errno before using its ambient value.
Roland McGrath [Wed, 9 Mar 2011 00:26:02 +0000 (16:26 -0800)] 
libdwfl: Clear errno before using its ambient value.

14 years agodwarflint: Check that there's enough data for .debug_line opcode
Petr Machata [Wed, 9 Mar 2011 00:10:26 +0000 (01:10 +0100)] 
dwarflint: Check that there's enough data for .debug_line opcode

- fixes a SEGV on invalid data.  Test case provided