2009-11-30  Martin Jambor  <mjambor@suse.cz>

PR middle-end/42196
* tree-sra.c (struct access): New field grp_different_types.
(dump_access): Dump grp_different_types.
(compare_access_positions): Prefer scalars and vectors over other
scalar types.
(sort_and_splice_var_accesses): Set grp_different_types if appropriate.
(sra_modify_expr): Use the original also when dealing with a complex
 or vector group accessed as multiple types.

* testsuite/gcc.c-torture/compile/pr42196-1.c: New test.
* testsuite/gcc.c-torture/compile/pr42196-2.c: New test.
* testsuite/gcc.c-torture/compile/pr42196-3.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154834 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/i386/i386.c (avx_vperm2f128_parallel): New.
        * config/i386/i386-protos.h: Declare it.
        * config/i386/predicates.md (avx_vperm2f128_v8sf_operand,
        avx_vperm2f128_v8si_operand, avx_vperm2f128_v4df_operand): New.
        * config/i386/sse.md (avx_vperm2f128<mode>3): Change to expander.
        (*avx_vperm2f128<mode>_full): Renamed from avx_vperm2f128<mode>3.
        (*avx_vperm2f128<mode>_nozero): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154832 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/i386-builtin-types.def (V4DF_FTYPE_V4DF_V4DF_V4DI): New.
(V8SF_FTYPE_V8SF_V8SF_V8SI): New.
* config/i386/i386.c (ix86_vectorize_builtin_vec_perm): Support
V4DF and V8SF for AVX; relax constraint on V4SF to SSE1 from SSE2.
(IX86_BUILTIN_VEC_PERM_V4DF, IX86_BUILTIN_VEC_PERM_V8SF): New.
(bdesc_args): Add them.
(ix86_expand_builtin): Expand them.
(expand_vec_perm_pshufb2): Only operate on 16-byte vectors.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154831 138bc75d-0d04-0410-961f-82ee72b054a4

* largefile.m4 (ACX_LARGEFILE): Require AC_CANONICAL_HOST and
AC_CANONICAL_TARGET.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154830 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Vasiliy Fofanov  <fofanov@adacore.com>

* vms_data.ads: Add new VMS qualifiers,
REVERSE_BIT_ORDER/NOREVERSE_BIT_ORDER, to support warnings on bit order
effects.

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* exp_ch9.adb, exp_ch9.ads, sem_util.ads: Minor reformatting.

2009-11-30  Gary Dismukes  <dismukes@adacore.com>

* sem_prag.adb: Fix spelling error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154829 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Ed Schonberg  <schonberg@adacore.com>

* exp_ch9.ads (Build_Private_Protected_Declaration): For a protected
operation that is only declared in a protected body, create a
corresponding subprogram declaration.
* exp_ch9.adb (Expand_N_Protected_Body): Create protected body of
operation in all cases, including for an operation that is only
declared in the body.
* sem_ch6.adb: Call Build_Private_Protected_Declaration
* exp_ch6.adb (Expand_N_Subprogram_Declaration): For an operation
declared in a protected body, create the declaration for the
corresponding protected version of the operation.

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Disable specific expansions
for Restrictions pragmas, to avoid tree inconsistencies between
compilations with different pragmas.

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* sem_prag.adb (Check_Duplicated_Export_Name): Allow entities exported
to CIL to have duplicated export name.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154828 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* a-tiinio.adb: Remove extraneous pragma Warnings (Off).

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb: Minor reformatting

2009-11-30  Ed Falis  <falis@adacore.com>

* s-vxwext.ad[s,b], system-vxworks-ppc.ads, s-stchop-vxworks.adb:
Comment update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154827 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Ed Schonberg  <schonberg@adacore.com>

* par_sco.adb (Traverse_Handled_Statement_Sequence): Do not emit SCO's
for null statements that do not come from source.
* sinfo.ads: Clarify documentation of Comes_From_Source

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Add_Source): Use Display_Name for both projects when
displaying the paths in error message.

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* adaint.h, adaint.c (file_attributes): force the use of unsigned char.
  On some platforms, "char" is signed, on others unsigned, so we
  explicitly specify the one we expect

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154826 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Matthew Heaney  <heaney@adacore.com>

* a-coinve.adb (Insert): Move exception handler closer to point where
exception can occur.
Minor reformatting & comment additions.

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* freeze.adb (Freeze_Entity): Disable warning on 'Foreign caller must
pass bounds' for VM targets, not relevant.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* sem_util.adb (Wrong_Type): Diagnose additional case of modular
missing parens.
* a-tiinio.adb, a-wtinio.adb, a-ztinio.adb: Minor reformatting

* exp_util.adb (Kill_Dead_Code): Suppress warning for some additional
cases.

* sem_warn.adb (Set_Warning_Flag): Clean up gnatwA list and ensure
completeness.
(Set_Dot_Warning_Flag): Ditto for -gnatw.e
(Set_Dot_Warning_Flag): Implement -gnbatw.v/w.V
* usage.adb: Add lines for -gnatw.v/w.V

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* make.adb (Check_Standard_Library): use Full_Source_Name instead of
direct call to Find_File. The former provides caching of the results, so
might be more efficient
(Start_Compile_If_Necessary): Add comment on possible optimization,
not done for now.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154825 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* g-sechas.adb: Minor reformatting

2009-11-30  Matthew Heaney  <heaney@adacore.com>

* a-crbtgo.adb (Delete_Fixup): Add comments explaining why predicates
were removed.
* a-cdlili.adb (Vet): Remove always-true predicates.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154823 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* s-sechas.adb, s-sechas.ads, s-shshco.adb, s-shshco.ads, s-shsh64.adb,
s-shsh64.ads, s-sehamd.adb, s-sehamd.ads, s-shsh32.adb, s-shsh32.ads,
s-sehash.adb, s-sehash.ads, g-sechas.adb, g-sechas.ads, g-shshco.adb,
g-shshco.ads, g-md5.ads, g-sha256.ads, g-shsh64.adb, g-shsh64.ads,
g-sehamd.adb, g-sehamd.ads, g-sha512.ads, g-sha1.ads, Makefile.rtl,
g-sha224.ads, g-shsh32.adb, g-shsh32.ads, g-sha384.ads, g-sehash.adb,
g-sehash.ads: Rename System.Secure_Hashes to GNAT.Secure_Hashes.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154822 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Martin Jambor  <mjambor@suse.cz>

PR middle-end/42206
* ipa-prop.c (ipa_write_node_info): Initialize note_count to zero.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154820 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* osint.ads: Minor comment update.

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* s-sechas.adb: Fix swapping error in previous checkin.
* g-md5.ads, g-sha256.ads, g-sha512.ads, g-sha1.ads, g-sha224.ads,
g-sha384.ads: Add missing documentation.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154819 138bc75d-0d04-0410-961f-82ee72b054a4

* ipa-reference.c (propagate): Only dump bitmaps if computed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154818 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* g-sha256.ads, s-sehamd.ads, s-sehamd.adb, g-sha512.ads, g-sha224.ads,
g-sha384.ads: Minor reformatting

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* adaint.h (file_attributes): Reduce size of the structure, so that it
is less costly to store in records.
* makeutl.adb:
(Check_Source_Info_In_ALI): use Full_Source_Name instead of a direct
call to Find_File, since the former provides caching when appropriate,
which limits the number of system calls in some cases.
* osint.ads, prj.ads (Source_Data): do not store directly the timestamp,
but the file attributes since we also need access to the size of the
ALI file to parse it. This gives an opportunity for saving system calls
on Unix systems.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154817 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb, s-sechas.ads, s-sechas.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154816 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Gary Dismukes  <dismukes@adacore.com>

* sem_prag.adb (Process_Convention): Change formal E to Ent. In the
case where the pragma's entity argument is a renaming, return the
entity denoted by the renaming rather than the renamed entity. Loop
through the homonyms of the original argument entity, rather than the
homonyms of any renamed entity. Correct call to Generate_Entity to
pass the homonym.

2009-11-30  Vincent Celier  <celier@adacore.com>

* impunit.adb: Add packages that were added to the GNAT library:
GNAT.SHA224, GNAT.SHA256, GNAT.SHA384 and GNAT.SHA512.
* s-sechas.adb (Fill_Buffer_Copy): Fixes incorrect slice index

2009-11-30  Robert Dewar  <dewar@adacore.com>

* exp_ch3.adb: Minor reformatting
* g-md5.ads, g-sha1.ads: Add comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154815 138bc75d-0d04-0410-961f-82ee72b054a4

Fix header.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154814 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Makefile.in: Remove handling of libgccprefix, no longer
needed

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154813 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Pascal Obry  <obry@adacore.com>

* expect.c: Fix cast to avoid warnings in x86-64 Windows.

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* gnat_rm.texi, s-sechas.adb, s-sechas.ads, s-shshco.adb,
s-shshco.ads, g-md5.adb, g-md5.ads, g-sha256.ads, s-shsh64.adb,
s-shsh64.ads, s-sehamd.adb, s-sehamd.ads, g-sha512.ads, g-sha1.adb,
g-sha1.ads, Makefile.rtl, g-sha224.ads, g-sha384.ads, s-shsh32.adb,
s-shsh32.ads, s-sehash.adb, s-sehash.ads: Reimplementation of GNAT.MD5
and GNAT.SHA1 to factor shared code and avoid unnecessary stack copies.
Also introduce new functions SHA-{224,256,384,512}

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154812 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Olga Golovanevsky  <olga@il.ibm.com>

PR middle-end/39806
* ipa-struct-reorg.c (new_var_eq): Use DECL_UID to hash new variables.
(new_var_hash): Likewise.
(is_in_new_vars_htab): Likewise.
(add_to_new_vars_htab): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154811 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* exp_ch3.adb (Make_Predefined_Primitive_Specs): Improve comment for
the Value_Type case.

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* a-textio.adb: Minor reformatting

2009-11-30  Pascal Obry  <obry@adacore.com>

* adaint.c: Fix bug in passing parameter.
* expect.c: Include io.h to get definition of _open_osfhandle

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154810 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Javier Miranda  <miranda@adacore.com>

* exp_ch6.adb, sem_scil.adb (Adjust_SCIL_Node): Add missing management
of N_Unchecked_Type_Conversion nodes when searching for SCIL nodes.
(Expand_Call): Adjust decoration of SCIL node associated with relocated
function call.

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* prj-env.adb (Add_To_Source_Path): Preserve casing of directories

2009-11-30  Vincent Celier  <celier@adacore.com>

* opt.ads (No_Split_Units): New flag initialized to False

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* exp_ch7.adb (Needs_Finalization): Add comments.
* exp_ch3.adb (Make_Predefined_Primitive_Specs): Improve handling of
CIL Value types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154809 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* osint.adb, a-rttiev.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154808 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Remove list of warning letters, and refer instead to
using gnatmake to get a brief list.

* debug.adb: Document -gnatd.i to disable pragma Warnings
* par-prag.adb, sem_prag.adb: Recognize -gnatd.i to disable Warnings
pragma.
* vms_data.ads: Add /NOWARNINGS_PRAGMS for -gnatd.i

2009-11-30  Geert Bosch  <bosch@adacore.com>

* a-ngelfu.adb (Sin): Correct spelling of sine in comment.

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatls.adb: Do not call Get_Target_Parameters in Verbose_Mode, as it
is not needed and gnatls fails when called with -v -nostdinc.

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* osint.adb, osint.ads (File_Time_Stamp): new subprogram.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154807 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Kai Tietz  <Kai.Tietz@onevision.com>

        * io/unix.c (find_file): Add variable id conditionally for
        mingw targets.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154806 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Ed Schonberg  <schonberg@adacore.com>

* gnat_rm.texi, gnat_ugn.texi: Document new syntax for pragma Annotate

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154805 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* scans.ads (Wide_Wide_Character_Found): New flag
* scn.adb (Post_Scan): Set new flag Has_Wide_Wide_Character
* scng.adb (Set_String): Set new flag Wide_Wide_Character_Found
(Set_String): Fix failure to reset Wide_Character_Found
* sinfo.adb (Has_Wide_Wide_Character): New flag in N_String_Literal
* sinfo.ads (Has_Wide_Wide_Character): New flag in N_String_Literal
* a-ngelfu.adb: Minor reformatting & code reorganization.
* usage.adb: Fix typo in -gnatw.W line

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154804 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* osint.adb, prj-nmsc.adb, sem_prag.adb, sem_util.adb: Minor
reformatting.
* csinfo.adb: Terminate run if improper use of reserved flag
* sinfo.ads, sinfo.adb (Is_Accessibility_Actual): Don't use reserved
Flag12, used Flag13 instead.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154803 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (Check_Files): Recognize documented switches that have a
separate parameter.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* sem_util.ads: Minor reformatting
* errout.adb: Minor reformatting
Minor code reorganization (use N_Subprogram_Specification to simplify)
* exp_ch7.adb: Add comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154802 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* put_scos.adb (Put_SCOs): Do not generate a SCO unit header for a unit
that has no SCOs.
* scos.ads: Minor reformatting

2009-11-30  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb: Second unanalyzed parameter of Annotate is optional.

2009-11-30  Eric Botcazou  <ebotcazou@adacore.com>

* init.c (__gnat_adjust_context_for_raise, Linux version): Add guard
for null PC saved in the context.

2009-11-30  Hristian Kirtchev  <kirtchev@adacore.com>

* a-calend.adb (Day_Of_Week): Rewritten. The routine determines the
number of days from the Ada Epoch to the input date while ensuring that
both dates are in the same time zone.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154801 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* clean.adb ("-eL"): Also set Follow_Links_For_Dirs, to match what is
done in other project-aware tools like gnatmake and gprbuild.

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* exp_ch3.adb (Make_Predefined_Primitive_Specs): Take care of CIL
ValueTypes.
* exp_ch7.adb (Needs_Finalization): Do not finalize CIL valuetypes.
* sem_util.adb (Is_Value_Type): Protect against invalid calls to Chars
(Is_Delegate): New method used for CIL.
* sem_util.ads (Is_Delegate): New method for CIL handling.
(Is_Value_Type): Improve documentation.

2009-11-30  Ed Schonberg  <schonberg@adacore.com>

* errout.adb (Unwind_Internal_Type): Improve error reporting if the
type is an anonymous access to subprogram that is the type of a formal
in a subprogram spec.

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check_Interfaces): In a Stand-Alone Library project, if
attribute Interfaces is not declared, then Library_Interface should
define the interfaces.

2009-11-30  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb: New semantics for Annotate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154800 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Tristan Gingold  <gingold@adacore.com>

* gcc-interface/Makefile.in: Do not link with -static-libgcc on Darwin.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154799 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* gnat_ugn.texi: Extend doc for -eL

2009-11-30  Vincent Celier  <celier@adacore.com>

* osint.adb (Executable_Name (File_Name_Type)): Put the Name in the
Name_Buffer before testing for a dot in the Name.

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-part.adb (Project_Path_Name_Of): Resolve links for final result
if -eL has been specified.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154798 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

Fix typo in last ChangeLog entry.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154797 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Vincent Celier  <celier@adacore.com>

* osint.adb (Executable_Name): Test the name instead of the name buffer
to check if there is a dot in the given name.

2009-11-30  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update gnatcheck doc.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154796 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_disp.adb, usage.adb: Minor reformatting

2009-11-30  Vasiliy Fofanov  <fofanov@adacore.com>

* gnat_ugn.texi: Minor editing.

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* prj-nmsc.adb (Search_Directories): when -eL was not specified, assume
that no directory matches the naming scheme for sources.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154795 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-vect-stmts.c (vectorizable_assignment): Support
multiple types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154794 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* prj.adb, prj.ads, prj-nmsc.adb (Has_Multi_Unit_Sources): New field in
project_data.

2009-11-30  Vincent Celier  <celier@adacore.com>

* osint.adb (Executable_Name): Correctly decide if the executable
suffix should be added when Only_If_No_Suffix is True.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* frontend.adb, gnatlink.adb, prj-conf.adb, prj-tree.adb,
prj-tree.ads: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154793 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatlink.adb (Process_Args): Call Executable_Name on argument of -o
with Only_If_No_Suffix set to True.
* osint.adb (Executable_Name): Do not add executable suffix if there is
already a suffix and Only_If_No_Suffix is True.
* osint.ads (Executable_Name): New Boolean parameter Only_If_No_Suffix,
defaulted to False.

2009-11-30  Javier Miranda  <miranda@adacore.com>

* exp_atag.adb (Build_TSD): Change argument name because the actual is
now the address of a tag (instead of the tag). Update implementation
accordingly.
(Build_CW_Membership): New implementation. Converted into a procedure
because it has an additional out mode parameter. Its implementation has
been rewritten to improve the generated code but also to facilitate
referencing the relocated object node in the caller.
* exp_atag.ads (Build_CW_Membership): Update profile and documentation.
* sinfo.ads (N_SCIL_Membership_Test) New_Node.
(SCIL_Tag_Value): New field of N_SCIL_Membership_Test nodes.
(Is_Syntactic_Field): Add entry of new node.
(SCIL_Tag_Value/Set_SCIL_Tag_Value): New subprograms.
* sinfo.adb (SCIL_Related_Node, SCIL_Entity): Update assertions to
handle N_SCIL_Membership_Test nodes.
(SCIL_Tag_Value/Set_SCIL_Tag_Value): New subprograms.
* sem.adb (Analyze): Add null management for new node.
* sem_scil.adb (Find_SCIL_Node): Add null management for new node.
(Check_SCIL_Node): Add checks of N_SCIL_Membership_Test nodes.
* exp_ch4.adb (Tagged_Membership): Change profile from function to
procedure. Add generation of SCIL node associated with class-wide
membership test.
(Expand_N_In): Complete decoration of SCIL nodes.
* exp_intr.adb (Expand_Dispatching_Constructor_Call): Tune call to
Build_CW_Membership because its profile has been changed.
* exp_util.adb (Insert_Actions): Add null management for new node.
* sprint.adb (Sprint_Node_Actual): Handle new node.
* gcc-interface/trans.c Add no processing for N_SCIL_Membership_Test
nodes.
* gcc-interface/Make-lang.in: Update dependencies.

2009-11-30  Ed Schonberg  <schonberg@adacore.com>

* opt.ads: New flags Init_Or_Norm_Scalars_Config,
Initialize_Scalars_Config, to capture the presence of the corresponding
pragmas in a configuration file.
* opt.adb (Register_, Save_, Set_, Restore_Opt_Configuration_Switches):
handle new flags so that they are restored for each compilation unit.
* frontend.adb: At the end of compilation, scan the context of the main
unit to recover occurrences of pragma Initialize_Scalars, to annotate
the ALI file accordingly.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154792 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-tree.ads: Minor comment updates
* prj-tree.adb: Minor reformatting

2009-11-30  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Derive_Subprogram): Indicate that an inherited
predefined control operation is hidden if the parent type is not
visibly controlled.
* sem_ch6.adb (Check_Overriding_Indicator): Do not report error if
overridden operation is not visible, as may be the case with predefined
control operations.
* sem_disp.adb (Check_Dispatching_Operation): Do not emit warning on
non-overriding control operation when type is not visibly controlled,
if the subprogram has an explicit overriding indicator.
* sem_util.ads, sem_util.adb (Is_Visibly_Controlled): Moved here from
sem_disp.adb.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154791 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* prj-tree.adb (Create_Attribute): Fix handling of VMS and Windows
* prj-attr.ads: Minor comment updates

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154790 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document pragma Short_Circuit

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* prj-conf.adb, prj-tree.adb, prj-tree.ads (Create_Attribute): Now set
the index either on the attribute or on its value, depending on the
kind of the attribute. Done to match recent changes in Prj.PP that were
not synchronized with this function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154789 138bc75d-0d04-0410-961f-82ee72b054a4

    Update dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154788 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Make-lang.in: Fix typo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154787 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add documentation for attribute Result.

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* s-osinte-hpux.ads, s-osinte-aix.ads, s-osinte-solaris-posix.ads,
s-osinte-tru64.ads, s-osinte-darwin.ads, s-osinte-freebsd.ads
(Get_Page_Size): Update comment since Get_Page_Size is now required.

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* freeze.adb: Disable Warning on VM targets concerning C Imports, not
relevant.

2009-11-30  Bob Duff  <duff@adacore.com>

* sprint.adb (Source_Dump): Minor comment fix.
(Write_Itype): When writing a string literal subtype, use Expr_Value
instead of Intval to get the low bound.

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatlink.adb (Process_Args): Do not call Executable_Name on arguments
of switch -o.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Op_And): Implement pragma Short_Circuit_And_Or
(Expand_N_Op_Or): Implement pragma Short_Circuit_And_Or
* opt.ads (Short_Circuit_And_Or): New flag
* par-prag.adb: Add dummy entry for pragma Short_Circuit_And_Or
* sem_prag.adb: Implement pragma Short_Circuit_And_Or
* snames.ads-tmpl: Add entries for pragma Short_Circuit_And_Or

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154786 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Richard Guenther  <rguenther@suse.de>

* doc/contrib.texi (Contributors): Add myself.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154785 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* s-taprop-posix.adb: Fix casing.
* s-osinte-tru64.adb: Complete previous check-in.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document pragma Compiler_Unit
* s-bitops.adb, s-restri.adb, g-htable.adb, s-restri.ads,
a-comlin.ads, a-strhas.ads, s-strhas.adb, s-parame.adb,
s-parame.ads, a-clrefi.adb, a-clrefi.ads, a-ioexce.ads: Supply missing
Compiler_Unit pragmas.
* freeze.adb (Freeze_Entity): Improve message for 8-bit boolean passed
to C.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154784 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* makeutl.adb, makeutl.ads, prj-proc.adb, prj.adb, prj.ads: Minor
reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154783 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* osint.adb: Minor reformatting

2009-11-30  Vincent Celier  <celier@adacore.com>

* makeutl.ads, makeutl.adb (Base_Name_Index_For): New function to get
the base name of a main without the extension, with an eventual source
index.
(Mains.Get_Index): New procedure to set the source index of a main
(Mains.Get_Index): New function to get the source index of a main
* prj-attr.adb: New attributes Config_Body_File_Name_Index,
Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and
Multi_Unit_Switches.
* prj-nmsc.adb (Process_Compiler): Takle into account new attributes
Config_Body_File_Name_Index, Config_Spec_File_Name_Index,
Multi_Unit_Object_Separator and Multi_Unit_Switches.
Allow only one character for Multi_Unit_Object_Separator.
* prj-proc.adb (Process_Declarative_Items): Take into account the
source indexes in indexes of associative array attribute declarations.
* prj.adb (Object_Name): New function to get the object file name for
units in multi-unit sources.
* prj.ads (Language_Config): New components Multi_Unit_Switches,
Multi_Unit_Object_Separator Config_Body_Index and Config_Spec_Index.
(Object_Name): New function to get the object file name for units in
multi-unit sources.
* snames.ads-tmpl: New standard names Config_Body_File_Name_Index,
Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and
Multi_Unit_Switches.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154782 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Richard Guenther  <rguenther@suse.de>

        * tree.c (free_lang_data): Do not set debug_info_level to
        none if terse.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154781 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* s-tassta.adb: Update comment.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* a-ngelfu.adb: Minor code reorganization.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154780 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* osint.ads, prj.adb, prj.ads: Minor reformatting
* s-stchop.adb, s-taprop-vxworks.adb, s-taprop-tru64.adb,
s-taprop-vms.adb, s-taprop-linux.adb, s-taprop-solaris.adb,
s-strxdr.adb, s-taprop-irix.adb,
s-osinte-hpux-dce.adb, s-osinte-tru64.adb, s-taenca.adb,
s-taprop-hpux-dce.adb, s-stausa.adb, s-taprop-posix.adb: Minor code
reorganization (use conditional expressions).

2009-11-30  Bob Duff  <duff@adacore.com>

* g-sttsne-locking.adb (Copy_Service_Entry): Complete previous change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154779 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Richard Guenther  <rguenther@suse.de>

PR middle-end/42119
PR fortran/38530
* expr.c (expand_expr_addr_expr_1): Properly expand the initializer
of CONST_DECLs.

* gfortran.dg/pr42119.f90: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154778 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Bob Duff  <duff@adacore.com>

* socket.c: Add more accessor functions for struct servent (need
setters as well as getters).
* g-sothco.ads (Servent): Declare interfaces to C setter functions for
struct servent.
* g-sttsne-locking.adb (Copy_Service_Entry): Use setter functions for
struct servent.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154777 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Richard Guenther  <rguenther@suse.de>

* tree-into-ssa.c (insert_phi_nodes): Add PHI nodes in
variable UID order.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154776 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Richard Guenther  <rguenther@suse.de>

* tree-dump.c (dump_option_value_in): Add TDF_NOUID.
* tree-pass.h (TDF_NOUID): Likewise.
* print-rtl.c: Include tree-pass.h.
(print_mem_expr): Pass dump_flags.
(print_rtx): Likewise.
* print-tree.c: Include tree-pass.h.
(print_node_brief): Handle TDF_NOUID.
(print_node): Likewise.
* tree-pretty-print.c (dump_decl_name): Likewise.
(dump_generic_node): Likewise.
* Makefile.in (print-rtl.o, print-tree.o): Add $(TREE_PASS_H)
dependency.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154775 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* s-stchop-vxworks.adb: Add comment.

2009-11-30  Emmanuel Briot  <briot@adacore.com>

* make.adb, prj.adb, prj.ads (Compute_All_Imported_Projects): Now acts
on the whole tree, to better share code with gprbuild.
(Length): New subprogram, to share code in gprbuild.
(Project_Data): Remove fields that are only needed when compiling a
  project in gprbuild (where we use local variables instead)
* osint.adb, osint.ads: Added minor comment on memory management

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154774 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update gnatcheck doc.

2009-11-30  Robert Dewar  <dewar@adacore.com>

make.adb, prj-makr.adb, g-sothco.ads: Minor reformattting
* s-taprop-dummy.adb: Minor code reorganization (raise with msgs start
with lower case).
* i-vxwoio.adb, g-dirope.adb, g-sercom-linux.adb,
g-enblsp-vms-alpha.adb, g-regist.adb, s-imgcha.adb, s-tarest.adb,
s-taprop-mingw.adb, g-exctra.adb, g-expect.adb, g-comlin.adb,
g-debpoo.adb, g-expect-vms.adb, g-pehage.adb, g-trasym-vms-alpha.adb,
g-enblsp-vms-ia64.adb, s-fatgen.adb, s-fileio.adb: Minor code
reorganization (use conditional expressions).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154773 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-makr.adb (Source_Files): New hash table to keep track of source
file names.
(Finalize): Avoid putting several times the same source file name
in the source list file.
* prj-pp.adb (Print): Fix a bug in the placement of "at nn" for
associative array indexes.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* g-dyntab.ads: Add missing pragma Compiler_Unit

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* s-crtrun.ads, s-crtl.ads, g-stseme.adb, Makefile.rtl, s-fileio.adb
(System.CRTL.Runtime): New unit, to contain parts of s-crtl that are
used in the Ada runtime but can't be used in the compiler because of
bootstrap issues.
* socket.c, s-oscons-tmplt.c, g-sothco.ads
(System.OS_Constants.SIZEOF_struct_servent): New constant.
Use s-oscons constant instead of external variable to get size of
struct hostent.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154772 138bc75d-0d04-0410-961f-82ee72b054a4

* mark_rts.c (GC_approx_sp): Use __builtin_frame_address when
compiling with GCC rather than taking the address of a local
variable.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154771 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/stormy16/stormy16-lib2-count-leading-zeros.c: Delete.
        * config/stormy16/t-stormy16 (LIB2FUNCS_EXTRA): Remove
        stormy16-lib2-count-leading-zeros.c.
        * config/stormy16/stormy16-lib2.c (__clzhi2): Move code from
        __stormy16_count_leading_zeros() into this function.
        (__ctzhi2): Use __builtin_clz.
        (__ffshi2): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154770 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* s-crtl.ads, g-stseme.adb, s-fileio.adb (System.CRTL.strerror): Change
return type to Interfaces.C.Strings.chars_ptr to eliminate need for
dubious unchecked conversion at call sites.
* s-errrep.adb, s-errrep.ads, Makefile.rtl (System.Error_Reporting):
Remove obsolete, unused runtime unit.
* gcc-interface/Make-lang.in: Update dependencies.
* gcc-interface/Makefile.in: Remove VMS specialization of s-crtl, not
required anymore.

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatlink.adb: Delete an eventual existing executable file, in case it
is a symbolic link, to avoid modifying the target of the symbolic link.

2009-11-30  Bob Duff  <duff@adacore.com>

* socket.c: Add accessor functions for struct servent.
* g-sothco.ads (Servent): Declare interfaces to C accessor functions
for struct servent.
* g-socket.adb (To_Service_Entry): Use accessor functions for struct
servent.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* g-arrspl.adb: Minor reformatting
* g-dyntab.adb: Add missing pragma Compiler_Unit

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154769 138bc75d-0d04-0410-961f-82ee72b054a4

Fix PR c++/42069

gcc/cp/ChangeLog:
PR c++/42069
* pt.c (convert_template_argument): Strip typedefs from SCOPE_REFs.

gcc/testsuite/ChangeLog:
PR c++/42069
* g++.dg/template/typedef23.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154768 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* s-crtl.ads, s-oscons-tmplt.c: Fix support for VMS
* make.adb, g-comlin.ads, exp_ch6.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154767 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* g-alleve.adb: Minor code reorganization (use conditional expressions)

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* a-tasatt.adb, s-taprop-dummy.adb (Ada.Task_Attributes.Reference):
Remove unreachable code.
(System.Task_Primitives.Operations.Initialize, dummy version):
Use plain Program_Error rather than call to
System.Error_Reporting.Shutdown.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154766 138bc75d-0d04-0410-961f-82ee72b054a4

(malloc32, realloc32): Remove VMS-specific routines.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154764 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154763 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Robert Dewar  <dewar@adacore.com>

* bcheck.adb, gnatlink.adb, make.adb, makeutl.adb, osint.adb,
osint.ads, prj-ext.adb, sem_case.adb: Minor reformatting
* g-alleve.adb: Minor code reorganization (use conditional expressions)

2009-11-30  Matthew Heaney  <heaney@adacore.com>

* a-crbtgo.adb (Delete_Fixup): Changed always-true predicates to
assertions.

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* a-tasatt.adb, s-crtl.ads, s-taprop-dummy.adb (System.CRTL.malloc32,
System.CRTL.realloc32): Remove VMS-specific routines.
(Ada.Task_Attributes.Reference): Remove unreachable code.
(System.Task_Primitives.Operations.Initialize, dummy version):
Use plain Program_Error rather than call to
System.Error_Reporting.Shutdown.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154762 138bc75d-0d04-0410-961f-82ee72b054a4

Minor comment updates.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154761 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* s-oscons-tmplt.c, xoscons.adb: Add new constants in preparation for
sharing s-crtl across all platforms.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154760 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

* include/tr1_impl/functional: Remove file, copy its contents,
trivially adjusted...
* include/std/functional: ... here, and...
* include/tr1_impl/functional: ... here.
* include/Makefile.am: Adjust.
* include/Makefile.in: Regenerate.

2009-11-30  Jonathan Wakely  <jwakely.gcc@gmail.com>

        * include/tr1_impl/functional (function): Add rvalue support and
        tweak doxygen markup.
        * testsuite/20_util/function/assign/move.cc: New.
        * testsuite/20_util/function/cons/move.cc: New.
        * testsuite/20_util/function/invoke/move_only.cc: New.
        * testsuite/20_util/function/cmp/cmp_neg.cc: New.
        * testsuite/20_util/function/1.cc: Copy from testsuite/tr1/.
        * testsuite/20_util/function/2.cc: Likewise.
        * testsuite/20_util/function/3.cc: Likewise.
        * testsuite/20_util/function/4.cc: Likewise.
        * testsuite/20_util/function/5.cc: Likewise.
        * testsuite/20_util/function/6.cc: Likewise.
        * testsuite/20_util/function/7.cc: Likewise.
        * testsuite/20_util/function/8.cc: Likewise.
        * testsuite/20_util/function/9.cc: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154759 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Thomas Quinot  <quinot@adacore.com>

* s-commun.adb, s-commun.ads: New internal support unit,
allowing code sharing between GNAT.Sockets and
GNAT.Serial_Communication.
* g-sercom.ads, g-sercom-mingw.adb, g-sercom-linux.adb,
g-socket.adb (GNAT.Sockets.Last_Index): Move to System.Communication.
(GNAT.Serial_Communication.Read): Handle correctly the case where no
data was read, and Buffer'First = Stream_Element_Offset'First.
* Makefile.rtl: Add entry for s-commun
* g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
g-socthi-vxworks.ads, g-stseme.adb, g-socthi-mingw.ads,
g-socthi.adb, g-socthi.ads (GNAT.Sockets.Thin.Socket_Error_Message):
Reimplement in terms of System.CRTL.strerror.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154758 138bc75d-0d04-0410-961f-82ee72b054a4

* config/sparc/sparc.c (DF_MODES): Simplify.
(TF_ONLY_MODES, OF_ONLY_MODES): Delete.
(TF_MODES, OF_MODES): Adjust for above change.
(TF_MODES_NO_S, OF_MODES_NO_S): Likewise.
*  config/sparc/sparc.h (REGNO_REG_CLASS): Move around.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154755 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-30  Paolo Bonzini  <bonzini@gnu.org>

PR rtl-optimization/41812
* fwprop.c (local_md, local_lr): New globals.
(process_defs, process_uses): Remove local_md argument.  Never
consider dead pseudos to have singleton def-use chains.
(single_def_use_enter_block): Perform LR simulation.
(build_single_def_use_links): Remove local_md local variable.
Add DF_NOTE.  Allocate local_lr.
(fwprop_done): Do not remove DF_CHAIN, we do not use it anymore.
* df-problems.c (df_md_scratch): New.
(df_md_alloc, df_md_free): Allocate/free it.
(df_md_local_compute): Only include live registers in init.
(df_md_transfer_function): Prune the in-set computed by
the confluence function, and the gen-set too.
(df_simulate_one_insn_forwards): Fix typo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154753 138bc75d-0d04-0410-961f-82ee72b054a4

PR rtl-optimization/40086
* reorg.c (relax_delay_slots): When looking for redundant insn at
the branch target, use next_real_insn, not next_active_insn.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154751 138bc75d-0d04-0410-961f-82ee72b054a4

* configure.ac: Update minimum MPC version to 0.8.
* configure: Regenerate.

gcc:
* doc/install.texi: Update minimum MPC version to 0.8.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154750 138bc75d-0d04-0410-961f-82ee72b054a4

* jni.cc (_Jv_JNI_GetObjectRefType): Mark `object' parameter as
maybe unused.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154749 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-29  H.J. Lu  <hongjiu.lu@intel.com>

PR tree-optimization/41961
* g++.dg/tree-ssa/pr41961.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154748 138bc75d-0d04-0410-961f-82ee72b054a4

* os_dep.c: Use the POSIX signal API in preference to the BSD API.
Generate a compilation error if neither the POSIX nor BSD APIs can
be detected.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154747 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154746 138bc75d-0d04-0410-961f-82ee72b054a4

2009-09-09  Segher Boessenkool  <segher@kernel.crashing.org>

        * config/rs6000/rs6000.md (fnmaddsf4_powerpc_1): Remove
        HONOR_SIGNED_ZEROS final condition.
        (fnmsubsf4_powerpc_1): Same.
        (fnmadddf4_fpr_1): Same.
        (fnmsubdf4_fpr_1): Same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154743 138bc75d-0d04-0410-961f-82ee72b054a4

Really fix PR c++/36408

gcc/cp/ChangeLog:

PR c++/36408
* semantics.c (empty_expr_stmt_p): Handle void_zero_node and fix
bad indentation.
* pt.c (tsubst_copy_and_build): Fix typo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154742 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-29  Jonathan Wakely  <jwakely.gcc@gmail.com>

* doc/doxygen/user.cfg.in: Add __GXX_RTTI to PREDEFINED macros.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154741 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/42193
* tree-vect-stmts.c (vectorizable_operation): Set vectorization factor
to 1 in case of basic block SLP.
(vectorizable_load): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154738 138bc75d-0d04-0410-961f-82ee72b054a4

* cgraph.c (same_body_alias_1): Break out of
(same_body_alias): ... here; remove comdat check; it is handled
in cp already.
(cgraph_add_thunk): New.
(dump_cgraph_node): Dump aliases and thunks.
* cgraph.h (cgraph_thunk_info): New structure.
(struct cgraph_node): Add thunk info.
(cgraph_add_thunk): New.
* cgraphunit.c (cgraph_emit_thunks): Remove.
(cgraph_finalize_compilation_unit): Do not call cgraph_emit_thunks.
(assemble_thunk): New function.
(cgraph_expand_function): Handle thunks.
(thunk_adjust): New.
(init_lowered_empty_function): New.
* optimize.c (maybe_clone_body): Emit thunks associated to alias.
* Make-lang.in (method.o): Add dependency on gimple.h.
* method.c: Include gimple.h
(make_alias_for_thunk): Use same body alias instead of assemble_alias.
(use_thunk): Drop codegen; use cgraph_add_thunk; gimplify
generic thunks.
* semantics.c (expand_or_defer_fn): Emit associated thunks.
* cp-objcp-common.h (LANG_HOOKS_CALLGRAPH_EMIT_ASSOCIATED_THUNKS): Remove.
* lto-cgraph.c (lto_output_node): Stream thunk info.
(input_node): Likewise.
* langhooks.h (lang_hooks_for_callgraph): Remove emit_associated_thunks.
* langhooks-def.h (LANG_HOOKS_CALLGRAPH_EMIT_ASSOCIATED_THUNKS): Remove.
(LANG_HOOKS_CALLGRAPH_INITIALIZER): Update.
* i386.c (x86_output_mi_thunk): Make output prettier.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154736 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154734 138bc75d-0d04-0410-961f-82ee72b054a4

Fix PR c++/36408

gcc/cp/ChangeLog:

PR c++/36408
* cp-tree.h (empty_expr_stmt_p): Declare ...
* semantics.c (empty_expr_stmt_p): ... this.
* pt.c (tsubst_copy_and_build) <STMT_EXPR>: Use it.

gcc/testsuite/ChangeLog:
PR c++/36408
* g++.dg/template/stmtexpr2.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154731 138bc75d-0d04-0410-961f-82ee72b054a4

* sarray.c (sarray_free): Use old_buckets variable.
* encoding.c (objc_layout_structure_next_member): Remove unused
bfld_type_size variable.

* decContext.c (decContextTestEndian): Move adj definition into
#if DECCHECK guarded code.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154730 138bc75d-0d04-0410-961f-82ee72b054a4

* intrinsics/pack_generic.c (pack_internal): Remove unused
zero_sized variable.
* intrinsics/unpack_generic.c (unpack0): Remove unused size
variable.
* io/write.c (namelist_write_newline): Remove unused length
variable.
* io/unix.c (find_file): Remove unused id variable.
* m4/ifunction.m4 (SCALAR_ARRAY_FUNCTION): Remove unused sstride
variable.
* generated/maxloc1_16_i1.c: Regenerated.
* generated/maxloc1_16_i16.c: Regenerated.
* generated/maxloc1_16_i2.c: Regenerated.
* generated/maxloc1_16_i4.c: Regenerated.
* generated/maxloc1_16_i8.c: Regenerated.
* generated/maxloc1_16_r10.c: Regenerated.
* generated/maxloc1_16_r16.c: Regenerated.
* generated/maxloc1_16_r4.c: Regenerated.
* generated/maxloc1_16_r8.c: Regenerated.
* generated/maxloc1_4_i1.c: Regenerated.
* generated/maxloc1_4_i16.c: Regenerated.
* generated/maxloc1_4_i2.c: Regenerated.
* generated/maxloc1_4_i4.c: Regenerated.
* generated/maxloc1_4_i8.c: Regenerated.
* generated/maxloc1_4_r10.c: Regenerated.
* generated/maxloc1_4_r16.c: Regenerated.
* generated/maxloc1_4_r4.c: Regenerated.
* generated/maxloc1_4_r8.c: Regenerated.
* generated/maxloc1_8_i1.c: Regenerated.
* generated/maxloc1_8_i16.c: Regenerated.
* generated/maxloc1_8_i2.c: Regenerated.
* generated/maxloc1_8_i4.c: Regenerated.
* generated/maxloc1_8_i8.c: Regenerated.
* generated/maxloc1_8_r10.c: Regenerated.
* generated/maxloc1_8_r16.c: Regenerated.
* generated/maxloc1_8_r4.c: Regenerated.
* generated/maxloc1_8_r8.c: Regenerated.
* generated/maxval_i1.c: Regenerated.
* generated/maxval_i16.c: Regenerated.
* generated/maxval_i2.c: Regenerated.
* generated/maxval_i4.c: Regenerated.
* generated/maxval_i8.c: Regenerated.
* generated/maxval_r10.c: Regenerated.
* generated/maxval_r16.c: Regenerated.
* generated/maxval_r4.c: Regenerated.
* generated/maxval_r8.c: Regenerated.
* generated/minloc1_16_i1.c: Regenerated.
* generated/minloc1_16_i16.c: Regenerated.
* generated/minloc1_16_i2.c: Regenerated.
* generated/minloc1_16_i4.c: Regenerated.
* generated/minloc1_16_i8.c: Regenerated.
* generated/minloc1_16_r10.c: Regenerated.
* generated/minloc1_16_r16.c: Regenerated.
* generated/minloc1_16_r4.c: Regenerated.
* generated/minloc1_16_r8.c: Regenerated.
* generated/minloc1_4_i1.c: Regenerated.
* generated/minloc1_4_i16.c: Regenerated.
* generated/minloc1_4_i2.c: Regenerated.
* generated/minloc1_4_i4.c: Regenerated.
* generated/minloc1_4_i8.c: Regenerated.
* generated/minloc1_4_r10.c: Regenerated.
* generated/minloc1_4_r16.c: Regenerated.
* generated/minloc1_4_r4.c: Regenerated.
* generated/minloc1_4_r8.c: Regenerated.
* generated/minloc1_8_i1.c: Regenerated.
* generated/minloc1_8_i16.c: Regenerated.
* generated/minloc1_8_i2.c: Regenerated.
* generated/minloc1_8_i4.c: Regenerated.
* generated/minloc1_8_i8.c: Regenerated.
* generated/minloc1_8_r10.c: Regenerated.
* generated/minloc1_8_r16.c: Regenerated.
* generated/minloc1_8_r4.c: Regenerated.
* generated/minloc1_8_r8.c: Regenerated.
* generated/minval_i1.c: Regenerated.
* generated/minval_i16.c: Regenerated.
* generated/minval_i2.c: Regenerated.
* generated/minval_i4.c: Regenerated.
* generated/minval_i8.c: Regenerated.
* generated/minval_r10.c: Regenerated.
* generated/minval_r16.c: Regenerated.
* generated/minval_r4.c: Regenerated.
* generated/minval_r8.c: Regenerated.
* generated/product_c10.c: Regenerated.
* generated/product_c16.c: Regenerated.
* generated/product_c4.c: Regenerated.
* generated/product_c8.c: Regenerated.
* generated/product_i1.c: Regenerated.
* generated/product_i16.c: Regenerated.
* generated/product_i2.c: Regenerated.
* generated/product_i4.c: Regenerated.
* generated/product_i8.c: Regenerated.
* generated/product_r10.c: Regenerated.
* generated/product_r16.c: Regenerated.
* generated/product_r4.c: Regenerated.
* generated/product_r8.c: Regenerated.
* generated/sum_c10.c: Regenerated.
* generated/sum_c16.c: Regenerated.
* generated/sum_c4.c: Regenerated.
* generated/sum_c8.c: Regenerated.
* generated/sum_i1.c: Regenerated.
* generated/sum_i16.c: Regenerated.
* generated/sum_i2.c: Regenerated.
* generated/sum_i4.c: Regenerated.
* generated/sum_i8.c: Regenerated.
* generated/sum_r10.c: Regenerated.
* generated/sum_r16.c: Regenerated.
* generated/sum_r4.c: Regenerated.
* generated/sum_r8.c: Regenerated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154729 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-28  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/42183
* tree-nrv.c (tree_nrv): Bail out if the RESULT_DECL has its
address taken.  Merge the addressable state of the NRV
variable and the result instead of copying it.

* g++.dg/torture/pr42183.C: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154728 138bc75d-0d04-0410-961f-82ee72b054a4

* jvspec.c (lang_specific_driver): Remove unused
saw_verbose_flag variable.
* jcf-dump.c (main): Remove unused general_purpose_bits
variable.
* builtins.c (initialize_builtins): Remove unused float_ftype_float
variable.
* expr.c (java_stack_pop): Remove unused val variable.
(build_jni_stub): Remove unused res_type variable.
* verify-impl.c (check_field_constant): Remove unused len variable.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154727 138bc75d-0d04-0410-961f-82ee72b054a4

* matrix-reorg.c (analyze_matrix_allocation_site): Remove unused
malloc_fname variable.
(check_allocation_function): Remove unused gsi and bb_level_0
variables.
(transform_access_sites): Remove unused d_type_size and d_type_size_k
variables.
* omega.c (resurrect_subs): Remove unused n variable.
(omega_solve_geq): Remove unused neweqns variable.
* lto-streamer-in.c (lto_read_tree): Remove unused end_marker variable.
* tree-inline.c (declare_return_variable): Remove USE_P argument,
return use instead of var.
(remap_decl, remap_block): Remove unused fn variable.
(expand_call_inline): Remove unused retvar variable, adjust
declare_return_variable caller.
(optimize_inline_calls): Remove unused prev_fn variable.
* tree-vect-slp.c (vect_analyze_slp_instance): Remove unused ncopies
variable.
(vect_create_mask_and_perm): Remove unused group_size and dr_chain_size
variables.
* tree-ssa-loop-niter.c (split_to_var_and_offset): Handle MINUS_EXPR
properly.
* tree-vect-loop.c (vect_analyze_loop_form): Remove unused backedge
variable.
(vect_create_epilog_for_reduction): Remove unused bytesize variable.
* omp-low.c (workshare_safe_to_combine_p): Remove par_entry_bb
parameter.  Remove unused par_stmt variable.
(determine_parallel_type): Adjust workshare_safe_to_combine_p caller.
(expand_omp_sections): Remove unused l1 variable.
(lower_omp_for): Remove unused ilist variable.
* tree-loop-distribution.c (mark_nodes_having_upstream_mem_writes):
Remove unused has_upstream_mem_write_p variable.
* recog.c (decode_asm_operands): Remove unused noperands variable.
* tree-ssa-alias.c (refs_may_alias_p_1): Remove unused size1 and
size2 variable.
* libgcov.c (__gcov_merge_delta): Remove unused last variable.
* tree-call-cdce.c (gen_conditions_for_pow_int_base): Remove unused
base_nm variable.
(gen_conditions_for_pow): Remove unused ec variable.
* tree-ssa-sccvn.c (vn_reference_lookup_3): Remove unused size
variable.
* ipa-struct-reorg.c (program_redefines_malloc_p): Remove unused
fndecl variable.
* tree-ssa-sink.c (statement_sink_location): Remove unused code
variable.
* regmove.c (copy_src_to_dest): Remove unused insn_uid and move_uid
variables.
* tree-complex.c (create_one_component_var): Remove unused inner_type
variable.
* calls.c (emit_call_1): Don't GEN_INT (struct_value_size)
unnecessarily when GEN_*CALL omits that argument.
* regrename.c (regrename_optimize): Remove unused regs_seen variable.
(build_def_use): Remove unused icode variable.
* ipa-pure-const.c (check_call): Remove unused callee and avail
variables.
* tree-dfa.c (add_referenced_var): Remove unused v_ann variable.
* tree-vect-patterns.c (vect_recog_pow_pattern): Remove unused type
variable.
(vect_pattern_recog): Remove unused stmt variable.
* sel-sched-ir.c (make_regions_from_the_rest): Remove unused
new_regions variable.
* postreload.c (reload_cse_simplify_operands): Remove unused mode
variable.
* tree-parloops.c (create_call_for_reduction_1): Remove unused
addr_type variable.
(create_parallel_loop): Remove unused res variable.
(gen_parallel_loop): Remove unused nloop variable.
* tree-vect-loop-manip.c (vect_loop_versioning): Likewise.
* value-prof.c (gimple_mod_subtract_transform,
gimple_stringops_transform): Remove unused value variable.
(gimple_stringops_values_to_profile): Remove unused fcode variable.
* tree-vrp.c (register_new_assert_for): Remove unused found variable.
(vrp_visit_switch_stmt): Remove unused n variable.
* tree-vect-stmts.c (vectorizable_conversion): Remove unused expr
variable.
(vectorizable_operation): Remove unused shift_p variable.
(vectorizable_store): Remove unused first_stmt_vinfo variable.
* tree-ssa-operands.c (add_stmt_operand): Remove unused v_ann variable.
* tree-vect-data-refs.c (vect_analyze_data_refs): Remove unused bb
variable.
(vect_permute_store_chain): Remove unused scalar_dest variable.
(vect_supportable_dr_alignment): Remove unused invariant_in_outerloop
variable.
* tree-ssa-threadupdate.c (thread_single_edge): Remove unused
local_info variable.
* tree-optimize.c (tree_rest_of_compilation): Remove unused node
variable.
* optabs.c (expand_binop): Remove unused equiv_value variable.
(emit_libcall_block): Remove unused prev variable.
(init_optabs): Remove unused int_mode variable.
* tree-ssa-structalias.c (scc_visit): Remove unused have_ref_node
variable.
(do_structure_copy): Remove unused lhsbase and rhsbase variables.
(find_func_aliases): Remove unused rhstype variable.
(ipa_pta_execute): Remove unused varid variable.
gcc/objc/
* objc-act.c (generate_shared_structures): Remove unused sc_spec and
decl_specs variables.
(objc_build_message_expr): Remove unused loc variable.
(objc_finish_message_expr): Remove unused saved_rtype variable.
(encode_field_decl): Remove unused type variable.
gcc/lto/
* lto-lang.c (handle_nonnull_attribute): Remove unused attr_arg_num
variable.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154726 138bc75d-0d04-0410-961f-82ee72b054a4

* config/avr/avr.h (ASM_OUTPUT_EXTERNAL): Add.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154724 138bc75d-0d04-0410-961f-82ee72b054a4

* trans-common.c (create_common): Remove unused offset variable.
* io.c (gfc_match_wait): Remove unused loc variable.
* trans-openmp.c (gfc_trans_omp_clauses): Remove unused old_clauses
variable.
(gfc_trans_omp_do): Remove unused outermost variable.
* iresolve.c (gfc_resolve_alarm_sub, gfc_resolve_fseek_sub): Remove
unused status variable.
* module.c (number_use_names): Remove unused c variable.
(load_derived_extensions): Remove unused nuse variable.
* trans-expr.c (gfc_conv_substring): Remove unused var variable.
* trans-types.c (gfc_get_array_descr_info): Remove unused offset_off
variable.
* matchexp.c (match_primary): Remove unused where variable.
* trans-intrinsic.c (gfc_conv_intrinsic_bound): Remove unused cond2
variable.
(gfc_conv_intrinsic_sizeof): Remove unused source variable.
(gfc_conv_intrinsic_transfer): Remove unused stride variable.
(gfc_conv_intrinsic_function): Remove unused isym variable.
* arith.c (gfc_hollerith2real, gfc_hollerith2complex,
gfc_hollerith2logical): Remove unused len variable.
* parse.c (parse_derived): Remove unused derived_sym variable.
* decl.c (variable_decl): Remove unused old_locus variable.
* resolve.c (check_class_members): Remove unused tbp_sym variable.
(resolve_ordinary_assign): Remove unused assign_proc variable.
(resolve_equivalence): Remove unused value_name variable.
* data.c (get_array_index): Remove unused re variable.
* trans-array.c (gfc_conv_array_transpose): Remove unused src_info
variable.
(gfc_conv_resolve_dependencies): Remove unused aref and temp_dim
variables.
(gfc_conv_loop_setup): Remove unused dim and len variables.
(gfc_walk_variable_expr): Remove unused head variable.
* match.c (match_typebound_call): Remove unused var variable.
* intrinsic.c (gfc_convert_chartype): Remove unused from_ts variable.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154722 138bc75d-0d04-0410-961f-82ee72b054a4

PR obj-c++/42156
* objc-act.c (objc_build_struct): INIT_TYPE_OBJC_INFO for
type variants that don't have it initialized yet.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154721 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-28  David Binderman  <dcb314@hotmail.com>

* ira-color.c (put_allocno_into_bucket): Remove set but not used
local variable hard_regs_num.
* ira-lives.c (process_single_reg_class_operands): Remove cover_class.
* loop-unswitch.c (unswitch_loop): Remove zero_bitmap.
* lower-subreg.c (decompose_multiword_subregs): Remove next.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154720 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-28  Kai Tietz  <kai.tietz@onevision.com>

        * gcc.dg/lto/20081210-1_0.c (uintptr_t): Use for
        w64 target type 'unsigned long long'.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154719 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154718 138bc75d-0d04-0410-961f-82ee72b054a4

2009-11-27  Martin Jambor  <mjambor@suse.cz>

PR middle-end/42006
* tree-sra.c (get_replaced_param_substitute): Call create_tmp_var
instead of create_tmp_var.  Set DECL_GIMPLE_REG_P to one manually
for vector and complex types.
(get_adjustment_for_base): Describe return value in the comment.

* testsuite/gcc.c-torture/execute/pr42006.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154715 138bc75d-0d04-0410-961f-82ee72b054a4