[dwarf] Anonymous nested function causes SEGV during psymbol read

According to the DWARF3 standard, a function always has a name attribute
(Section 3.3 - Subroutine and Entry Point Entries).  The only exception
is when a DW_AT_abstract_origin attribute is provided, in which case
the name may be inherited from the referenced DIE.

The problem occured because our compiler generated a subprogram DIE
for a nested function where the name attribute was missing (and no
abstract-origin either).  Our code in add_partial_symbol is not
prepared to deal with the situation, and happily just tries  to compute
the length of the (NULL) function name.

This normally cannot happen, because there is already a guard in
scan_partial_symbols, where we (silently!) ignore anonymous dies,
including anonymous subprograms. Unfortunately, there is a flaw that
affects Ada and other languages that allow nested subprograms. For
nested subprograms, we do not go through scan_partial_symbols and
thus we are missing the name check.

This patch adds the name check in the nested subprogram case. It also
adds a complaint which is emitted during the psymtab->symtab conversion
phase.

gdb/ChangeLog:

        * dwarf2read.c (add_partial_subprogram): Make sure the subprogram
        DIE has a name before creating the associated partial symbol.
        (read_func_scope): Emit a complaint if the subprogram does not
        have a name or when we can't extract the subprogram PC bounds.

gdb/testsuite/ChangeLog:

        * gdb.dwarf2/dw2-anonymous-func.S: New file.
        * gdb.dwarf2/dw2-anonymous-func.exp: New testcase.

Tested on x86_64-linux, no regression.  Note that the testcase also
verifies that the psymtab->symtab conversion does not crash (this is
the purpose of the "list file1.txt:1" test.

Reformat.

* infcmd.c (finish_command_continuation): Wrap print_return_value
in TRY_CATCH.

Avoid buffer overflow.

2010-03-18  H.J. Lu  <hongjiu.lu@intel.com>

* readelf.c (decode_arm_unwind): Increase buf size to 9 byte.

Fix last checkin

* doc/c-arm.texi (.setfp): Correct example.

Move ChangeLog entries to proper place.

ChangeLog:

* mi/mi-main.c (mi_cmd_list_thread_groups): Use get_current_arch
instead of selected frame architecture.

testsuite/ChangeLog:

* gdb.mi/gdb680.exp: Revert 2009-06-17 change.

gdb/
* infcmd.c (until_command): Use ERROR_NO_INFERIOR.  Ensure there's
a valid selected thread, and that it is not running.
(advance_command): Ditto.
(finish_command): Ditto.

gdb/testsuite/
* gdb.base/default.exp: Adjust.

    PR ld/11384
        * emultempl/sh64elf.em: Add missing EOF.

Don't add IMAGE_FILE_RELOCS_STRIPPED for PIE.

2010-03-18  H.J. Lu  <hongjiu.lu@intel.com>

PR binutils/11396
* libcoff-in.h (pe_tdata): Add dont_strip_reloc.
* libcoff.h: Regenerated.

* peXXigen.c (_bfd_XXi_only_swap_filehdr_out): Clear F_RELFLG
if dont_strip_reloc is set.
(_bfd_XX_bfd_copy_private_bfd_data_common): Set
dont_strip_reloc on output if there is no .reloc and
IMAGE_FILE_RELOCS_STRIPPED isn't set in input.

bfd/
2010-03-15  Wei Guozhi  <carrot@google.com>

       PR gas/11323
       * bfd-in2.h (enum bfd_reloc_code_real): New BFD_RELOC_GOT_PREL type.
       * elf32-arm.c (elf32_arm_reloc_map): BFD_RELOC_GOT_PREL to
       R_ARM_GOT_PREL map.
       * libbfd.h (bfd_reloc_code_real_names): BFD_RELOC_GOT_PREL name.
       * reloc.c (comments): Document the new relocation.

gas/
2010-03-15  Wei Guozhi  <carrot@google.com>

       PR gas/11323
       * config/tc-arm.c (reloc_names): New relocation names.
       (md_apply_fix): New case for BFD_RELOC_ARM_GOT_PREL.
       (tc_gen_reloc): New case for BFD_RELOC_ARM_GOT_PREL.
       * doc/c-arm.texi (ARM-Relocations): Document the new relocation.

gas/testsuite
2010-03-15  Wei Guozhi  <carrot@google.com>

       PR gas/11323
       * gas/arm/got_prel.s: New test case.
       * gas/arm/got_prel.d: Likewise.

    * pe-dll.c (make_one): Make text section readonly.
        (make_one): Add *ABS* symbol @feat.00 with value 1 to tag
        the jump stub on X86 as /SAFESEH compatible for
        native toolchains.

2010-03-17 Stan Shebs  <stan@codesourcery.com>

* ax-gdb.c (require_rvalue): Disallow non-scalars.

2010-03-17 Stan Shebs  <stan@codesourcery.com>

* infcall.c: Include tracepoint.h.
(call_function_by_hand): Disallow calls in tfind mode.
* infcmd.c: Include tracepoint.h.
(ensure_not_tfind_mode): New function.
(continue_1): Call it.
(step_1) Ditto.
(jump_command): Ditto.
(signal_command): Ditto.
(advance_command): Ditto.
(until_command): Ditto.
(finish_command): Ditto.
* tracepoint.h (disconnect_or_stop_tracing): Declare.

*** empty log message ***

Run list-1, list-2 and list-3 only for ELF tagets.

2010-03-17  H.J. Lu  <hongjiu.lu@intel.com>

* gas/i386/i386.exp: Run list-1, list-2 and list-3 only for
ELF tagets.

daily update

Revert accidental changes.

2010-03-17  H.J. Lu  <hongjiu.lu@intel.com>

* reloc.c (BFD_RELOC_SPU_PIC18): Removed.
(BFD_RELOC_SPU_STUB): Likewise.

2010-03-17 Stan Shebs  <stan@codesourcery.com>

* ax-gdb.h (struct axs_value): New field optimized_out.
(gen_trace_for_var): Add gdbarch argument.
* ax-gdb.c (gen_trace_static_fields): New function.
(gen_traced_pop): Call it, add gdbarch argument.
(gen_trace_for_expr): Update call to it.
(gen_trace_for_var): Ditto, and report optimized-out variables.
(gen_struct_ref_recursive): Check for optimized-out value.
(gen_struct_elt_for_reference): Ditto.
(gen_static_field): Pass gdbarch instead of expression, assume
optimization if field not found.
(gen_var_ref): Set the optimized_out flag.
(gen_expr): Error on optimized-out variable.
* tracepoint.c (collect_symbol): Handle struct-valued vars as
expressions, skip optimized-out variables with computed locations.
* dwarf2loc.c (dwarf2_tracepoint_var_ref): Flag instead of
erroring out if location expression missing.
(loclist_tracepoint_var_ref): Don't error out here.

* dwarf2read.c (dwarf2_get_section_info): Handle case where no
DWARF data is available.

* symfile.c (generic_load): Reset breakpoints after loading.

* linux-nat.c (linux_nat_detach): Check debug_linux_nat.

Avoid overflow.

2010-03-17  Jie Zhang  <jie@codesourcery.com>

* elf.c (assign_file_positions_for_load_sections): Avoid
overflow.

gdb/
* spu-tdep.c (spu_catch_start): Replace set_breakpoint call with the
create_breakpoint call, adjust the parameters.

* plugin.c (bfd_plugin_object_p): Pass iostream to fileno using
proper type.

rename files

* ldlang.c (lang_size_sections_1): Remove "s" param.  Set "s" from
*prev instead.  Update all callers.

warning fixes

*** empty log message ***

daily update

sim: avoid TRACE redefine warnings

The common code sets up an autoconf option --enable-sim-trace which adds
-DTRACE= to CPPFLAGS.  This causes warnings in the building of some files
that declare a local TRACE() helper macro.  So punt it from hw-ports.c
(since it isn't actually used) and convert hw-properties.c to HW_TRACE().

gdb/
* dwarf2read.c (read_subrange_type): Set TYPE_HIGH_BOUND_UNDEFINED.
* valarith.c (value_subscripted_rvalue): Suppress error if
TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED.

Avoid switch to invalid ptid during Ada task switch.

This is to prevent an internal error during an Ada task switch. A task
switch is simply a thread switch under the hood. What we do is collect
the info from the Ada Task Control Block, deduce the associated thread
ptid, and then switch to that thread.  If the thread ptid computation
routine has not been implemented for the target, of if there is a bug,
then we end up computing a bogus ptid which GDB does not know about,
which eventually leads to an assertion failure:

    (gdb) task 1
    [New Thread 5715]
    /[...]/gdb/thread.c:595: internal-error: is_thread_state:
     Assertion `tp' failed.
    A problem internal to GDB has been detected,
    further debugging may prove unreliable.
    Quit this debugging session? (y or n)

When this happens, it's just nicer for the user to print an error
message, and cancel the task switch. After this patch is applied,
this is what we get:

    (gdb) task 1
    [New Thread 10250]
    Unable to compute thread ID for task 1.
    Cannot switch to this task.

gdb/ChangeLog:

        * ada-tasks.c (task_command_1): Check that the task ptid is valid
        before doing the associated thread switch.

2010-03-16  Segher Boessenkool  <segher@kernel.crashing.org>

        * gmon_io.c (gmon_out_read): Close file when done.

gdb/gdbserver/
* server.h (internal_error): Declare.
(gdb_assert, ASSERT_FUNCTION, gdb_assert_fail): Define.
* utils.c (internal_error): New function.

2010-03-16  Holger Hans Peter Freyther  <zecke@selfish.org>

* linux-record.c (record_linux_msghdr): Remove unintended semicolons.

Add missing newline.

* ldlang.c (lang_insert_orphan): Place loadable orphans in the same
region and phdrs as their placement section.

testsuite/
* ld-elf/orphan-region.d, ld-elf/orphan-region.ld,
ld-elf/orphan-region.s: New files.

* MAINTAINERS: Update my email address.  List Tristan Gingold
as the release branch maintainer.

* MAINTAINERS: Update my email address.

Simplify MI breakpoint setting.

     * breakpoint.c (break_command_really): Make nonstatic and
     rename to...
     (create_breakpoint): ...this. Rename prior function by this name
     to...
     (create_breakpoint_sal): ...this.
     (create_breakpoints): Rename to...
     (create_breakpoints_sal): ...this.
     (set_breakpoint): Remove.
     * breakpoint.h: Adjust to above changes.
     * mi/mi-cmd-break.c (mi_cmd_break_insert): Simplify.

2010-03-15  Doug Kwan  <dougkwan@google.com>

* stringpool.cc (Stringpool_template::Stringpool_template): Initialize
offset_.
(Stringpool_template::new_key_offset): New method.
(Stringpool_template::add_string): Assign offsets when adding new
strings.
(Stringpool_template::set_string_offsets): Do not set string offsets
when not optimizing.
* stringpool.h (Chunked_vector::Chunked_vector): Initialize data
member size_.
    (Chunked_vector::clear): Clear size_.
    (Chunked_vector::reserve): Call reserve method of all Element_vectors.
    (Chunked_vector::size): Return size_.
    (Chunked_vector::push_back): Use size_ to find insert position.
(Chunked_vector::size_): New data member.
(Stringpool_template::set_no_zero_null): Assert string set is empty.
(Stringpool_template::new_key_offset): New method declaration.
(Stringpool_template::offset_): New data member.

Fix a commit snafu

* elf64-ppc.c (struct ppc_link_hash_table): Add do_toc_opt.
(ppc64_elf_edit_toc): Set it here.
(ha_reloc_match): New function.
(ppc64_elf_relocate_section): Optimize bigtoc insn sequences.

*** empty log message ***

2010-03-15 Stan Shebs  <stan@codesourcery.com>

* ax-gdb.c: Include cp-support.h.
(find_field): Remove.
(gen_primitive_field): New function.
(gen_struct_ref_recursive): New function.
(gen_struct_ref): Rewrite to call gen_struct_ref_recursive instead
of find_field.
(gen_static_field): New function.
(gen_struct_elt_for_reference): New.
(gen_namespace_elt): New.
(gen_maybe_namespace_elt): New.
(gen_aggregate_elt_ref): New.
(gen_expr): Add OP_SCOPE, display opcode name in error message.

daily update

* dwarf2read.c (die_needs_namespace): Also return 0 for
DW_TAG_subprogram.

merge from gcc

Requalify Ralf Corsepius' change as a "tiny change".

Ralf's copyright assignment does not cover GDB for the moment.
He only contributed one other change, in 2005, so this should be fine.

2010-03-15  Sami Wagiaalla  <swagiaal@redhat.com>

        PR c++/7936:
        * cp-support.h: Added char *declaration element to using_direct
        data struct.
        (cp_add_using): Added char *declaration argument.
        (cp_add_using_directive): Ditto.
        (cp_lookup_symbol_imports): made extern.
        * cp-namespace.c: Updated with the above changes.
        * dwarf2read.c (read_import_statement): Ditto.
        (read_namespace): Ditto.
        (read_import_statement): Support import declarations.
        * cp-namespace.c (cp_lookup_symbol_imports): Check for imported
        declarations.
        Added support for 'declaration_only' search.
        (cp_lookup_symbol_namespace): Attempt to search for the name as
        is before consideration of imports.
        * symtab.c (lookup_symbol_aux_local): Added a 'declaration_only'
        search at every block level search.
        Now takes language argument.
        (lookup_symbol_aux): Updated.

    2010-03-15  Sami Wagiaalla  <swagiaal@redhat.com>

        * gdb.cp/shadow.exp: Removed kfail; test has been fix.
        * gdb.cp/nsusing.exp: Ditto.

gdb
* c-exp.y (name_not_typename): Add 'operator' clause.
gdb/testsuite
* gdb.cp/userdef.exp: Add tests for explicit calls to operator==.
* gdb.cp/userdef.cc (operator==): New function.
(main): New locals mem1, mem2.

Fix date in latest entry.

Fail gdb configure if target is not supported.

        * configure.ac: Exit if ${gdb_target_obs}" is not set.
        * configure: Regenerate.

* configure.srv: Fix typo setting srv_regobj.

2010-03-15  Thomas Schwinge  <thomas@codesourcery.com>

* dw2gencfi.c (output_cie): Consider emitting the S augmentation in all
cases, and not only for .eh_frame.

2010-03-15  Thomas Schwinge  <thomas@codesourcery.com>

* dw2gencfi.c (output_cie): Make it more explicit which code paths
belong to .eh_frame only.

2010-03-15   Rafael Espindola  <espindola@google.com>

* readsyms.cc (Read_symbols::do_read_symbols): Update calls to
Add_symbols' constructor.
* readsyms.h (Add_symbols): Remove the input_group member.

gdb/
* symfile.c (addr_info_make_relative): Ignore also missing ".dynbss"
and ".sdynbss".  Update the comment.

sim: rename bool argument to avoid stdbool clash

Including stdbool.h before hw-properties.h results in a build error due
to the hw_add_boolean_property function having an argument named "bool"
in its prototype.  The source file has already be renamed to not use
this ("boolean" instead), so match the header to the source.

* MAINTAINERS: Update my email address.

* lib/mi-support.exp (mi_gdb_target_load): Delete unused timeout var.
Declare and use new loadtimeout variable.

* gdb.base/printcmds.exp: Use gdb_file_cmd instead of gdb_load.
Use gdb_load later.

* gdbtypes.h (TYPE_IS_OPAQUE): Correct HAVE_CPLUS_STRUCT check.

* emultempl/ppc64elf.em (move_input_section, sort_toc_sections): New.
(ppc_before_allocation): Call sort_toc_sections.
(no_toc_sort, OPTION_NO_TOC_SORT): New.
(PARSE_AND_LIST_PROLOGUE, PARSE_AND_LIST_LONGOPTS,
 PARSE_AND_LIST_OPTIONS): Handle --no-toc-sort.

* elf64-ppc.c (ppc64_elf_has_small_toc_reloc): New function.
* elf64-ppc.h (ppc64_elf_has_small_toc_reloc): Declare.

* linux-low.c (fetch_register): Avoid passing a non string literal
format to `error'.
(usr_store_inferior_registers): Ditto.

*** empty log message ***

daily update

* charset.c [USE_WIN32API]: Include <windows.h>.
 (_initialize_charset): Correct type of w32_host_default_charset.

* linux-low.c (linux_write_memory): Bail out early if peeking
memory failed.

* linux-low.h (struct lwp_info): New fields
`stopped_by_watchpoint' and `stopped_data_address'.
* linux-low.c (linux_wait_for_lwp): Check for watchpoint triggers
here, and cache them in the lwp object.
(wait_for_sigstop): Check stopped_by_watchpoint lwp field
directly.
(linux_resume_one_lwp): Clear the lwp's stopped_by_watchpoint
field.
(linux_stopped_by_watchpoint): Rewrite.
(linux_stopped_data_address): Rewrite.

* gdb.base/solib-disc.c (main): Make format of fprintf a string
literal.  Add missing endlines to prints to stderr.

* infrun.c (ptid_match): Don't assert that PTID is not a pid ptid.

Merge from gcc:
2010-01-11  Richard Guenther  <rguenther@suse.de>
PR lto/41569
* Makefile.def (all-lto-plugin): Depend on all-gcc.
* Makefile.in: Regenerated.

bfd/
PR ld/11378
* elf64-ppc.h (ppc64_elf_check_init_fini): Declare.
* elf64-ppc.c (call_check_done): Define.
(ppc64_elf_add_symbol_hook): Substitute bfd_get_section_name macro.
(ppc64_elf_check_relocs, ppc64_elf_size_dynamic_sections): Likewise.
(ppc64_elf_finish_multitoc_partition): Remove unnecessary check.
(toc_adjusting_stub_needed): Use call_check_done rather than toc_off.
Simplify return logic.  Iterate over all .init and .fini fragments
by recursion.  Set makes_toc_func_call here..
(ppc64_elf_next_input_section): ..rather than here.
(check_pasted_section, ppc64_elf_check_init_fini): New functions.
ld/
PR ld/11378
* emultempl/ppc64elf.em (gld${EMULATION_NAME}_after_allocation): Call
ppc64_elf_check_init_fini and warn if .init/.fini use different TOCs.

*** empty log message ***

daily update

2010-03-13  Segher Boessenkool  <segher@kernel.crashing.org>

        * config/tc-v850.c (v850_insert_operand): Handle out-of-range
        assembler constants on 64-bit hosts.

gdb
PR c++/9708:
* dwarf2read.c (die_needs_namespace) <DW_TAG_variable>: A variable
in a lexical block does not need a namespace.
(new_symbol) <DW_TAG_variable>: Put extern variables on
list_in_scope in all cases.
gdb/testsuite
PR c++/9708:
* gdb.cp/m-static.exp: Add regression test.
* gdb.cp/m-static.cc (method): New method.
(main): Call it.

*** empty log message ***

2010-03-12 Stan Shebs  <stan@codesourcery.com>

* ax-gdb.c (gen_expr): Add shift expressions.
(gen_expr_binop_rest): Ditto.

daily update

PR ld/11375
* elf64-ppc.c (ppc_type_of_stub): Always set *hash to the
function descriptor symbol if there is one, not just for plt stubs.
(ppc64_elf_relocate_section): Use fdh on all ppc_get_stub_entry calls.

2010-03-12  Sami Wagiaalla  <swagiaal@redhat.com>

* buildsym.c (finish_block): Reset using_directives pointer
after block initialization.

2010-03-12  Sami Wagiaalla  <swagiaal@redhat.com>

* gdb.cp/gdb2384-base.h: Created 'namespace B'.
* gdb.cp/gdb2384-base.cc: Use 'namespace B'.

gdb/testsuite/
* lib/gdb.exp (gdb_test_multiple): Handle -timeout.

gdb/testsuite/
* lib/gdb.exp (skip_stl_tests): New.
(gdb_compile): Symbian needs -ldl.
(shlib_target_file): New.
(shlib_symbol_file): New.
(gdb_load_shlibs): Use shlib_target_file.
* lib/mi-support.exp (mi_load_shlibs): Use shlib_target_file.
* gdb.cp/exception.exp: Use skip_stl_tests.
* gdb.cp/bs15503.exp: Use skip_stl_tests.  Use untested.
* gdb.cp/try_catch.exp: Use skip_stl_tests.
* gdb.cp/mb-templates.exp: Ditto.
* gdb.base/commands.exp: Relax regexes.
* gdb.base/watchpoint-solib.exp: Don't skip on symbian.  Use
shlib_target_file and shlib_symbol_file.
* gdb.base/maint.exp: Allow lowercase t.  Allow .rodata in
sections.
* gdb.base/ending-run.exp: Accept E32Main for symbian.
* gdb.base/solib-disc.exp: Use
shlib_target_file and shlib_symbol_file.
* gdb.base/unload.exp: Don't skip on symbian.  Use
shlib_target_file and shlib_symbol_file.
* gdb.base/list.exp: Check use_gdb_stub instead of is_remote.

2010-03-12  Stan Shebs  <stan@codesourcery.com>
    Nathan Sidwell  <nathan@codesourcery.com>

* gdb.texinfo (Tracepoint Actions): Clarify that while-stepping is
doing instruction stepping.
(Tracepoint Restrictions): New node.

Restore sp for x86.

2010-03-12  H.J. Lu  <hongjiu.lu@intel.com>

* amd64-tdep.c (amd64_word_names): Replace "sp" with "".
* i386-tdep.c (i386_word_names): Likewise.

* gdb.trace/backtrace.exp: Adjust for x86 and x86_64.
* gdb.trace/report.exp: Adjust for x86 and x86_64.
Issue a tfind end before looking for a tracepoint frame.
* gdb.trace/tfind.exp: Adjust tstatus output.
Adjust disassembly output.
* gdb.trace/while-dyn.exp: Adjust for x86 and x86_64.

* target.c (memory_xfer_partial): Don't use the stack cache if
inspecting trace frames.
* tracepoint.c (finish_tfind_command): Invalidate the target
dcache.

*** empty log message ***

daily update

gdb/
* solib-svr4.c (LM_ADDR_CHECK) <info_verbose>: Use printf_unfiltered
for the PIC displacement, print also the displacement value.
(svr4_exec_displacement):  Print DISPLACEMENT if INFO_VERBOSE.

gdb/testsuite/
* gdb.base/break-interp.exp: Create new displacement parameter value
for the test_ld calls.
(reach): New parameter displacement, verify its content.  New push of
pf_prefix "reach-$func:".  Import global expect_out.
(test_core): New parameter displacement, verify its content.  New push
of pf_prefix "core:".  New command "set verbose on".  Import global
expect_out.
(test_attach): New parameter displacement, verify its content.  New
push of pf_prefix "attach:".  New command "set verbose on".  Import
global expect_out.
(test_ld): New parameter displacement, pass it to the reach, test_core
and test_attach calls and verify its content in the "ld.so exit" test.
* gdb.base/prelink.exp: Remove gdb_exit and final return.
(prelink): Update expected text, use gdb_test.

* remote-mips.c (close_ports, mips_initialize_cleanups)
(mips_exit_cleanups, mips_send_command, mips_open, pmon_open)
(ddb_open, lsi_open, mips_remove_breakpoint, mips_remove_watchpoint)
(mips_stopped_by_watchpoint, send_srec, pmon_checkset)
(pmon_make_fastrec, pmon_check_ack, mips_expect_download)
(pmon_check_entry_address, pmon_check_total, pmon_end_download)
(pmon_download, pmon_load_fast, _initialize_remote_mips): Add
comments describing each of these functions.
(mips_enter_debug, mips_exit_debug, common_open)
(mips_signal_from_protocol, pmon_makeb64, pmon_zeroset): Add
blank line after the comment describing the function.

Adjust last patch--same ChangeLog entry, same e-mail.

* reloc.cc (Sized_relobj::split_stack_adjust_reltype): Call the
target to ask whether a reference to a symbol requires a stack
split.
* target.h (Target::is_call_to_non_split): New function.
(Target::do_is_call_to_non_split): Declare virtual function.
* target.cc: Include "symtab.h".
(Target::do_is_call_to_non_split): New function.
* i386.cc (Target_i386::do_is_call_to_non_split): New function.

* gdb.base/checkpoint.exp: Fix comment.
Lengthen timeout while doing >600 checkpoints test.
Rename duplicate "kill all one" test to keep test names unique.

*** empty log message ***