re PR debug/18199 (AIX XCOFF debugging broken)

PR 18199
* dbxout.c (dbxout_begin_complex_stabs_noforcetext): New function.
(DBX_FINISH_STABS): Add (unused by default) SYM parameter.
(dbxout_finish_complex_stabs): Update to match.
(dbxout_symbol_location): Call emit_pending_bincls_if_required
and FORCE_TEXT before DBX_STATIC_BLOCK_START.  Use
dbxout_begin_complex_stabs_noforcetext.
* xcoffout.h (DBX_FINISH_STABS): Restore special case for
N_GSYM, using new SYM parameter.  Correct logic for special
cases for N_FUN.

From-SVN: r89781

re PR c++/17132 (GCC fails to eliminate function template specialization when argument deduction fails)

PR c++/17132
* pt.c (instantiate_class_template): Increment
processing_template_decl when substituting into a member class
template.

PR c++/17132
* g++.dg/template/memclass3.C: New test.

From-SVN: r89778

varasm.c (function_section): If DECL is NULL_TREE, don't try to do anything else.

* varasm.c (function_section): If DECL is NULL_TREE, don't try
to do anything else.  Do not call get_insns if cfun or
cfun->emit are NULL.

From-SVN: r89777

mt_allocator.h (__common_pool_policy): Add template template parameter for pool class type.

2004-10-28  Benjamin Kosnik  <bkoz@redhat.com>

* include/ext/mt_allocator.h (__common_pool_policy): Add template
template parameter for pool class type.
(__per_type_pool_policy): Same.
(__mt_allocator): Don't inherit policy. Qualify policy_type calls.
* testsuite/ext/mt_allocator/check_deallocate_null.cc: Fix.
* testsuite/ext/mt_allocator/check_deallocate_null_thread.cc: Same.
* testsuite/ext/mt_allocator/deallocate_global-2.cc: Same.
* testsuite/ext/mt_allocator/deallocate_global-4.cc: Same.
* testsuite/ext/mt_allocator/deallocate_global_thread-1.cc: Same.
* testsuite/ext/mt_allocator/deallocate_global_thread-3.cc: Same.
* testsuite/ext/mt_allocator/deallocate_local-2.cc: Same.
* testsuite/ext/mt_allocator/deallocate_local-4.cc: Same.
* testsuite/ext/mt_allocator/deallocate_local_thread-1.cc: Same.
* testsuite/ext/mt_allocator/deallocate_local_thread-3.cc: Same.
* testsuite/ext/mt_allocator/instantiate.cc: Same.
* testsuite/ext/mt_allocator/tune-1.cc: Same.
* testsuite/ext/mt_allocator/tune-2.cc: Same.
* testsuite/ext/mt_allocator/tune-3.cc: Same.
* testsuite/ext/mt_allocator/tune-4.cc: Same.

From-SVN: r89776

re PR target/18151 (Disable building of fixincludes for avr target.)

       PR target/18151
       * configure.in (case ${target}): Do not build fixincludes for avr.
       * configure: Regenerated.

From-SVN: r89774

re PR middle-end/18160 (ICE on taking register variable address)

PR middle-end/18160
* gcc.dg/register-var-1.c: New test.
* gcc.dg/register-var-2.c: New test.
* gcc.dg/asm-7.c: Taking the address of a register variable is an
error now.

From-SVN: r89773

re PR middle-end/18160 (ICE on taking register variable address)

PR middle-end/18160
* c-typeck.c (c_mark_addressable): Issue error if address of a
register variable is taken.  Use "%qD" to print DECL_NAME.

From-SVN: r89772

re PR other/18172 (execution failure in vect-[20,22].c on ppc-linux)

        PR other/18172
        * gcc.dg/vect/vect-20.c: Use 'signed char' instaed of 'char'. Remove
        unused variables.
        * gcc.dg/vect/vect-22.c: Likewise.

From-SVN: r89771

* opts.c (decode_options): Don't run PRE at -Os.

From-SVN: r89770

alpha.md (movqicc_internal): Allow exactly one zero in the conditional.

        * config/alpha/alpha.md (movqicc_internal): Allow exactly one
        zero in the conditional.
        (movhicc_internal, movsicc_internal, movdicc_internal): Likewise.

From-SVN: r89766

cse.c (memory_extend_rtx): Remove.

        * cse.c (memory_extend_rtx): Remove.
        (cse_main): Don't set it.
        (cse_insn): Use a local buffer instead.

From-SVN: r89765

profile.c (branch_prob): Call to init_edge_profiler added.

* profile.c (branch_prob): Call to init_edge_profiler added.
* rtl-profile.c (rtl_init_edge_profiler): New function.
(rtl_gen_edge_profiler): Replaced call to insert_insn_on_edge with
call to safe_insert_insn_on_edge.
(rtl_profile_hooks): rtl_init_edge_profiler added.
* tree-profile.c (tree_init_edge_profiler): New function.
(tree_profile_hooks): tree_init_edge_profiler added.
* value-prof.h (profile_hooks) init_edge_profiler prototype added.

From-SVN: r89764

Output_UnicodeLittleUnmarked.java: New file.

2004-10-28  David Daney  <ddaney@avtrex.com>

* gnu/gcj/convert/Output_UnicodeLittleUnmarked.java: New file.
* Makefile.am: Build it.
* Makefile.in: Regenerate.

From-SVN: r89763

(iq2000_expand_epilogue): Use emit_jump_insn() to generate the return
  instruction.

From-SVN: r89762

* tree-phinodes.c: Remove trailing whitespace.

From-SVN: r89760

tree-ssa-loop-ivopts.c: Fix a comment typo.

* tree-ssa-loop-ivopts.c: Fix a comment typo.
* doc/invoke.texi: Fix a typo.

From-SVN: r89759

* Makefile.in (OBJS-common): Remove duplicates.

From-SVN: r89758

lambda-code.c (nestify_update_pending_stmts): Remove.

* lambda-code.c (nestify_update_pending_stmts): Remove.
(perfect_nestify): Use flush_pending_stmts instead of
nestify_update_pending_stmts.
* tree-cfg.c (tree_make_forwarder_block): Use
flush_pending_stmts.
* tree-flow.h: Add a prototype for flush_pending_stmts.
* tree-ssa-loop-manip.c (tree_duplicate_loop_to_header_edge):
Use flush_pending_stmts.
(lv_update_pending_stmts): Remove.
(tree_ssa_loop_version): Use flush_pending_stmts instead of
lv_update_pending_stmts.
* tree-ssa.c (flush_pending_stmts): New.

From-SVN: r89757

decl.c (bad_specifiers): Move the q after the %.

2004-10-27  Andrew Pinski  <pinskia@physics.uc.edu>

        * decl.c (bad_specifiers): Move the q after the %.

From-SVN: r89756

* gcc.dg/i386-rotate-1.c: New test.

From-SVN: r89755

locale_facets.tcc (num_get<>::_M_extract_float): Cache *__beg in __c when parsing exponent sign too.

2004-10-28  Paolo Carlini  <pcarlini@suse.de>

* include/bits/locale_facets.tcc (num_get<>::_M_extract_float):
Cache *__beg in __c when parsing exponent sign too.
(num_get<>::do_get(..., bool&)): Cache *__beg.
(money_get<>::_M_extract)): Likewise, in money_base::value.

From-SVN: r89753

re PR target/15286 (ICE cause by reload)

PR target/15286
* final.c (alter_subreg): Compute correct offset to use with
paradoxical SUBREGs of memory operands.
* recog.c (general_operand): Allow paradoxical SUBREGs of
memory operands after reload.
* simplify-rtx.c (simplify_gen_subreg): Fail if simplify_subreg
has failed when passed a hard register.

From-SVN: r89752

* function.c (assign_parm_setup_block): Handle parallels correctly.

From-SVN: r89750

* final.c (shorten_branches): Initialize flags structure.

From-SVN: r89746

tree.c (int_cst_node, [...]): New variables.

* tree.c (int_cst_node, int_cst_hash_table): New variables.
(init_ttree): Initialize them.
(int_cst_hash_hash, int_cst_hash_eq): New hashing functions.
(build_int_cst_wide): Use hash table for oversized integers.

From-SVN: r89745

oops - fixed typo in previous delta

From-SVN: r89744

(DBX_OUTPUT_SOURCE_LINE): Define begin_label.

From-SVN: r89743

* g++.dg/init/ref12.C: New test.

From-SVN: r89739

re PR c++/17435 (Binding a temporary of derived type to reference of base)

PR c++/17435
* call.c (convert_like_real): Fix formatting.
(initialize_reference): When binding a temporary to a base class,
ensure that the nominal copy made is to the derived class, not the
base class.

PR c++/18140
* parser.c (cp_parser_next_token_ends_template_argument_p): Do not
include ">>".

PR c++/17435
* g++.dg/init/ref12.C: New test.

PR c++/18140
* g++.dg/template/shift1.C: New test.
* g++.dg/template/error10.C: Adjust error markers.

From-SVN: r89738

re PR middle-end/18163 (libffi test case ICE's on darwin)

        PR middle-end/18163
        * expr.c (emit_group_load): Don't go force temporary for memory
        or concat source.
        (emit_group_store): Similarly.

From-SVN: r89735

re PR other/18186 (Spelling error)

2004-10-27  Andrew Pinski  <pinskia@physics.uc.edu>

        PR other/18186
        * common.opt (--param): Fix spelling of parameter.

From-SVN: r89731

re PR tree-optimization/17529 (ICE in get_indirect_ref_operands)

2004-10-27  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/17529
        * tree-cfg.c (remove_useless_stmts_1) <case SWITCH_EXPR>:
        Don't fold statement.
        <case ASM_EXPR>: Fold the statement.

2004-10-27  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/17529
        * gcc.c-torture/compile/pr17529.c: Remove the xfail.

From-SVN: r89730

tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Use EDGE_COUNT instead of GOTO_DESTINATION.

* tree-ssa-dce.c (mark_stmt_if_obviously_necessary)
<COND_EXPR>: Use EDGE_COUNT instead of GOTO_DESTINATION.

From-SVN: r89729

decl.c: Move the q after the %.

2004-10-27  Andrew Pinski  <pinskia@physics.uc.edu>

        * decl.c: Move the q after the %.

From-SVN: r89728

parser.c (cp_parser_diagnose_invalid_type_name): Move the q after the %.

2004-10-27  Andrew Pinski  <pinskia@physics.uc.edu>

        * parser.c (cp_parser_diagnose_invalid_type_name): Move the q after
        the %.

From-SVN: r89727

basic_string.h (assign(const basic_string&)): Move out of line...

2004-10-27  Paolo Carlini  <pcarlini@suse.de>

* include/bits/basic_string.h (assign(const basic_string&)):
Move out of line...
* include/bits/basic_string.tcc: ... here.

From-SVN: r89726

contrib.texi, [...]: Improve Texinfo formatting.

* doc/contrib.texi, doc/cpp.texi, doc/cppopts.texi,
doc/extend.texi, doc/gcov.texi, doc/install.texi, doc/invoke.texi,
doc/libgcc.texi, doc/md.texi, doc/passes.texi,
doc/sourcebuild.texi, doc/tm.texi: Improve Texinfo formatting.

From-SVN: r89725

c-tree.texi, [...]: Put punctuation outside quotes.

* doc/c-tree.texi, doc/cpp.texi, doc/implement-c.texi,
doc/invoke.texi, doc/md.texi, doc/passes.texi, doc/tm.texi: Put
punctuation outside quotes.

From-SVN: r89724

typeof-2.c: Needs aliases as well as weak.

* gcc.dg/weak/typeof-2.c: Needs aliases as well as weak.
* gcc.dg/weak/weak-3.c: Likewise.
* gcc.dg/weak/weak-5.c: Likewise.
* gcc.dg/weak/weak-9.c: Likewise.
* lib/file-format.exp (gcc_target_object_format): Darwin has Mach-O.
* lib/target-supports.exp (check_weak_available): Mach-O does weak.

From-SVN: r89723

Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r89721.2

Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r89720.2

Index: fixincludes/ChangeLog
2004-10-27  Geoffrey Keating  <geoffk@apple.com>

* inclhack.def (darwin_gcc4_breakage): New.
* fixincl.x: Regenerate.

Index: gcc/ChangeLog
2004-10-27  Geoffrey Keating  <geoffk@apple.com>

* config/rs6000/rs6000.c (rs6000_attribute_table): Add
SUBTARGET_ATTRIBUTE_TABLE.
* config/darwin.h (ASM_WEAKEN_DECL): Handle weak_import.
(SUBTARGET_ATTRIBUTE_TABLE): Define.
* config/darwin.c (darwin_handle_weak_import_attribute): New.
(HAVE_DEAD_STRIP): Delete.
(no_dead_strip): Don't test HAVE_DEAD_STRIP.
* config/darwin-protos.h (darwin_handle_weak_import_attribute):
Prototype.

Index: gcc/testsuite/ChangeLog
2004-10-27  Geoffrey Keating  <geoffk@apple.com>

* gcc.dg/darwin-weakimport-1.c: New.

From-SVN: r89716

correct attribution for last patch

From-SVN: r89715

IA-64 sibcall unwind bug, PR target/13158

IA-64 sibcall unwind bug, PR target/13158
* config/ia64/ia64.c (ia64_expand_epilogue): Set RTX_FRAME_RELATED_P on
sibcall alloc instruction.
(process_set): Handle sibcall alloc instruction.

From-SVN: r89714

* doc/tm.texi (USE_SELECT_SECTION_FOR_FUNCTIONS): Document.

From-SVN: r89713

* config/darwin.h (GTHREAD_USE_WEAK): Define.

From-SVN: r89712

params.def (PARAM_SRA_MAX_STRUCTURE_SIZE): New.

* params.def (PARAM_SRA_MAX_STRUCTURE_SIZE): New.
(PARAM_SRA_FIELD_STRUCTURE_RATIO): Likewise.
* params.h (SRA_MAX_STRUCTURE_SIZE): New.
(SRA_FIELD_STRUCTURE_RATIO): Likewise.
* tree-sra.c: Include "params.h".
(decide_block_copy): Use new parameters.
* doc/invoke.texi (Optimize Options): Document new SRA pass
parameters sra-max-structure-size and sra-field-structure-ratio.

[testsuite]
* gcc.dg/tree-ssa/sra-1.c: Pass --param sra-max-structure-size.

From-SVN: r89711

* config/arm/ieee754-df.S (floatdidf): Fix regression with big values.

From-SVN: r89709

re PR tree-optimization/18048 (mgrid loop performance regression with ivopts (register pressure))

PR tree-optimization/18048
* fold-const.c (try_move_mult_to_index): New function.
(fold): Use try_move_mult_to_index.
* tree-ssa-loop-ivopts.c (try_add_cand_for): Prefer common candidates.
* tree-ssa-loop-niter.c (number_of_iterations_cond): Produce
an all-ones unsigned constant without extra bits.
* tree.c (build_low_bits_mask): New function.
* tree.h (build_low_bits_mask): Declare.

From-SVN: r89708

re PR target/17956 (ICE in rs6000_emit_minmax, config/rs6000/rs6000.c:11725)

PR target/17956
* config/rs6000/rs6000.md (maxsf3): Add !flag_trapping_math to
final condition.
(minsf3): Same.
(maxdf3): Same.
(mindf3): Same.

From-SVN: r89707

re PR bootstrap/17832 (Bootstrap broken by fixincludes failures)

PR bootstrap/17832

* fixfixes.c (main): Check for _PC_NAME_MAX.
----------------------------------------------------------------------

From-SVN: r89706

tree-cfg.c (thread_jumps): Speed up by reordering the two conditions for entering basic blocks into worklist.

* tree-cfg.c (thread_jumps): Speed up by reordering the two
conditions for entering basic blocks into worklist.

From-SVN: r89700

tree-cfg.c (thread_jumps): Speed up by pretending to have ENTRY_BLOCK_PTR in worklist.

* tree-cfg.c (thread_jumps): Speed up by pretending to have
ENTRY_BLOCK_PTR in worklist.

From-SVN: r89699

tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Don't let an explicit GOTO_EXPR slip through.

* tree-ssa-dce.c (mark_stmt_if_obviously_necessary)
<GOTO_EXPR>: Don't let an explicit GOTO_EXPR slip through.

From-SVN: r89698

btest-gcc.sh (TESTLOGS): The libstdc++-v3 test log is called libstd++.sum not libstdc++-v3.sum.

* btest-gcc.sh (TESTLOGS): The libstdc++-v3 test log is called
libstd++.sum not libstdc++-v3.sum.

From-SVN: r89697

Add missing ChangeLog line for configure.host change.

From-SVN: r89696

re PR tree-optimization/17133 (wrong code with -ftree-lim)

2004-10-27  Daniel Berlin <dberlin@dberlin.org>

Fix PR tree-optimization/17133

* tree-cfg.c (rewrite_to_new_ssa_names_bb): Also rewrite must
def kill operand.

* tree-flow-inline.h: V_MUST_DEF_OP became V_MUST_DEF_RESULT.
(get_v_must_def_result_ptr): Modify for new structure of
v_must_defs array.
(get_v_must_def_kill_ptr): New.
(op_iter_next_use): Add support for the kill that occurs in V_MUST_DEFs.
(op_iter_next_tree): Ditto. Also V_MAY_DEF_OP became V_MAY_DEF_RESULT.
(op_iter_next_def): V_MAY_DEF_OP became V_MAY_DEF_RESULT.
(op_iter_init): Initialize new mustu members.
(op_iter_next_mustdef): New function.
(op_iter_init_mustdef): Ditto.

* tree-flow.h (rewrite_def_def_chains): New function.

* tree-into-ssa.c (mark_def_sites): Handle mustdefkill operands.
(ssa_mark_def_sites): Ditto.
(rewrite_stmt): Ditto.
(ssa_rewrite_stmt): Ditto.
(rewrite_blocks): Factor out from rewrite_into_ssa.
(mark_def_block_sites): Ditto.
(rewrite_def_def_chains): New function, just rewrites def-def
chains without phi node insertion.

* tree-pass.h (TODO_fix_def_def_chains): New todo flag.

* tree-optimize.c (execute_todo): Handle TODO_fix_def_def_chains.

* tree-pretty-print.c (dump_vops): Print out MUST_DEF's so that
they include the rhs now.

* tree-ssa-ccp.c (visit_assignment): V_MUST_DEF_OP became
V_MUST_DEF_RESULT.

* tree-ssa-dce.c (mark_operand_necessary): Add phionly argument.
Update callers.
(mark_really_necessary_kill_operand_phis): New function.
(perform_tree_ssa_dce): Call it.
(pass_dce): Add TODO_fix_def_def_chains.
(pass_cd_dce): Ditto.

* tree-ssa-loop-im.c (determine_max_movement): Look at kills as
well.
(rewrite_mem_refs): Ditto.

* tree-ssa-loop-manip.c (find_uses_to_rename_stmt): Look at kills
as well.

* tree-ssa-operands.c (allocate_v_may_def_optype):
v_may_def_operand_type_t became v_def_use_operand_type_t.
(allocate_v_must_def_optype) Ditto.
(finalize_ssa_v_must_defs): Update for new operand type, as well
as setting the use portion as well.
(copy_virtual_operands): Copy the kill operand as well.
(create_ssa_artficial_load_stmt): V_MUST_DEF_OP became
V_MUST_DEF_RESULT.

* tree-ssa-operands.h (v_may_def_operand_type): Renamed to
v_def_use_operand_type.
(v_must_def_optype_d): Use v_def_use_operand_type.
(V_MUST_DEF_OP_*): Renamed to V_MUST_DEF_RESULT_*
(V_MUST_DEF_KILL_*): New macros.
(struct ssa_operand_iterator_d): Add num_v_mustu and v_mustu_i
members.
Rename existing must_i and num_v_must members to mustd_i and
num_v_mustd.
(SSA_OP_VMUSTDEFKILL): New flag.
(SSA_OP_VIRTUAL_KILLS): New flag.
(SSA_OP_ALL_OPERANDS): Add in SSA_OP_ALL_KILLS.
(SSA_OP_ALL_KILLS): New flag.
(FOR_EACH_SSA_MUSTDEF_OPERAND): New macro.

* tree-ssa.c (verify_ssa): Verify virtual kills as well.

* tree-vectorizer.c (vect_create_data_ref_ptr): V_MUST_DEF_OP
became V_MUST_DEF_RESULT.
(rename_variables_in_bb): Rename kill pointer as well.

* tree-dfa.c (compute_immediate_uses_for_stmt): Add kills into the
immediate uses.

From-SVN: r89695

dbxout.c (dbxout_source_line): Move declaration of begin_label to the block that needs it.

* dbxout.c (dbxout_source_line): Move declaration of begin_label to
the block that needs it.

From-SVN: r89694

re PR c++/18075 (#pragma implementation broken in presence of #pragma ident)

PR 18075
* directives.c (do_pragma): Do not defer pragmas which are unknown.
(cpp_handle_deferred_pragma): Add cast to silence warning.

From-SVN: r89693

dbxout.c (dbxout_finish_complex_stabs): Mark 'line' variable ATTRIBUTE_UNUSED.

* dbxout.c (dbxout_finish_complex_stabs): Mark 'line' variable
ATTRIBUTE_UNUSED.

From-SVN: r89692

c-lex.c (cb_def_pragma): Clean up code for making location palatable to diagnostic.c.

* c-lex.c (cb_def_pragma): Clean up code for making location
palatable to diagnostic.c.

From-SVN: r89691

Add PR number.

From-SVN: r89690

tree-phinodes.c (remove_phi_arg_num): Don't remove PHIs without any PHI arguments left.

* tree-phinodes.c (remove_phi_arg_num): Don't remove PHIs
without any PHI arguments left.  Make sure the argument that
we're supposed to remove exists at all.

From-SVN: r89689

* de.po: Update.

From-SVN: r89687

configure.ac: Don't test for [build] __cxa_atexit when building a cross compiler.

* configure.ac: Don't test for [build] __cxa_atexit when building a
cross compiler.
* configure: Regenerate.

From-SVN: r89684

configure.ac: Use build_exeext not host_exeext when lookin for target tools.

* configure.ac: Use build_exeext not host_exeext when lookin for
target tools.
* configure: Regenerate.

From-SVN: r89683

ffi.c (ffi_prep_cif_machdep): Handle functions that return long long values.

* src/arm/ffi.c (ffi_prep_cif_machdep): Handle functions that return
long long values.  Round stack allocation to a multiple of 8 bytes
for ATPCS compatibility.
* src/arm/sysv.S (ffi_call_SYSV): Rework to avoid use of APCS register
names.  Handle returning long long types.  Add Thumb and interworking
support.  Improve soft-float code.

From-SVN: r89681

re PR other/17991 (Two-process fixincludes broken: pz_mn_name_pat undefined)

2004-10-27  Paolo Bonzini  <bonzini@gnu.org>

PR other/17991

* configure.ac: Fix typo.
* configure: Regenerate.
* fixincl.c (fix_with_system): tSCC is not a pointer.  Fix.

From-SVN: r89680

Resync.

From-SVN: r89679

gnat_ugn.texi: Generalize "finding memory problems" section into a "memory management issues"...

2004-10-26  Cyrille Comar    <comar@act-europe.fr>
    Vasiliy Fofanov  <fofanov@act-europe.fr>
    Vincent Celier   <celier@gnat.com>

* gnat_ugn.texi: Generalize "finding memory problems" section into a
"memory management issues" section and document some of the useful
memory pools provided as part of the GNAT library.
Remove "virtual" from declaration of A::method2 in
the simple example of Ada/C++ mixed system.
Library Projects may be virtually extended: their virtual extensions
are not Library Projects.
Added section on extending project hierarchies.

From-SVN: r89678

2004-10-26  Vincent Celier  <celier@gnat.com>

* a-dirval.ads, a-dirval.adb, a-dirval-vms.adb, a-dirval-mingw.adb
(Is_Path_Name_Case_Sensitive): New function

* a-direct.adb (To_Lower_If_Case_Insensitive): New procedure
(Base_Name, Simple_Name, Current_Directory, Compose,
Containing_Directory, Full_Name): Call To_Lower_If_Case_Insensitive on
the result.

From-SVN: r89677

trans.c (call_to_gnu): For an (in-)out parameter passed by reference whose type is a constructed...

2004-10-26  Eric Botcazou  <ebotcazou@act-europe.fr>

* trans.c (call_to_gnu): For an (in-)out parameter passed by reference
whose type is a constructed subtype of an aliased object with an
unconstrained nominal subtype, convert the actual to the constructed
subtype before taking its address.

From-SVN: r89676

tracebak.c (IS_BAD_PTR): Use IsBadCodePtr on Win32 to check for ptr validity (process must have read access).

2004-10-26  Pascal Obry  <obry@gnat.com>

* tracebak.c (IS_BAD_PTR): Use IsBadCodePtr on Win32 to check for ptr
validity (process must have read access). Set to 0 in all other cases.
(STOP_FRAME): Now check for ptr validity to avoid a segmentation
violation on Win32.
(VALID_STACK_FRAME): Check for ptr validity on Win32 to avoid a
segmentation violation.

From-SVN: r89675

sem_util.adb (Is_Aliased_View): Defend against the case where this subprogram is called with a parameter that...

2004-10-26  Thomas Quinot  <quinot@act-europe.fr>
    Ed Schonberg   <schonberg@gnat.com>

* sem_util.adb (Is_Aliased_View): Defend against the case where this
subprogram is called with a parameter that is not an object name. This
situation arises for some cases of illegal code, which is diagnosed
later, and in this case it is wrong to call Is_Aliased, as that might
cause a compiler crash.
(Explain_Limited_Type): Refine previous fix to include
inherited components of derived types, to provide complete information.

* exp_ch9.adb (Set_Privals): Set the Ekind of the actual object that
is the prival for a protected object.
It is necessary to mark this entity as a variable, in addition to
flagging it as Aliased, because Sem_Util.Is_Aliased_View has been
modified to avoid checking the Aliased flag on entities that are not
objects. (Checking that flag for non-objects is erroneous and could
lead to a compiler crash).

From-SVN: r89674

sem_elab.adb (Check_Elab_Call): Do not check a call that does not appear in the code for the main unit.

2004-10-26  Ed Schonberg  <schonberg@gnat.com>

* sem_elab.adb (Check_Elab_Call): Do not check a call that does not
appear in the code for the main unit. Dependencies among units in the
context of the main unit are established when those other units are
compiled. Otherwise spurious elaboration constraints can generate
incorrect elaboration circularities.

From-SVN: r89673

sem_ch6.adb (Analyze_Subprogram_Body): If body is a subunit for a different kind of stub (possibly wrong name for file)...

2004-10-26  Ed Schonberg  <schonberg@gnat.com>

* sem_ch6.adb (Analyze_Subprogram_Body): If body is a subunit for a
different kind of stub (possibly wrong name for file), do not check
for conformance.
(Uses_Secondary_Stack): New subsidiary to Build_Body_To_Inline. If body
includes call to some function that returns an unconstrained type, do
not inline.

From-SVN: r89671

sem_ch3.adb (Complete_Private_Subtype): If the full view is a task or protected type with discriminants...

2004-10-26  Ed Schonberg  <schonberg@gnat.com>

* sem_ch3.adb (Complete_Private_Subtype): If the full view is a task
or protected type with discriminants, do not constrain the
corresponding record type if the subtype declaration has no
discriminant constraints. This can be the case in source code, or in
the subtype declaration created to rename an actual type within an
instantiation.

From-SVN: r89670

sem_ch13.adb (Analyze_Attribute_Definition_Clause, [...]): enhance, document & limit detection of non-sharable internal pools.

2004-10-26  Cyrille Comar  <comar@act-europe.fr>

* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
'Storage_Pool): enhance, document & limit detection of non-sharable
internal pools.

* impunit.adb: Make System.Pool_Global and System.Pool_Local visible.

* s-pooglo.ads: Add more documentation now that this pool is properly
documented.

From-SVN: r89669

s390.md ("*subdf3_cc"): Replaced plus by minus.

2004-10-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.md ("*subdf3_cc"): Replaced plus by minus.

From-SVN: r89668

sem_ch12.adb (In_Main_Context): Predicate to determine whether the current instance appears within a unit that...

2004-10-26  Ed Schonberg  <schonberg@gnat.com>
    Javier Miranda  <miranda@gnat.com>

* sem_ch12.adb (In_Main_Context): Predicate to determine whether the
current instance appears within a unit that is directly in the context
of the main unit.
Used to determine whether the body of the instance should be analyzed
immediately after its spec, to make its subprogram bodies available
for front-end inlining.
(Analyze_Formal_Array_Type): Cleanup condition that checks that range
constraint is not allowed on the component type (AARM 12.5.3(3))

From-SVN: r89667

sem_ch10.adb (Optional_Subunit): If file of expected subunit is empty, post message on stub.

2004-10-26  Ed Schonberg  <schonberg@gnat.com>

* sem_ch10.adb (Optional_Subunit): If file of expected subunit is
empty, post message on stub.

From-SVN: r89666

sem_attr.adb (Resolve_Attribute, [...]): Apply proper accessibility check to prefix that is a protected operation.

2004-10-26  Ed Schonberg  <schonberg@gnat.com>

* sem_attr.adb (Resolve_Attribute, case 'Access): Apply proper
accessibility check to prefix that is a protected operation.

From-SVN: r89665

s-bitops.adb (Bit_Eq): Remove redundant check.

2004-10-26  Robert Dewar  <dewar@gnat.com>

* s-bitops.adb (Bit_Eq): Remove redundant check.

* s-bitops.ads: Minor comment updates
Change some occurrences of Address to System.Address

* s-carsi8.ads: Fix minor cut-and-paste error in comments

From-SVN: r89664

s-arit64.adb: (Le3): New function, used by Scaled_Divide

2004-10-26  Robert Dewar  <dewar@gnat.com>

* s-arit64.adb: (Le3): New function, used by Scaled_Divide
(Sub3): New procedure, used by Scaled_Divide
(Scaled_Divide): Substantial rewrite, avoid duplicated code, and also
correct more than one instance of failure to propagate carries
correctly.
(Double_Divide): Handle overflow case of largest negative number
divided by minus one.

* s-arit64.ads (Double_Divide): Document that overflow can occur in
the case of a quotient value out of range.
Fix comments.

From-SVN: r89663

prj-nmsc.adb (Language_Independent_Check): Do not forbid virtual extension of library projects.

2004-10-26  Vincent Celier  <celier@gnat.com>

* prj-nmsc.adb (Language_Independent_Check): Do not forbid virtual
extension of library projects.

* prj-part.adb: If env var ADA_PROJECT_PATH is not defined, project
path defaults to ".:<prefix>/lib/gnat".
(Parse): For an extending all project, allow direct import of a project
that is virtually extended.

* prj-proc.adb (Imported_Or_Extended_Project_From): If a project with
the specified name is directly imported, return its ID. Otherwise, if
an extension of this project is imported, return the ID of the
extension.

From-SVN: r89662

prj-env.adb: (Contains_ALI_Files): New Boolean function

2004-10-26  Vincent Celier  <celier@gnat.com>

* prj-env.adb: (Contains_ALI_Files): New Boolean function
(Ada_Objects_Path.Add): For a library project, add to the object path
the library directory only if there is no object directory or if the
library directory contains ALI files.
(Set_Ada_Paths.Add.Recursive_Add): Ditto

From-SVN: r89661

Fix email address in last entry.

From-SVN: r89660

re PR middle-end/14684 (-fprofile-use/-fprofile-generate failure because of coverage mismatch)

2004-10-27  Andreas Krebbel  <krebbel@de.ibm.com>
            patch originally created by Kelley Cook  <kcook@gcc.gnu.org>

PR middle-end/14684
* opts.c (OPT_fprofile_generate): Default to -funroll-loops
to match -fprofile-use.

Co-Authored-By: Kelley Cook <kcook@gcc.gnu.org>
From-SVN: r89659

* config/rs6000/rs6000.c: Fix a comment typo.

From-SVN: r89658

lib-xref.adb (Generate_Reference): Don't complain about reference to entry parameter if pragma Unreferenced set...

2004-10-26  Robert Dewar  <dewar@gnat.com>

* lib-xref.adb (Generate_Reference): Don't complain about reference to
entry parameter if pragma Unreferenced set, since we do not properly
handle the case of multiple parameters.

From-SVN: r89657

init.c (__gnat_error_handler): Instead of trying to read the memory before the faulting page we properly test...

2004-10-26  Pascal Obry  <obry@gnat.com>

* init.c (__gnat_error_handler) [Win32]: Instead of trying to read the
memory before the faulting page we properly test the process read
access for this address using appropriate Win32 routine.
(HPUX sections): guard with "__hpux__" instead of "hpux".

From-SVN: r89656

i-cpp.ads, i-cpp.adb: Change layout of VTable for new C++ ABI.

2004-10-26  Matthew Gingell  <gingell@gnat.com>

* i-cpp.ads, i-cpp.adb: Change layout of VTable for new C++ ABI.

From-SVN: r89655

g-os_lib.ads, [...] (Set_Executable, [...]): New subprograms.

2004-10-26  Thomas Quinot  <quinot@act-europe.fr>

* g-os_lib.ads, g-os_lib.adb (Set_Executable, Set_Writable,
Set_Read_Only): New subprograms.
These new routines allow the user to set or unset the Owner execute
and Owner write permission flags on a file.

* makegpr.adb, mlib.adb, mlib-prj.adb: Use
GNAT.OS_Lib.Set_Executable instead of rolling our own.

From-SVN: r89654

gnat1drv.adb: Suppress calling the back end when Frontend_Layout_On_Target is true.

2004-10-26  Gary Dismukes  <dismukes@gnat.com>

* gnat1drv.adb: Suppress calling the back end when
Frontend_Layout_On_Target is true.

From-SVN: r89653

exp_dist.adb (Build_General_Calling_Stubs): New formal parameter RACW_Type, used in the PolyORB version.

2004-10-26  Thomas Quinot  <quinot@act-europe.fr>

* exp_dist.adb (Build_General_Calling_Stubs): New formal parameter
RACW_Type, used in the PolyORB version.
Rename RCI_Info to RCI_Locator, for consistency between the PolyORB
version and the GARLIC version.

* snames.ads, snames.adb, s-parint.ads, s-parint.adb:
Rename RCI_Info to RCI_Locator for better consistency between the
GARLIC and PolyORB versions of the distributed systems annex.
(DSA_Implementation_Name): This enumeration lists the possible
implementations of the Partition Communication Subsystem for the
Distributed Systems Annex (DSA). The three available implementations
are the dummy stub implementation (No_DSA), and two versions based on
two different distribution runtime libraries: GARLIC and PolyORB. Both
the GARLIC PCS and the PolyORB PCS are part of the GLADE distribution
technology.
Change the literal GLADE_DSA to GARLIC_DSA to accurately describe
that organization.

* rtsfind.ads: Rename RCI_Info to RCI_Locator for better consistency
between the GARLIC and PolyORB versions of the distributed systems
annex.
Remove RE_Unbounded_Reclaim_Pool since it is unused.

From-SVN: r89652

exp_ch6.adb (Expand_Actuals): If the actual for an in-out parameter is aliased and is a by_reference type...

2004-10-26  Ed Schonberg  <schonberg@gnat.com>
    Eric Botcazou  <ebotcazou@act-europe.fr>

* exp_ch6.adb (Expand_Actuals): If the actual for an in-out parameter
is aliased and is a by_reference type, do not pass by copy.
(Expand_N_Function_Call) <Rhs_Of_Assign_Or_Decl>: New function to
detect whether the call is in the right side of an assignment or
the expression of an object declaration.  Recurse on component
association within aggregates.
Call it in the condition that determines whether the temporary is
necessary for correct stack-checking.

From-SVN: r89651

exp_ch4.adb (Expand_N_Op_Eq): Make sure we expand a loop for array compares if the component is atomic.

2004-10-26  Robert Dewar  <dewar@gnat.com>

* exp_ch4.adb (Expand_N_Op_Eq): Make sure we expand a loop for array
compares if the component is atomic.

* exp_ch5.adb (Expand_Assign_Array): Make sure we expand a loop for
array assignment if the component type is atomic.

From-SVN: r89650

exp_aggr.adb (Safe_Component): An aggregate component that is an unchecked conversion is safe for in-place use...

2004-10-26  Ed Schonberg  <schonberg@gnat.com>

* exp_aggr.adb (Safe_Component): An aggregate component that is an
unchecked conversion is safe for in-place use if the expression of the
conversion is safe.
(Expand_Array_Aggregate): An aggregate that initializes an allocator may
be expandable in place even if the aggregate does not come from source.
(Convert_Array_Aggr_In_Allocator): New procedure to initialize the
designated object of an allocator in place, rather than building it
first on the stack. The previous scheme forces a full copy of the array,
and may be altogether unsusable if the size of the array is too large
for stack allocation.

From-SVN: r89649

eval_fat.adb (Eps_Model,Eps_Denorm): Remove, no longer used.

2004-10-26  Geert Bosch  <bosch@gnat.com>

* eval_fat.adb (Eps_Model,Eps_Denorm): Remove, no longer used.
(Succ): Re-implement using Scaling, Exponent and Ceiling attributes.
(Pred): Implement in terms of Succ.

From-SVN: r89648

decl.c (gnat_to_gnu_field): Use the type of the inner object for a JM type only if...

2004-10-26  Eric Botcazou  <ebotcazou@act-europe.fr>

* decl.c (gnat_to_gnu_field): Use the type of the inner object for a
JM type only if its size matches that of the wrapper.  When a size is
prescribed and the field is not aliased, remove the wrapper of a JM
type only if the size is not greater than that of the packed array.
(gnat_to_gnu_entity): Change the extension of packed array wrappers
from LJM to JM.

From-SVN: r89647