re PR libfortran/17090 (Runtime I/O error)

2004-09-13  Bud Davis  <bdavis9659@comcast.net>

        PR fortran/17090

        * io/list_read.c (list_formatted_read): Handle trailing spaces
        at end of line.

2004-09-13  Bud Davis  <bdavis9659@comcast.net>

        PR fortran/17090
        * gfortran.dg/pr17090.f90: New test.

From-SVN: r87474

Makefile.in (predict.o): Depend on tree-scalar-evolution.h

* Makefile.in (predict.o): Depend on tree-scalar-evolution.h
* predict.c: Include tree-scalar-evolution.h and cfgloop.h
(predict_loops): Use number_of_iterations_exit to predict
number of iterations on trees.

From-SVN: r87473

Had wrong date on my the entry.

From-SVN: r87469

Fix PR 17408 and PR 17409.

From-SVN: r87468

re PR c++/16716 (ICE in cp_parser_parse_and_diagnose_invalid_type_name)

PR c++/16716
* parser.c (cp_parser_parse_and_diagnose_invalid_type_name):
Robustify.

PR c++/17327
* pt.c (unify): Add ENUMERAL_TYPE case.  Replace sorry with
gcc_unreacable.

PR c++/16716
* g++.dg/parse/crash17.C: New test.

PR c++/17327
* g++.dg/template/enum3.C: New test.

From-SVN: r87467

Daily bump.

From-SVN: r87465

arm.c (arm_expand_prologue): Make args_to_push a HOST_WIDE_INT.

* config/arm/arm.c (arm_expand_prologue): Make args_to_push a
HOST_WIDE_INT.

[[Split portion of a mixed commit.]]

From-SVN: r87459.2

fold-const.c (fold_checksum_tree): Ignore TYPE_CACHED_VALUES.

* fold-const.c (fold_checksum_tree): Ignore TYPE_CACHED_VALUES.
Only use TYPE_BINFO for aggregates.

From-SVN: r87457

expmed.c (synth_mult): Initialize latency.

* expmed.c (synth_mult): Initialize latency.  Check cost before
checking ops count.

From-SVN: r87456

New code to analyze file level static variables and to determine if...

New code to analyze file level static variables and to determine if
they escape and also code to use this information to prune clobber
lists.

From-SVN: r87455

re PR libstdc++/11722 ([3.4 only] Unbuffered filebuf::sgetn is slow)

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

PR libstdc++/11722
* include/std/std_fstream.h (xsgetn): Declare only.
* include/bits/fstream.tcc (xsgetn): Define, optimize for the
always_noconv() case: when __n > __buflen, copy the available
buffer and issue a direct read.
* testsuite/performance/27_io/filebuf_sgetn_unbuf.cc: New.

* include/bits/fstream.tcc (xsputn): Minor tweak, reorder a
conditional.

From-SVN: r87453

libstdc++.exp: Use gcc wrapper.exp and call libstdc++_maybe_build_wrapper instead of using...

* testsuite/lib/libstdc++.exp: Use gcc wrapper.exp and call
libstdc++_maybe_build_wrapper instead of using local code.

From-SVN: r87452

gcc-defs.exp: Load wrapper.exp.

* lib/gcc-defs.exp: Load wrapper.exp.
* lib/g++.exp (g++_init): Call g++_maybe_build_wrapper instead of
using local code.
* lib/gcc.exp (gcc_init): Similar.
* lib/gfortran.exp (gfortran_init): Similar.
* lib/objc.exp (objc_init): Similar.
* lib/treelang.exp (treelang_init): Similar.
* lib/wrapper.exp: New file with build_wrapper call machinery in
${tool}_maybe_build_wrapper.

From-SVN: r87451

c-decl.c (grokdeclarator): Correct comments about where storage class specifiers are rejected by grammar...

* c-decl.c (grokdeclarator): Correct comments about where storage
class specifiers are rejected by grammar and add corresponding
asserts.  Diagnose typedefs and parameters declared inline.
Change warning for inline main to a pedwarn.  Only diagnose inline
main if hosted.
(declspecs_add_scspec): Allow duplicate "inline".

testsuite:
* gcc.dg/declspec-7.c: Don't expect diagnostic for duplicate
"inline".
* gcc.dg/declspec-11.c: Update expected messages.
* gcc.dg/inline-6.c, gcc.dg/inline-7.c, gcc.dg/inline-8.c,
gcc.dg/inline-9.c, gcc.dg/inline-10.c, gcc.dg/inline-11.c,
gcc.dg/inline-12.c: New tests.

From-SVN: r87450

pr17400.C: New testcase.

2004-09-13  Andrew MacLeod  <amacleod@redhat.com>

* g++.dg/tree-ssa/pr17400.C: New testcase.

From-SVN: r87449

ia64.c (ia64_scalar_mode_supported_p): New.

* config/ia64/ia64.c (ia64_scalar_mode_supported_p): New.
(TARGET_SCALAR_MODE_SUPPORTED_P): New.

From-SVN: r87448

re PR tree-optimization/17436 (Huge memory use regression)

        PR 17436
        * tree.h (TYPE_CONTAINS_PLACEHOLDER_INTERNAL): New.
        (tree_type): Replace spare with contains_placeholder_bits.
        (type_contains_placeholder_1): Rename from type_contains_placeholder_p,
        make static.  Remove seen_types list.
        (type_contains_placeholder_p): New.

From-SVN: r87447

SB-1 specific MIPS vector instructions.

* config/mips/mips.c (CODE_FOR_mips_sqrt_ps): New.
(sb1_bdesc, bdesc_map, bdesc_arrays): New.
(mips_expand_builtin): Add SB-1 support.  Use bdesc_map and
bdesc_arrays instead of mips_bdesc.
(mips_init_builtins): Likewise.
* config/mips/mips.h (TARGET_SB1): New.
(HAVE_SQRT_P): Delete.
* config/mips/mips.md (divide_condition): Support V2SF.
(sqrt_condition, recip_condition): New.
(div<mode>3): Use ANYF instead of SCALARF.
(*div<mode>3): Use ANYF instead of SCALARF.  Use UNITMODE instead of
MODE.
(*recip<mode>3, *rsqrt<mode>a, *rsqrt<mode>b): Use recip_condition
instead of ISA_HAS_FP4.  Use ANYF instead of SCALARF.  Use UNITMODE
instead of MODE.
(sqrt<mode>2): Use sqrt_condition instead of HAVE_SQRT_P.  Use ANYF
instead of SCALARF.  Use UNITMODE instead of MODE.
* gcc.target/mips/sb1-1.c: New testcase.

From-SVN: r87446

* config.in: Regenerate after removal of libbanshee.

From-SVN: r87444

re PR tree-optimization/17400 (out of SSA corruption)

2004-09-13  Andrew MacLeod  <amacleod@redhat.com>

PR tree-optimization/17400
* tree-ssa-copyrename.c (copy_rename_partition_coalesce): Don't
coalesce partitions when one occurs in an abnormal PHI.

From-SVN: r87443

darwin.h (ASM_OUTPUT_COMMON): Change variable size's name to _new_size.

2004-09-13  Andrew Pinski  <apinski@apple.com>

        * config/rs6000/darwin.h (ASM_OUTPUT_COMMON): Change variable size's
        name to _new_size.

From-SVN: r87442

[multiple changes]

2004-09-09  Vincent Celier  <celier@gnat.com>

* a-direct.ads: Add pragma Ada_05
(Directory_Entry_Type): Give default value to component Kind to avoid
not initialized warnings.

* a-direct.adb (Current_Directory): Remove directory separator at the
end.
(Delete_Directory, Delete_Tree): Raise Name_Error if Directory is not
an existing directory.
(Fetch_Next_Entry): Give default value to variable Kind to avoid warning
(Size (String)): Function C_Size returns Long_Integer, not File_Size.
Convert the result to File_Size.

* prj.ads: (Project_Error): New exception

* prj-attr.adb: Except in procedure Initialize, Fail comes from
Prj.Com, not from Osint.
(Attrs, Package_Attributes): Tables moved to private part of spec
(Add_Attribute, Add_Unknown_Package): Moved to new child package
Prj.Attr.PM.
(Register_New_Package (Name, Attributes), Register_New_Attribute): Raise
Prj.Project_Error after call to Fail.
(Register_New_Package (Name, Id)): Set Id to Empty_Package after calling
Fail. Check that package name is not already in use.

* prj-attr.ads: Comment updates to indicate that all subprograms may be
used by tools, not only by the project manager, and to indicate that
exception Prj.Prj_Error may be raised in case of problem.
(Add_Unknown_Package, Add_Attribute): Moved to new child package
Prj.Attr.PM.
(Attrs, Package_Attributes): Table instantiations moved from the body to
the private part to be accessible from Prj.Attr.PM body.

* prj-dect.adb (Parse_Package_Declaration): Call Add_Unknown_Package
from new package Prj.Attr.PM.
(Parse_Attribute_Declaration): Call Add_Attribute from new package
Prj.Attr.PM.

* Makefile.in: Add prj-attr-pm.o to gnatmake object list

* gnatbind.adb (Gnatbind): Correct warning message (Elaboration_Check
instead of Elaboration_Checks).

* a-calend.adb: Minor reformatting

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

* gigi.h (maybe_pad_type): New declaration.
(create_subprog_type): New arg RETURNS_BY_TARGET_PTR.

* ada-tree.h: (TYPE_RETURNS_BY_TARGET_PTR_P): New macro.

* cuintp.c: Convert to use buildN.

* decl.c (maybe_pad_type): No longer static.
(gnat_to_gnu_entity, case E_Function): Handle case of returning by
target pointer.
Convert to use buildN.

* trans.c (call_to_gnu): Add arg GNU_TARGET; support
TYPE_RETURNS_BY_TARGET_PTR_P.  All callers changed.
(gnat_to_gnu, case N_Assignment_Statement): Call call_to_gnu if call on
RHS.
(gnat_to_gnu, case N_Return): Handle TYPE_RETURN_BY_TARGET_PTR_P.
(gnat_gimplify_expr, case ADDR_EXPR): New case.
Convert to use buildN.

* utils2.c (gnat_build_constructor): Also set TREE_INVARIANT and
TREE_READONLY for const.
Convert to use buildN.

* utils.c (create_subprog_type): New operand RETURNS_BY_TARGET_PTR.
(create_var_decl): Refine when TREE_STATIC is set.
Convert to use buildN.

2004-09-09  Gary Dismukes  <dismukes@gnat.com>

* gnat_ugn.texi: Delete text relating to checking of ali and object
consistency.

* a-except.adb (Rcheck_*): Add pragmas No_Return for each of these
routines.

2004-09-09  Jose Ruiz  <ruiz@act-europe.fr>

* gnat_ugn.texi: Add Detect_Blocking to the list of configuration
pragmas recognized by GNAT.

* gnat_rm.texi: Document pragma Detect_Blocking.

* s-solita.adb (Timed_Delay_T): When pragma Detect_Blocking is active,
raise Program_Error if called from a protected operation.

* s-taprob.adb (Lock): When pragma Detect_Blocking is active increase
the protected action nesting level.
(Lock_Read_Only): When pragma Detect_Blocking is active increase the
protected action nesting level.
(Unlock): When pragma Detect_Blocking is active decrease the protected
action nesting level.

* s-taskin.adb (Initialize_ATCB): Initialize to 0 the
Protected_Action_Nesting.

* s-taskin.ads: Adding the field Protected_Action_Nesting to the
Common_ATCB record. It contains the dynamic level of protected action
nesting for each task. It is needed for checking whether potentially
blocking operations are called from protected operations.
(Detect_Blocking): Adding a Boolean constant reflecting whether pragma
Detect_Blocking is active or not in the partition.

* s-tasren.adb (Call_Simple): When pragma Detect_Blocking is active,
raise Program_Error if called from a protected operation.
(Task_Entry_Call): When pragma Detect_Blocking is active, raise
Program_Error if called from a protected operation.
(Timed_Task_Entry_Call): When pragma Detect_Blocking is active, raise
Program_Error if called from a protected operation.

* s-tassta.adb (Abort_Tasks): When pragma Detect_Blocking is active,
raise Program_Error if called from a protected operation.

* s-tpoben.adb (Lock_Entries): When pragma Detect_Blocking is active,
raise Program_Error if called from a protected operation, and increase
the protected action nesting level.
(Lock_Read_Only_Entries): When pragma Detect_Blocking is active, raise
Program_Error if called from a protected operation, and increase the
protected action nesting level.
(Unlock_Entries): When pragma Detect_Blocking is active decrease the
protected action nesting level.

* s-tposen.adb (Lock_Entry): When pragma Detect_Blocking is active,
raise Program_Error if called from a protected operation, and increase
the protected action nesting level.
(Lock_Read_Only_Entry): When pragma Detect_Blocking is active, raise
Program_Error if called from a protected operation, and increase the
protected action nesting level.
(Protected_Single_Entry_Call): When pragma Detect_Blocking is active,
raise Program_Error if called from a protected operation.
(Timed_Protected_Single_Entry_Call): When pragma Detect_Blocking is
active, raise Program_Error if called from a protected operation.
(Unlock_Entry): When pragma Detect_Blocking is active decrease the
protected action nesting level.

* sem_util.adb (Check_Potentially_Blocking_Operation): Remove the
insertion of the statement raising Program_Error. The run time
contains the required machinery for handling that.

* sem_util.ads: Change comment associated to procedure
Check_Potentially_Blocking_Operation.
This procedure does not insert a call for raising the exception because
that is currently done by the run time.

* raise.h (__gnat_set_globals): Pass the detect_blocking parameter.

* init.c: Add the global variable __gl_detect_blocking that indicates
whether pragma Detect_Blocking is active (1) or not (0). Needed for
making the pragma available at run time.
(__gnat_set_globals): Pass and update the detect_blocking parameter.

* lib-writ.adb (Write_ALI): Set the DB flag in the ali file if
pragma Detect_Blocking is active.

* lib-writ.ads: Document the Detect_Blocking flag (DB) in ali files.

* ali.adb (Scan_ALI): Set the Detect_Blocking value to true if the flag
DB is found in the ali file. Any unit compiled with pragma
Detect_Blocking active forces its effect in the whole partition.

* a-retide.adb (Delay_Until): Raise Program_Error if pragma
Detect_Blocking is active and delay is called from a protected
operation.

* bindgen.adb (Gen_Adainit_Ada): When generating the call to
__gnat_set_globals, pass 1 as Detect_Blocking parameter if pragma
Detect_Blocking is active (0 otherwise).
(Gen_Adainit_C): When generating the call to __gnat_set_globals, pass 1
as Detect_Blocking parameter if pragma Detect_Blocking is active (0
otherwise).

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

* gnat_rm.texi: Rename GNAT.Perfect_Hash.Generators to
GNAT.Perfect_Hash_Generators, and remove the empty GNAT.Perfect_Hash
package.

* s-parint.ads, s-parint.adb (Get_RAS_Info): New subprogram.
(Register_Receiving_Stub): Add Subp_Info formal parameter.
Update API in placeholder implemetation of s-parint to reflect changes
in distribution runtime library.

* sem_ch3.adb (Expand_Derived_Record): Rename to
Expand_Record_Extension.

* sem_disp.adb (Check_Controlling_Formals): Improve error message for
primitive operations of potentially distributed object types that have
non-controlling anonymous access formals.

* sem_dist.ads, sem_dist.adb (Build_RAS_Primitive_Specification): New
subprogram.
New implementation of expansion for remote access-to-subprogram types,
based on the RACW infrastructure.
This version of sem_dist is compatible with PolyORB/DSA as well as
GLADE.

* sem_prag.adb (Analyze_Pragma, case Pragma_Asynchronous): For a pragma
Asynchrronous that applies to a remote access-to-subprogram type, mark
the underlying RACW type as asynchronous.

* link.c: FreeBSD uses GNU ld: set __gnat_objlist_file_supported and
 __gnat_using_gnu_linker to 1.

* Makefile.rtl, impunit.adb, g-perhas.ads, g-pehage.ads,
g-pehage.adb: Rename GNAT.Perfect_Hash.Generators to
GNAT.Perfect_Hash_Generators, and remove the empty
GNAT.Perfect_Hash package.

* atree.adb: Minor reformatting

* exp_ch3.adb (Expand_Derived_Record): Rename to
Expand_Record_Extension.
(Build_Record_Init_Proc.Build_Assignment): The default expression in
a component declaration must remain attached at that point in the
tree so New_Copy_Tree copies it if the enclosing record type is derived.
It is therefore necessary to take a copy of the expression when building
the corresponding assignment statement in the init proc.
As a side effect, in the case of a derived record type, we now see the
original expression, without any rewriting that could have occurred
during expansion of the ancestor type's init proc, and we do not need
to go back to Original_Node.

* exp_ch3.ads (Expand_Derived_Record): Rename to
Expand_Record_Extension.

* exp_dist.ads, exp_dist.adb (Underlying_RACW_Type): New subprogram.
Returns the RACW type used to implement a remote access-to-subprogram
type.
(Add_RAS_Proxy_And_Analyze, Build_Remote_Subprogram_Proxy_Type):
New subprograms. Used to create a proxy tagged object for a remote
subprogram. The proxy object is used as the designated object
for RAS values on the same partition (unless All_Calls_Remote applies).
(Build_Get_Unique_RP_Call): New subprogram. Build a call to
System.Partition_Interface.Get_Unique_Remote_Pointer.
(Add_RAS_Access_TSS, Add_RAS_Dereference_TSS):
Renamed from Add_RAS_*_Attribute.
(Add_Receiving_Stubs_To_Declarations): Generate a table of local
subprograms.
New implementation of expansion for remote access-to-subprogram types,
based on the RACW infrastructure.

* exp_dist.ads (Copy_Specification): Update comment to note that this
function can copy the specification from either a subprogram
specification or an access-to-subprogram type definition.

2004-09-09  Ed Schonberg  <schonberg@gnat.com>

* sem_type.adb (Disambiguate): Handle properly an accidental ambiguity
in an instance, between an explicit subprogram an one inherited from a
type derived from an actual.

* exp_ch6.adb (Expand_N_Subprogram_Body): If polling is enabled, do not
add a polling call if the subprogram is to be inlined by the back-end,
to avoid repeated calls with multiple inlinings.

* checks.adb (Apply_Alignment_Check): If the expression in the address
clause is a call whose name is not a static entity (e.g. a dispatching
call), treat as dynamic.

2004-09-09  Robert Dewar  <dewar@gnat.com>

* g-trasym.ads: Minor reformatting

* exp_ch3.adb (Component_Needs_Simple_Initialization): Don't except
packed arrays, since unused bits are expected to be zero for a
comparison.

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

* exp_pakd.ads: Fix an inacurracy and a couple of typos in the head
comment.

2004-09-09  Pascal Obry  <obry@gnat.com>

* mdll.ads, mdll.adb (Build_Dynamic_Library): New parameter Map_File to
enable map file generation. Add the right option to generate the map
file if Map_File is set to True.

* gnatdll.adb (Gen_Map_File): New variable.
(Syntax): Add info about new -m (Map_File) option.
(Parse_Command_Line): Add support for -m option.
(gnatdll): Pass Gen_Map_File to Build_Dynamic_Library calls.
Minor reformatting.

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

* gnatls.adb: Add a very verbose mode -V. Such mode is required by the
new gnatdist implementation.
Define a subpackage isolating the output routines specific to this
verbose mode.

2004-09-09  Joel Brobecker  <brobecker@gnat.com>

* Makefile.rtl: (GNATRTL_NONTASKING_OBJS): Add g-dynhta.

* gnat_ugn.texi (Main Subprograms): Fix typo. Deduced, not deducted.

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

* opt.adb (Set_Opt_Config_Switches): Use Ada_Version_Runtime to compile
internal unit.

* opt.ads: Add Ada_Version_Runtime constant used to decide which
version of the language is used to compile the run time.

2004-09-09  Arnaud Charlet  <charlet@act-europe.fr>

* sem_util.adb (Requires_Transient_Scope): Re-enable handling
of variable length temporaries for function return now that the
back-end and gigi support it.

From-SVN: r87435

fix spaces vs. tabs for scripts.

From-SVN: r87434

re PR inline-asm/6806 (gcc 3.0.4 ignoring clobbered registers in inline asm with -O1 or higher on i386)

        PR inline-asm/6806
        * cselib.c (cselib_invalidate_rtx): Export.  Remove unused args.
        (cselib_invalidate_rtx_note_stores): New.
        (cselib_record_sets, cselib_process_insn): Update to match.
        * cselib.h (cselib_invalidate_rtx): Declare.
        * postreload.c (reload_cse_simplify): Invalidate asm clobbers.

From-SVN: r87432

g77-dg.exp: Remove unused file.

* lib/g77-dg.exp: Remove unused file.
* lib/mike-g77.exp: Ditto.
* lib/g77.exp: Ditto.

From-SVN: r87425

Fix email

From-SVN: r87424

re PR tree-optimization/10528 (Unexpected loop un-optimization when removing a field of a class)

        PR tree-opt/10528
        * tree-inline.c (copy_body_r): Recompute bits for ADDR_EXPR,
        after copying its argument.

From-SVN: r87423

* g++.old-deja/g++.other/sizeof3.C: Fix abort declaration.

From-SVN: r87422

Daily bump.

From-SVN: r87416

c-common.c, [...]: Use %q, %< and %> for quoting in diagnostics.

* c-common.c, c-decl.c, c-lex.c, c-objc-common.c, c-opts.c,
c-parse.in, c-pragma.c, c-typeck.c: Use %q, %< and %> for quoting
in diagnostics.  Use %' for English apostrophes.
* c-tree.h (ATTRIBUTE_GCC_CDIAG): Define.
(pedwarn_c90, pedwarn_c99): Use it.
* c-decl.c (lookup_label): Quote label name in diagnostic.
* c-parse.in (yyprint): Use ' instead of ` for left quote.
* c-typeck.c (warn_for_assignment): Likewise.

testsuite:
* g++.dg/warn/Wswitch-1.C, g++.dg/warn/Wswitch-2.C,
gcc.dg/Wswitch-2.c, gcc.dg/Wswitch-enum.c, gcc.dg/Wswitch.c,
gcc.dg/declspec-9.c, gcc.dg/declspec-10.c, gcc.dg/declspec-11.c,
gcc.dg/m-un-2.c, gcc.dg/noreturn-1.c, gcc.dg/wtr-conversion-1.c:
Update expected messages.

From-SVN: r87413

asmreg-1.c (__syscall_getdents64): Adjust signedness declaration/use mismatch for dirp parameter.

* gcc.dg/asmreg-1.c (__syscall_getdents64): Adjust signedness
declaration/use mismatch for dirp parameter.

From-SVN: r87412

i386.c (x86_schedule): New global variable.

* i386.c (x86_schedule): New global variable.
(override_options): Disable scheduling when not supported.
* i386.h (x86_schedule): Declare.
(TARGET_SCHEDULE): New macro.

From-SVN: r87411

CompoundName.java (CompoundName): Don't check for separator in "flat" case.

* javax/naming/CompoundName.java (CompoundName): Don't check for
separator in "flat" case.

From-SVN: r87410

objc.exp (objc_target_compile): Look for libobjc-gnu.a also when -fgnu-runtime is passed.

2004-09-12  Andrew Pinski  <apinski@apple.com>

        * lib/objc.exp (objc_target_compile): Look for libobjc-gnu.a also when
        -fgnu-runtime is passed.

From-SVN: r87409

Test case for PR 16254.

From-SVN: r87408

re PR c++/16254 (ICE in lower_stmt, at gimple-low.c:205)

        PR c++/16254
        * fold-const.c (fold) <case CLEANUP_POINT_EXPR>: Remove.
        * tree.c, tree.h (has_cleanups): Remove.
cp/
        * semantics.c (maybe_cleanup_point_expr): Don't call fold.
        * typeck.c (condition_conversion): Likewise.

From-SVN: r87407

tree-ssa-loop-manip.c (split_loop_exit_edge): Handle non-ssaname arguments of the phi nodes correctly.

* tree-ssa-loop-manip.c (split_loop_exit_edge): Handle non-ssaname
arguments of the phi nodes correctly.

From-SVN: r87405

* ggc-common.c (cmp_statistics): Fix sorting.

From-SVN: r87404

re PR middle-end/16795 (PowerPC - Divide sequences by negative power of two could be more efficient)

        PR target/16795
        * expmed.c (expand_divmod): If cheap power of 2 divide is
        available, use it for negative constant as well.

From-SVN: r87403

darwin.h (ASM_OUTPUT_COMMON): Make sure we do not have a size of 0.

2004-09-12  Andrew Pinski  <apinski@apple.com>

        * darwin.h (ASM_OUTPUT_COMMON): Make sure we do not have a
        size of 0.

From-SVN: r87401

tree-chrec.c (initialize_scalar_evolutions_analyzer): Remove.

2004-09-12  Andrew Pinski  <apinski@apple.com>

        * tree-chrec.c (initialize_scalar_evolutions_analyzer): Remove.

From-SVN: r87400

fortran-torture.exp (add-ieee-options): Replace ieee-options; do the uplevel thing and update additional_flags directly.

        * lib/fortran-torture.exp (add-ieee-options): Replace ieee-options;
        do the uplevel thing and update additional_flags directly.
        * gfortran.fortran-torture/execute/intrinsic_fraction_exponent.x,
        gfortran.fortran-torture/execute/intrinsic_nearest.x,
        gfortran.fortran-torture/execute/intrinsic_set_exponent.x,
        gfortran.fortran-torture/execute/nan_inf_fmt.x: Update to match.

From-SVN: r87399

i386.c (ix86_split_ashldi): Special case op1 as one or minus one.

        * config/i386/i386.c (ix86_split_ashldi): Special case op1 as one
        or minus one.
        (ix86_split_ashrdi, ix86_split_lshrdi): Clean up conditions for
        post-reload, and scratch NULL.
        * config/i386/i386.md (testqi_1): Use FLAGS_REG name.
        (x86_shift_adj_2): Use ix86_expand_clear.
        (ashldi3): Remove CMOVE expansion difference.
        (ashldi3_1): Remove.
        (*ashldi3_1): Rename from *ashldi3_2.  Use reg_or_pm1_operand and
        add constraints for immediates.  New peephole for split-with-temp.
        Run splitter after peep2 pass.
        (ashrdi3, ashrdi3_1, ashrdi3_2): Similarly.
        (lshrdi3, lshrdi3_1, lshrdi3_2): Similarly.
        (setcc_2): Rename with *.
        * config/i386/predicates.md (reg_or_pm1_operand): New.
        (ashldi_input_operand): New.

From-SVN: r87398

print-rtl.c (print_decl_name): New.

        * print-rtl.c (print_decl_name): New.
        (print_mem_expr): Use it.

From-SVN: r87395

PR 17186, part deux

        PR 17186, part deux
        * except.c (sjlj_emit_function_exit): Fix logic locating
        sjlj_exit_after in final block.

From-SVN: r87394

configure.ac: Fixed AM_INIT_AUTOMAKE usage and replaces AM_CONFIG_HEADER by AC_CONFIG_FILES.

2004-09-12  Michael Koch  <konqueror@gmx.de>

* libltdl/configure.ac: Fixed AM_INIT_AUTOMAKE usage and replaces
AM_CONFIG_HEADER by AC_CONFIG_FILES.
* libltdl/Makefile.in, libltdl/aclocal.m4, libltdl/configure:
Regenerate.

From-SVN: r87393

* g++.dg/parse/break-in-for.C: Fix for -ansi -pedantic-errors.

From-SVN: r87387

common.opt: Remove flags -fmove-all-movables and -freduce-all-givs.

2004-09-12  Toon Moene  <toon@moene.indiv.nluug.nl>

* common.opt: Remove flags -fmove-all-movables and
-freduce-all-givs.
* loop-invariant.c (find_invariants_to_move):
Remove all uses of flag_move_all_movables.
* loop.c (move_movables): Remove all uses of
flag_move_all_movables.
(strength_reduce): Remove all uses of
flag_reduce_all_givs.
* doc/invoke.texi: Remove documentation of flags
-fremove-all-movables and -freduce-all-givs.

From-SVN: r87386

pt.c (cur_stmt_expr): Move from tsubst_expr.

        * pt.c (cur_stmt_expr): Move from tsubst_expr.
        (tsubst_expr) <case STMT_EXPR>: Move ...
        (tsubst_copy_and_build): ... here.

From-SVN: r87385

Daily bump.

From-SVN: r87380

re PR middle-end/17411 (ICE in immed_double_const)

PR middle-end/17411
* tree-sra.c (generate_element_zero): Revert recent build_int_cst
change. elt->type may be a floating point type, so use fold_convert.

* g++.dg/opt/pr17411-1.C: New test case.

From-SVN: r87377

c-tree.h (enum c_storage_class): New.

* c-tree.h (enum c_storage_class): New.
(struct c_declspecs): Add storage_class, inline_p and thread_p.
* c-decl.c (shadow_tag_warned): Give errors for "inline" in empty
declarations and "auto" or "register" in file scope empty
declarations.  Give more specific warnings for other cases of
storage class specifiers in empty declarations.
(grokdeclarator): Update for new structures.  Don't check for
multiple storage classes.  Diagnose file-scope "register" if
pedantic.
(build_null_declspecs): Update.
(declspecs_add_scspec): Update.  Diagnose multiple storage class
specifiers and invalid uses of "__thread".

testsuite:
* gcc.dg/declspec-4.c, gcc.dg/declspec-5.c, gcc.dg/declspec-6.c,
gcc.dg/tls/diag-2.c: Update expected messages.
* gcc.dg/991209-1.c: Specify compilation options.  Update expected
messages.
* gcc.dg/pr14289-2.c, gcc.dg/pr14289-3.c: Remove.
* gcc.dg/declspec-7.c, gcc.dg/declspec-8.c, gcc.dg/declspec-9.c,
gcc.dg/declspec-10.c, gcc.dg/declspec-11.c, gcc.dg/tls/diag-4.c,
gcc.dg/tls/diag-5.c: New tests.

From-SVN: r87376

darwin.c (machopic_validate_stub_or_non_lazy_ptr): Mark the thing referenced as used, not the stub itself.

* config/darwin.c (machopic_validate_stub_or_non_lazy_ptr): Mark
the thing referenced as used, not the stub itself.

From-SVN: r87375

c-tree.h (enum c_storage_class): New.

* c-tree.h (enum c_storage_class): New.
(struct c_declspecs): Add storage_class, inline_p and thread_p.
* c-decl.c (shadow_tag_warned): Give errors for "inline" in empty
declarations and "auto" or "register" in file scope empty
declarations.  Give more specific warnings for other cases of
storage class specifiers in empty declarations.
(grokdeclarator): Update for new structures.  Don't check for
multiple storage classes.  Diagnose file-scope "register" if
pedantic.
(build_null_declspecs): Update.
(declspecs_add_scspec): Update.  Diagnose multiple storage class
specifiers and invalid uses of "__thread".

testsuite:
* gcc.dg/declspec-4.c, gcc.dg/declspec-5.c, gcc.dg/declspec-6.c,
gcc.dg/tls/diag-2.c: Update expected messages.
* gcc.dg/991209-1.c: Specify compilation options.  Update expected
messages.
* gcc.dg/pr14289-2.c, gcc.dg/pr14289-3.c: Remove.
* gcc.dg/declspec-7.c, gcc.dg/declspec-8.c, gcc.dg/declspec-9.c,
gcc.dg/declspec-10.c, gcc.dg/declspec-11.c, gcc.dg/tls/diag-4.c,
gcc.dg/tls/diag-5.c: New tests.

From-SVN: r87374

* gcc.dg/20040910-1.c: Correct dg-error regexp.

From-SVN: r87373

tree.c (tree_code_size): New function, bulk of code from tree_size.

* tree.c (tree_code_size): New function, bulk of code from tree_size.
(tree_size, make_node): Use it.
* tree-ssa-pre.c (init_pre): Use it.
* tree.h: Prototype it.

From-SVN: r87371

Make-lang.in (java/ggc-none.c): Change dependency for ggc.h into $(GGC_H).

2004-09-11  Andrew Pinski  <apinski@apple.com>

        * Make-lang.in (java/ggc-none.c): Change dependency
        for ggc.h into $(GGC_H).

From-SVN: r87370

tree-cfg.c (set_bb_for_stmt): Use PHI_BB.

* tree-cfg.c (set_bb_for_stmt): Use PHI_BB.
* tree-dfa.c (compute_immediate_uses, add_immediate_use,
redirect_immediate_use): Use PHI_DF.
* tree-flow-inline.h (stmt_ann): Abort on phi nodes.
(bb_for_stmt): Use PHI_BB.
(get_immediate_uses): Use PHI_DF.
* tree-ssa-dse.c (max_stmt_uid): New variable.
(get_stmt_uid): New function.
(dse_optimize_stmt, dse_record_phis, tree_ssa_dse): Do not use phi
node annotations.
* tree-ssa-loop-im.c (LIM_DATA): Do not use phi statement annotations.
(max_uid): Renamed to max_stmt_uid.
(get_stmt_uid): New function.
(maybe_queue_var, single_reachable_address, determine_lsm): Do not use
phi node annotations.
* tree-ssa.c (replace_immediate_uses): Do not use phi node annotations.
* tree.h (PHI_BB, PHI_DF): New accessor functions.
(struct tree_phi_node): Add bb and df fields.

From-SVN: r87369

re PR middle-end/17416 (stack variable merging doesn't work)

        PR middle-end/17416
        * cfgexpand.c (expand_used_vars_for_block): Fix off-by-one bug
        in conflict loop.

From-SVN: r87366

i386.h (MODE_NEEDED): Calls need UNINITIALIZED mode; add comment.

* i386.h (MODE_NEEDED): Calls need UNINITIALIZED mode; add comment.
(EMIT_MODE_SET): UNINITIALIZED mode needs no set.
* i386.md (i387_cw): Add 'uninitialized' mode.

From-SVN: r87365

profile.c (BB_TO_GCOV_INDEX): move more to the front.

* profile.c (BB_TO_GCOV_INDEX): move more to the front.
(output_location): Break out from ....
(branch_prob): ... here; handle gcov output on trees.
* toplev.c (process_options): No longer be sorry about coverage for
trees.

From-SVN: r87364

re PR c++/17412 (tree check failure in fold-const)

PR c++/17412
* fold-const.c (fold): Do not try to fold the operand of a
CLEANUP_POINT_EXPR if that operand does itself not have any
operands.
testsuite/
* g++.dg/parse/break-in-for.C: New test.

PR middle-end/17417
* langhooks.c (lhd_decl_printable_name): Make sure that this
function is called with is a decl node that has an identifier.
* tree-pretty-print.c (dump_function_name): New function to
wrap PRINT_FUNCTION_NAME and dump_decl_name.
(print_call_name): Use it.

From-SVN: r87363

re PR libgcj/14751 ([win32] thread creation leaks system handle resources)

PR libgcj/14751
* win32-threads.cc (_Jv_ThreadInitData): Zero out thread
handle in newly-allocated _Jv_Thread_t.
(_Jv_ThreadDestroyData): Close thread handle.
(_Jv_ThreadStart): Remove obsolete comment.
Store handle of newly-created thread in _Jv_Thread_t.
* include/win32-threads.h: #define WIN32_LEAN_AND_MEAN
before including <windows.h>
#define _Jv_HaveCondDestroy

From-SVN: r87362

natThread.cc (finalize_native): Destroy join conditional variable and mutex if...

* java/lang/natThread.cc (finalize_native): Destroy
join conditional variable and mutex if these destroy
operations are supported.

From-SVN: r87361

Make-lang.in (java/win32-host.o): Add dependency on coretypes.h.

* Make-lang.in (java/win32-host.o): Add dependency on
coretypes.h.
* win32-host.c: Add includes for coretypes.h, jcf.h

From-SVN: r87360

Make-lang.in (GCJH_OBJS): Change dependency from ggc-none.o to java/ggc-none.o

* Make-lang.in (GCJH_OBJS): Change dependency from
ggc-none.o to java/ggc-none.o
(JCFDUMP_OBJS): Likewise.
(java/ggc-none.o): New target.

From-SVN: r87359

ggc-none.c: Include "bconfig.h" if -DGENERATOR_FILE, "config.h" if not.

* ggc-none.c: Include "bconfig.h" if -DGENERATOR_FILE,
"config.h" if not.

From-SVN: r87358

tree-ssa-alias.c (collect_points_to_info_r): Handle pointing to PTR + OFFSET as PTR...

* tree-ssa-alias.c (collect_points_to_info_r): Handle
pointing to PTR + OFFSET as PTR, not as pointing to PTR or pointing
to OFFSET.

* gcc.dg/tree-ssa/20040911-1.c: New test.

From-SVN: r87357

* crontab: Rename GCC 3.5 snapshots to GCC 4.0 snapshots.

From-SVN: r87356

* expr.c (expand_expr_addr_expr_1) Rename from expand_expr_addr_expr.

        (expand_expr_addr_expr): New function.  Take ADDR_EXPR instead of the
        operand of the ADDR_EXPR.
        (expand_expr_real_1): Update to match.

From-SVN: r87355

Add PR target/17277 to ChangeLog entry.

From-SVN: r87354

aix.h (MD_FROB_UPDATE_CONTEXT): Use __64BIT__ to choose 64-bit version.

        * config/rs6000/aix.h (MD_FROB_UPDATE_CONTEXT): Use __64BIT__ to
        choose 64-bit version.

From-SVN: r87352

re PR c/17396 (ICE in tree-int-cst at -O0)

        PR c/17396
        * c-typeck.c (build_unary_op): Add legacy offsetof hack.

From-SVN: r87351

re PR tree-optimization/16437 (New c-torture failures after bitfield patch)

* gcc.c-torture/execute/991118-1.x: Delete, PR 16437 is fixed.
* gcc.c-torture/execute/bf64-1.x: Remove XFAIL on x86-64.

From-SVN: r87350

cfg.texi, [...]: Insert @: after i.e.

* doc/cfg.texi, doc/hostconfig.texi, doc/install.texi,
doc/invoke.texi, doc/md.texi, doc/tm.texi, doc/tree-ssa.texi:
Insert @: after i.e. or e.g.

From-SVN: r87346

* gcc.target/frv: New directory of FR-V-specific tests.

From-SVN: r87345

tree-pretty-print.c (dump_decl_name): Print unnamed decls as D.xxx rather than <Dxxx>.

* tree-pretty-print.c (dump_decl_name): Print unnamed decls as
D.xxx rather than <Dxxx>.

From-SVN: r87344

configure.ac (AC_MSG_CHECKING(what linker to use)): in_tree_ld_is_elf should be true for LynxOS.

* configure.ac (AC_MSG_CHECKING(what linker to use)):
in_tree_ld_is_elf should be true for LynxOS.
* configure: Regenerate.

From-SVN: r87343

* Makefile.in (all.cross): Add srcextra.

From-SVN: r87342

Fix typos.

* Makefile.in (LIBGCC_DEPS): Delete duplicate stmp-int-hdrs reference.
(stmp-fixproto): Change stmp-int-headers to stmp-int-hdrs in comment.

From-SVN: r87341

Fix excess errors problem for invalid vector testcase.

* convert.c (convert_to_vector): Replace recursive call with
error_mark_node.
* gcc.dg/convert-vec-1.c: New test.

From-SVN: r87340

re PR middle-end/17024 (ICE in fold_cond_expr_with_comparison, at fold-const.c:4324)

PR middle-end/17024
* fold-const.c (fold_cond_expr_with_comparison): Handle unordered
floating point comparison operators.  Change aborts to gcc_asserts.

* gcc.dg/pr17024-1.c: New test case.

From-SVN: r87339

* final.c (output_asm_insn): Correct problem with -fverbose-asm.

From-SVN: r87338

Add CONST1_RTX (vector mode) support.

* emit-rtl.c (gen_const_vector): Renamed from gen_const_vector_0.
Add integer argument named constant.  Use const_tiny_rtx instead of
CONST0_RTX.
(gen_rtx_CONST_VECTOR): Rewrite to handle checks for both CONST0_RTX
and CONST1_RTX.
(init_emit_once): Fix users of gen_const_vector.  Set CONST1_RTX for
vector types.
* expr.c (const_vector_from_tree): Call gen_rtx_CONST_VECTOR instead
of gen_rtx_raw_CONST_VECTOR.

From-SVN: r87337

gimplify.c (create_tmp_var_raw): Don't name otherwise-nameless temporary variables.

* gimplify.c (create_tmp_var_raw): Don't name otherwise-nameless
temporary variables.

From-SVN: r87335

Daily bump.

From-SVN: r87333

re PR c/16046 (ICE tree check: expected tree_list, have identifier_node in decl_attributes, at attribs.c:151)

2004-09-10  Eric Christopher  <echristo@redhat.com>

PR c/16046
* c-parse.in (attribute): Add NULL_TREE for error case
for error recovery.

2004-09-10  Eric Christopher  <echristo@redhat.com>

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

From-SVN: r87330

c-common.h (struct c_fileinfo): Comment moved here from cp-tree.h.

* c-common.h (struct c_fileinfo): Comment moved here from cp-tree.h.
(extract_interface_info): Delete prototype.
* c-decl.c (extract_interface_info): Delete stub.
* c-lex.c (get_fileinfo): Initialize file_info_tree here, if
it's not already been done ...
(init_c_lex): ... not here.
(fe_file_change): Don't call extract_interface_info.
cp:
* cp-tree.h (interface_only, interface_unknown): Delete declarations;
comment explaining them moved to c-common.h.
* lex.c (interface_only, interface_unknown, extract_interface_info):
Delete definitions.
(cxx_finish): Don't reset interface_unknown.
(handle_pragma_interface): Don't set interface_only and
interface_unknown; just the like-named fields in finfo.
(handle_pragma_implementation): Adjust comment.
* decl2.c (cp_finish_file): Don't reset interface_only and
interface_unknown.
* method.c (synthesize_method): Don't reset interface_unknown or
call extract_interface_info.
* pt.c (pop_tinst_level): Don't call extract_interface_info.
* decl.c (start_cleanup_fn): Don't save or restore interface_only
and interface_unknown.
(make_rtl_for_nonlocal_decl): Call get_fileinfo on input_filename
and use the result instead of the interface_only/interface_unknown
globals.
(start_preparsed_function): Likewise.
* lex.c (cxx_make_type): Likewise.
* semantics.c (begin_class_definition): Likewise.
(expand_body): Don't call extract_interface_info.

From-SVN: r87329

c-tree.h (struct c_declspecs): Remove typedef_decl.

* c-tree.h (struct c_declspecs): Remove typedef_decl.  Add
typedef_p and typedef_signed_p.
* c-decl.c (shadow_tag_warned): Check typedef_p, not typedef_decl.
(grokdeclarator): Don't use typedef_decl for warn_deprecated_use.
Check typedef_p and typedef_signed_p, not typedef_decl.
(grokfield): Check typedef_p, not typedef_decl.
(build_null_declspecs): Initialize typedef_p and typedef_signed_p,
not typedef_decl.
(declspecs_add_type): Set typedef_p and typedef_signed_p, not
typedef_decl.

testsuite:
* gcc.dg/bitfld-9.c: New test.

From-SVN: r87326

* doc/tm.texi, doc/tree-ssa.texi: Fix typos.

From-SVN: r87324

decl.c (objc_mark_locals_volatile): Make description of routine more descriptive...

[gcc/cp/ChangeLog]
2004-09-10  Ziemowit Laski  <zlaski@apple.com>

        * decl.c (objc_mark_locals_volatile): Make description of
        routine more descriptive; only mark VAR_DECLs at each
        binding level.

From-SVN: r87323

re PR c++/17386 (libstdc++ iostreams miscompilation)

        PR c++/17386
        * call.c (build_vfield_ref): Move...
        * class.c (build_vfield_ref): ... here.  Convert datum to the
        primary base containing the vptr.
        (make_new_vtable): Simplify build_primary_vtable arguments.
        (finish_struct_1): Do not duplicate TYPE_VFIELD.
        * typeck.c (build_class_member_access_expr): Don't warn for
        null object access to base fields.

From-SVN: r87322

decl.c (objc_get_current_scope, [...]): New functions, to be called from ObjC++.

[gcc/cp/ChangeLog]
2004-09-10  Ziemowit Laski  <zlaski@apple.com>

        * decl.c (objc_get_current_scope, objc_mark_locals_volatile):
        New functions, to be called from ObjC++.

From-SVN: r87321

dbxout.c (dbxout_block): Update for current_function_func_begin_label a string.

* dbxout.c (dbxout_block): Update for
current_function_func_begin_label a string.
* dwarf2out.c (dwarf2out_begin_prologue): Likewise.
* except.c (dw2_output_call_site_table): Likewise.
* toplev.c (current_function_func_begin_label): Likewise.
* tree.h (current_function_func_begin_label): Likewise.
* config/rs6000/linux64.h (DBX_OUTPUT_BRAC): Likewise.

From-SVN: r87317

final.c (output_asm_insn): Use strtoul instead of atoi, save a loop.

* final.c (output_asm_insn): Use strtoul instead of atoi, save a
loop.

From-SVN: r87316

darwin.c: Include target.h.

* config/darwin.c: Include target.h.
(struct machopic_indirection): Make ptr_name a string.
(machopic_indirection_hash): Update for ptr_name a string.
(machopic_indirection_eq): Likewise.
(machopic_indirection_name): Likewise.
(machopic_output_indirection): Likewise.
(machopic_validate_stub_or_non_lazy_ptr): Update for ptr_name a
string.  Don't expect stub names to be in the identifier hash table.
Do call strip_name_encoding before looking up entry in ID hash table.
* config/t-darwin (darwin.o): Add target.h to dependencies.

From-SVN: r87315

rs6000.c (print_operand): Use fputs instead of fprintf for register names.

* gcc/config/rs6000/rs6000.c (print_operand): Use fputs instead
of fprintf for register names.

From-SVN: r87314

output.h (unlikely_section_label): Delete declaration.

* output.h (unlikely_section_label): Delete declaration.
(unlikely_text_section_name): Likewise.
* varasm.c (unlikely_section_label_printed): Make static.
(unlikely_section_label): Likewise.
(unlikely_text_section_name): Likewise.

From-SVN: r87313

* rtl.def (REG): Add comment to describe third field.

From-SVN: r87312

FIx whitespace typo.

From-SVN: r87310