Merge branch 'default_dups' into dwarf

dwarflint: check_dups_abstract_origin  more specific and add member variables.

dwarflint: anonymous typedef unions also can have linkage_name extension.

dwarflint: GNU upper_bound is allowed to also be a block (dwarf3 in dwarf2).

dwarflint: Default to --dups=16.

Merge branch 'dwarf' of git://git.fedorahosted.org/git/elfutils into dwarf

dwarflint: check_linkage_external_die keep symbol table and double check.

We pull the symbol table from the dwarf file and check when a linkage_name
is set that the symbol table contains that name and is marked not marked
local, with the following exceptions:

- No symbol in table, OK, if not a defining or const object.
  Or GNU extension, anonymous structs can have a linkage_name.
- Symbol in table marked local, OK if not a defining object
  and marked external.  Which means it comes from some external
  symbol table.

dwarflint: expected-at GNU extension for anonymous typedef structs and enums.

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.

dwarflint: Simplify formatting of wheres

Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

dwarflint: Drop checkdescriptor::{prereq,inherit}

- ... which was just duplicating the lint.check<> calls in check
  initializers.  It was needed for --list-checks to display all the
  checks.  Now we register all the checks that we either want to show
  in the list or run, and mark them as hidden or unscheduled as needed.
  We lose the ability to list dependees in --list-checks, but I don't
  think that is too interesting anyway.

Merge branch 'dwarf' of git://git.fedorahosted.org/git/elfutils into dwarf

Turn check_dups_abstract_origin into a die_check class.

Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

dwarflint: More support for message tresholds and composed messages

dwarflint: check_dups_abstract_origin allow dup object_pointer on subprogram.

dwarf::attr_value::constant_block () handle DW_FORM_locexpr.

dwarflint: Use stream operations for wr_form_leb128_messages

dwarflint: Convert WHERE to a function

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;

dwarflint: .ii -> _i.hh

dwarflint: Move DIE check registrar away from the class dwarflint

Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

dwarflint: highlevel_check_i holds Dwarf et.al., pass it to die_check

dwarflint: Fix run-check_self_referential_die.sh expected warning message.

Turn check_linkage_external_die into a die_check class.

Turn check_self_referential_die into a die_check class.

dwarflint: Make locstats an independent tool

Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

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

dwarflint: Initialize check_debug_info::_m_need_ranges

Update dwarf-knowledge.cc and expected-at.cc with DWARF4 tags and attributes.

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.

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.

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

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).

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.

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).

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).

dwarflint: Work around a GCC compilation problem

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.

dwarflint: check_debug_abbrev.cc (load_debug_abbrev) prev_abbr_off not used.

dwarflint: Add GNU_call attributes and tags to expected-at.cc.

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.

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.

dwarflint: Drop wr_warning

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

dwarflint: Drop the "cat" function, use operator| instead

Merge branch 'pmachata/dwarflint' into dwarf

dwarflint: Rewrite check_duplicate_DW_tag_variable as a per-DIE check

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

Merge branch 'mjw/call_site' into dwarf

Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

dwarflint: Tolerate attributes from all DWARF versions, be less strict

Add support for low-level dwarflint checks for call_site and entry_value.

Copy master readelf.c dwarf_tag/attr_string changes to dwarfstrings.c.

Merge branch 'master' into dwarf

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

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.

dwarflint: Only add range to CU DIE coverage if low_pc > high_pc

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

dwarflint: Check that operand of DW_LNE_set_address is != 0

dwarflint: Do the ET_REL layout starting on address > 0

dwarlint check_debug_line.cc DW_LNS_advance_line takes a sleb128 operan.

dwarflint: DW_AT_high_pc always has to be >= DW_AT_low_pc

dwarflint: Also cover DW_AT_low_pc == DW_AT_high_pc (if that is > 0)

dwarflint: Catch and report exceptions thrown in checks

dwarflint: Add a check for DW_AT_low_pc > DW_AT_high_pc

dwarflint: Support DW_AT_high_pc that is constant, check low_pc <= high_pc

Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

dwarflint: Extract "local function" out of the method

dwarflint: Add a test case for check_self_referential_die

Merge remote-tracking branch 'origin/mjw/check_self_referential_die' into dwarf

dwarflint: Fix message filtering

Workaround all self referential ref values, not just DW_AT_containing_type.

dwarflint: More thorough validation of ELF sections

Add check_self_referential_die pass to dwarflint.

dwarflint: Check that .shstrtab is sound

Merge branch 'dwarf' of ssh://git.fedorahosted.org/git/elfutils into dwarf

dwarflint: Better validation of .debug_line table header length

Workaround weird (buggy) self referential DW_AT_containing_type case.

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

Add reference chain cycle detection.

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.

Add get_die_info to references, use for hash calculation.

Never recalculate local hash, always reuse die_info stored one.

Fetch local hash from pending or finalized entry die. Use it in attr_value.

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.

Calculate local_hash only on finalizing entry, store in die_info.

Add local hash for children_types.

Add local_hash to attributes_type and use it for die hash.

Skips values of reference attributes.

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.

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.

Add the *info () hack in dwarf_output, so we can rely on it for now.

DW_AT_*_file is allowed to be zero, meaning "no file".

Remove unused output-shape from dwarf_output collector.

dwarflint: Replace over-zealous assert with a warning

Add new ebl_check_st_other_bits function.

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

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

dwarflint: Fix last-die-has-sibling-attr message, don't let such to high-level

Cosmetic cleanup for new test.