Daily bump.

From-SVN: r80577

target-supports.exp (check_named_sections_available): New.

* lib/target-supports.exp (check_named_sections_available): New.
* lib/gcc-dg.exp (dg-require-named-sections): New.
* lib/prune.exp (prune_gcc_output): Incorporate prunes from
old-deja.exp.  Also prune error-count message from HP linker.
* g++.old-deja/old-deja.exp (g++-dg-prune): Delete.

* g++.dg/init/init-ref4.C: Use dg-require-weak.
* g++.old-deja/g++.pt/static3.C: Likewise.
* g++.dg/parse/attr-ctor1.C: Use dg-require-named-sections.

From-SVN: r80572

re PR target/14887 (compat/struct-ret-19 failure on ia64-hpux - argument passing bug)

PR 14887
* config/ia64/hpux.h (MEMBER_TYPE_FORCES_BLK): Look only at
mode argument.
* config/ia64/ia64.c (ia64_hpux_file_end): Check
TREE_SYMBOL_REFERENCED on DECL_ASSEMBLER_NAME, not DECL_NAME.

From-SVN: r80571

simplify-rtx.c (mode_signbit_p): New function to check whether an RTX is an immediate constant that represents...

* simplify-rtx.c (mode_signbit_p): New function to check whether
an RTX is an immediate constant that represents the most significant
bit of a given machine mode.
(simplify_unary_operation) <NOT>: Optimize ~(X+C) as X ^ ~C, where
C is the sign bit.
(simplify_binary_operation) <PLUS>: Optimize (X^C1) + C2 as X^(C1^C2)
when C2 is the sign bit.
(simplify_binary_operation) <XOR>: Canonicalize X^C as X+C when C
is the sign bit.  Optimize (X+C1) ^ C2 as X^(C1^C2) when C1 is the
sign bit.

* gcc.c-torture/execute/20040409-1.c: New test case.
* gcc.c-torture/execute/20040409-2.c: New test case.
* gcc.c-torture/execute/20040409-3.c: New test case.

From-SVN: r80568

builtins.c (mathfn_built_in): Check TYPE_MAIN_VARIANT, not TYPE_MODE.

* builtins.c (mathfn_built_in): Check TYPE_MAIN_VARIANT, not
TYPE_MODE.

From-SVN: r80567

c-common.c (handle_noreturn_attribute): Use TYPE_READONLY instead of TREE_READONLY for types.

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

        * c-common.c (handle_noreturn_attribute): Use TYPE_READONLY instead
        of TREE_READONLY for types.
2004-04-09  Andrew Pinski  <pinskia@physics.uc.edu>

        * gcc.dg/20040409-1.c: New test.

From-SVN: r80565

basic-block.h (struct edge_def): Add new field, crossing_edge.

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

        * basic-block.h (struct edge_def):  Add new field, crossing_edge.
        (struct basic_block_def):  Add new field, partition.
        (UNPARTITIONED, HOT_PARTITION, COLD_PARTITION):  New constant macro
        definitions.
        (partition_hot_cold_basic_blocks): Add extern function
        declaration.
        * bb-reorder.c (function.h, obstack.h, expr.h, regs.h):  Add four new
        include statements.
        (N_ROUNDS): Increase the maximum number of rounds by 1.
        (branch_threshold): Add array value for new round.
        (exec_threshold): Add array value for new round.
        (push_to_next_round_p): New function.
        (add_unlikely_executed_notes): New function.
        (find_rarely_executed_basic_blocks_and_crossing_edges): New function.
        (mark_bb_for_unlikely_executed_section): New function.
        (add_labels_and_missing_jumps): New function.
        (add_reg_crossing_jump_notes): New function.
        (fix_up_fall_thru_edges): New function.
        (find_jump_block): New function.
        (fix_crossing_conditional_branches): New function.
        (fix_crossing_unconditional_branches): New function.
        (fix_edges_for_rarely_executed_code): New function.
        (partition_hot_cold_basic_blocks): New function.
        (find_traces):  Add an extra round for partitioning hot/cold
        basic blocks.
        (find_traces_1_round): Add a parameter.  Modify to push all cold blocks,
        and only cold blocks, into the last (extra) round of collecting traces.
        (better_edge_p): Add a parameter.  Modify to favor non-crossing edges
        over crossing edges.
        (bb_to_key):  Add code to correctly identify cold blocks when
        doing partitioning.
        (connect_traces): Modify to connect all the non-cold traces first, then
        go back and connect up all the cold traces.
        (reorder_basic_blocks):  Add call to add_unlikely_executed_notes.
        * cfg.c (entry_exit_blocks): Add initialization for partition field in
        entry and exit blocks.
        * cfgbuild.c (make_edges): Update current_function_has_computed_jump
        if we are doing hot/cold partitioning.
        * cfgcleanup.c (cfglayout.h): Add new include statement.
        (try_simplify_condjump): Modify to not attempt on blocks with jumps
        that cross section boundaries.
        (try_forward_edges): Likewise.
        (merge_blocks_move_predecessor_nojumps): Likewise.
        (merge_blocks_move_successor_nojumps): Likewise.
        (merge_blocks_move): Likewise.
        (try_crossjump_to_edge): Modify to not attempt after we have done
        the block partitioning.
        (try_crossjump_bb): Modify to not attempt on blocks with jumps that
        cross section boundaries.
        (try_optimize_cfg): Likewise.
        * cfghooks.c (tidy_fallthru_edges): Modify to not remove indirect
        jumps that cross section boundaries.
        * cfglayout.c (flags.h): Add new include statement.
        (update_unlikely_executed_notes):  New function.
        (fixup_reorder_chain):  Add code so when a new jumping basic block is
        added, it's UNLIKELY_EXECUTED_CODE and REG_CROSSING_JUMP notes are
        updated appropriately.
        (duplicate_insn_chain):  Add code to duplicate the new NOTE insn
        introduced by this optimization.
        * cfglayout.h (scan_ahead_for_unlikely_executed_note):  Add new
        extern function declaration.
        * cfgrtl.c (can_delete_note_p):  Add NOTE_INSN_UNLIKELY_EXECUTED_CODE to
        list of notes that can be deleted.
        (create_basic_block_structure):  Add initialization for partition field.
        (rtl_can_merge_blocks):  Modify to test blocks for jumps that cross
        section boundaries.
        (try_redirect_by_replacing_jump):  Modify to not attempt on jumps that
        cross section boundaries.
        (commit_one_edge_insertion): Add code so newly created basic block
        ends up in correct (hot or cold) section.  Modify to disallow
        insertions before NOTE_INSN_UNLIKELY_EXECUTED_CODE notes.
        (rtl_verify_flow_info_1):  Add code to verify that no fall_thru edge
        crosses section boundaries.
        (cfg_layout_can_merge_blocks_p): Modify to test blocks for jumps that
        cross section boundaries.
        (force_nonfallthru_and_redirect): Modify to make sure new basic block
        ends up in correct section, with correct notes attached.
        * common.opt (freorder-blocks-and-partition):  Add new flag for this
        optimization.
        * dbxout.c (dbx_function_end):  Add code to make sure scope labels at
        the end of functions are written into the correct (hot or cold)
        section.
        (dbx_source_file): Add code so writing debug file information
        doesn't incorrectly change sections.
        * defaults.h (NORMAL_TEXT_SECTION_NAME): New constant macro, for use
        in partitioning hot/cold basic blocks into separate sections.
        (SECTION_FORMAT_STRING): New constant macro, for linux/i386 hot/cold
        section partitioning.
        (HAS_LONG_COND_BRANCH): New constant macro, indicating whether or not
        conditional branches can span all of memory.
        (HAS_LONG_UNCOND_BRANCH): New constant macro, indicationg whether or not
        unconditional branches can span all of memory.
        * final.c (scan_ahead_for_unlikely_executed_note):  New function.
        (final_scan_insn):  Add code to check for NOTE instruction indicating
        whether basic block belongs in hot or cold section, and to make sure
        the current basic block is being written to the appropriate section.
        Also added code to ensure that jump table basic blocks end up in the
        correct section.
        * flags.h (flag_reorder_blocks_and_partition):  New flag.
        * ifcvt.c (find_if_case_1):  Modify to not attempt if conversion if
        one of the branches has a jump that crosses between sections.
        (find_if_case_2): Likewise.
        (ifcvt): Modify to not attempt to mark loop exit edges after
        hot/cold partitioning has occurred.
        * opts.c (decode_options): Code to handle new flag,
        flag_reorder_blocks_and_partition; also to turn it off if
        flag_exceptions is on.
        (common_handle_option): Code to handle new flag,
        flag_reorder_blocks_and_partition.
        * output.h (unlikely_text_section): New extern function declaration.
        (in_unlikely_text_section): New extern function declaration.
        * passes.c (rest_of_handle_stack_regs):  Add
        flag_reorder_blocks_and_partition as an 'or' condition for calling
        reorder_basic_blocks.
        (rest_of_handle_reorder_blocks):  Add flag_reorder_blocks_and_partition
        as an 'or' condition for calling reorder_basic_blocks.
        (rest_of_compilation):  Add call to partition_hot_cold_basic_blocks.
        * print-rtl.c (print_rtx): Add code for handling new note,
        NOTE_INSN_UNLIKELY_EXECUTED_CODE
        * rtl.c  (NOTE_INSN_UNLIKELY_EXECUTED_CODE): New note insn (see below).
        (REG_CROSSING_JUMP): New kind of reg_note, to mark jumps that
        cross between section boundaries.
        * rtl.h (NOTE_INSN_UNLIKELY_EXECUTED_CODE):  New note instruction,
        indicating the basic block containing it belongs in the cold section.
        (REG_CROSSING_JUMP): New type of reg_note, to mark jumps that cross
        between hot and cold sections.
        * toplev.c (flag_reorder_blocks_and_partition):  Add code to
        initialize this flag, and to tie it to the command-line option
        freorder-blocks-and-partition.
        * varasm.c (cfglayout.h):  Add new include statement.
        (unlikely_section_label_printed):  New global variable, used for
        determining when to output section name labels for cold sections.
        (in_section):  Add in_unlikely_executed_text to enum data structure.
        (text_section):  Modify code to use SECTION_FORMAT_STRING and
        NORMAL_TEXT_SECTION_NAME macros.
        (unlikely_text_section):  New function.
        (in_unlikely_text_section):  New function.
        (function_section):  Add code to make sure beginning of function is
        written into correct section (hot or cold).
        (assemble_start_function):  Add code to make sure stuff is written to
        the correct section.
        (assemble_zeros):  Add in_unlikely_text_section as an 'or' condition
        to an if statement that was checking 'in_text_section'.
        (assemble_variable):  Add 'in_unlikely_text_section' as an 'or'
        condition to an if statement that was checking 'in_text_section'.
        (default_section_type_flags_1):  Add check: if in cold section
        flags = SECTION_CODE.
        * config/darwin.c (darwin_asm_named_section):  Modify to use
        SECTION_FORMAT_STRING if we are partitioning hot/cold blocks.
        * config/i386/i386.h (HAS_LONG_COND_BRANCH): Defined this macro
        specifically for the i386.
        (HAS_LONG_UNCOND_BRANCH):  Defined this macro specifically for the i386.
        * config/rs6000/darwin.h (UNLIKELY_EXECUTED_TEXT_SECTION_NAME): Change
        text string to something more informative.
        (NORMAL_TEXT_SECTION_NAME): Add new definition.
        (SECTION_FORMAT_STRING):  Add new definition.
        * config/rs6000/rs6000.c (rs6000_assemble_integer):  Add
        '!in_unlikely_text_section' as an 'and' condition to an if statement
        that was already checking '!in_text_section'.
        * config/rs6000/sysv4.h (HOT_TEXT_SECTION_NAME,NORMAL_TEXT_SECTION_NAME,
        UNLIKELY_EXECUTED_TEXT_SECTION_NAME,SECTION_FORMAT_STRING): Make
        sure these are properly defined for linux on ppc.
        * doc/invoke.texi  (freorder-blocks-and-partition): Add documentation
        for this new flag.
        * doc/rtl.texi (REG_CROSSING_JUMP):  Add documentation for new
        reg_note.
        * doc/tm.texi (NORMAL_TEXT_SECTION_NAME, SECTION_FORMAT_STRING,
        HAS_LONG_COND_BRANCH, HAS_LONG_UNCOND_BRANCH): Add documentation for
        these new macros.

From-SVN: r80564

configure.ac: Remove (unused) glibcpp_prefixdir.

* configure.ac: Remove (unused) glibcpp_prefixdir.
* configure: Regenerate.

From-SVN: r80556

configure.in: Rename to configure.ac.

(libobjc)
* configure.in: Rename to configure.ac.
* Makefile.in: Update to match.

(contrib)
* gcc_update (files_and_dependencies): libobjc/configure now
depends on configure.ac, not configure.in.

From-SVN: r80555

Makefile.in: Remove toolexecdir, glibcpp_toolexecdir (unused).

* Makefile.in: Remove toolexecdir, glibcpp_toolexecdir (unused).
Replace glibcpp_toolexeclibdir with toolexeclibdir.
* configure.in: Remove glibcpp_toolexecdir (unused).
Replace glibcpp_toolexeclibdir with toolexeclibdir.  Don't generate
config.h or stamp-h (unused).  Move one comment to the right place.
* configure: Regenerate.
* config.h.in: Remove (unused).

From-SVN: r80554

* config.h.in: Regenerate with autoheader.

From-SVN: r80553

Makefile.in: Remove (unused) gcc_version_trigger.

* Makefile.in: Remove (unused) gcc_version_trigger.
* configure.in: Remove (unused) glibcpp_builddir.  Don't AC_SUBST
gcc_version_trigger.
* configure: Regenerate.

From-SVN: r80552

configure.in: Switch to modern style for AC_INIT, AC_OUTPUT.

* configure.in: Switch to modern style for AC_INIT, AC_OUTPUT.
Sort file into sections.  Remove dnl where appropriate.  Fix
other style issues.
* configure: Regenerate.

From-SVN: r80551

Fix typo in Changelog.

From-SVN: r80550

configure.in: Replace old AC_PROG_CC hack with new one.

* configure.in: Replace old AC_PROG_CC hack with new one.
Define toplevel_srcdir in terms of srcdir, not top_srcdir (there
are no subdirectory output files, so this is fine).  Change prereq
to autoconf 2.59.
* aclocal.m4: Include ../config/no-executables.m4.
* configure: Regenerate with autoconf 2.59.

From-SVN: r80549

configure.in: Improve comments on gthread_cflags.

* configure.in: Improve comments on gthread_cflags.  Improve m4
quotation, and replace 'if test' with 'case', for --enable-objc-gc.
* configure: Regenerate.

From-SVN: r80548

configure.in: Move PACKAGE and VERSION settings up top.

* configure.in: Move PACKAGE and VERSION settings up top.  Remove
unused call to AC_PROG_LN_S.  Default RANLIB to ':'.  Remove
redundant checks for values of RANLIB, AR, INSTALL.
* configure: Regenerate.

From-SVN: r80547

configure.in: Clean up handling of --enable-version-specific-runtime-libs and related...

* configure.in: Clean up handling of
--enable-version-specific-runtime-libs and related variables;
replace 'if test' with 'case' where reasonable.  Fix comments.
Remove useless libstdcxx_interface.
* configure: Regenerate.

* configure.in: Use _GCC_TOPLEV_NONCANONICAL_TARGET.
Replace uses of target_alias with target_noncanonical.
* aclocal.m4: Include ../config/acx.m4.
* configure: Regenerate.
* Makefile.in: Replace uses of target_alias with target_noncanonical.
Fix copyright statement.

* configure.in: Hand-inline bulky, confusing macros from
aclocal.m4.  Replace references to "GNU Objective C" with "GCC".
Update copyright notice.  Remove stuff for automake, which isn't
used in this directory.  Remove emacs local variables.
* aclocal.m4: Remove hand-inlined macros.  Update copyright notice.
* configure: Regenerate.

From-SVN: r80546

1.cc: Remove junk.

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

* testsuite/22_locale/messages/members/char/1.cc: Remove junk.
* testsuite/22_locale/messages/members/char/2.cc: Ditto.
* testsuite/22_locale/messages/members/char/3.cc: Ditto.
* testsuite/22_locale/num_get/get/char/1.cc: Ditto.
* testsuite/22_locale/num_get/get/char/2.cc: Ditto.
* testsuite/22_locale/num_get/get/char/3.cc: Ditto.
* testsuite/22_locale/num_get/get/wchar_t/1.cc: Ditto.
* testsuite/22_locale/num_get/get/wchar_t/2.cc: Ditto.
* testsuite/22_locale/num_get/get/wchar_t/3.cc: Ditto.
* testsuite/22_locale/num_put/put/char/1.cc: Ditto.
* testsuite/22_locale/num_put/put/char/2.cc: Ditto.
* testsuite/22_locale/num_put/put/char/3.cc: Ditto.
* testsuite/22_locale/num_put/put/wchar_t/1.cc: Ditto.
* testsuite/22_locale/num_put/put/wchar_t/2.cc: Ditto.
* testsuite/22_locale/num_put/put/wchar_t/3.cc: Ditto.
* testsuite/22_locale/numpunct/members/char/1.cc: Ditto.
* testsuite/22_locale/numpunct/members/wchar_t/1.cc: Ditto.

From-SVN: r80545

configure.in: Update to autoconf 2.59; clean up slightly.

2004-04-09  Nathanael Nerode  <neroden@gcc.gnu.org>

* configure.in: Update to autoconf 2.59; clean up slightly.
* acinclude.m4: Update to autoconf 2.59.
* aclocal.m4: Regenerate.
* Makefile.in: Regenerate.
* configure: Regenerate.

From-SVN: r80544

re PR bootstrap/14871 (Non-unified-tree ordinary cross-compiler builds default to stupid names for tools)

PR bootstrap/14871
* Makefile.tpl: If we don't have built-in-tree target tools,
use the ones found by configure rather than hacking around with
program_transform_name.
* configure.in: Give Makefile.tpl the information necessary
to do that.
* Makefile.in: Regenerate.
* configure: Regenerate.

From-SVN: r80542

VMThrowable.java (getStackTrace): Pass trace as-is to modified lookup().

* java/lang/VMThrowable.java (getStackTrace): Pass trace as-is to
modified lookup().
* gnu/gcj/runtime/NameFinder.java (lookup): Change to take in a
StackTraceElement directly.
(newElement): New native helper method to create StackTraceElement
bypassing Java access control.
(createStackTraceElement): Use newElement() instead of directly
calling StackTraceElement's constructor.
* gnu/gcj/runtime/natNameFinder.cc (newElement): New method.

From-SVN: r80541

function.c (gen_mem_addressof): When changing the RTX from a REG to a MEM...

* function.c (gen_mem_addressof): When changing the RTX from a REG
to a MEM, clear MEM_VOLATILE_P which was formerly REG_USERVAR_P.

From-SVN: r80540

re PR target/14888 (ICE with -O2 -ffast-math in final_scan_insn())

PR target/14888
* config/i386/i386.md (truncdfsf2_noop, truncxfsf2_noop,
truncxfdf2_noop): Provide dummy "fmov" implementations.

* g++.dg/opt/pr14888.C: New test case.

From-SVN: r80539

* gcc.c (default_compilers): Add missing initializers.

From-SVN: r80538

host-darwin.c (darwin_rs6000_gt_pch_use_address): Return 1 if file was successfully mapped.

* config/rs6000/host-darwin.c (darwin_rs6000_gt_pch_use_address):
Return 1 if file was successfully mapped.

From-SVN: r80537

Daily bump.

From-SVN: r80534

re PR pch/13419 (Clarification of invoke.texi requested)

2004-04-08  Geoffrey Keating  <geoffk@apple.com>

PR pch/13419
PR pch/14137
Radar #: 3315288
* doc/invoke.texi (Precompiled Headers): Suggest -o
to put an output file in a particular place.  Be more detailed
about which options affect PCH validity and which options
might not work.
* c-pch.c (pch_matching): New.
(MATCH_SIZE): New.
(struct c_pch_validity): New field 'match'.
(pch_init): Handle pch_matching.
(c_common_valid_pch): Check pch_matching.

Index: testsuite/ChangeLog
2004-04-08  Geoffrey Keating  <geoffk@apple.com>

* gcc.dg/pch/valid-1.c, gcc.dg/pch/valid-2.c, gcc.dg/pch/valid-3.c,
gcc.dg/pch/valid-4.c, gcc.dg/pch/valid-5.c, gcc.dg/pch/valid-6.c,
gcc.dg/pch/valid-1.hs, gcc.dg/pch/valid-2.hs, gcc.dg/pch/valid-3.hs,
gcc.dg/pch/valid-4.hs, gcc.dg/pch/valid-5.hs, gcc.dg/pch/valid-6.hs:
New tests.

From-SVN: r80531

* explow.c: Fix typo defining default of PROMOTE_FUNCTION_MODE.

From-SVN: r80530

invoke.texi (Precompiled Headers): Warn about known problems.

* doc/invoke.texi (Precompiled Headers): Warn about known
problems.

From-SVN: r80529

re PR c++/14808 ([win32] Undefined results with virtual base classes)

PR c++/14808
* defaults.h (TARGET_USE_LOCAL_THUNK_ALIAS_P): New macro. Default
to 1 if ASM_OUTPUT_DEF is defined.
* doc/tm.texi (TARGET_USE_LOCAL_THUNK_ALIAS_P): Document.
* config/i386/cygming.h (TARGET_USE_LOCAL_THUNK_ALIAS_P): Define.
Set to non-zero iff not a one_only decl.

* cp/method.c (use_thunk): Test TARGET_USE_LOCAL_THUNK_ALIAS_P rather
than ASM_OUTPUT_DEF.

From-SVN: r80525

arm.h (CLASS_LIKELY_SPILLED_P): Define.

* arm.h (CLASS_LIKELY_SPILLED_P): Define.
testsuite
* gcc.dg/spill-1.c: New test.

From-SVN: r80519

explow.c (promote_mode): Use PROMOTE_FUNCTION_MODE instead of PROMOTE_FOR_CALL_ONLY.

* explow.c (promote_mode): Use PROMOTE_FUNCTION_MODE instead of
PROMOTE_FOR_CALL_ONLY.
* config/arm/arm-protos.h (arm_function_value): Declare.
* config/arm/arm.h (TARGET_PROMOTE_FUNCTION_ARGS): Define.
(TARGET_PROMOTE_PROTOTYPES): Return false.
(arm_function_value): New function.
* config/arm/arm.h (PROMOTE_FUNCTION_MODE): Define.
(FUNCTION_VALUE): Call arm_function_value.
* config/cris/cris.h (PROMOTE_MODE): Rename ...
(PROMOTE_FUNCTION_MODE): ... to this.
(PROMOTE_FOR_CALL_ONLY): Remove.
* config/mmix/mmix.h: Likewise.
* config/s390/s390.h: Likewise.
* config/sparc/sparc.h: Likewise.
* config/sparc/sparc.c: Update comments about PROMOTE_MODE.
* doc/tm.texi (PROMOTE_FUNCTION_MODE): Document.
(TARGET_PROMOTE_FUNCTION_MODE, TARGET_PROMOTE_FUNCTION_RETURN): Update.
(PROMOTE_FOR_CALL_ONLY): Remove.

From-SVN: r80518

re PR ada/14538 (*-rtems broken for gnat)

2004-04-08  Joel Sherrill <joel@oarcorp.com>

PR ada/14538
* ada/5rosinte.adb: Remove fake mprotect() body.
* ada/5rosinte.ads: Add SA_SIGINFO.
* ada/5rtpopsp.adb: Rewrite to use new interface.
* ada/init.c: Reorder so the simple single OS conditional __rtems__
is tested before more complex ones which mix UNIX and embedded
systems in the conditional.

From-SVN: r80517

re PR ada/14665 (gnatmake invokes wrong cross tools)

2004-04-08  Joel Sherrill  <joel@oarcorp.com>

PR ada/14665
* ada/osint.adb (Find_Program_Name): Rework to properly handle
filenames which end in .exe or have versioning suffixes like VMS.

From-SVN: r80514

re PR target/10129 ([3.4 only] Ada bootstrap fails on PPC-Darwin - invalid assembler emitted - PIC related)

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

        PR target/10129
        * config/darwin.c (darwin_encode_section_info): When the decl has
        a DECL_INITIAL, it is only defined also when it is not a common.

From-SVN: r80512

darwin.c (darwin_encode_section_info): When the decl has a DECL_INITIAL, it is only defined also when it is not a common.

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

        * config/darwin.c (darwin_encode_section_info): When the decl has
        a DECL_INITIAL, it is only defined also when it is not a common.

From-SVN: r80511

builtins.c (fold_builtin_isascii, [...]): New.

* builtins.c (fold_builtin_isascii, fold_builtin_toascii): New.
(fold_builtin): Handle BUILT_IN_ISASCII and BUILT_IN_TOASCII.

testsuite:
* gcc.dg/torture/builtin-ctype-2.c: New test.

From-SVN: r80508

decl2.c (mark_used): Don't segfault if cfun != NULL but current_function_decl == NULL.

* decl2.c (mark_used): Don't segfault if cfun != NULL but
current_function_decl == NULL.

From-SVN: r80506

[multiple changes]

2004-04-08  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

* trans.c (tree_transform): Shortcut returning error_mark_node for
statements in annotate_only_mode.
(tree_transform, case N_Label, case N_Return_Statement,
N_Goto_Statement): Make statement tree instead of generating code.
(tree_transform, case N_Assignment_Statement): No longer check
type_annotate_only.
(gnat_expand_stmt, case GOTO_STMT, case LABEL_STMT, case
RETURN_STMT): New.
(first_nondeleted_insn, build_block_stmt, make_expr_stmt_from_rtl):
New fcns.
(gnat_to_gnu): Collect any RTL generated and deal with it.
(tree_transform, case N_And_Then): Refine when have non-null RTL_EXPR.
(tree_transform case N_If_Statement): Rewrite to make IF_STMT.
(gnat_expand_stmt, case BLOCK_STMT, IF_STMT): New cases.

* ada-tree.def (GOTO_STMT, LABEL_STMT, RETURN_STMT): New tree nodes.

* ada-tree.def (EXPR_STMT): Fix typo in name.
(BLOCK_STMT, IF_STMT): New nodes.

* ada-tree.h (GOTO_STMT_LABEL, LABEL_STMT_LABEL,
LABEL_STMT_FIRST_IN_EH): New macros.
(RETURN_STMT_EXPR): Likewise.

* ada-tree.h: (BLOCK_STMT_LIST, IF_STMT_COND, IF_STMT_TRUE,
IF_STMT_ELSEIF, IF_STMT_ELSE): New macros.

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

* atree.ads: Correct documentation on extended nodes.

* link.c: Set run_path_option for FreeBSD.

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

* mlib-prj.adb (Build_Library.Check_Libs): On OpenVMS, if dec.ali is
one of the ALI file, do not link with DEC lib.

* par.adb Remove the last two characters ("%s" or "%b") when checking
if a language defined unit may be recompiled.

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

* sem_ch4.adb (Remove_Abstract_Operations): Improve error message when
removal of abstract operation leaves no possible interpretation for
expression.

* sem_eval.adb (Eval_Qualified_Expression): Use
Set_Raises_Constraint_Error on node when needed, so that it does not
get optimized away by subsequent optimizations.

* sem_res.adb (Resolve_Intrinsic_Operator): Save interpretations of
operands even when they are not wrapped in a type conversion.

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

* sem_prag.adb (Set_Exported): Warn about making static as result of
export only when the export is coming from source. This may be not
be true e.g. on VMS where we expand export pragmas for exception codes
together with imported or exported exceptions, and we don't want the
user to be warned about something he didn't write.

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

* sem_util.adb (Note_Possible_Modification): Reorganize to remove code
duplication between normal entities and those declared as renamings.
No functional change.

* s-fileio.ads (Form): Remove pragma Inline, as we cannot currently
inline functions returning an unconstrained result.

2004-04-08  Eric Botcazou  <ebotcazou@act-europe.fr>

* utils.c (type_for_mode): Handle BLKmode and VOIDmode properly, to
conform to what other front-ends do.

2004-04-08  Doug Rupp  <rupp@gnat.com>

* 5vml-tgt.adb: Use Gas instead of VMS Macro to build auto init shared
libraries.

From-SVN: r80504

ia64.c (ia64_encode_section_info): Don't prod global register variables.

2004-04-07  H.J. Lu  <hongjiu.lu@intel.com>

* config/ia64/ia64.c (ia64_encode_section_info): Don't prod
global register variables.

From-SVN: r80501

Daily bump.

From-SVN: r80496

time_members.cc (__timepunct<char>::_M_initialize_timepunct, [...]): the correct _M_amonth07 in the "C" locale is "Jul" and L"Jul", respectively.

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

* config/locale/generic/time_members.cc
(__timepunct<char>::_M_initialize_timepunct,
__timepunct<wchar_t>::_M_initialize_timepunct): the correct
_M_amonth07 in the "C" locale is "Jul" and L"Jul", respectively.
* config/locale/gnu/time_members.cc
(__timepunct<char>::_M_initialize_timepunct,
__timepunct<wchar_t>::_M_initialize_timepunct): Ditto.
* testsuite/22_locale/time_get/get_monthname/char/4.cc: New.
* testsuite/22_locale/time_get/get_monthname/wchar_t/4.cc: New.

* testsuite/22_locale/time_get/date_order/char/1.cc: Remove junk.
* testsuite/22_locale/time_get/date_order/wchar_t/1.cc: Ditto.
* testsuite/22_locale/time_get/get_date/char/1.cc: Ditto.
* testsuite/22_locale/time_get/get_date/char/2.cc: Ditto.
* testsuite/22_locale/time_get/get_date/wchar_t/1.cc: Ditto.
* testsuite/22_locale/time_get/get_date/wchar_t/2.cc: Ditto.
* testsuite/22_locale/time_get/get_monthname/char/1.cc: Ditto.
* testsuite/22_locale/time_get/get_monthname/char/2.cc: Ditto.
* testsuite/22_locale/time_get/get_monthname/wchar_t/1.cc: Ditto.
* testsuite/22_locale/time_get/get_monthname/wchar_t/2.cc: Ditto.
* testsuite/22_locale/time_get/get_time/char/1.cc: Ditto.
* testsuite/22_locale/time_get/get_time/char/2.cc: Ditto.
* testsuite/22_locale/time_get/get_time/wchar_t/1.cc: Ditto.
* testsuite/22_locale/time_get/get_time/wchar_t/2.cc: Ditto.
* testsuite/22_locale/time_get/get_weekday/char/1.cc: Ditto.
* testsuite/22_locale/time_get/get_weekday/char/2.cc: Ditto.
* testsuite/22_locale/time_get/get_weekday/wchar_t/1.cc: Ditto.
* testsuite/22_locale/time_get/get_weekday/wchar_t/2.cc: Ditto.
* testsuite/22_locale/time_get/get_year/char/1.cc: Ditto.
* testsuite/22_locale/time_get/get_year/wchar_t/1.cc: Ditto.
* testsuite/22_locale/time_put/put/char/1.cc: Ditto.
* testsuite/22_locale/time_put/put/char/2.cc: Ditto.
* testsuite/22_locale/time_put/put/char/3.cc: Ditto.
* testsuite/22_locale/time_put/put/char/4.cc: Ditto.
* testsuite/22_locale/time_put/put/char/5.cc: Ditto.
* testsuite/22_locale/time_put/put/char/6.cc: Ditto.
* testsuite/22_locale/time_put/put/char/7.cc: Ditto.
* testsuite/22_locale/time_put/put/char/8.cc: Ditto.
* testsuite/22_locale/time_put/put/wchar_t/1.cc: Ditto.
* testsuite/22_locale/time_put/put/wchar_t/2.cc: Ditto.
* testsuite/22_locale/time_put/put/wchar_t/3.cc: Ditto.
* testsuite/22_locale/time_put/put/wchar_t/4.cc: Ditto.
* testsuite/22_locale/time_put/put/wchar_t/5.cc: Ditto.
* testsuite/22_locale/time_put/put/wchar_t/6.cc: Ditto.
* testsuite/22_locale/time_put/put/wchar_t/7.cc: Ditto.
* testsuite/22_locale/time_put/put/wchar_t/8.cc: Ditto.

* testsuite/22_locale/time_put/put/char/9780-1.cc: Fix typos.

From-SVN: r80493

* gcc.dg/pch/pch.exp: Add largefile test.

From-SVN: r80492

inclhack.def (rpc_xdr_lvalue_cast_a, [...]): New fixes.

* fixinc/inclhack.def (rpc_xdr_lvalue_cast_a,
rpc_xdr_lvalue_cast_b): New fixes.
* fixinc/fixincl.x: Regenerate.
* fixinc/tests/base/rpc/xdr.h: Add new tests.

From-SVN: r80490

rs6000.c (processor_target_table): Add MASK_MFCRF to power4 and power5 entries.

        * config/rs6000/rs6000.c (processor_target_table): Add MASK_MFCRF
        to power4 and power5 entries.

From-SVN: r80486

Index: ChangeLog
2004-04-06  Geoffrey Keating  <geoffk@apple.com>

* c-common.h (pending_lang_change): Mark for PCH.

Index: testsuite/ChangeLog
2004-04-06  Geoffrey Keating  <geoffk@apple.com>

* g++.dg/pch/externc-1.Hs: New.
* g++.dg/pch/externc-1.C: New.

From-SVN: r80484

gcc.c (main): Move 'break' in main loops (on an error) to wait until error processing has...

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

        * gcc.c (main): Move 'break' in main loops (on an error)
        to wait until error processing has occurred.

From-SVN: r80483

gcc_release (build_sources): Do not use "-r" and "-D" at the same time with "cvs export".

* gcc_release (build_sources): Do not use "-r" and "-D" at the
same time with "cvs export".

From-SVN: r80480

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

* config/locale/gnu/monetary_members.cc
(moneypunct<wchar_t>::_M_initialize_moneypunct): Prefer
_NL_MONETARY_DECIMAL_POINT_WC, _NL_MONETARY_THOUSANDS_SEP_WC,
and __MON_GROUPING to _NL_NUMERIC_DECIMAL_POINT_WC,
_NL_NUMERIC_THOUSANDS_SEP_WC, and GROUPING.
* config/locale/gnu/numeric_members.cc
(numpunct<char>::_M_initialize_numpunct): Prefer DECIMAL_POINT
and THOUSANDS_SEP to the deprecated RADIXCHAR and THOUSEP.

From-SVN: r80477

Fixups for EDG front end.

2004-04-06  Benjamin Kosnik  <bkoz@redhat.com>

Fixups for EDG front end.
* include/ext/rope: Instead of non-existent function
_Data_allocate, use allocator's allocate. Use this.
(namespace _Rope_constants): Move _S_max_rope_depth, and _Tag
enumerations from _Rope_RopeRep here.
* include/ext/ropeimpl.h: Same.
* src/ext-inst.cc (_S_min_len): Fix up definition.

* config/locale/gnu/ctype_members.cc: Qualify base class members
with this.
* config/locale/generic/ctype_members.cc: Same.
* config/locale/gnu/messages_members.h: Same.
* config/locale/generic/messages_members.h: Same.
* src/ctype.cc: Same.
* include/bits/codecvt.h: Same.

* include/bits/boost_concept_check.h: Declare.
(__error_type_must_be_an_unsigned_integer_type): Remove this.
(__error_type_must_be_an_integer_type): Remove this.
(__error_type_must_be_a_signed_integer_type): Remove this.

* config/io/basic_file_stdio.cc (__basic_file::sys_open): Remove cast.

* libsupc++/eh_alloc.cc (__cxa_free_exception): Add exception
specification to definition.
(__cxa_allocate_exception): Same.
* libsupc++/eh_catch.cc (__cxa_begin_catch): Same.
* libsupc++/eh_globals.cc (__cxa_get_globals_fast): Same.
(__cxa_get_globals): Same.

* libsupc++/del_op.cc: Add comment about freestanding.

From-SVN: r80475

re PR bootstrap/14760 (A bug in configure{,.in} prevents using both --program-suffix and --program-prefix)

PR bootstrap/14760
* configure.in: When computing baseargs, strip *all* copies of
offending options.  Also, don't match/substitute the trailing space,
so that this actually works when two similar options are separated by
only one space.
* configure: Regenerate.

From-SVN: r80474

config.gcc: Stop changing enable_threads midstream.

* config.gcc: Stop changing enable_threads midstream.
Replace uses of enable_threads_flag with enable_threads.
* configure.ac: Replace uses of enable_threads_flag with
enable_threads.  Improve autoconf quotation in one place.
* configure: Regenerate.

From-SVN: r80473

struct-by-value-5a_main.c, [...]: New files.

* gcc.dg/compat/struct-by-value-5a_main.c,
gcc.dg/compat/struct-by-value-5b_main.c: New files.
* gcc.dg/compat/struct-by-value-5_main.c: Delete.
* gcc.dg/compat/struct-by-value-5a_x.c,
gcc.dg/compat/struct-by-value-5b_x.c: New, split out from
gcc.dg/compat/struct-by-value-5_x.c.
* gcc.dg/compat/struct-by-value-5a_y.c,
gcc.dg/compat/struct-by-value-5b_y.c: New, split out from
gcc.dg/compat/struct-by-value-5_y.c.

* gcc.dg/compat/struct-by-value-6a_main.c,
gcc.dg/compat/struct-by-value-6b_main.c: New files.
* gcc.dg/compat/struct-by-value-6_main.c: Delete.
* gcc.dg/compat/struct-by-value-6a_x.c,
gcc.dg/compat/struct-by-value-6b_x.c: New, split out from
gcc.dg/compat/struct-by-value-6_x.c.
* gcc.dg/compat/struct-by-value-6a_y.c,
gcc.dg/compat/struct-by-value-6b_y.c: New, split out from
gcc.dg/compat/struct-by-value-6_y.c.

* gcc.dg/compat/struct-by-value-7a_main.c,
gcc.dg/compat/struct-by-value-7b_main.c: New files.
* gcc.dg/compat/struct-by-value-7_main.c: Delete.
* gcc.dg/compat/struct-by-value-7a_x.c,
gcc.dg/compat/struct-by-value-7b_x.c: New, split out from
gcc.dg/compat/struct-by-value-7_x.c.
* gcc.dg/compat/struct-by-value-7a_y.c,
gcc.dg/compat/struct-by-value-7b_y.c: New, split out from
gcc.dg/compat/struct-by-value-7_y.c.

From-SVN: r80472

Daily bump.

From-SVN: r80469

i386-sse-8.c: Don't use -march=pentium3 on x86_64.

* gcc.dg/i386-sse-8.c: Don't use -march=pentium3 on x86_64.
* gcc.dg/i386-local.c: Expect %edi, not %eax register on x86_64.
* gcc.dg/20020103-1.c: Add -fno-asynchronous-unwind-tables to
options.

From-SVN: r80464

builtins.c: Implement support for sincos function.

2004-04-06  Uros Bizjak  <uros@kss-loka.si>

* builtins.c: Implement support for sincos function.
(expand_builtin_mathfn): Remove BUILT_IN_SIN{,F,L} and
BUILT_IN_COS{,F,L}.
(expand_builtin_mathfn_3): New function.
(expand_builtin): Expand BUILT_IN_SIN{,F,L} and
BUILT_IN_COS{,F,L} using expand_builtin_mathfn_3 if
flag_unsafe_math_optimization is set.

* optabs.h (enum optab_index): Add new OTI_sincos.
(sincos_optab): Define corresponding macro.

* optabs.c (init_optabs): Initialize sincos_optab.
(expand_twoval_unop): New function.

* genopinit.c (optabs): Implement sincos_optab using sincos?f3
patterns.

* reg-stack.c (subst_stack_regs_pat): Handle UNSPEC_SINCOS_COS
and UNSPEC_SINCOS_SIN.

* config/i386/i386.md (sincosdf3, sincossf3, *sincosextendsfdf3,
sincosxf3): New patterns to implement sincos, sincosf and sincosl
built-ins as inline x87 intrinsics. Define splits for
sindf2, sinsf2, *sinextendsfdf2, sinxf2, cosdf2,
cossf2, *cosextendsfdf2 and cosxf2 patterns from corresponding
sincos patterns.
(sindf2, sinsf2, sinxf2): Rename to *sindf2, *sinsf2, *sinxf2.
(cosdf2, cossf2, cosxf2): Rename to *cosdf2, *cossf2, *cosxf2.

(UNSPEC_SINCOS_SIN, UNPEC_SINCOS_COS): New unspecs to represent
x87's unspec insn.

* gcc.dg/builtins-36.c: New test.

From-SVN: r80463

re PR target/14467 (Compiling on Mac OS X 10.1.5 broken)

     PR 14467
     * config/darwin.h (LINK_COMMAND_SPEC): Use c++filt instead of c++filt3.

From-SVN: r80461

gcconfig.h (PREFETCH): Use __builtin_prefetch for gcc >= 3.0.

2004-04-06  H.J. Lu  <hongjiu.lu@intel.com>

* include/private/gcconfig.h (PREFETCH): Use __builtin_prefetch
for gcc >= 3.0.
(PREFETCH_FOR_WRITE): Likewise.

From-SVN: r80459

configure.in (powerpc-*-aix*): Remove target-libada from noconfigdirs.

        * configure.in (powerpc-*-aix*): Remove target-libada from noconfigdirs.
        (rs6000-*-aix*): Same.
        * configure: Regenerate.

From-SVN: r80458

* doc/install.texi: Update HP-UX 11 installation procedure.

From-SVN: r80457

* README.gcc: Remove obsolete contraint on testcases.

From-SVN: r80455

* doc/sourcebuild.texi: Remove obsolete contraint on testcases.

From-SVN: r80454

[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