[multiple changes]

2004-04-06  Pascal Obry  <obry@gnat.com>

* adaint.c (DIR_SEPARATOR): Properly set DIR_SEPARATOR on Win32.

* osint.adb (Program_Name): Do not look past a directory separator.

2004-04-06  Thomas Quinot  <quinot@act-europe.fr>

* atree.adb: Update comment (Rewrite_Substitute_Node no longer exists).

* exp_ch6.adb (Rewrite_Function_Call): Clarify documentation of
requirement for preserving a copy of the original assignment node.

* sinfo.ads: Update comment (Original_Tree -> Original_Node).

2004-04-06  Olivier Hainque  <hainque@act-europe.fr>

(__gnat_initialize [Vxworks]): Enable references to the crtstuff bits
when supported.

2004-04-06  Ed Schonberg  <schonberg@gnat.com>

* sem_ch4.adb (Remove_Abstract_Operations): Extend previous changes to
operator calls in functional notation, and apply
Universal_Interpretation to operands, not to their type.

2004-04-06  Robert Dewar  <dewar@gnat.com>

* 5wdirval.adb: Minor reformatting

2004-04-06  Ed Falis  <falis@gnat.com>

* gnat_rm.texi: Improve a reference to the GCC manual

From-SVN: r80453

sh.c (prepare_move_operands): Use emit_call_insn when the TLS address is generated by a function call.

* config/sh/sh.c (prepare_move_operands): Use emit_call_insn
when the TLS address is generated by a function call.
* config/sh/sh.md (tls_global_dynamic): Use a call expression.
(tls_local_dynamic): Likewise.

From-SVN: r80450

Daily bump.

From-SVN: r80444

re PR c++/2123 (Array initializer)

PR2123
* g++.gd/expr/anew1.C: XFAIL and make reproducible.  Call abort on
failure and exit(0) on success.
* g++.gd/expr/anew2.C: Ditto.
* g++.gd/expr/anew3.C: Ditto.
* g++.gd/expr/anew4.C: Ditto.

From-SVN: r80440

mt_allocator.h (__mt_alloc<>::deallocate): The critical section is actually very small, only two assignments.

2004-04-05  Paolo Carlini  <pcarlini@suse.de>

* include/ext/mt_allocator.h (__mt_alloc<>::deallocate):
The critical section is actually very small, only two assignments.

From-SVN: r80439

tree.c (reconstruct_complex_type): Use TYPE_READONLY and TYPE_VOLATILE.

2004-04-05  Andrew Pinski  <pinskia@physics.uc.edu>

        * tree.c (reconstruct_complex_type): Use TYPE_READONLY
        and TYPE_VOLATILE.

From-SVN: r80438

* MAINTAINERS: Add myself to write-after-approval.

From-SVN: r80436

gcc.c (combine_flag): New global variable, for new driver option.

2004-04-05  Caroline Tice  <ctice@apple.com>

        * gcc.c (combine_flag): New global variable, for new driver option.
        (struct compiler): Add two new fields, to be used when
        combining multiple input files in a single pass (IMA).
        (default_compilers):  Add values for the new fields to all
        compiler entries. Modify the "@c" compiler entry for doing IMA
        properly with "-save-temps" and the "combine" flag.
        (option_map):  Add new driver option, "--combine", to tell driver
        to pass multiple input files to compiler at one time.
        (have_o_argbuf_index): New global variable.
        (store_arg): Modify to assign value to have_o_argbuf_index.
        (struct infile):  Add three new fields, to help with IMA.
        (display_help): Add help for new "combine" option.
        (process_command): Remove local variable have_o; add code to check
        for new "combine" option; remove assignment to combine_inputs.
        (do_spec_1):  Modify to deal with IMA better.
        (main): Make variable 'lang_n_infiles' local to entire function
        rather than to a single block.  Use flag combine_flag to
        determine whether to do IMA or not; Modify loop initializing
        infiles to deal properly with linker files.
        Add code for doing preprocessing in presence of
        IMA with "-save-temps" flag.  Modify "main" loop to handle
        multiple input files, in multiple languages, with or without
        preprocessing,  gracefully.
        * toplev.c (set_src_pwd): Modify to not complain if attempting to
        re-set it to same directory it's previously been set to (avoid
        irritating, meaningless warning messages when doing IMA with
        save-temps).
        * doc/invoke.texi: Add "-combine" to list of Overall Options;
        remove documentation about IMA that is no longer accurate; Add
        documentation explaining what "-combine" does.
        * ada/lang-specs.h: Add initialization values for new fields in
        "struct compiler".
        * cp/lang-specs.h: Likewise.
        * f/lang-specs.h: Likewise.
        * java/lang-specs.h: Likewise.
        * objc/lang-specs.h: Likewise.
        * treelang/lang-specs.h: Likewise.

Fix gcc driver to work properly with IMI.

From-SVN: r80435

rs6000.c (VTABLE_NAME_P): Add _ZTI to special symbol handling.

* config/rs6000/rs6000.c (VTABLE_NAME_P): Add _ZTI to special
symbol handling.

Co-Authored-By: John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
From-SVN: r80434

PR optimization/13424 (hppa), bootstrap/14462, c/14828

PR optimization/13424 (hppa), bootstrap/14462, c/14828
* pa.md: Use replace_equiv_address to retain the attributes of the
memory operands used in the split and peephole2 patterns for optimizing
the pre-reload movstrsi, movstrdi, clrstrsi and clrstrdi patterns.

Co-Authored-By: John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
From-SVN: r80433

re PR c++/3518 (default conversion to pointer-to-function is applied to soon (related to DR295))

cp:
PR c++/3518
* pt.c (check_cv_quals_for_unify): Ignore bogus CV quals at outer
level.
testsuite:
PR c++/3518
* g++.dg/template/unify7.C: New.

From-SVN: r80432

[multiple changes]

2004-04-05  Vincent Celier  <celier@gnat.com>

* adaint.h, adaint.c: Add function __gnat_named_file_length

* impunit.adb: Add Ada.Directories to the list

* Makefile.in: Add VMS and Windows versions of
Ada.Directories.Validity package body.

* Makefile.rtl: Add a-direct and a-dirval

* mlib-tgt.ads: Minor comment update.

* a-dirval.ads, a-dirval.adb, 5vdirval.adb, 5wdirval.adb,
a-direct.ads, a-direct.adb: New files.

2004-04-05  Vincent Celier  <celier@gnat.com>

PR ada/13620
* make.adb (Scan_Make_Arg): Pass any -fxxx switches to gnatlink, not
just to the compiler.

2004-04-05  Robert Dewar  <dewar@gnat.com>

* a-except.adb (Exception_Name_Simple): Make sure lower bound of
returned string is 1.

* ali-util.adb: Use proper specific form for Warnings (Off, entity)

* eval_fat.ads: Minor reformatting

* g-curexc.ads: Document that lower bound of returned string values
is always one.

* gnatlink.adb: Add ??? comment for previous change
(need to document why this is VMS specific)

* s-stoele.ads: Minor reformatting

* tbuild.ads: Minor reformatting throughout (new function specs)

* par-ch10.adb (P_Context_Clause): Handle comma instead of semicolon
after WITH.

* scng.adb: Minor reformatting

2004-04-05  Geert Bosch  <bosch@gnat.com>

* eval_fat.adb (Machine): Remove unnecessary suppression of warning.
(Leading_Part): Still perform truncation to machine number if the
specified radix_digits is greater or equal to machine_mantissa.

2004-04-05  Javier Miranda  <miranda@gnat.com>

* par-ch3.adb: Complete documentation of previous change
Correct wrong syntax documentation of the OBJECT_DECLARATION rule
(aliased must appear before constant).

* par-ch4.adb: Complete documentation of previous change.

* par-ch6.adb: Complete documentation of previous change.

* sinfo.ads: Fix typo in commment.

2004-04-05  Ed Schonberg  <schonberg@gnat.com>

* sem_ch3.adb (Inherit_Components): If derived type is private and has
stored discriminants, use its discriminants to constrain parent type,
as is done for non-private derived record types.

* sem_ch4.adb (Remove_Abstract_Operations): New subprogram to implement
Ada 2005 AI-310: an abstract non-dispatching operation is not a
candidate interpretation in an overloaded call.

* tbuild.adb (Unchecked_Convert_To): Preserve conversion node if
expression is Null and target type is not an access type (e.g. a
non-private address type).

2004-04-05  Thomas Quinot  <quinot@act-europe.fr>

* exp_ch6.adb (Rewrite_Function_Call): When rewriting an assignment
statement whose right-hand side is an inlined call, save a copy of the
original assignment subtree to preserve enough consistency for
Analyze_Assignment to proceed.

* sem_ch5.adb (Analyze_Assignment): Remove a costly copy of the
complete assignment subtree which is now unnecessary, as the expansion
of inlined call has been improved to preserve a consistent assignment
tree.  Note_Possible_Modification must be called only
after checks have been applied, or else unnecessary checks will
be generated.

* sem_util.adb (Note_Possible_Modification): Reorganise the handling
of explicit dereferences that do not Come_From_Source:
 - be selective on cases where we must go back to the dereferenced
   pointer (an assignment to an implicit dereference must not be
   recorded as modifying the pointer);
 - do not rely on Original_Node being present (Analyze_Assignment
   calls Note_Possible_Modification on a copied tree).

* sem_warn.adb (Check_References): When an unset reference to a pointer
that is never assigned is encountered, prefer '<pointer> may be null'
warning over '<pointer> is never assigned a value'.

2004-04-05  Ramon Fernandez  <fernandez@gnat.com>

* tracebak.c: Change STOP_FRAME in ppc vxworks to be compliant with
the ABI.

2004-04-05  Olivier Hainque  <hainque@act-europe.fr>

* 5gmastop.adb (Pop_Frame): Comment out the pragma Linker_Option for
libexc. We currently don't reference anything in this library and
linking it in triggers linker warnings we don't want to see.

* init.c: Update comments.

From-SVN: r80431

c-decl.c (build_compound_literal): Use TYPE_READONLY.

* c-decl.c (build_compound_literal): Use TYPE_READONLY.
* emit-rtl.c (set_mem_attributes_minus_bitpos): Likewise.
* objc/objc-act.c (adorn_decl, gen_declspecs): Likewise.
* c-typeck.c (decl_constant_value): Don't access DECL_INITIAL of a
PARM_DECL.
* calls.c (flags_from_decl_or_type): Use TYPE_READONLY and do so only
for a type.
* print-tree.c (print_node): Properly handle side-effects, readonly,
and constant flags.
* tree.c (build1_stat, build_expr_wfl): Only look at TREE_SIDE_EFFECTS
and TREE_CONSTANT if not a type.
* tree.h (IS_NON_TYPE_CODE_CLASS): New macro.
(IS_EXPR_CODE_CLASS): Write 'E', not 'e'.
(NON_TYPE_CHECK): New macro.
(TREE_SIDE_EFFECT, TREE_READONLY, TREE_CONSTANT: Add check.

* cp/init.c (decl_constant_value): Don't look at DECL_INITIAL
of PARM_DECL.
* cp/tree.c (bot_manip, build_min): Don't look at TREE_CONSTANT
or TREE_SIDE_EFFECTS of a type.

* ada/decl.c (gnat_to_gnu_entity): Use TYPE_READONLY.
* ada/utils.c (create_field_decl): Likewise.
* ada/utils2.c (build_unary_op, gnat_build_constructor): Likewise.

From-SVN: r80430

sol2-bi.h (PREFERRED_DEBUGGING_TYPE): Set to DWARF2_DEBUG unconditionally.

* config/sparc/sol2-bi.h (PREFERRED_DEBUGGING_TYPE): Set
to DWARF2_DEBUG unconditionally.
(ASM_DEBUG_SPEC): Set the default to --gdwarf2 unconditionally.

From-SVN: r80425

re PR target/14548 (building Ada library incorrectly requires collect2 on mingw)

PR target/14548
* config.host: Set the shell variable host_can_use_collect2.
Set it to yes by default, and to no for alpha*-dec-*vms*,
i[34567]86-*-mingw32*, and powerpc-*-beos*.
* configure.ac: Set and substitute the shell variable collect2.
Give an error if use_collect2 is yes and host_can_use_collect2 is
no.
* Makefile.in (COLLECT2): Rename from USE_COLLECT2.  Change all
uses.  Initialize to @collect2@.
(STAGESTUFF): Remove $(USE_COLLECT2).
* config/alpha/x-vms (USE_COLLECT2): Don't set.
* config/i386/t-mingw32 (USE_COLLECT2): Likewise.
* config/rs6000/t-beos (USE_COLLECT2): Likewise.
* config/pa/t-pa64: Remove commented out USE_COLLECT2.
* configure: Regenerate.

Co-Authored-By: Nathanael Nerode <neroden@gcc.gnu.org>
From-SVN: r80422

simplify-rtx.c (simplify_binary_operation): Constant fold DIV, MOD, UDIV and UMOD using div_and_round_double.

* simplify-rtx.c (simplify_binary_operation): Constant fold
DIV, MOD, UDIV and UMOD using div_and_round_double.

From-SVN: r80420

Daily bump.

From-SVN: r80415

re PR c++/14804 ([unit-at-a-time] initializing const data with reinterpret_cast-ed pointer-to-member function crashes)

PR c++/14804
* varasm.c (initializer_constant_valid_p): Allow NOP_EXPRs to
RECORD_TYPEs.

From-SVN: r80404

invoke.texi (-mabi=o64): Create link to O64 ABI documentation.

* doc/invoke.texi (-mabi=o64): Create link to O64 ABI
documentation.

From-SVN: r80402

invoke.texi (-mabi=o64): Create link to O64 ABI documentation.

* doc/invoke.texi (-mabi=o64): Create link to O64 ABI
documentation.

From-SVN: r80401

cse.c (cse_insn): Correct usage of simplify_replace_rtx when updating the REG_EQUAL note on an...

* cse.c (cse_insn): Correct usage of simplify_replace_rtx when
updating the REG_EQUAL note on an insn's libcall_insn.

From-SVN: r80400

* df.h: Tidy up whitespace in the definitions of the DF_ flags.

From-SVN: r80399

filebuf_sputn_unbuf.cc: New, adapted from libstdc++/11378.

2004-04-04  Paolo Carlini  <pcarlini@suse.de>
    Petur Runolfsson  <peturr02@ru.is>

* testsuite/performance/27_io/filebuf_sputn_unbuf.cc: New,
adapted from libstdc++/11378.

Co-Authored-By: Petur Runolfsson <peturr02@ru.is>
From-SVN: r80398

Daily bump.

From-SVN: r80385

* MAINTAINERS: Add myself to write-after-approval.

From-SVN: r80382

fold-const.c (fold): Guard (-A)+B -> B-A transformation with reorder_operands_p.

* fold-const.c (fold) <PLUS_EXPR>: Guard (-A)+B -> B-A transformation
with reorder_operands_p.

From-SVN: r80381

* md.texi (vec_set, vec_extract, vec_init): Document.

From-SVN: r80380

mt_allocator.h (__mt_alloc<>::allocate): Factor out some duplicated code.

2004-04-03  Paolo Carlini  <pcarlini@suse.de>

* include/ext/mt_allocator.h (__mt_alloc<>::allocate): Factor out
some duplicated code.
(__mt_alloc<>::_Bin_record): Spare the space of _M_free and _M_used
in the single threaded case.
* testsuite/performance/20_util/allocator/list_sort_search.cc:
Reorder and renumber the tests consistently with the other testfiles.
* testsuite/performance/20_util/allocator/map_mt_find.cc: Ditto.
* testsuite/performance/20_util/allocator/map_thread.cc: Ditto.
* testsuite/performance/20_util/allocator/producer_consumer.cc: Ditto.

From-SVN: r80375

Daily bump.

From-SVN: r80366

README: Bring up to date with new subdirectories; remove duplicate subdirectory lines.

* g++.dg/README: Bring up to date with new subdirectories; remove
duplicate subdirectory lines.

From-SVN: r80363

opts.c (decode_options): Do function inlining with very small max-inline-insns-* parameters when...

2004-04-02  Gabor Loki <loki@inf.u-szeged.hu>

       * opts.c (decode_options): Do function inlining with very small
       max-inline-insns-* parameters when optimizing for size.

From-SVN: r80359

mt_allocator.h (__mt_alloc<>::deallocate): Rearrange arithmetic to avoid computing two divisions at each deallocation.

2004-04-02  Paolo Carlini  <pcarlini@suse.de>

* include/ext/mt_allocator.h (__mt_alloc<>::deallocate):
Rearrange arithmetic to avoid computing two divisions at
each deallocation.

From-SVN: r80356

i386.h (TARGET_NOCONA): New macro.

2004-04-02  Vladimir Makarov  <vmakarov@redhat.com>

* config/i386/i386.h (TARGET_NOCONA): New macro.
(TARGET_CPU_CPP_BUILTINS): Add code for Nocona.
(processor_type): Add PROCESSOR_NOCONA.

* config/i386/i386.md (cpu): Add nocona to the attribute values.

* config/i386/i386.c (nocona_cost): New variable.
(m_NOCONA): New macro.
(x86_push_memory, x86_movx, x86_cmove, x86_deep_branch,
x86_branch_hints, x86_use_sahf, x86_single_stringop,
x86_sub_esp_4, x86_sub_esp_8, x86_add_esp_4, x86_add_esp_8,
x86_integer_DFmode_moves, x86_partial_reg_dependency,
x86_memory_mismatch_stall, x86_accumulate_outgoing_args,
x86_decompose_lea, x86_arch_always_fancy_math_387,
x86_sse_partial_reg_dependency, x86_sse_load0_by_pxor,
x86_ext_80387_constants, x86_four_jump_limit):
(override_options): Add nocona_cost to processor_target_table.
Set up PROCESSOR_NOCONA for Nocona entry in processor_alias_table.
(incdec_operand): Prevent inc/dec generation for Nocona too.
(ix86_issue_rate): Add PROCESSOR_NOCONA.

From-SVN: r80353

re PR c++/14007 (Incorrect use of const partial specialization for reference template argument)

cp:
PR c++/14007
* pt.c (check_cv_quals_for_unify): Correct logic for disallowed
cv-qualifier unification.
* tree.c (cp_build_qualified_type_real): Renable DR295 logic.
testsuite:
PR c++/14007
* g++.dg/template/unify5.C: New.
* g++.dg/template/unify6.C: New.
* g++.dg/template/qualttp20.C: Adjust.
* g++.old-deja/g++.jason/report.C: Adjust.
* g++.old-deja/g++.other/qual1.C: Adjust.

From-SVN: r80351

Complete previous change.

Update copyright notice.

From-SVN: r80350

gnat-style.texi, [...]: Remove RCS tags.

* gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Remove RCS tags.
Replace ifinfo by ifnottex, to make makeinfo --html happy again.
Add info directory entry and category.

From-SVN: r80349

rtlanal.c (find_reg_note): Manually unswitch the loop.

2004-04-01  Andrew Pinski  <pinskia@physics.uc.edu>

        * rtlanal.c (find_reg_note): Manually
        unswitch the loop.

From-SVN: r80347

gcc_update (files_and_dependencies): Remove gcc/ada/*.texi.

2004-04-01  Kelley Cook  <kcook@gcc.gnu.org>

* gcc_update (files_and_dependencies): Remove gcc/ada/*.texi.

From-SVN: r80345

Daily bump.

From-SVN: r80342

re PR target/14040 (ARM cross compiler: error: could not split insn)

PR target/14040
* genemit.c (gen_split): Change prototype of generated code.
* genrecog.c (write_action): Adjust prototype for and calls to
gen_split_*.
* gensupport.c (struct queue_elem): Add split field.
(queue_pattern): Return a value.  Clear the split field.
(process_rtx): Maintain an association between an insn and the
split generated from it for a define_insn_and_split.
(process_one_cond_exec): Generate a new split for a
define_insn_and_split.
* config/arm/arm-protos.h (arm_split_constant): Add insn
parameter.
(emit_constant_insn): New function.
(arm_gen_constant): Use it.
* config/arm/arm.md: Adjust calls to arm_split_constant.

From-SVN: r80335

cgraph.c: Add overall comment.

* cgraph.c: Add overall comment.
(cgraph_inline_hash): New global variable.
(cgraph_create_node): Break out from ...
(cgraph_node): ... here.
(cgraph_edge): New function.
(cgraph_create_edge): New CALL_EXPR argument; some sanity checking.
(cgraph_remove_edge): Accept edge, intead of source and destination.
(cgraph_redirect_edge_callee): New.
(cgraph_remove_node): Update all new datastructures.
(cgraph_record_call, cgraph_remove_call): Kill.
(dump_cgraph_node): Break out from ... ; dump new datastructures.
(dump_cgraph): ... here.
(cgraph_function_possibly_inlined_p): Use new hashtable.
(cgraph_clone_edge, cgraph_clone_node): New.
* cgraph.h: Include hashtab.h
(struct cgraph_global_info): Kill cloned_times, inline_once, will_be_output
fields, add inlined_to pointer.
(cgraph_node): Add pointer to next_clone.
(cgraph_remove_edge, cgraph_create_edge): Update prototype.
(cgraph_remove_call, cgraph_record_call): Kill.
(cgraph_inline_hash): Declare.
(dump_cgraph_node, cgraph_edge, cg4raph_clone_edge, cgraph_clone_node,
cgraph_redirect_edge_callee): Declare.
(cgraph_create_edges, cgraph_inline_p): Update prorotype.
(cgraph_preserve_function_body_p, verify_cgraph, verify_cgraph_node,
cgraph_mark_inline_edge, cgraph_clone_inlined_nodes): Declare.
* cgraphunit.c: Add overall comment.
(cgraph_optimize_function): Kill.
(cgraph_assemble_pending_functions): Do not assemble inline clones.
(cgraph_finalize_function): Update call of cgraph_remove_node
(record_call_1): Record call sites.
(cgraph_create_edges): Accept node instead of decl argument.
(error_found): New static variable.
(verify_cgraph_node_1, verify_cgraph_node, verify_cgraph): New functions.
(cgraph_analyze_function): Update for new datastructures.
(cgraph_finalize_compilation_unit): Plug memory leak.
(cgraph_optimize_function): Kill.
(cgraph_expand_function): Do not use cgraph_optimize_function.
(INLINED_TIMES, SET_INLINED_TIMES, cgraph_inlined_into,
cgraph_inlined_callees): Kill.
(cgraph_remove_unreachable_nodes): Verify cgraph; update handling of
clones.
(estimate_growth): Simplify.
(cgraph_clone_inlined_nodes): New function.
(cgraph_mark_inline_edge): Re-implement.
(cgraph_mark_inline): Likewise.
(cgraph_check_inline_limits): Simplify.
(cgraph_recursive_inlining_p): New.
(update_callee_keys): Break out from ...
(cgraph_decide_inlining_of_small_functions): ... here; simplify.
(cgraph_decide_inlining, cgraph_decide_inlining_incrementally):
Likewise.
(cgraph_expand_all_functions):  Remove inline clones from the ordered
list.
(cgraph_preserve_function_body_p): New predicate.
(cgraph_optimize): Verify cgraph.
* function.h (struct function): Add fields saved_tree/saved_args.
* timevar.def (TV_CGRAPH_VERIFY): Use verifier.
* toplev.c (rest_of_compilation): Do not free cfun.
* tree-inline.c: Include function.h
(struct inline_data): Add saving_p field; replace decl/current_decl by
node/current_node.
(insert_decl_map): New function.
(copy_body_r): Handle saving; update cgraph datastructure.
(copy_body): Handle recursive inlining.
(initialize_inlined_parameters): Likewise.
(expand_call_inline): Propagate node attributes; update cgraph.
(optimize_inline_calls): Verify that datastructure still match.
(save_body): New function.
* tree-inline.h (save_body): New.
* tree-optimize.c (tree_rest_of_compilation): preserve function body; do inlining.
* langhooks-def.c (LANG_HOOKS_UPDATE_DECL_AFTER_SAVING): New.
* langhooks.c (lang_hooks): Add update_decl_after_saving.

* cp-lang. (LANG_HOOKS_UPDATE_DECL_AFTER_SAVING): Define.
* cp-tree.h (cp_update_decl_after_saving): Declare.
* tree.c (cp_update_decl_after_saving): Define.

* Make-lang.in (com.o): Add dependnecy on function.h
* com.c: Include function.h
(finish_function): Clear DECL_STRUCT_FUNCTION.

* utils.c: Include function.h
(end_subprog_body): Clear DECL_STRUCT_FUNCTION.

From-SVN: r80334

re PR c++/14803 (Spurious warnings on conversion of pointers to member functions)

PR c++/14803
* typeck.c (get_delta_difference): Call fold before returning the
value.

PR c++/14803
* g++.dg/inherit/ptrmem1.C: New test.

From-SVN: r80331

re PR target/14702 (wrong definitions of instructions mmx_pshufw, sse2_pshufd, sse2_pshuflw, sse2_pshufhw)

        PR target/14702
        * config/i386/i386.md: fix source operand constraints in
        mmx_pshufw, sse2_pshufd, sse2_pshuflw, sse2_pshufhw

From-SVN: r80330

* fold-const.c (folda): Preserve types of comparisons.

From-SVN: r80327

mt_allocator.h (__mt_alloc<>::_S_initialize): Streamline the second half...

2004-04-01  Paolo Carlini  <pcarlini@suse.de>

* include/ext/mt_allocator.h (__mt_alloc<>::_S_initialize):
Streamline the second half, wrapping it in a single
'#ifdef __GTHREADS if (__gthread_active_p())' and avoiding
conditionals inside loops.

From-SVN: r80323

re PR c++/14804 ([unit-at-a-time] initializing const data with reinterpret_cast-ed pointer-to-member function crashes)

        PR c++/14804
        * decl.c (cp_finish_decl): Preserve TREE_READONLY more often.
        * typeck2.c (split_nonconstant_init): Clear TREE_READONLY.

From-SVN: r80318

toplev.c (backend_init): Move init_optimization_passes call ...

        * toplev.c (backend_init): Move init_optimization_passes call ...
        (lang_dependent_init): ... here.

From-SVN: r80317

re PR c++/14810 (tree check failures with invalid code involving templates)

PR c++/14810
* name-lookup.c (maybe_push_cleanup_level): Robustify.

From-SVN: r80315

2004-04-01  Michael Koch  <konqueror@gmx.de>

* java/lang/SecurityManager.java
(checkAwtEventQueueAccess): Implemented.

From-SVN: r80314

re PR ada/14150 (Ada documentation out of date)

PR ada/14150
* Make-lang.in: Clean up generation of documentation

* gnat-style.texi, gnat_rm.texi, ug_words: Resync with AdaCore version

* xgnatug.adb: Removed, replaced by xgnatugn.adb

* xgnatugn.adb: Replaces xgnatug.adb

* gnat_ug.texi: Removed, replaced by gnat_ugn.texi

* gnat_ugn.texi: Replaces gnat_ug.texi. Resync with AdaCore version

* gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
gnat_ug_wnt.texi: Removed.

From-SVN: r80308

resolve.cc (_Jv_ResolvePoolEntry): Put field name in exception.

2004-04-01  Gary Benson  <gbenson@redhat.com>

* resolve.cc (_Jv_ResolvePoolEntry): Put field name in exception.
(_Jv_SearchMethodInClass): Likewise.

From-SVN: r80305

gcc.c (init_gcc_specs): If HAVE_LD_AS_NEEDED, link with -lgcc --as-needed -lgcc_s --no-as-needed by default.

* gcc.c (init_gcc_specs): If HAVE_LD_AS_NEEDED, link with
-lgcc --as-needed -lgcc_s --no-as-needed by default.
* configure.ac (HAVE_LD_AS_NEEDED): Check for ld --as-needed.
* configure: Rebuilt.
* config.in: Rebuilt.
* Makefile.in (stage1-start): Copy also libgcc_s*$(SHLIB_EXT).
(stage2-start, stage3-start, stage4-start): Likewise.
(stageprofile-start, stagefeedback-start): Likewise.

Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r80302

sparc.h (DITF_CONVERSION_LIBFUNCS): Define to 0.

* config/sparc/sparc.h (DITF_CONVERSION_LIBFUNCS): Define to 0.
* config/sparc/linux.h (DITF_CONVERSION_LIBFUNCS): Redefine to 1.
* config/sparc/linux64.h (DITF_CONVERSION_LIBFUNCS): Redefine to 1.
* config/sparc/sol2.h (DITF_CONVERSION_LIBFUNCS): Redefine to 1.
(SOLARIS_CONVERSION_LIBFUNCS): Rename to SUN_CONVERSION_LIBFUNCS.
* config/sparc/sparc.c (sparc_init_libfuncs): Initialize optabs
with _Q_qtoll, _Q_qtoull and _Q_lltoq if DITF_CONVERSION_LIBFUNCS.
* config.gcc (sparc-*-linux*): Revert 2004-03-23 change.
* config/sparc/t-linux64 (TARGET_LIBGCC2_CFLAGS): Likewise.
* config/sparc/t-linux: Removed.

From-SVN: r80295

re PR c++/14755 (miscompilation in bitfielded signed integers)

PR c++/14755
* fold-const.c (fold) <EQ_EXPR>: Properly compute newconst in
"bitfld++ == const" to "++bitfld == const + incr" transformations.

* gcc.c-torture/execute/20040331-1.c: New test.
* gcc.dg/20040331-1.c: New test.

From-SVN: r80294

expr.c (get_inner_reference): Use DECL_UNSIGNED, not TREE_UNSIGNED.

* expr.c (get_inner_reference): Use DECL_UNSIGNED, not TREE_UNSIGNED.
* stor-layout.c (layout_decl): Likewise.
* tree.c (get_narrower): Likewise and also use BIT_FIELD_REF_UNSIGNED.
* fold-const.c (make_bit_field_ref): Use BIT_FIELD_REF_UNSIGNED.
* print-tree.c (print_node): Handle various used of unsigned_flag.
* tree.def (BIT_FIELD_REF): Update comment.
* tree.h (TREE_UNSIGNED): Deleted.
(DECL_UNSIGNED, BIT_FIELD_REF_UNSIGNED): New macros.

* cp/class.c (VTT_TOP_LEVEL_P): Use unsigned_flag directly.

* f/com.c (ffe_truthvalue_conversion, case COMPONENT_REF):
Use DECL_UNSIGNED and integer_onep.

From-SVN: r80293

* utils2.c: Update copyright notice.

From-SVN: r80291

[multiple changes]

2004-04-01  Robert Dewar  <dewar@gnat.com>

* checks.adb: Minor reformatting throughout
Note that prev checkin added RM reference to alignment warning

2004-04-01  Ed Schonberg  <schonberg@gnat.com>

* exp_aggr.adb (Get_Component_Val): Treat a string literal as
non-static when building aggregate for bit-packed array.

* exp_ch4.adb (Expand_N_Slice): If a packed slice is an actual of a
function call that is itself the actual in a procedure call, build
temporary for it.

* exp_pakd.adb (Expand_Bit_Packed_Element_Set): If right-hand side is
a string literal, create a temporary for it, constant folding only
handles scalars here.

2004-04-01  Vincent Celier  <celier@gnat.com>

* ali-util.adb (Post_Scan, Error_Msg, Error_Msg_S, Error_Msg_SC,
Error_Msg_SP): New empty procedures to instantiate the Scanner.
(Style, Scanner): Instantiations of Styleg and Scng to be able to scan
tokens.
(Accumulate_Checksum, Initialize_Checksum): Remove procedures.
(Get_File_Checksum): Use the instantiated scanner to scan all the tokens
and get the checksum.

* make.adb (Gnatmake): Do not insert into Q the Main_Source if it is
already in the Q.
Increase the Marking_Label at the end of the Multiple_Main_Loop,
instead of at the beginning.

* osint.adb (Lib_File_Name): Use Multi_Unit_Index_Character, not '~'
directly.
(Osint package elaboration): Change Multi_Unit_Index_Character to '$' if
on VMS.

* osint.ads (Multi_Unit_Index_Character): New Character global variable

* osint-c.adb (Set_Library_Info_Name): Use Multi_Unit_Index_Character,
not '~' directly.

* par.adb: Remove test on file name to detect language defined units.
Add test on unit name, after parsing, to detect language defined units
that are not compiled with -gnatg (except System.RPC and its children)

* par-ch10.adb (P_Compilation_Unit): In multi-unit sources, scan the
following units without style checking.

* switch-c.adb: Change -gnatC to -gnateI

* usage.adb: Document new switch -gnateInnn

* scng.adb (Accumulate_Token_Checksum): New procedure
(Scan): Call Accumulate_Token_Checksum after each identifier, reserved
word or literal number.
(Scan.Nlit.Scan_Integer): Do not accumulate internal '_' in litteral
numbers.

2004-04-01  Thomas Quinot  <quinot@act-europe.fr>

* a-tasatt.adb,
g-comlin.adb, sinput-c.adb, s-secsta.adb, s-tpobop.adb,
switch-m.adb, 56taprop.adb, 5ginterr.adb, 5gmastop.adb,
5staprop.adb, 5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb,
5vtpopde.adb: Add missing 'constant' keywords.

2004-04-01  Javier Miranda  <miranda@gnat.com>

* par-ch4.adb: (P_Allocator): Code cleanup

* sem_ch3.adb (Access_Definition): Properly set the null-excluding
attribute.

* sinfo.ads: Complete documentation of previous change

2004-04-01  GNAT Script  <nobody@gnat.com>

* Make-lang.in: Makefile automatically updated

2004-04-01  Pascal Obry  <obry@gnat.com>

* gnatlink.adb (Process_Binder_File): Remove duplicate linker options
only on VMS.  This special handling was done because an old GNU/ld bug
on Windows which has been fixed.

From-SVN: r80290

re PR libstdc++/14775 ([3.4 only] LFS tests missing)

2004-04-01  Paolo Carlini  <pcarlini@suse.de>

PR libstdc++/14775
* acconfig.h: Rename _GLIBCXX_MEM_LIMITS to _GLIBCXX_RES_LIMITS.
* acinclude.m4 (GLIBCXX_CHECK_SETRLIMIT): Call
GLIBCXX_CHECK_SETRLIMIT_ancilliary for FSIZE too, adjust define
to _GLIBCXX_RES_LIMITS.
(GLIBCXX_CHECK_SETRLIMIT_ancilliary): Rename HAVE_MEMLIMIT_* to
HAVE_LIMIT_*.
* testsuite/testsuite_hooks.h: Declare set_file_limit.
* testsuite/testsuite_hooks.cc: Define it, using getrlimit
and setrlimit(RLIMIT_FSIZE).
* testsuite/27_io/fpos/14775.cc: New.
* config.h.in: Regenerate.
* configure: Likewise.

From-SVN: r80289

builtins.c, [...]: Change most occurrences of TREE_UNSIGNED to TYPE_UNSIGNED.

* builtins.c, c-aux-info.c, c-common.c, c-cppbuiltin.c, c-decl.c:
Change most occurrences of TREE_UNSIGNED to TYPE_UNSIGNED.
* c-format.c, c-opts.c, c-pretty-print.c, c-typeck.c: Likewise.
* calls.c, convert.c, dbxout.c, dojump.c, dwarf2out.c: Likewise.
* expmed.c, expr.c, fold-const.c, function.c, integrate.c: Likewise.
* optabs.c, sdbout.c, stmt.c, stor-layout.c, tree-dump.c: Likewise.
* tree.c, config/iq2000/iq2000.c, config/m32r/m32r.c: Likewise.
* config/mips/mips.c, config/rs6000/rs6000.c: Likewise.
* config/s390/s390.c, config/sparc/sparc.c, objc/objc-act.c: Likewise.
* stor-layout.c (layout_type, case COMPLEX_TYPE): Test for
REAL_TYPE, not INTEGER_TYPE.
(layout_type, case VECTOR_TYPE): Simplify code.
* tree.c (build_vector_type_for_mode): Remove dup unsigned setting.
* tree.h: Update comments.
(STRIP_NOPS): Use TYPE_UNSIGNED.
(TYPE_UNSIGNED): New macro.
(TYPE_TRAP_SIGNED): Remove now redundant check.
(SAVE_EXPR_NOPLACEHOLDER): Don't use TREE_UNSIGNED.

* cp/call.c (joust): Use TYPE_UNSIGNED, not TREE_UNSIGNED.
* cp/class.c (check_bitfield_decl): Likewise.
* cp/cvt.c (type_promotes_to): Likewise.
* cp/decl.c (finish_enum): Likewise.
* cp/mangle.c (write_builtin_type): Likewise.
* cp/semantics.c (finish_switch_cond, finish_unary_op_expr): Likewise.
* cp/typeck.c (type_after_usual_arithmetic_conversions): Likewise.
(build_binary_op): Likewise.

* f/com.c (ffecom_arrayref_): Use TYPE_UNSIGNED, not TREE_UNSIGNED.
(ffecom_expr_): Likewise.

* java/jcf-write.c (generate_bytecode_insns): Use TYPE_UNSIGNED.

* treelang/treetree.c (tree_lang_signed_or_unsigned_type):
Use TYPE_UNSIGNED, not TREE_UNSIGNED.

* ada/decl.c (gnat_to_gnu_entity, make_type_from_size):
Use TYPE_UNSIGNED, not TREE_UNSIGNED.
* ada/trans.c (tree_transform, convert_with_check): Likewise.
* ada/utils.c (gnat_signed_or_unsigned_type): Likewise.
(build_vms_descriptor, unchecked_convert): Likewise.
* ada/utils2.c (nonbinary_modular_operation): Likewise.

From-SVN: r80287

hashtab.c (htab_size): Move to top of file; mark inline.

        * hashtab.c (htab_size): Move to top of file; mark inline.
        (htab_elements): Likewise.
        (htab_mod, htab_mod_m2): New.
        (htab_delete): Refactor htab->size and htab->entries.
        (htab_empty): Likewise.
        (find_empty_slot_for_expand): Use htab_size, htab_mod, htab_mod_m2.
        (htab_find_with_hash, htab_find_slot_with_hash): Likewise.
        (htab_clear_slot): Use htab_size, htab_elements.
        (htab_traverse_noresize, htab_traverse): Likewise.

From-SVN: r80278

* gcc.dg/arm-mmx-1.c: Add -mabi=iwmmxt to dg-options.

From-SVN: r80265

Daily bump.

From-SVN: r80262

* function.c (put_var_into_stack): Properly set orig_reg for indirect.

From-SVN: r80254

t-darwin (LIB2FUNCS_STATIC_EXTRA): Add darwin-fpsave.asm, darwin-vecsave.asm, and darwin-world.asm.

2004-03-21  Andrew Pinski  <pinskia@physics.uc.edu>

        * config/rs6000/t-darwin (LIB2FUNCS_STATIC_EXTRA):
        Add darwin-fpsave.asm, darwin-vecsave.asm,
        and darwin-world.asm.
        (TARGET_LIBGCC2_CFLAGS): Add -Wa,-force_cpusubtype_ALL
        as the asm files contain altivec instructions.
        * config/rs6000/darwin-fpsave.asm: New file.
        * config/rs6000/darwin-vecsave.asm: New file.
        * config/rs6000/darwin-world.asm: New file.

From-SVN: r80251

gengtype-yacc.y (option, stringseq): Add missing terminating semicolon.

* gengtype-yacc.y (option, stringseq): Add missing
terminating semicolon.

From-SVN: r80250

re PR java/14104 (java testsuite fails "linking simple")

2004-03-31  Andrew Haley  <aph@redhat.com>

        PR java/14104
        * jcf-io.c (opendir_in_zip): Tidy up error handling.

From-SVN: r80248

c_locale.cc (__convert_to_v(long double&)): In v3 uses of sscanf...

2004-03-31  Paolo Carlini  <pcarlini@suse.de>

* config/locale/generic/c_locale.cc (__convert_to_v(long double&)):
In v3 uses of sscanf, the special floating-point numbers INF,
INFINITY, etc., cannot occur in input, therefore, if the latter
is too large, ERANGE is always stored in errno, no need of finitel.

From-SVN: r80247

tree.h (optimize_function): Kill prototype.

* tree.h (optimize_function): Kill prototype.
* optimize.c (dump_function, optimize_function, dump_finction): Kill.
* semantics.c (expand_body): Kill.

From-SVN: r80246

[multiple changes]

2004-03-30  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.md (tls_gd_32, tls_gd_64,
        tls_ld_32, tls_ld_64, tls_dtprel_32, tls_dtprel_64,
        tls_dtprel_ha_32, tls_dtprel_ha_64,
        tls_dtprel_lo_32, tls_dtprel_lo_64,
        tls_got_dtprel_64, tls_tprel_32, tls_tprel_64,
        tls_tprel_ha_32, tls_tprel_ha_64,
        tls_tprel_lo_32, tls_tprel_lo_64,
        tls_got_tprel_32, tls_got_tprel_64,
        tls_tls_32, tls_tls_64): Replace register_operand with
        gpc_reg_operand.

2004-03-30  Mostafa Hagog  <mustafa@il.ibm.com>

        * config/rs6000/rs6000.md (*ctrsi_internal1, *ctrsi_internal2,
        *ctrdi_internal1, *ctrdi_internal2, *ctrsi_internal3,
        *ctrsi_internal4, *ctrdi_internal3, *ctrdi_internal4,
        *ctrsi_internal5, *ctrsi_internal6, *ctrdi_internal5,
        *ctrdi_internal6): Replace register_operand with
        nonimmediate_operand.

From-SVN: r80114

Daily bump.

From-SVN: r80104

re PR c++/14724 (Destructor not called on backwards goto past initialization)

PR c++/14724
* decl.c (start_decl_1): Do not decide whether or not to create a
new cleanup level until after the type has been completed.

PR c++/14763
* pt.c (tsubst_default_argument): Clear current_function_decl.

PR c++/14724
* g++.dg/init/goto1.C: New test.

PR c++/14763
* g++.dg/template/defarg4.C: New test.

From-SVN: r80101

re PR libstdc++/14783 (Warning in std::set constructor at bits/stl_tree.h:403)

2004-03-30  Benjamin Kosnik  <bkoz@redhat.com>

PR libstdc++/14783
* include/bits/stl_tree.h: Adjust initialization list order.

From-SVN: r80095

Reassociate multiply expression with an adjacent non-multiply expression.

Reviewed by Roger Sayle.

From-SVN: r80093

* hashtab.h, splay-tree.h: Use new shorter form of GTY markers.

From-SVN: r80092

gengtype.c (create_option): New function.

* gengtype.c (create_option): New function.
* gengtype.h: Prototype it.
* gengtype-yacc.y (stringseq): New rule.
(option): Use create_option.  Add new bare ID production.  Use
stringseq, not STRING directly.

* alias.c, bitmap.c, c-decl.c, cgraph.h, cpplib.h, cselib.h
* dwarf2out.c, emit-rtl.c, function.h, lists.c, tree.h
* varray.h, config/alpha/alpha.c, cp/name-lookup.c, cp/parser.c
* f/com.c, java/builtins.c, java/expr.c, java/jcf.h, java/parse.h:
Use new shorter form of GTY markers.

* doc/gty.texi: Rewrite.

From-SVN: r80091

darwin.c (machopic_function_base_name): Remove current_name and getting the name of the current function.

* config/darwin.c (machopic_function_base_name):
Remove current_name and getting the name of the
current function.

From-SVN: r80085

(thumb_jump): Reduce the backward branch range...

(thumb_jump): Reduce the backward branch range, and increase the forward branch
range, to allow for the fact that the PC will be off by 4.

From-SVN: r80083

* .cvsignore: Add GPATH, GRTAGS, GSYMS and GTAGS (GNU GLOBAL)

From-SVN: r80079

* gcc.dg/altivec-11.c: Extend test for more valid cases.

From-SVN: r80078

rs6000.c (output_vec_const_move): Find all cases of EASY_VECTOR_15_ADD_SELF.

        * config/rs6000/rs6000.c (output_vec_const_move):
        Find all cases of EASY_VECTOR_15_ADD_SELF.
        (easy_vector_constant_add_self): Accept
        all vector constant loadable by vsplt* and vadd*.
        (easy_vector_same): Use easy_vector_splat_const.
        (easy_vector_const): Use easy_vector_splat_const.
        (easy_vector_splat_const): New function.
        (gen_easy_vector_constant_add_self): New function.

        * config/rs6000/rs6000-protos.c (gen_easy_vector_constant_add_self):
        New prototype.

        * config/rs6000/altivec.md (movv4si splitter): Change to
        emit move insn with halfed vector constant.
        (*movv8hi splitter): Likewise.
        (*movv16qi splitter): Likewise.

From-SVN: r80077

re PR target/11591 ([3.4 only] ICE in gcc.dg/altivec-5.c)

      PR 11591
      * config/rs6000/rs6000.c (rs6000_legitimate_address):
        Allow any offset to argument pointer in no-strict case.

From-SVN: r80075

Daily bump.

From-SVN: r80070

Update comment to reflect test.

From-SVN: r80067

toplev.c (backend_init): Add missing call to inint_optimization_passes.

* toplev.c (backend_init): Add missing call to inint_optimization_passes.
* passes.c (init_optimization_passes, finish_optimization_passes): Output cgraph
dump file in non-unit-at-a-time mode.

From-SVN: r80066

cris.h: Correct #ifdef to test for HAVE_AS_NO_MUL_BUG_ABORT_OPTION...

* config/cris/cris.h: Correct #ifdef to test for
HAVE_AS_NO_MUL_BUG_ABORT_OPTION, not
HAVE_AS_MUL_BUG_ABORT_OPTION.

From-SVN: r80065

error.c (dump_function_name): If T's DECL_LANG_SPECIFIC is null, just print the literal name and return.

* error.c (dump_function_name): If T's DECL_LANG_SPECIFIC
is null, just print the literal name and return.

From-SVN: r80058

function.c (put_var_into_stack): If old RTL was ADDRESSOF, update the address inside the old RTL.

* function.c (put_var_into_stack): If old RTL was ADDRESSOF, update
the address inside the old RTL.

From-SVN: r80057

[multiple changes]

2004-03-29  Javier Miranda  <miranda@gnat.com>

* checks.adb (Null_Exclusion_Static_Checks): New subprogram
(Install_Null_Excluding_Check): Local subprogram that determines whether
an access node requires a runtime access check and if so inserts the
appropriate run-time check.
(Apply_Access_Check): Call Install_Null_Excluding check if required
(Apply_Constraint_Check): Call Install_Null_Excluding check if required

* checks.ads: (Null_Exclusion_Static_Checks): New subprogram

* einfo.ads: Fix typo in comment

* exp_ch3.adb (Build_Assignment): Generate conversion to the
null-excluding type to force the corresponding run-time check.
(Expand_N_Object_Declaration): Generate conversion to the null-excluding
type to force the corresponding run-time check.

* exp_ch5.adb (Expand_N_Assignment_Statement): Generate conversion to
the null-excluding type to force the corresponding run-time check.

* exp_ch6.adb (Expand_Call): Do not generate the run-time check in
case of access types unless they have the null-excluding attribute.

* sprint.adb (Sprint_Node_Actual): Give support to the null-exclusing
part.

* exp_util.ads: Fix typo in comment

* par.adb (P_Null_Exclusion): New subprogram
(P_Subtype_Indication): New formal that indicates if the null-excluding
part has been scanned-out and it was present

* par-ch3.adb, par-ch4.adb, par-ch6.adb: Give support to AI-231

* sem_aggr.adb: (Check_Can_Never_Be_Null): New subprogram
(Aggregate_Constraint_Checks): Generate conversion to the null-excluding
type to force the corresponding run-time check
(Resolve_Aggregate): Propagate the null-excluding attribute to the array
components
(Resolve_Array_Aggregate): Carry out some static checks
(Resolve_Record_Aggregate.Get_Value): Carry out some static check

* sem_ch3.adb (Access_Definition): In Ada 0Y the Can_Never_Be_Null
attribute must be set only if specified by means of the null-excluding
part. In addition, we must also propagate the access-constant attribute
if present.
(Access_Subprogram_Declaration, Access_Type_Declaration,
Analyze_Component_Declaration, Analyze_Object_Declaration,
Array_Type_Declaration, Process_Discriminants,
Analyze_Subtype_Declaration): Propagate the null-excluding attribute
and carry out some static checks.
(Build_Derived_Access_Type): Set the null-excluding attribute
(Derived_Type_Declaration, Process_Subtype): Carry out some static
checks.

* sem_ch4.adb (Analyze_Allocator): Carry out some static checks

* sem_ch5.adb (Analyze_Assignment): Carry out some static checks

* sem_ch6.adb (Process_Formals): Carry out some static checks.
(Set_Actual_Subtypes): Generate null-excluding subtype if the
null-excluding part was present; it is not required to be done here in
case of anonymous access types.
(Set_Formal_Mode): Ada 0Y allows anonymous access to have the null
value.

* sem_res.adb (Resolve_Actuals): Carry out some static check
(Resolve_Null): Allow null in anonymous access

* sinfo.adb: New subprogram Null_Exclusion_Present
All_Present and Constant_Present available on access_definition nodes

* sinfo.ads: New flag Null_Exclusion_Present on subtype_declaration,
object_declaration, derived_type_definition, component_definition,
discriminant_specification, access_to_object_definition,
access_function_definition, allocator, access_procedure_definition,
access_definition, parameter_specification, All_Present and
Constant_Present flags available on access_definition nodes.

2004-03-29  Robert Dewar  <dewar@gnat.com>

* fname.adb, fname.ads, fname-sf.adb, fname-uf.adb, fname-uf.ads,
gnat1drv.adb, lib.adb, lib.ads, lib-load.adb, lib-writ.adb,
opt.ads, osint.adb, osint.ads, osint-c.adb, par.adb,
par-ch10.adb, par-load.adb, par-prag.adb, sfn_scan.adb,
sfn_scan.ads, sinput-l.adb, sinput-l.ads, switch-c.adb,
sem_prag.adb: Updates to handle multiple units/file

* par.adb: Change test for s-rpc to s-rp for detecting rpc and children

* par.adb, memtrack.adb, prj-makr.adb, prj-part.adb,
sem_util.adb: Minor reformatting

* sem_ch12.adb: Add comment for previous change

2004-03-29  Laurent Pautet  <pautet@act-europe.fr>

* osint.adb (Executable_Prefix): Set Exec_Name to the current
executable name when not initialized. Otherwise, use its current value.

* osint.ads (Exec_Name): Move Exec_Name from body to spec in order to
initialize it to another executable name than the current one. This
allows to configure paths for an executable name (gnatmake) different
from the current one (gnatdist).

2004-03-29  Ed Schonberg  <schonberg@gnat.com>

* exp_ch6.adb (Expand_Call): A call to a function declared in the
current unit cannot be inlined if it appears in the body of a withed
unit, to avoid order of elaboration problems in gigi.

* exp_ch9.adb (Build_Protected_Sub_Specification): Generate debugging
information for protected (wrapper) operation as well, to simplify gdb
use.

* sem_ch6.adb (Analyze_Subprogram_Body): For a private operation in a
protected body, indicate that the entity for the generated spec comes
from source, to ensure that references are properly generated for it.
(Build_Body_To_Inline): Do not inline a function that returns a
controlled type.

* sem_prag.adb (Process_Convention): If subprogram is overloaded, only
apply convention to homonyms that are declared explicitly.

* sem_res.adb (Make_Call_Into_Operator): If the operation is a function
that renames an equality operator and the operands are overloaded,
resolve them with the declared formal types, before rewriting as an
operator.

2004-03-29  GNAT Script  <nobody@gnat.com>

* Make-lang.in: Makefile automatically updated

From-SVN: r80055

pthread7-rope.cc: Fix...

2004-03-29  Paolo Carlini  <pcarlini@suse.de>

* testsuite/thread/pthread7-rope.cc: Fix, unpredictably, depending
on allocator behavior, the memory pointed by data2 may well be not
trashed.

From-SVN: r80051

Daily bump.

From-SVN: r80047

* gcc.dg/doloop-1.c: Do not check for lack of "blt".

From-SVN: r80044

re PR c/14734 (Error recovery problem with undeclared array bounds)

* c-decl.c: Verify that C_SIZEOF_STRUCT_LANG_IDENTIFIER is correct.
(struct c_binding, struct c_scope): Add chain_next
attributes to GTY markers.
(struct lang_identifier, struct lang_tree_node): Define
here...
* c-tree.h: ... not here.  No longer need to declare struct
c_binding either.  Do define C_SIZEOF_STRUCT_LANG_IDENTIFIER.
* c-lang.c, objc/objc-lang.c: Set LANG_HOOKS_IDENTIFIER_SIZE
to C_SIZEOF_STRUCT_LANG_IDENTIFIER.

PR 14734, 11944
* c-decl.c (get_parm_info): If error_mark_node is encountered
in the bindings chain, unbind and discard it; don't abort.
* testsuite/gcc.dg/noncompile/undeclared-2.c: New test.

From-SVN: r80042

re PR libstdc++/14245 ([3.4 only] problem with user-defined allocators in std::basic_string)

2004-03-28  Chavdar Botev  <cbotev@yahoo.com>

PR libstdc++/14245
* include/bits/basic_string.tcc
(basic_string::basic_string(const basic_string&)): Pass to
_Rep::_M_grab the actual allocator of the string being constructed
not the default constructed one.

From-SVN: r80041

altivec.md: (andvv16qi3...

* config/rs6000/altivec.md: (andvv16qi3, andv8hi3, one_cmplv16qi2,
        one_cmplv8hi2, one_cmplv4si2, iorv16qi3, iorv8hi3,): New modelling.

Co-Authored-By: Dorit Naishlos <dorit@il.ibm.com>
From-SVN: r80039

m68hc11-protos.h (m68hc11_page0_symbol_p): Declare.

* config/m68hc11/m68hc11-protos.h (m68hc11_page0_symbol_p): Declare.

* config/m68hc11/m68hc11.c (m68hc11_handle_page0_attribute): New.
(m68hc11_attribute_table): New attribute "page0" to mark a global
variable as being allocated from within page0 section.
(m68hc11_encode_label): New function.
(m68hc11_strip_name_encoding): New function.
(m68hc11_page0_symbol_p): New function.
(m68hc11_indirect_p): Accept global variables marked in page0.
(m68hc11_encode_section_info): Lookup "page0" attribute.

* config/m68hc11/m68hc11.h (EXTRA_CONSTRAINT): 'R' constraint also
represents access to page0 variables.

* config/m68hc11/m68hc11.md ("*logicalsi3_zexthi"): Use gen_rtx_REG.
("*logicalsi3_silshl16_zext"): Likewise.
("*ashldi3_const32"): Likewise.
(peephole2 ashift): Likewise.

From-SVN: r80038

c-tree.h (C_DECL_REGISTER): New.

* c-tree.h (C_DECL_REGISTER): New.
* c-aux-info.c (gen_decl), c-decl.c (objc_mark_locals_volatile,
finish_decl, grokdeclarator, get_parm_info), c-typeck.c
(build_array_ref, c_mark_addressable): Set and use it.
* c-decl.c (grokdeclarator), c-typeck.c (c_mark_addressable):
Allow structures with volatile fields to be declared register.
Don't check TREE_ADDRESSABLE before warning about taking address
of register.
* c-decl.c (finish_decl): Don't allow structures with volatile
fields to be placed in named register.
* doc/trouble.texi: Remove reference to structures with volatile
fields in registers.

testsuite:
* gcc.dg/940409-1.c: Remove XFAIL.
* gcc.dg/reg-vol-struct-1.c: New test.

From-SVN: r80037

Daily bump.

From-SVN: r80034

[multiple changes]

2004-03-27  Benjamin Kosnik  <bkoz@redhat.com>

libstdc++ PR/13598
* config/locale/ieee_1003.1-2001/codecvt_specializations.h
(__enc_traits::_M_destroy): New.
(__enc_traits::~__enc_traits): Use it.
(__enc_traits::operator=): Use _M_destroy, _M_init.
(__enc_traits::__enc_traits): Same.

2004-03-27  Petur Runolfsson  <peturr02@ru.is>

* testsuite/ext/enc_filebuf/char/13598.cc: New.

From-SVN: r80027

function.c (thread_prologue_and_epilogue): Move NOTE_INSN_FUNCTION_END and NOTE_INSN_FUNCTION_BEG notes before the epilogue.

* function.c (thread_prologue_and_epilogue): Move
NOTE_INSN_FUNCTION_END and NOTE_INSN_FUNCTION_BEG notes
before the epilogue.

From-SVN: r80025

expr.c (store_constructor): Use gen_int_mode to correctly sign-extend CONST_INT value.

* expr.c (store_constructor): Use gen_int_mode to correctly
sign-extend CONST_INT value.

From-SVN: r80022