tree-vectorizer.c (vect_analyze_offset_expr): Test for INTEGER_CST instead of TREE_CONSTANT.

2005-01-04  Ira Rosen  <irar@il.ibm.com>

        * tree-vectorizer.c (vect_analyze_offset_expr): Test for
        INTEGER_CST instead of TREE_CONSTANT.
        (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
        instead of TREE_CONSTANT.
        (vect_analyze_pointer_ref_access): Test for INTEGER_CST
        instead of TREE_CONSTANT.

From-SVN: r92894

tree-eh.c (replace_goto_queue): Return early if the queue is empty.

* tree-eh.c (replace_goto_queue): Return early if the queue is
          empty.

From-SVN: r92893

* gnat_ugn.texi: Fix texi errors with null variables.

From-SVN: r92892

re PR target/19240 (runtime performance regression in floating point heavy code, x86/SSE)

PR target/19240
* config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
(*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).

From-SVN: r92891

fold-const.c (force_fit_type): Cope with types larger than 2 HWI.

        * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
        (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
        fold_convert_const_real_from_real): Split out from ...
        (fold_convert_const): ... here.

From-SVN: r92890

re PR target/19235 (GCC generates SSE2 instructions for AthlonXP which doesn't support them.)

        PR target/19235
        * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
        (mov<MMXMODEI>_internal): Likewise.
        (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
        Add V2SF case; use it for SSE1; don't use TI.
        (movdf_integer): Likewise.
        (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.

From-SVN: r92889

tree-vectorizer.c (vect_strip_conversions): New function.

2005-01-03  Ira Rosen  <irar@il.ibm.com>

        * tree-vectorizer.c (vect_strip_conversions): New function.
        (vect_analyze_offset_expr): Call vect_strip_conversions. Add
        check for binary class.

From-SVN: r92888

* gcc.target/i386/amd64-abi-1.c: Only run as 64-bit tests.

From-SVN: r92887

Correct typo in PR number

From-SVN: r92886

Index: libcpp/ChangeLog
2005-01-03  Geoffrey Keating  <geoffk@apple.com>

* files.c (_cpp_find_file): Add files found by search_path_exhausted
to the list of all files.

Index: gcc/testsuite/ChangeLog
2005-01-03  Geoffrey Keating  <geoffk@apple.com>
    Robert Bowdidge <bowdidge@apple.com>

* gcc.dg/cpp/subframework1.c: New.
* gcc.dg/cpp/frame/one.framework/Frameworks/OneSub.framework/Headers/A.h: New.
* gcc.dg/cpp/frame/one.framework/Frameworks/OneSub.framework/Headers/B.h: New.
* gcc.dg/cpp/frame/one.framework/Frameworks/OneSub.framework/Headers/C.h: New.
* gcc.dg/cpp/frame/one.framework/Headers/one-includeSubs.h: New.

Co-Authored-By: Robert Bowdidge <bowdidge@apple.com>
From-SVN: r92883

Fix PR debug/17924 Fix PR debug/19191

2005-01-03  Daniel Berlin  <dberlin@dberlin.org>

Fix PR debug/17924
Fix PR debug/19191
* dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
is a decl.
* gimple-low.c (mark_blocks_with_used_vars): New function.
(mark_blocks_with_used_subblocks): Ditto.
(mark_used_blocks): Ditto.
(pass_mark_used_blocks): New pass.
* tree-inline.c: Include debug.h.
(expand_call_inline): Call outlining_inline_function here.
* tree-optimize.c (init_tree_optimization_passes): Add
pass_mark_used_blocks.
* tree-pass.h (pass_mark_used_blocks): New.
* Makefile.in (tree-inline.o): Add debug.h dependency.

From-SVN: r92882

testsuite_hooks.cc: Use __throw_exception_again instead of just throw.

* testsuite/testsuite_hooks.cc: Use __throw_exception_again
instead of just throw.

From-SVN: r92881

testsuite_hooks.cc: Update coypright and follow style guidelines.

* testsuite/testsuite_hooks.cc: Update coypright and follow style
guidelines.
* testsuite/testsuite_hooks.h: Likewise.
* testsuite/27_io/basic_filebuf/close/char/4879.cc: Use
semaphores, not sleep.
* testsuite/27_io/basic_filebuf/close/char/9964.cc: Likewise.
* testsuite/27_io/basic_filebuf/imbue/char/13171-2.cc: Likewise.
* testsuite/27_io/basic_filebuf/imbue/char/13582-2.cc: Likewise.
* testsuite/27_io/basic_filebuf/imbue/wchar_t/14975-2.cc:
Likewise.
* testsuite/27_io/basic_filebuf/open/char/9507.cc: Likewise.
* testsuite/27_io/basic_filebuf/underflow/char/10097.cc: Likewise.
* testsuite/27_io/objects/char/7.cc: Likewise.
* testsuite/27_io/objects/char/9661-1.cc: Likewise.
* testsuite/27_io/objects/wchar_t/7.cc: Likewise.
* testsuite/27_io/objects/wchar_t/9661-1.cc: Likewise.

From-SVN: r92877

Daily bump.

From-SVN: r92875

Fix typos

From-SVN: r92872

darwin.c (darwin_handle_weak_import_attribute): Permit VAR_DECLs to have weak_import attribute.

2005-01-03  Geoffrey Keating  <geoffk@apple.com>

* config/darwin.c (darwin_handle_weak_import_attribute): Permit
VAR_DECLs to have weak_import attribute.

Index: testsuite/ChangeLog
2005-01-03  Geoffrey Keating  <geoffk@apple.com>

* gcc.dg/darwin-weakimport-1.c: Remove check for variables
producing warning.
* gcc.dg/darwin-weakimport-2.c: New.

From-SVN: r92871

darwin-fallback.c: Use 'ucontext_t' rather than 'struct ucontext'.

* config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
'struct ucontext'.

From-SVN: r92870

passes.c (rest_of_compilation): Don't run regmove if only flag_expensive_optimizations...

* passes.c (rest_of_compilation): Don't run regmove if only
flag_expensive_optimizations, require flag_regmove instead.

From-SVN: r92869

arith.c: Add system.h; remove string.h

        * arith.c: Add system.h; remove string.h
        * decl.c: Ditto
        * matchexp.c: Ditto
        * parse.c: Ditto
        * resolve.c: Ditto
        * st.c: Ditto
        * check.c: Remove stdlib.h and stdarg.h
        * error.c: Remove stdlib.h, stdarg.h, stdio.h, string.h
        * expr.c: Add system.h; remove stdarg.h, stdio.h, and string.h
        * f95-lang.c: Add system.h; remove stdio.h
        * interface.c: Add system.h; remove stdlib.h and string.h
        * intrinsic.c: Remove stdarg.h, stdio.h, and string.h
        * io.c: Remove string.h
        * simplify.c: Ditto
        * match.c: Remove stdarg.h and string.h
        * misc.c: Update copyright; add system.h; remove stdlib.h,
        string.h, and sys/stat.h
        * module.c: Add system.h; remove string.h, stdio.h, errno.h,
        unistd.h, and time.h
        * option.c: Remove string.h and stdlib.h
        * primary.c: Ditto
        * scanner.c: Update copyright; add system.h; remove stdlib.h,
        stdio.h, string.h, and strings.h
        * symbol.c: Add system.h; remove stdlib.h, stdio.h, and string.h
        * trans-array.c: Remove stdio.h and gmp.h
        * trans-const.c: Ditto
        * trans-expr.c: Ditto
        * trans-io.c: Ditto
        * trans-stmt.c: Ditto
        * trans.c: Ditto
        * trans-intrinsic.c: Remove stdio.h and string.h

From-SVN: r92866

configure.ac: Check for sys/ipc.h and sys/sem.h.

* configure.ac: Check for sys/ipc.h and sys/sem.h.
* config.h.in: Regenerated.
* configure: Likewise.
* testsuite/testsuite_hooks.cc (_GLIBCXX_SYSV_SEM): Conditionally
define.
(sys/types.h): Include.
(sys/ipc.h): Likewise.
(sys/sem.h): Likewise.
(__gnu_test::semun): New type.
(__gnu_test::semaphore::sempaphore): New function.
(__gnu_test::semaphore::~semaphore): Likewise.
(__gnu_test::semaphore::wait): Likewise.
(__gnu_test::semaphore::signal): Likewise.
* testsuite/testsuite_hooks.h (__gnu_test::semaphore): New class.
* testsuite/27_io/basic_filebuf/close/char/4789.cc: Use
semaphores, not sleep.
* testsuite/27_io/basic_filebuf/close/char/9964.cc: Likewise.
* testsuite/27_io/basic_filebuf/imbue/char/13171-2.cc: Likewise.
* testsuite/27_io/basic_filebuf/imbue/char/13582-2.cc: Likewise.
* testsuite/27_io/basic_filebuf/imbue/wchar_t/14975-2.cc:
Likewise.
* testsuite/27_io/basic_filebuf/open/char/9507.cc: Likewise.
* testsuite/27_io/basic_filebuf/underflow/char/10097.cc: Likewise.
* testsuite/27_io/objects/char/7.cc: Likewise.
* testsuite/27_io/objects/char/9661-1.cc: Likewise.
* testsuite/27_io/objects/wchar_t/7.cc: Likewise.
* testsuite/27_io/objects/wchar_t/9961-1.cc: Likewise.

From-SVN: r92865

litecoff.h (TARGET_OS_CPP_BUILTINS): Do not register "sparc".

* config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
register "sparc".
* config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
* config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
* config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
* config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.

From-SVN: r92864

* g++.old-deja/g++.ext/attrib5.C: Move the alias after the referent.

From-SVN: r92863

ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.

        * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
        (ia64_const_ok_for_letter_p): New.
        (ia64_const_double_ok_for_letter_p): New.
        (ia64_extra_constraint): New.
        (ia64_expand_vecint_compare): New.
        (ia64_expand_vcondu_v2si): New.
        (ia64_expand_vecint_cmov): New.
        (ia64_expand_vecint_minmax): New.
        (ia64_print_operand): Add 'v'.
        (ia64_preferred_reload_class): New.
        (ia64_vector_mode_supported_p): New.
        * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
        (PREFERRED_RELOAD_CLASS): Move to function.
        (CONST_OK_FOR_LETTER_P): Move to function.
        (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
        (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
        (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
        (EXTRA_CONSTRAINT): Move to function.
        * config/ia64/ia64.md: Include vect.md.
        (itanium_class): Add mmalua.
        (type): Handle it.
        * config/ia64/itanium1.md (1_mmalua): New.  Add it to bypasses.
        (1b_mmalua): New.
        * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
        * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
        CONST0_RTX.
        (const_int_2bit_operand): New.
        (fr_reg_or_0_operand): New.
        * config/ia64/ia64-modes.def: Add vector modes.
        * config/ia64/ia64-protos.h: Update.
        * config/ia64/vect.md: New file.

        * gcc.dg/vect/vect.exp: Enable for ia64.
        * lib/target-supports.exp (check_effective_target_vect_int): Likewise.
        (check_effective_target_vect_float): Likewise.
        (check_effective_target_vect_no_align): Likewise.
        * gcc.dg/vect/vect-30.c: XFAIL for vect_no_align.
        * gcc.dg/vect/vect-8.c: Likewise.

From-SVN: r92862

* simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.

From-SVN: r92861

Process_4.java (Process_4): Expect only a non-zero exit status from 'false'.

* testsuite/libjava.lang/Process_4.java (Process_4): Expect only
a non-zero exit status from 'false'.

From-SVN: r92860

re PR c++/14136 (double error message for typename used as destructor declarator)

PR c++/14136
* parser.c (cp_parser_unqualified_id): Do not issue error message
for typedef-name as destructor declarator when performing an
uncommitted tentative parse.

From-SVN: r92859

re PR target/19235 (GCC generates SSE2 instructions for AthlonXP which doesn't support them.)

PR target/19235
* gcc.dg/pr19236-1.c: New test case.

From-SVN: r92855

Resync.

From-SVN: r92853

ug_words, [...]: Added alpha-ivms transitioning section to porting guide chapter (vms version).

* ug_words, gnat_ugn.texi: Added alpha-ivms transitioning section to
porting guide chapter (vms version).
Revised doc title (removed "for native platforms") and subtitle.
Add discussion on warning flag for obsolescent features. First we
note that it applies to obsolete GNAT features, which was previously
omitted. Second we contrast the behavior with that of the new
Ada 2005 AI-368 restriction No_Obsolescent_Features.
Preliminary rewriting of GNAT & libraries chapter in order to take
into account default project locations & new project manager
capabilities.

* cstand.adb (Create_Operators): Clean up format and documentation of
unary and binary operator result tables. No change in code, just
reformatting and addition of comments.

* errout.ads, gnatfind.adb, s-maccod.ads, sem.adb,
sem_ch2.adb: Minor reformatting

* atree.ads, elists.ads, lib.ads, namet.ads, nlists.ads, repinfo.ads,
sinput.ads, stringt.ads, uintp.ads, urealp.ads: Minor clarification to
comments for Tree_Read and Tree_Write.

* exp_attr.ads: Minor reformatting.

* comperr.adb (Compiler_Abort): Add specialized message for GAP
versions.

* exp_pakd.adb (Create_Packed_Array_Type): Add a guard to check
whether the ancestor type is private, as may be the case with nested
instantiations.

From-SVN: r92852

s-tasini.ads, [...] (Undefer_Abortion): Handle case of Self_Id.Deferral_Level = 0.

* s-tasini.ads, s-tasini.adb (Undefer_Abortion): Handle case of
Self_Id.Deferral_Level = 0.
(Do_Pending_Action): Move this function to the spec.

* s-tasren.adb (Selective_Wait [Terminate_Selected]): Call
Do_Pending_Action explicitely when needed, in case we're using
No_Abort restrictions.

* s-tassta.adb (Create_Task): If Abort is not allowed, reset the
deferral level since it will not get changed by the generated code.
Keeping a default value of 1 would prevent some operations (e.g.
select or delay) to proceed successfully.

From-SVN: r92851

s-fileio.adb (Temp_File_Record): Change length of string component Name from L_tmpnam + 1 to max_path_len + 1.

* s-fileio.adb (Temp_File_Record): Change length of string component
Name from L_tmpnam + 1 to max_path_len + 1.

From-SVN: r92850

sem_ch4.adb (Has_Fixed_Op): New predicate in Check_Arithmetic_Pair...

* sem_ch4.adb (Has_Fixed_Op): New predicate in Check_Arithmetic_Pair,
to determine whether one of the operands is a fixed-point type for
which a user-defined multiplication or division operation might be
defined.

* sem_res.adb (Valid_Conversion): The legality rules for conversions
of access types are symmetric in Ada 2005: either designated type can
be unconstrained.

From-SVN: r92849

sem_ch12.adb (Analyze_Package_Instantiation): Create a separate node to use as the defining identifier for a formal package.

* sem_ch12.adb (Analyze_Package_Instantiation): Create a separate node
to use as the defining identifier for a formal package.
(Remove_Parent): If the instance takes place within (an instance of)
a sibling, preserve private declarations of common parent.

From-SVN: r92848

s-arit64.adb (Double_Divide): Put back changes that got accidentally removed during the previous update (test...

* s-arit64.adb (Double_Divide): Put back changes that got accidentally
removed during the previous update (test properly for case of dividing
largest negative number by -1, which generates overflow).

From-SVN: r92847

par.adb: Enhance error message handling for configuration file pragmas.

* par.adb: Enhance error message handling for configuration file
pragmas.

From-SVN: r92846

s-osinte-darwin.ads, [...]: Clean up darwin port by using proper type definitions from header files.

* s-osinte-darwin.ads, s-osinte-darwin.adb: Clean up
darwin port by using proper type definitions from header files.
Use SIGTERM instead of SIGABRT for SIGADAABORT.

From-SVN: r92845

namet.adb (Get_Decoded_Name_With_Brackets): Fix case of not allowing upper case letter or underscore after W...

* namet.adb (Get_Decoded_Name_With_Brackets): Fix case of not allowing
upper case letter or underscore after W, as allowed by spec.

From-SVN: r92844

make.adb (Collect_Arguments_And_Compile): Do not attempt to build libraries when Unique_Compile is True (-u switch).

* make.adb (Collect_Arguments_And_Compile): Do not attempt to build
libraries when Unique_Compile is True (-u switch).
(Gnatmake): ditto.

From-SVN: r92843

re PR ada/16949 (sinfo.ads refers to a SPITBOL program (creating sinfo.h) which is no longer there)

PR ada/16949
* sinfo.ads: Fix obsolete reference to xsinfo.spt (replaced by
xsinfo.adb).

From-SVN: r92842

re PR ada/17527 (Ada Bootstrap problem because of -Werror)

PR ada/17527
* init.c: Fix warnings on Free BSD section.

From-SVN: r92841

i-cstrin.adb (Update): Do not append a null in form called with a String.

* i-cstrin.adb (Update): Do not append a null in form called with a
String. This avoids unintended behavior.

From-SVN: r92840

* i-c.adb (To_C): Raise CE if string is null and Append_Null

From-SVN: r92839

exp_ch7.ads (Make_Final_Call): Rewrite comment (was incorrectly copied from Make_Init_Call).

* exp_ch7.ads (Make_Final_Call): Rewrite comment (was incorrectly
copied from Make_Init_Call).

* exp_strm.adb (Build_Mutable_Record_Read_Procedure): Do component
reads and assignments on a temporary variable declared with appropriate
discriminants.

From-SVN: r92838

exp_dist.adb: Declare subprogram index in Build_RPC_Receiver_Body...

* exp_dist.adb:
Declare subprogram index in Build_RPC_Receiver_Body, to reduce the
amount of PCS-specific code in RACW stubs generation.
(Copy_Specification): Set Etype on copied formal parameter entities, as
this information is needed for PolyORB stubs generation.
(PolyORB_Support.Build_Subprogram_Receiving_Stubs): Remove unused
variable Dynamic_Async.
(Build_Subprogram_Receiving_Stubs): Make PCS-specific
(Build_RPC_Receiver_Specification): Make generic again, as recent
changes have allowed RPC receivers to have the same profile for both
variants of the PCS.
Reorganise RPC receiver generation to reduce differences between the
structure of GARLIC and PolyORB RPC receivers.
(Add_Receiving_Stubs_To_Declarations): Make this subprogram
PCS-specific.
Simplify elaboration code for RCI packages.

* s-parint.ads, s-parint.adb, rtsfind.ads: Reorganise RPC receiver
generation to reduce differences between the structure of GARLIC and
PolyORB RPC receivers.

* s-stratt.adb: Fix typo in comment.

From-SVN: r92837

exp_ch3.adb (Stream_Operations_OK): Predicate to determine when the generation of predefined stream operations...

* exp_ch3.adb (Stream_Operations_OK): Predicate to determine when the
generation of predefined stream operations (specs and bodies) should
proceed. Under various restrictions these subprograms must not be
generated.

From-SVN: r92836

exp_aggr.adb (Packed_Array_Aggregate_Handled): The values of the bounds can be negative, and must be declared Int, not Nat.

* exp_aggr.adb (Packed_Array_Aggregate_Handled): The values of the
bounds can be negative, and must be declared Int, not Nat.

* sem_elim.adb (Line_Num_Match): Correct wrong code when index in an
array is checked after using the index in the array.

* makegpr.adb (Add_Switches): Check if there is a package for the
processor. If there is no package, do not look for switches.

From-SVN: r92835

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

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

* trans.c (convert_with_check): Reimplement conversion of float to
integer.

From-SVN: r92834

decl.c (compatible_signatures_p): New function.

* decl.c (compatible_signatures_p): New function. The intended purpose
is to check if two function signatures for a call-site and a callee are
compatible enough for the call to be valid. The underlying purpose is
to check if a call to a mapped builtin is using the right interface.
The current code actually does not check antyhing - this a placeholder
for future refinements.
(gnat_to_gnu_entity) <E_Subprogram_Call>: Add preliminary bits to handle
builtin calls for convention Intrinsic.

* gigi.h (builtin_decl_for): Declare (new function).

* utils.c (gnat_install_builtins): Install the target specific builtins.
(builtin_decl_for): New function, provide a dummy body for now.

From-SVN: r92833

checks.adb (Apply_Alignment_Check): Generate a warning if an object address is incompatible with its base type...

* checks.adb (Apply_Alignment_Check): Generate a warning if an object
address is incompatible with its base type alignment constraints when
this can be decided statically.

From-SVN: r92832

bld.ads, [...]: Remove gpr2make, replaced by gprmake.

* bld.ads, bld.adb, bld-io.ads, bld-io.adb, gprcmd.adb,
gpr2make.ads, gpr2make.adb: Remove gpr2make, replaced by gprmake.

* Makefile.in: Add support to build shared Ada libraries on solaris x86
Remove gpr2make, replaced by gprmake.
Remove references to gnatmem and libaddr2line.
Add indepsw.adb<indepsw-linux.adb to TOOLS_TARGET_PAIRS for IA64 linux.
(gnatlib-shared-darwin): Add "-fno-common" to GNATLIBCFLAGS.
Add support for specialized version of Ada.Numerics.Aux for Darwin: use
a-numaux-darwin.ads and a-numaux-darwin.adb
Enable mlib-tgt-lynxos.adb on lynxos.

* Make-lang.in: Remove rules for gpr2make.
When generating sdefault.adb, do not call Relocate_Path
on S3 for function Target_Name, as it is not a path.
Remove references to gnatmem and libaddr2line.

* a-numaux-darwin.ads, a-numaux-darwin.adb, g-soccon-darwin.ads: New
files.

From-SVN: r92831

atree.adb: Add a fifth component to entities This allows us to add 32 flags and four new fields

* atree.adb: Add a fifth component to entities
This allows us to add 32 flags and four new fields

* atree.ads: Add a fifth component to entities
This allows us to add 32 flags and four new fields

* einfo.ads, einfo.adb: Document new fields and new flags now available
Add routines for printing new fields

* treepr.adb: Call routines to print out additional fields if present

From-SVN: r92830

s-atacco.ads, [...]: Protect use of 'Constrained by warnings on/off...

* s-atacco.ads, a-direio.adb: Protect use of 'Constrained by warnings
on/off, since this is an obsolescent feature, for which we now generate
a warning.

* sem_attr.adb (Analyze_Attribute, case Constrained): Issue warning if
warning mode is set and obsolescent usage of this attribute occurs.
(Resolve_Access, case 'Access): Note that GNAT uses the context type to
disambiguate overloaded prefixes, in accordance with AI-235. GNAT code
predates, and partly motivates, the adoption of the AI.
Implement new Ada 2005 attribute Mod

* exp_attr.adb (Expand_N_Attribute_Reference): Implement Ada 2005
attribute Mod.

* par-ch4.adb (P_Name): In Ada 2005 mode, recognize new attribute Mod

* snames.h, snames.ads, snames.adb: Add entry for No_Dependence for
pragma restrictions.
New entry for Ada 2005 attribute Mod.

* par-prag.adb:
Add recognition of new pragma Restrictions No_Dependence
Recognize restriction No_Obsolescent_Features at parse time

* bcheck.adb: Add circuitry for checking for consistency of
No_Dependence restrictions.

* lib-writ.ads, lib-writ.adb: Output new R lines for No_Dependence
restrictions.

* restrict.ads, restrict.adb: Add subprograms to deal with
No_Dependence restrictions.

* rtsfind.adb: Check that implicit with's do not violate No_Dependence
restrictions.

* sem_ch3.adb, sem_ch11.adb, sem_ch13.adb, lib-xref.adb,
sem_attr.adb: Add check for new restriction No_Obsolescent_Features

* scn.ads, prj-err.ads, prj-err.adb, ali-util.adb, gprep.adb: Add new
dummy parameter to scng instantiation.
Needed for new restriction No_Obsolescent_Features

* scn.adb: (Obsolescent_Check): New procedure
Needed for new restriction No_Obsolescent_Features

* scng.ads, scng.adb: Always allow wide characters in Ada 2005 mode, as
specified by AI-285, needed for implementation of AI-388 (adding greek
pi to Ada.Numerics).
Add new generic formal to scng, needed for new restriction
No_Obsolescent_Features.

* s-rident.ads: Add new restriction No_Obsolescent_Features.

* ali.ads, ali.adb: Adjustments for reading new No_Dependence
restrictions lines.
(Scan_ALI): When finding an unexpected character on an R line, raise
exception Bad_R_Line, instead of calling Fatal_Error, so that, when
Ignore_Errors is True, default restrictions are set and scanning of the
ALI file continues with the next line. Also, when Bad_R_Line is raised
and Ignore_Errors is True, skip to the end of le line.

* sem_ch10.adb: Check that explicit with's do not violate
No_Dependence restrictions.
(Install_Withed_Unit): Add code to implement AI-377 and diagnose
illegal context clauses containing child units of instance.

* sem_prag.adb: Processing and checking for new No_Dependence
restrictions.
(Analyze_Pragma, case Psect_Object): Call Check_Arg_Is_External_Name to
analyze and check the External argument.

* a-numeri.ads: Add greek letter pi as alternative spelling of Pi

From-SVN: r92829

gen-soccon.c: New utility program to generate g-soccon.ads automatically.

* gen-soccon.c: New utility program to generate g-soccon.ads
automatically.

* socket.c, gsocket.h: Split inclusion of system header files into a
gsocket.h file separated from socket.c, to allow reuse in gen-soccon.c.

* g-soccon.ads, g-soccon-unixware.ads, g-soccon-tru64.ads,
g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads,
g-soccon-interix.ads, g-soccon-solaris.ads, g-soccon-mingw.ads,
g-soccon-vxworks.ads, g-soccon-freebsd.ads: Note that these files
should not be edited by hand anymore, but should be regenerated using
gen-soccon.

From-SVN: r92828

istream.tcc (ignore(streamsize), [...]): Reset _M_gcount to numeric_limits<streamsize>::min().

2005-01-03  Paolo Carlini  <pcarlini@suse.de>

* include/bits/istream.tcc (ignore(streamsize), ignore(streamsize,
int_type)): Reset _M_gcount to numeric_limits<streamsize>::min().
* src/istream.cc (basic_istream<char>::ignore(streamsize, int_type),
basic_istream<wchar_t>::ignore(streamsize, int_type)): Likewise.
* src/istream.cc (basic_istream<char>::ignore(streamsize),
basic_istream<wchar_t>::ignore(streamsize)): Likewise; fix a typo.

From-SVN: r92827

2005-01-03  Paolo Bonzini  <bonzini@gnu.org>

Revert 2004-12-28 Makefile changes, a better fix will be
applied to mainline and src after GCC 4.0 branches.

From-SVN: r92826

re PR target/19236 (ICE compiling logp(x) with -ffast-math)

PR target/19236
* config/i386/i386.c (log1psf2): Change mode of operands[0,1]
to SFmode.
(log1pdf2): Change mode of operands[0,1] to DFmode.

From-SVN: r92825

sparc.h (SPARC_RELAXED_ORDERING): Define to false.

* config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
* config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
* config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
* config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
SPARC_RELAXED_ORDERING.

From-SVN: r92824

re PR target/14631 (common subexpression elimilation error with sse2 instrinsic _mm_insert_epi16)

PR target/14631
* config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
* config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
handling.
(*mmx_pinsrw, *sse2_pinsrw): New patterns.
* config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
const_pow2_1_to_128_operand): New predicates.

Co-Authored-By: Uros Bizjak <uros@kss-loka.si>
From-SVN: r92823

re PR rtl-optimization/12092 (ICE: Floating point exception)

PR rtl-optimization/12092
* gcc.dg/pr12092-1.c: Fix typo in dg directive.

From-SVN: r92822

Daily bump.

From-SVN: r92819

istream.cc (basic_istream<char>::ignore(streamsize), [...]): Avoid _M_gcount overflows.

2005-01-02  Paolo Carlini  <pcarlini@suse.de>

* src/istream.cc (basic_istream<char>::ignore(streamsize),
basic_istream<char>::ignore(streamsize, int_type),
basic_istream<wchar_t>::ignore(streamsize),
basic_istream<wchar_t>::ignore(streamsize, int_type)): Avoid
_M_gcount overflows.
* include/bits/istream.tcc (ignore(streamsize), ignore(streamsize,
int_type)): Likewise; use snextc in the main loop, consistently
with the specializations above.

From-SVN: r92816

mf-impl.h (uintptr_t): Get typedef via stdint.h or define explicitly.

* mf-impl.h (uintptr_t): Get typedef via stdint.h or define explicitly.
* mf-runtime.h: New file, replaces mf-runtime.h.in.
* configure.ac (AC_CONFIG_FILES): mf-runtime.h is no longer generated.
* Makefile.in: Ditto.
* testsuite/lib/libmudflap.exp: Add -I${srcdir}/.. to get mf-runtime.h
* testsuite/libmudflap.c/pass32-frag.c: s/uintptr_t/__mf_uintptr_t/
* testsuite/libmudflap.c/fail36-frag.c: New test.
* testsuite/libmudflap.c/fail37-frag.c: New test.
* testsuite/libmudflap.c/fail38-frag.c: New test.

From-SVN: r92815

tree-mudflap.c (mf_varname_tree): decl_printable_name handles anonymous decls.

* tree-mudflap.c (mf_varname_tree): decl_printable_name handles
anonymous decls.
(mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
object.  [ptr_type]: Remove unused variable.
Remember nearest addressable array-element or record-component
when checking bitfield components.  Tolerate empty BIND_EXPR.

From-SVN: r92814

Remove whitespace

From-SVN: r92812

* gcc.dg/pr12092-1.c: Do not run on x86_64.

From-SVN: r92811

stl_algobase.h (mismatch): Correct concept check.

2005-01-02  Chris Jefferson  <chris@bubblescope.net>

* include/bits/stl_algobase.h (mismatch): Correct concept check.

From-SVN: r92808

tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions that don't narrow the value.

        * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
        that don't narrow the value.  Fail for other conversions.

From-SVN: r92804

re PR c/19031 (#pragma weak handling changes in 4.0.0)

        PR c/19031
        * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
        * c-lang.c (finish_file): Don't do it here.
        * objc/objc-act.c (objc_finish_file): Likewise.

        * cgraph.c (decl_assembler_name_equal): New.
        (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
        (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
        * cgraph.h (struct cgraph_varpool_node): Add next.
        (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
        * varasm.c (assemble_alias): Mark the target as needed.

From-SVN: r92803

re PR middle-end/19221 (ICE: rtl_verify_flow_info, at cfgrtl.c:2240)

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

        PR middle-end/19221
        * function.c (get_arg_pointer_save_area): Use entry_of_function
        instead of get_insns.

From-SVN: r92802

boehm-gc.h: Include gc_ext_config.h, not gc_config.h.

2005-01-01  Bryce McKinlay  <mckinlay@redhat.com>

* include/boehm-gc.h: Include gc_ext_config.h, not gc_config.h.

2005-01-01  Bryce McKinlay  <mckinlay@redhat.com>

* configure.ac (AC_CONFIG_HEADERS): Build both include/gc_config.h
and include/gc_ext_config.h.
* include/gc_ext_config.h: New file. Define only THREAD_LOCAL_ALLOC.
* include/gc.h: Undef PACKAGE_* before including gc_config.h.

From-SVN: r92801

fvisibility-override1.C: Test using 'hidden' and 'default' for better portability.

* g++.dg/ext/visibility/fvisibility-override1.C: Test using
'hidden' and 'default' for better portability.
* g++.dg/ext/visibility/fvisibility-override2.C: Likewise.

From-SVN: r92800

internal.h: Update references to Cpp lib filenames.

        * internal.h: Update references to Cpp lib filenames.
        * directives.c: Likewise.
        * init.c: Likewise.
        * macro.c: Likewise.
        * traditional.c: Likewise.

From-SVN: r92799

Daily bump.

From-SVN: r92797

re PR rtl-optimization/12092 (ICE: Floating point exception)

PR rtl-optimization/12092
* loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
is zero.

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

Co-Authored-By: Andrew Pinski <pinskia@physics.uc.edu>
Co-Authored-By: James E Wilson <wilson@specifixinc.com>
From-SVN: r92794

13189.cc: Fix, first include testsuite_hooks.h, to know whether including ext/enc_filebuf.h.

2005-01-01  Paolo Carlini  <pcarlini@suse.de>

        * testsuite/ext/enc_filebuf/char/13189.cc: Fix, first include
testsuite_hooks.h, to know whether including ext/enc_filebuf.h.
* testsuite/ext/enc_filebuf/wchar_t/13189.cc: Likewise.

From-SVN: r92791

cxa_vec.C: Add -flat_namespace on Darwin 6 and 7.

* g++.old-deja/g++.abi/cxa_vec.C: Add -flat_namespace on Darwin
6 and 7.
* g++.old-deja/g++.brendan/new3.C: Likewise.

From-SVN: r92790

1.cc: Fix, null-terminate array1 at the outset.

2005-01-01  Paolo Carlini  <pcarlini@suse.de>

* testsuite/27_io/basic_istream/extractors_character/char/1.cc: Fix,
null-terminate array1 at the outset.
* testsuite/27_io/basic_istream/extractors_character/wchar_t/1.cc:
Likewise.

From-SVN: r92789

tree.c (int_fits_type_p): A narrower type always fits in a wider one...

* tree.c (int_fits_type_p): A narrower type always fits in a
wider one, except for negative values into unsigned types.

Co-Authored-By: Olivier Hainque <hainque@act-europe.fr>
From-SVN: r92788

tree.c (int_fits_type_p): Compare the result of force_fit_type with the original constant rather than...

* tree.c (int_fits_type_p): Compare the result of force_fit_type
with the original constant rather than require TREE_OVERFLOW.

From-SVN: r92786

Rotate ChangeLog

From-SVN: r92785

re PR middle-end/17544 (incorrect -Wunreachable-code warning for mains with a return statement)

* emit-rtl.c (add_insn_before): Fix comment typo.

PR middle-end/17544
* c-decl.c (finish_function): If compiling C99, annotate the
compiler generated return with the current file name and line 0.
* tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
the source line is greater than 0.
(remove_bb): Likewise.

cp/
PR middle-end/17544
* decl.c (finish_function): Fix comment.  Annotate the compiler
generated return with the current file name and line 0.

testsuite/
* gcc.dg/20041231-1.C: New test.
* g++.dg/warn/Wunreachable-code-1.C: New test.

From-SVN: r92784

re PR tree-optimization/19042 (Complex types are not SRA all the time.)

        PR tree-opt/19042
        * tree-sra.c (decide_block_copy): Force use_block_copy false
        for complex values.

From-SVN: r92782

re PR middle-end/17799 (Non-optimizing compile loses 'this')

        PR middle-end/17799
        * function.c (use_register_for_decl): Check DECL_IGNORED_P instead
        of DECL_ARTIFICIAL.
        (assign_parms_augmented_arg_list): Set DECL_IGNORED_P.
        * c-decl.c (build_compound_literal): Likewise.
        * dwarf2asm.c (dw2_force_const_mem): Likewise.
        * gimplify.c (create_artificial_label): Likewise.
        * tree-inline.c (expand_call_inline): Likewise.
        * var-tracking.c (vt_initialize): Likewise.
        * tree-outof-ssa.c (create_temp): Copy DECL_IGNORED_P.
cp/
        * call.c (make_temporary_var_for_ref_to_temp): Set DECL_IGNORED_P.
        * class.c (build_vtable): Don't conditionallize setting it
        based on DWARF2_DEBUG.
        (layout_class_type): Set DECL_IGNORED_P.
        * decl2.c (get_guard): Likewise.
        * rtti.c (get_tinfo_decl, build_lang_decl): Likewise.
        * tree.c (build_local_temp): Likewise.

From-SVN: r92781

Daily bump.

From-SVN: r92779

re PR target/19211 (GNAT bug box compiling a-exexda.adb with stage1 compiler)

2004-12-31  Andrew Pinski  <pinskia@physics.uc.edu>

        PR target/19211
        * config/darwin.c (machopic_legitimize_pic_address): If the orig
        is subregister return orig.

From-SVN: r92776

types.c (FFI_AGGREGATE_TYPEDEF): Remove.

        * src/types.c (FFI_AGGREGATE_TYPEDEF): Remove.
        (FFI_TYPEDEF): Rename from FFI_INTEGRAL_TYPEDEF.  Replace size and
        offset parameters with a type parameter; deduce size and structure
        alignment.  Update all users.

From-SVN: r92775

types.c (FFI_TYPE_POINTER): Define with sizeof.

        * src/types.c (FFI_TYPE_POINTER): Define with sizeof.
        (FFI_TYPE_LONGDOUBLE): Fix for ia64.
        * src/ia64/ffitarget.h (struct ffi_ia64_trampoline_struct): Move
        into ffi_prep_closure.
        * src/ia64/ia64_flags.h, src/ia64/ffi.c, src/ia64/unix.S: Rewrite
        from scratch.

From-SVN: r92774

type_traits (is_member_function_pointer): Provide a workaround for c++/19076, correct for functions with up to 15 arguments.

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

* include/tr1/type_traits (is_member_function_pointer): Provide a
workaround for c++/19076, correct for functions with up to 15
arguments.
* testsuite/tr1/4_metaprogramming/composite_type_traits/
is_member_pointer/is_member_pointer.cc: Uncomment "XFAILed" tests;
add a test for variadic functions.
* testsuite/tr1/4_metaprogramming/composite_type_traits/
is_scalar/is_scalar.cc: Uncomment "XFAILed" tests.
* testsuite/tr1/4_metaprogramming/primary_type_categories/
is_enum/is_enum.cc: Likewise.
* testsuite/tr1/4_metaprogramming/primary_type_categories/
is_member_function_pointer/is_member_function_pointer.cc: Likewise;
add a test for variadic functions.
* testsuite/tr1/4_metaprogramming/primary_type_categories/
is_member_object_pointer/is_member_object_pointer.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_nothrow_assign/has_nothrow_assign.cc: Uncomment "XFAILed" tests.
* testsuite/tr1/4_metaprogramming/type_properties/
has_nothrow_constructor/has_nothrow_constructor.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_nothrow_copy/has_nothrow_copy.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_trivial_assign/has_trivial_assign.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_trivial_constructor/has_trivial_constructor.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_trivial_copy/has_trivial_copy.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_trivial_destructor/has_trivial_destructor.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
is_pod/is_pod.cc: Likewise.

From-SVN: r92769

tree-scalar-evolution.c (instantiate_parameters_1): Copy the expression only if needed.

* tree-scalar-evolution.c (instantiate_parameters_1): Copy the
expression only if needed.

From-SVN: r92768

* pa-hpux.h (HANDLE_SYSV_PRAGMA, HANDLE_PRAGMA_PACK_PUSH_POP): Define.

From-SVN: r92767

re PR target/18701 (mmix-knuth-mmixware gcc.c-torture/execute failures: 20010224-1.c, 20020216-1.c, 20040218-1.c, 20040709-2.c)

PR target/18701
* combine.c (combine_simplify_rtx): Do not allow paradoxical
subregs of MEM.

From-SVN: r92762

re PR target/18701 (mmix-knuth-mmixware gcc.c-torture/execute failures: 20010224-1.c, 20020216-1.c, 20040218-1.c, 20040709-2.c)

PR target/18701
* combine.c (gen_lowpart_for_combine): When stripping SUBREG of
MEM, adjust imode and isize.

From-SVN: r92760

* testsuite/lib/libjava.exp (libjava_find_gij): Handle multilibs.

From-SVN: r92758

Daily bump.

From-SVN: r92752

update_version (ADD_BRANCHES): Replace lno-branch with autovect-branch.

* update_version (ADD_BRANCHES): Replace lno-branch with
autovect-branch.

From-SVN: r92747

cp-tree.h (cp_declarator): Split "name" field into qualifying_scope and unqualified_name.

* cp-tree.h (cp_declarator): Split "name" field into
qualifying_scope and unqualified_name.
* decl.c (get_scope_of_declarator): Adjust accordingly.
(grokdeclarator): Likewise.
* decl2.c (grokfield): Likewise, and adjust call to
do_class_using_decl.
* name-lookup.c (do_class_using_decl): Split "decl" into
"scope" and "name".  Remove unnecessary code.
* name-lookup.h (do_class_using_decl): Adjust declaration.
* parser.c (make_id_declarator): Split "id" into qualifying_scope
and unqualified_name.
(cp_parser_using_declaration): Adjust call to do_class_using_decl.
(cp_parser_direct_declarator): Adjust to handle the fact that
cp_parser_declarator_id no longer returns a SCOPE_REF.
(cp_parser_direct_declarator): Likewise.
(cp_parser_declarator_id): Do not create a SCOPE_REF for qualified
names.
(cp_parser_member_declaration): Adjust call to make_id_declarator.
(cp_parser_check_declarator_template_parameters): Do not expect a
SCOPE_REF.

* decl.c (duplicate_decls): Call ggc_free on declarations we will
not be needing any longer.

From-SVN: r92746

type_traits: Add has_trivial_copy, has_trivial_assign, has_nothrow_copy, has_nothrow_assign.

2004-12-30  Paolo Carlini  <pcarlini@suse.de>

* include/tr1/type_traits: Add has_trivial_copy, has_trivial_assign,
has_nothrow_copy, has_nothrow_assign.
* testsuite/testsuite_tr1.h: Add test_copy_property and
test_assign_property.
* testsuite/tr1/4_metaprogramming/type_properties/
has_nothrow_assign/has_nothrow_assign.cc: New.
* testsuite/tr1/4_metaprogramming/type_properties/
has_nothrow_assign/typedefs.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_nothrow_copy/has_nothrow_copy.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_nothrow_copy/typedefs.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_trivial_assign/has_trivial_assign.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_trivial_assign/typedefs.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_trivial_copy/has_trivial_copy.cc: Likewise.
* testsuite/tr1/4_metaprogramming/type_properties/
has_trivial_copy/typedefs.cc: Likewise.

From-SVN: r92745

ia64.c (hfa_element_mode): Return false for zero-sized top-level aggregates.

        * config/ia64/ia64.c (hfa_element_mode): Return false for
        zero-sized top-level aggregates.

From-SVN: r92741

read_eof.f90: Open scratch file, not /dev/null.

        * gfortran.fortran-torture/execute/read_eof.f90: Open scratch
        file, not /dev/null.  Abort on error.

From-SVN: r92737

re PR target/18019 (-march=pentium4 generates word fetch instead of byte fetch)

PR target/18019
* i386.md (movqi_1): Fix -Os instruction choice.

From-SVN: r92733