Fix version of patch from previous commit ;(

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_ch8.adb: Minor reformatting.

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

* df-problems.c (df_rd_confluence_n, df_lr_confluence_n, df_live_confluence_n,
df_byte_lr_confluence_n, df_md_confluence_n): Return true if something changed.
* df.h (df_confluence_function_n): Return bool.
* df-core.c (df_worklist_propagate_forward, df_worklist_propagate_backward):
track changes and ages.
(df_worklist_dataflow_doublequeue): Use bitmap iterator for main walk;
track ages.
* dse.c (dse_confluence_n): Return always true.

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

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_elab.adb: Minor reformatting.

2010-06-22  Vincent Celier  <celier@adacore.com>

* gnatsym.adb: Put the object files in the table in increasing
aphabetical order of base names.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Set_Entity_Or_Discriminal): New procedure used by
Find_Direct_Name and Find_Expanded_Name, to replace a discriminant with
the corresponding discriminal within a record declaration.

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

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* exp_aggr.adb (Rewrite_Discriminant): Rewriting must occur only for an
expression referring to a discriminal of the type of the aggregate (not
a discriminal of some other unrelated type), and the prefix in the
generated selected component must come from Lhs, not Obj.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): Fix predicate determining
when to freeze the parent type.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* s-rannum.adb, a-nudira.adb, types.ads, freeze.adb, sem_aggr.adb,
exp_aggr.adb: Minor reformatting.
* gnat_rm.texi: Document GNAT.MBBS_Discrete_Random and
GNAT.MBSS_Float_Random.
* g-mbdira.adb, g-mbflra.adb, g-mbdira.ads, g-mbflra.ads: Fix header.

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

2010-06-22  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/44630
* include/profile/impl/profiler_trace.h (__min, __max): Remove,
use std::min, std::max everywhere.
* include/profile/impl/profiler_container_size.h: Use std::min and
std::max.
* include/profile/impl/profiler_hash_func.h: Likewise.
* include/profile/impl/profiler_list_to_vector.h: Likewise.

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

2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>

* a-nudira.adb, a-nudira.ads, a-nuflra.adb, a-nuflra.ads,
gnat_rm.texi, impunit.adb, Makefile.rtl, s-rannum.adb
(Random_Float_Template, Random): New method of creating
uniform floating-point variables that allow the creation of all machine
values in [0 .. 1).

* g-mbdira.adb, g-mbflra.adb, g-mbdira.ads, g-mbflra.ads: New file.

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

* bitmap.c (bitmap_clear_bit): Micro optimize.

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

2010-06-22  Gary Dismukes  <dismukes@adacore.com>

* sem_ch5.adb (Analyze_Assignment): Revise test for illegal assignment
to abstract targets to check that the type is tagged and comes from
source, rather than only testing for targets of interface types. Remove
premature return.

2010-06-22  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Modify the declarations of qualifiers
/UNCHECKED_SHARED_LIB_IMPORTS to allow the generation of gnat.hlp
without error.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Is_Build_In_Place_Function): Predicate is false if
expansion is disabled.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* makeusg.adb: Minor reformatting.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* types.ads: (Dint): Removed, no longer used anywhere.
* uintp.adb (UI_From_CC): Use UI_From_Int, range is sufficient.
(UI_Mul): Avoid use of UI_From_Dint.
(UI_From_Dint): Removed, not used.
* uintp.ads (UI_From_Dint): Removed, not used.
(Uint_Min/Max_Simple_Mul): New constants.

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

2010-06-22  Vincent Celier  <celier@adacore.com>

* clean.adb (Parse_Cmd_Line): Recognize switch
--unchecked-shared-lib-imports.
(Usage): Add line for switch --unchecked-shared-lib-imports
* makeusg.adb: Add line for switch --unchecked-shared-lib-imports
* makeutl.ads: (Unchecked_Shared_Lib_Imports): New constant string
moved from GPR_Util.
* switch-m.adb (Scan_Make_Switches): Recognize switch
--unchecked-shared-lib-imports.
* vms_data.ads: Add VMS qualifiers /UNCHECKED_SHARED_LIB_IMPORTS.
* gnat_ugn.texi: Add documentation for new switch
--unchecked-shared-lib-imports.  Add also documentation for --subdirs.

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

* config/i386/i386.md (SWI1248x): New mode iterator.
(SWI48x): Ditto.
(SWI12): Ditto.
(SWI24): Ditto.

(mov<mode>): Macroize expander from mov{qi,hi,si,di} using
SWI1248x mode iterator.
(*push<mode>2_rex64): Macroize insn from *push{qi,hi,si}_rex64
using SWI124 mode iterator.
(*push<mode>2): Macroize insn from *push{qi,hi} using SWI12
mode iterator.
(*push<mode>2_prologue): Macroize insn from  *pushsi2_prologue and
*pushdi2_prologue_rex64 using P mode iterator.
(*mov<mode>_xor): Macroize insn from *movsi_xor and *movdi_xor_rex64
using SWI48 mode iterator.
(*mov<mode>_or): Ditto from *movsi_or and *movdi_or_rex64.
(*movabs<mode>_1): Macroize insn from *movabs{qi,hi,si,di}_1_rex64
using SWI1248x mode iterator.
(*movabs<mode>_2): Ditto from *movabs{qi,hi,si,di}_1_rex64.
(*swap<mode>): Macroize insn from *swapsi and *swapdi_rex64 using
SWI48 mode iterator.
(*swap<mode>_1): Macroize insn from *swap{qi,hi}_1 using SWI12 mode
iterator.
(*swap<mode>_2): Ditto from *swap{qi,hi}_2.
(movstrict<mode>): Macroize expander from movstrict{qi,hi} using
SWI12 mode iterator.
(*movstrict<mode>_1): Macroize insn from *movstrict{qi,hi}_1 using
SWI12 mode iterator.
(*movstrict<mode>_xor): Ditto from *movstrict{qi,hi}_xor.
(*mov<mode>_extv_1): Macroize insn from *mov{hi,si}_extv_1 using
SWI24 mode iterator.
(*mov<mode>_extzv_1): Macroize insn from *mov{si,di}_extzv_1 using
SWI48 mode iterator.
(mov<mode>_insn_1): New expander.
(*mov<mode>_insv_1_rex64): Macroize insn from *mov{si,di}_insv_1_rex64
using SWI48x mode iterator.

(*movoi_internal_avx): Rename from *movoi_internal.
(*movti_internal_rex64): Rename from *movti_rex64.
(*movti_internal_sse): Rename from *movti_sse.
(*movdi_internal_rex64): Rename from *movdi_1_rex64.
(*movdi_internal): Rename from *movdi_2.
(*movsi_internal): Rename from *movsi_1.
(*movhi_internal): Rename from *movhi_1.
(*movqi_internal): Rename from *movqi_1.

(insv): Update the call to gen_movsi_insv_1 for rename.
* config/i386/i386.c (promote_duplicated_reg): Ditto.

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

2010-06-22  Javier Miranda  <miranda@adacore.com>

* sem_prag.adb, sem_util.adb, sem_util.ads, sem_attr.adb, exp_ch6.adb,
exp_disp.adb, sem_eval.adb, exp_dist.adb lib-xref.adb: Code cleanup,
this patch replaces duplication of code that traverses the chain of
aliased primitives by a call to routine Ultimate_Alias that
provides this functionality.

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

2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* fmap.adb, opt.ads, osint.adb, osint.ads, output.ads, scng.adb,
sinput-c.adb, switch-m.ads, tree_io.ads: Use simpler form of
Warnings Off/On.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* einfo.ads: Minor reformatting.

2010-06-22  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Expand_Interface_Thunk): Do not generate thunk of
eliminated primitives.
(Make_DT): Avoid referencing eliminated primitives.
(Register_Primitive): Do not register eliminated primitives in the
dispatch table. Required to add this functionality when the program is
compiled without static dispatch tables (-gnatd.t)

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

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* fmap.adb, scng.adb, switch-m.ads, sinput-c.adb, opt.ads, output.ads,
tree_io.ads, osint.adb, osint.ads: Use configuration pragmas to prevent
warnings on use of internal GNAT units.

2010-06-22  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-vxworks.adb (Set_Priority): Update comments.

2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>

* s-rannum.adb: Make stylistic change to remove mystery constant in
Extract_Value.  Image_Numeral_Length: new symbolic constant.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* einfo.ads, einfo.adb: Make Is_Protected_Interface,
Is_Synchronized_Interface, Is_Task_Interface into computable
predicates, to free three flags in entity nodes.
* sem_ch3.adb: Remove setting of these flags.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* uintp.adb, osint.adb, prj-conf.adb, prj-part.adb, prj.adb: Minor
reformatting.
* s-taprop-vxworks.adb: Add comment for Set_Priority.
* impunit.adb (Map_Array): Add entries for s-htable.ads and s-crc32.ads
* projects.texi: Move @cindex to the left margin, since otherwise we
are missing entries in the index.

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

Add missing '*'.

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

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* prj-part.adb, prj.adb, tempdir.ads, makeutl.adb: Use
packages from the GNAT hierarchy instead of System when possible.
* gcc-interface/Make-lang.in: Update dependencies.

2010-06-22  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-vxworks.adb (Set_Priority): Remove the code that was
previously in place to reorder the ready queue when a task drops its
priority due to the loss of inherited priority.

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

2010-06-22  Vincent Celier  <celier@adacore.com>

* projects.texi: Minor spelling error fixes.
Minor reformatting.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* prj-part.adb, prj-ext.adb, prj.adb, makeutl.adb, prj-conf.adb: Remove
warnings for some with clauses.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* errout.adb (Unwind_Internal_Type): Improve handling of First_Subtype
test to catch more cases where first subtype is the results we want.
* sem_res.adb (Make_Call_Into_Operator): Don't go to First_Subtype in
error case, since Errout will now handle this correctly.
* gcc-interface/Make-lang.in: Add Sem_Aux to list of GNATBIND objects.
Update dependencies.

2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* exp_ch4.adb (Expand_Allocator_Expression): Set Related_Node properly
when calling Make_Temporary.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Access_Subprogram_Declaration): An anonymous access to
subprogram can be associated with an entry body.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* scos.ads: Add note on membership test handling.

2010-06-22  Vincent Celier  <celier@adacore.com>

* projects.texi: Minor spelling fixes.
Minor reformatting.

2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>

* s-rannum.adb: Correct off-by-one error in Extract_Value.

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

2010-06-22  Vincent Celier  <celier@adacore.com>

* mlib-prj.adb (Display): In non verbose mode, truncate after fourth
argument.
* mlib-utl.adb (Gcc): In non verbose mode, truncate the display of the
gcc command if it is too long.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* errout.adb (Set_Msg_Node): Fix incorrect reference to node.

2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* exp_ch6.adb (Expand_Actuals): Use Actual as the related node when
calling Make_Temporary.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_res.adb, sem_aux.adb, errout.adb: Minor reformatting.

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

* passes.c (execute_function_todo): Move call of statistics_fini_pass
to ...
(execute_todo) ... this one.

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

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb: Additional special-case for VMS.

2010-06-22  Vincent Celier  <celier@adacore.com>

* gnatsym.adb: Minor comment fix.

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

2010-06-22  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Process_Naming_Scheme): Initialize table Lib_Data_Table.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* par-ch4.adb (P_Name): Recognize 'Mod attribute in Ada 95 mode
* sem_attr.adb (Attribute_05): Add Name_Mod so that 'Mod recognized in
Ada 95 mode as an implementation defined attribute.

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

PR target/44364
* config/rs6000/e500.h (HARD_REGNO_CALLER_SAVE_MODE): Define.
* caller-save.c (insert_restore, insert_save): Use non-validate
form of adjust_address.

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

2010-06-22  Vincent Celier  <celier@adacore.com>

* bindusg.adb (Display): Update line for -R
* switch-b.adb (Scan_Binder_Switches): Allow generation of the binder
generated files when -R is used.

2010-06-22  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Lib_Data_Table): New table.
(Check_Library_Attributes): Check if the same library name is used in
two different projects that do not extend each other.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* lib-writ.ads, errout.adb, einfo.adb, einfo.ads: Minor reformatting.

2010-06-22  Vincent Celier  <celier@adacore.com>

* adaint.c (__gnat_locate_regular_file): If a directory in the path is
empty, make it the current working directory.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): When deriving a tagged
private type with discriminants, make sure the parent type is frozen.

2010-06-22  Eric Botcazou  <ebotcazou@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference) <Attribute_Bit>: Deal
with packed array references specially.
* exp_ch4.adb (Expand_N_Indexed_Component): Do not convert a reference
to a component of a bit packed array if it is the prefix of 'Bit.
* exp_pakd.ads (Expand_Packed_Bit_Reference): Declare.
* exp_pakd.adb (Expand_Packed_Bit_Reference): New procedure.  Expand a
'Bit reference, where the prefix involves a packed array reference.
(Get_Base_And_Bit_Offset): New helper, extracted from...
(Expand_Packed_Address_Reference): ...here.  Call above procedure to
get the outer object and offset expression.

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

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* exp_attr.adb, lib-writ.ads, bindgen.adb: Minor reformatting.
* einfo.adb (Related_Expression, Set_Related_Expression): Add
assertions.

2010-06-22  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Add_Internal_Interface_Entities): Minor code
reorganization to properly check if the operation has been inherited as
an abstract operation.

2010-06-22  Ed Falis  <falis@adacore.com>

* s-osinte-vxworks.ads: Complete previous change.

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

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb: Add comment.
* projects.texi, gnat_ugn.texi: Remove macro.

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

2010-06-22  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: Remove project level attribute Main_Language.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* switch-b.adb, osint-b.adb: Minor reformatting.

2010-06-22  Pascal Obry  <obry@adacore.com>

* g-socthi-mingw.adb (C_Sendmsg): Do not attempt to send data from a
vector if previous send was not fully successful. If only part of
the vector data was sent, we exit the loop.

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

Complete previous change.

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

Remove unused variable.

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

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb (Make_Call_Into_Operator): Use First_Subtype for better
error reporting with generic types.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* bindgen.adb, bindusg.adb, gnatbind.adb, gnat_ugn.texi, opt.ads,
osint-b.adb, osint-b.ads, output.adb, output.ads, switch-b.adb,
vms_data.ads: Add a new command line switch -A to gnatbind to output
the list of all ALI files for the partition.

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

2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* s-osinte-vxworks.ads: Fix casing.
* s-vxwext-kernel.ads, s-vxwext-rtp.ads: Complete previous
change: Interfaces.C does not provide a long_long type.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* gnat_ugn.texi, projects.texi: Preprocess projects.texi for VMS and
native user's guide, since this document contains the two versions.
* gcc-interface/Make-lang.in: Update doc dependencies.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb: Minor reformatting.  Minor code reorganization.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* gnat_ugn.texi, projects.texi: Remove toplevel menu, since we should
not build this file on its own (only through gnat_ugn.texi).
Remove macro definitions and insert simpler version in gnat_ugn.texi.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* ali-util.ads: Minor comment update.
* g-socthi-mingw.adb: Minor reformatting.

2010-06-22  Ed Falis  <falis@adacore.com>

* s-osinte-vxworks.ads: take sigset_t definition from System.VxWorks.Ext
* s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads: Define sigset_t
for specific versions of VxWorks.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* gnat_rm.texi, gnat_ugn.texi, projects.texi: Remove all project files
related sections from user's guide and reference manual, since they
have now been merged together into a separate document (projects.texi).
This removes a lot of duplication where attributes where described
in several places.
The grammar for the project files is now in each of the sections
(packages,expressions,...) instead of being duplicates in two other
sections (one in the user's guide that contained the full grammar,
and various sections in the rm that contained extracts of the same
grammar).
Added the full list of all supported attributes, since existing lists
were incomplete
Rename "associative array" into "indexed attribute"
Remove sections that were duplicates ("External References in
Project Files" and "External Values", and "Project Extensions"
for instance). The list of valid packages in project files is now in
a single place.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Add_Internal_Interface_Entities): If
Find_Primitive_Covering_Interface does not find the operation, it may
be because of a name conflict between the inherited operation and a
local non-overloadable name. In that case look for the operation among
the primitive operations of the type. This search must succeed
regardless of visibility.

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

2010-06-22  Pascal Obry  <obry@adacore.com>

* g-socthi-mingw.adb: Properly honor MSG_WAITALL in recvmsg.
(C_Recvmsg): Propely honor the MSG_WAITALL flag in Windows
recvmsg emulation.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch4.adb (Analyze_Conditional_Expression): Defend against
malformed tree.
* sprint.adb (Sprint_Node_Actual, case N_Conditional_Expression): Ditto.

2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* s-intman-vxworks.ads: Code clean up.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb (Resolve_Slice): When the prefix is an explicit
dereference, construct actual subtype of designated object to generate
proper bounds checks.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* ali-util.adb, ali-util.ads, gnatbind.adb (Read_ALI): Rename to
Read_Withed_ALIs, which is more descriptive.

2010-06-22  Pascal Obry  <obry@adacore.com>

* g-sothco.ads: Minor reformatting.
* g-socthi-mingw.adb: Remove part of work on the C_Recvmsg and
C_Sendmsg implementation.
(C_Sendmsg): Do not use lock (not needed).
(C_Recvmsg): Likewise and also do not wait for incoming data.

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

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* uintp.adb: Fix scope error in operator call.

2010-06-22  Vincent Celier  <celier@adacore.com>

* makeutl.adb (Executable_Prefix_Path): on VMS, return "/gnu/".
* prj-conf.adb (Get_Or_Create_Configuration_File): On VMS, if
autoconfiguration is needed, fail indicating that no config project
file can be found, as there is no autoconfiguration on VMS.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Make_Call_Into_Operator): Diagnose an incorrect scope
for an operator in a functional notation, when operands are universal.

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

Update dependencies.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_aggr.adb (Resolve_Record_Aggregate): Do style check on component
name.
* sem_ch10.adb (Analyze_Subunit): Do style check on parent unit name.
* sem_ch8.adb (Find_Direct_Name): For non-overloadable entities, do
style check.
* sem_res.adb (Resolve_Entity_Name): Do style check for enumeration
literals.

2010-06-22  Vincent Celier  <celier@adacore.com>

* make.adb (Scan_Make_Arg): No longer pass -nostdlib to the compiler as
it has no effect. Always pass -nostdlib to gnatlink, even on VMS.

2010-06-22  Pascal Obry  <obry@adacore.com>

* g-socthi-mingw.adb: Fix implementation of the vectored sockets on
Windows.
(C_Recvmsg): Make sure the routine is atomic. Also fully
fill vectors in the proper order.
(C_Sendmsg): Make sure the routine is atomic.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch8.adb: Update comment.
* sem_res.adb: Minor code reorganization (use Ekind_In).

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

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Add_Implicit_Operator): If the context of the expanded
name is a call, use the number of actuals to determine whether this is
a binary or unary operator, rather than relying on later information
to resolve the overload.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch10.adb, sem_aggr.adb: Minor reformatting.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_disp.adb: Minor code fixes.
* sem_eval.adb: Minor reformatting.

2010-06-22  Vincent Celier  <celier@adacore.com>

* make.adb (Scan_Make_Arg): When invoked with -nostdlib, pass -nostdlib
to gnatlink, except on Open VMS.
* osint.adb (Add_Default_Search_Dirs): Do not suppress the default
object directories if -nostdlib is used.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_util.adb (Is_Delegate): Put in proper alpha order.
* sem_eval.adb: Minor reformatting.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* g-expect-vms.adb, sem_res.adb: Minor reformatting.
* exp_aggr.adb: Minor comment changes and reformatting.
* sem_eval.adb (Find_Universal_Operator_Type): Put in proper alpha order
* sem_util.ads: Add some missing pragma Inline's (efficiency issue only)

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

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_util.adb (Build_Actual_Subtype): Record original expression in
Related_Expression attribute of the constructed subtype.
* einfo.adb, einfo.ads (Underlying_View): Move to Node28 to free up
Node24 on types for...
(Related_Expression): Make attribute available on types as well.

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

2010-06-22  Gary Dismukes  <dismukes@adacore.com>

* exp_util.adb (Find_Interface_ADT): Retrieve Designated_Type instead of
Directly_Designated_Type when the type argument is an access type.
(Find_Interface_Tag): Retrieve Designated_Type instead of
Directly_Designated_Type when the type argument is an access type.
(Has_Controlled_Coextensions): Retrieve Designated_Type instead of
Directly_Designated_Type of each access discriminant.
* sem_res.adb (Resolve_Type_Conversion): Retrieve Designated_Type
instead of Directly_Designated_Type when the operand and target types
are access types.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* exp_aggr.adb (Flatten): Return False if one choice is statically
known to be out of bounds.

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

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Call): If the call is rewritten as an indexed of
a parameterless function call, preserve parentheses of original
expression, for proper handling by pretty printer.
* sem_attr.adb (Analyze_Attribute, case 'Old): Add guard to Process
procedure, to handle quietly identifiers that have no entity names.
* exp_util.adb (Get_Current_Value_Condition): If the parent of an
elsif_part is missing, it has been rewritten as a nested if, and there
is no useful information on the current value of the variable.

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

2010-06-22  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb (Build_Discriminal): Set default scopes for newly created
discriminals to the current scope.
* sem_util.adb (Find_Body_Discriminal): Remove setting of discriminal's
scope, which could overwrite a different already set value.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Valid_Conversion): If expression is a predefined
operator, use sloc of type of interpretation to improve error message
when operand is of some derived type.
* sem_eval.adb (Is_Mixed_Mode_Operand): New function, use it.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* g-expect-vms.adb (Expect_Internal): No longer raises an exception, so
that it can set out parameters as well. When a process has died, reset
its Input_Fd to Invalid_Fd, so that when using multiple processes we
can find out which process has died.

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

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_eval.adb (Find_Universal_Operator_Type): New
subprogram to identify the operand type of an operator on universal
operands, when an explicit scope indication is present. Diagnose the
case where such a call is ambiguous.
(Eval_Arithmetic_Op, Eval_Relational_Op, Eval_Unary_Op):
Use the above to identify the operand type so it can be properly frozen.
* sem_res.adb (Make_Call_Into_Operator): Remove bogus freeze of operand
type, done in an arbitrary, possibly incorrect type (the presence of
some numeric type in the scope is checked for legality, but when more
than one such type is in the scope, we just pick a random one, not
necessarily the expected one).
* sem_utils.ads, sem_utils.adb (Is_Universal_Numeric_Type): New utility
subprogram.

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

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb: Minor reformatting.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Conditional_Expression): Use
Expression_With_Actions to clean up the code generated when folding
constant expressions.

2010-06-22  Vincent Celier  <celier@adacore.com>

* g-expect-vms.adb: Add new subprograms Free, First_Dead_Process and
Has_Process.

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

2010-06-22  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Find_Sources): When a source from a multi-unit file is
found, check if it's path has aready been found, whatever its index.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* atree.adb, gnatbind.adb: Minor reformatting.
Minor code reorganization.

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

* typeck.c (comp_except_specs): Fix ce_derived with noexcept.

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

* semantics.c (check_trait_type): Check COMPLETE_TYPE_P for array
element type.

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

Daily bump.

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

PR target/39690
config/pa/pa.c (override_options): Disable
-freorder-blocks-and-partition.

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

Properly handle psrldq when optimizing for Atom.

gcc/

2010-06-21  H.J. Lu  <hongjiu.lu@intel.com>

PR target/44615
* config/i386/atom.md (atom_sseishft_2): Also check sseishft1.

* config/i386/i386.md (type): Add sseishft1

* config/i386/ppro_insn (ppro_insn): Also check sseishft1.
(ppro_insn_load): Likewise.
(ppro_insn_store): Likewise.
(ppro_insn_both): Likewise.

* config/i386/sse.md (sse2_lshrv1ti3): Add atom_unit.
(*vec_extractv2di_1_rex64_avx): Replace sseishft with sseishft1
for type.
(*vec_extractv2di_1_avx): Likewise.
(*vec_extractv2di_1_rex64): Replace sseishft with sseishft1 for
type.  Remove atom_unit.
(*vec_extractv2di_1_sse2): Likewise.

gcc/testsuite/

2010-06-21  H.J. Lu  <hongjiu.lu@intel.com>

PR target/44615
* gcc.target/i386/sse2-vec-2a.c: New.

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

2010-06-21  Rafael Espindola  <espindola@google.com>

* plugin-api.h (ld_plugin_set_extra_library_path): New.
(ld_plugin_tag): Add LDPT_SET_EXTRA_LIBRARY_PATH.
(ld_plugin_tv): Add tv_set_extra_library_path.

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

* diagnostic.h (diagnostic_classification_change_t): New.
(diagnostic_context): Add history and push/pop list.
(diagnostic_push_diagnostics): Declare.
(diagnostic_pop_diagnostics): Declare.
* diagnostic.c (diagnostic_classify_diagnostic): Store changes
from pragmas in a history chain instead of the global table.
(diagnostic_push_diagnostics): New.
(diagnostic_pop_diagnostics): New.
(diagnostic_report_diagnostic): Scan history chain to find state
of diagnostics as of the diagnostic location.
* opts.c (set_option): Pass UNKNOWN_LOCATION to
diagnostic_classify_diagnostic.
(enable_warning_as_error): Likewise.
* diagnostic-core.h (DK_POP): Add after "real" diagnostics, for
use in the history chain.
* c-family/c-pragma.c (handle_pragma_diagnostic): Add push/pop,
allow these pragmas anywhere.
* doc/extend.texi: Document pragma GCC diagnostic changes.

* gcc.dg/pragma-diag-1.c: New.

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

Add -mtune=k8 to gcc.target/i386/amd64-abi-3.c.

2010-06-21  H.J. Lu  <hongjiu.lu@intel.com>

PR target/44615
* gcc.target/i386/amd64-abi-3.c: Add -mtune=k8.

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

PR testsuite/44505
* gcc.c-torture/execute/frame-address.c (check_fa): Avoid
tail call to check_fa_mid.

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

* c.opt (lang-objc): Remove.
* c-opts.c (c_common_handle_option): Don't handle OPT_lang_objc.

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

PR target/44575
* config/i386/i386.c (ix86_gimplify_va_arg): When copying
va_arg from a set of register save slots into a temporary,
if the container is bigger than type size, do the copying
using smaller mode or using memcpy.

* gcc.c-torture/execute/pr44575.c: New test.

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

* dwarf2out.c (add_linkage_name): New function.  Don't add
anything to DW_TAG_member DIEs.
(add_name_and_src_coords_attributes): Use it.
(gen_variable_die): Call it for C++ static data members if
specification is DW_TAG_member.

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

* dwarf2.h (enum dwarf_type): Add DW_ATE_UTF.

* dwarf2out.c (base_type_die): Use DW_ATE_UTF for
C++ char16_t and char32_t.

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

* Makefile.in (build/genattrtab.o): Depend on vecprim.h.
* genattrtab.c: Include vecprim.h.
(cached_attrs, cached_attr_count, attrs_seen_once,
attrs_seen_more_than_once, attrs_to_cache, attrs_cached_inside,
attrs_cached_after): New variables.
(find_attrs_to_cache): New function.
(FLG_BITWISE, FLG_AFTER, FLG_INSIDE, FLG_OUTSIDE_AND): Define.
(write_test_expr): Add attrs_cached argument, return it too,
attempt to cache non-const attributes used more than once in
a single case handling.
(write_attr_get): Use find_attrs_to_cache, for caching candidates
emit cached_* variables.  Adjust write_attr_set callers.
(write_attr_set): Add attrs_cached attribute, use find_attrs_to_cache
to find attributes that should be cached in this block.  Adjust
write_test_expr callers.
(write_attr_case): Clear attrs_to_cache.  Adjust write_attr_set
callers.
(make_automaton_attrs): Adjust write_test_expr caller.

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

* Makefile.in (cfgexpand.o): Depend on $(INSN_ATTR_H).
* genattrtab.c (check_tune_attr, find_tune_attr): New functions.
(make_automaton_attrs): If find_tune_attr returns non-NULL,
write separate internal_dfa_insn_code_* and insn_default_latency_*
functions for each attribute's value and emit init_sched_attrs
function and function pointers.
* genattr.c (const_attrs, reservations): New variables.
(gen_attr): Add const attributes to const_attrs vector.
(check_tune_attr, find_tune_attr): New functions.
(main): Add reservations to reservations vector.  If find_tune_attr
returns true, add prototype for init_sched_attrs and make
internal_dfa_insn_code and insn_default_latency function pointers,
otherwise define init_sched_attrs as dummy macro.
* cfgexpand.c: Include insn-attr.h.
(gimple_expand_cfg): Call init_sched_attrs.

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

PR bootstrap/44426
* sel-sched-dump.h (sel_prepare_string_for_dot_label): Remove
prototype.
(sel_print_to_dot): Remove macro.
(sel_print): Likewise.  New prototype.
* sel-sched-dump.c (sel_prepare_string_for_dot_label): Make static.
(sel_print): New function.

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

* stmt.c (resolve_asm_operand_names): Fix handling
of %%.

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

gcc:
* config/sol2.h (TARGET_OS_CPP_BUILTINS): Define
__STDC_VERSION__=199901L, _XOPEN_SOURCE=600 for C++.

fixincludes:
* inclhack.def (solaris__restrict, solaris_complex_cxx): New fixes
* fixincl.x: Regenerate.
* tests/base/complex.h [SOLARIS_COMPLEX_CXX_CHECK]: New test.
* tests/base/sys/feature_tests.h: New file.

libstdc++-v3:
* testsuite/26_numerics/headers/cmath/c99_classification_macros_c.cc:
Add *-*-solaris2.1[0-9]* to dg-xfail-if, dg-excess-errors.

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

2010-06-21  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Conditional_Expression): Fold if condition
known at compile time.

2010-06-21  Gary Dismukes  <dismukes@adacore.com>

* atree.adb: Fix comment typo.

2010-06-21  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb (Test_Ambiguous_Operator): New procedure to check
whether a universal arithmetic expression in a conversion, which is
rewritten from a function call with an expanded name, is ambiguous.

2010-06-21  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Name_Location): New Boolean component Listed, to record
source files in specified list of sources.
(Check_Package_Naming): Remove out parameters Bodies and Specs, as they
are never used.
(Add_Source): Set the Location of the new source
(Process_Exceptions_File_Based): Call Add_Source with the Location
(Get_Sources_From_File): If an exception is found, set its Listed to
True
(Find_Sources): When Source_Files is specified, if an exception is
found, set its Listed to True. Remove any exception that is not in a
specified list of sources.
* prj.ads (Source_Data): New component Location

2010-06-21  Vincent Celier  <celier@adacore.com>

* gnatbind.adb (Closure_Sources): Global table, moved from block.

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

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb: Minor reformatting.
* atree.adb: New debugging hook "rr" for node rewrites.

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

2010-06-21  Robert Dewar  <dewar@adacore.com>

* g-expect.ads, g-expect.adb: Minor reformatting.

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb (Next_Pointer_Bytes): New named constant. Code clean up.

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

* gcc-interface/Make-lang.in: Update dependencies.

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

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* bindgen.ads: Update comments.

2010-06-21  Vincent Celier  <celier@adacore.com>

* gnatbind.adb: Suppress dupicates when listing the sources in the
closure (switch -R).

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb (Link_Tail): Fix error when size of the pattern matcher
is too small.

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* g-expect.adb, g-expect.ads (First_Dead_Process, Free, Has_Process):
New subprograms.
(Expect_Internal): No longer raises an exception, so that it can set
out parameters as well. When a process has died, reset its Input_Fd
to Invalid_Fd, so that when using multiple processes we can find out
which process has died.

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

2010-06-20  Tobias Burnus  <burnus@net-b.de>

        PR fortran/40632
        * interface.c (compare_parameter): Add gfc_is_simply_contiguous
        checks.
        * symbol.c (gfc_add_contiguous): New function.
        (gfc_copy_attr, check_conflict): Handle contiguous attribute.
        * decl.c (match_attr_spec): Ditto.
        (gfc_match_contiguous): New function.
        * resolve.c (resolve_fl_derived, resolve_symbol): Handle
        contiguous.
        * gfortran.h (symbol_attribute): Add contiguous.
        (gfc_is_simply_contiguous): Add prototype.
        (gfc_add_contiguous): Add prototype.
        * match.h (gfc_match_contiguous): Add prototype.
        * parse.c (decode_specification_statement,
        decode_statement): Handle contiguous attribute.
        * expr.c (gfc_is_simply_contiguous): New function.
        * dump-parse-tree.c (show_attr): Handle contiguous.
        * module.c (ab_attribute, attr_bits, mio_symbol_attribute):
        Ditto.
        * trans-expr.c (gfc_add_interface_mapping): Copy
        attr.contiguous.
        * trans-array.c (gfc_conv_descriptor_stride_get,
        gfc_conv_array_parameter): Handle contiguous arrays.
        * trans-types.c (gfc_build_array_type, gfc_build_array_type,
        gfc_sym_type, gfc_get_derived_type, gfc_get_array_descr_info):
        Ditto.
        * trans.h (gfc_array_kind): Ditto.
        * trans-decl.c (gfc_get_symbol_decl): Ditto.

2010-06-20  Tobias Burnus  <burnus@net-b.de>

        PR fortran/40632
        * gfortran.dg/contiguous_1.f90: New.
        * gfortran.dg/contiguous_2.f90: New.
        * gfortran.dg/contiguous_3.f90: New.

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

2010-06-21  Robert Dewar  <dewar@adacore.com>

* s-regpat.adb, s-tpoben.adb, sem_attr.adb, sem_util.adb, sem_util.ads,
checks.adb, sem_res.adb: Minor reformatting. Add comments.

2010-06-21  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (New_Overloaded_Entity): If the new entity is a
rederivation associated with a full declaration in a private part, and
there is a partial view that derives the same parent subprogram, the
new entity does not become visible. This check must be applied to
interface operations as well.

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

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* checks.adb: Add comments.
* prj-nmsc.adb: Minor reformatting.

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

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* sem_ch9.adb, checks.adb, sem_util.adb, sem_util.ads, sem_res.adb,
sem_attr.adb (Get_E_First_Or_Last): Use attribute references on E to
extract bounds, to ensure that we get the proper captured values,
rather than an expression that may have changed value since the point
where the subtype was elaborated.
(Find_Body_Discriminal): New utility subprogram to share code between...
(Eval_Attribute): For the case of a subtype bound that references a
discriminant of the current concurrent type, insert appropriate
discriminal reference.
(Resolve_Entry.Actual_Index_Type.Actual_Discriminant_Ref): For a
requeue to an entry in a family in the current task, use corresponding
body discriminal.
(Analyze_Accept_Statement): Rely on expansion of attribute references
to insert proper discriminal references in range check for entry in
family.

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb (Compile): Fix handling of big patterns.

2010-06-21  Robert Dewar  <dewar@adacore.com>

* a-tifiio.adb: Minor reformatting.

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

2010-06-21  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb (Search_Directories): Use the non-translated directory
path to open it.

2010-06-21  Javier Miranda  <miranda@adacore.com>

* exp_cg.adb (Write_Call_Info): Fill the component sourcename using the
external name.

2010-06-21  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb (Expand_Concatenate): If an object declaration is created
to hold the result, indicate that the target of the declaration does
not need an initialization, to prevent spurious errors when
Initialize_Scalars is enabled.

2010-06-21  Ed Schonberg  <schonberg@adacore.com>

* a-tifiio.adb (Put): In the procedure that performs I/O on a String,
Fore is not bound by line length. The Fore parameter of the internal
procedure that performs the operation is an integer.

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb, checks.adb: Minor reformatting.

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb (Next_Instruction, Get_Next_Offset): Removed, merged
into Get_Next.
(Insert_Operator_Before): New subprogram, avoids duplicated code
(Compile): Avoid doing two compilations when the pattern matcher ends
up being small.

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

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb: Improve debug traces
(Dump): Change output format to keep it smaller.

2010-06-21  Javier Miranda  <miranda@adacore.com>

* exp_cg.adb (Generate_CG_Output): Disable redirection of standard
output to the output file when this routine completes its work.

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

* c-opts.c: Include "tm_p.h".

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

Move the entry from libjava/classpath/ ChangeLog to ChangeLog.gcj as it is
a local change.  Reported by Jakub Jelinek, approved by Mark Wielaard.

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

    * config/rx/rx.h (PTRDIFF_TYPE): Define.
        (SMALL_REGISTER_CLASS): Define (to zero).
        (PRINT_OPERAND): Delete.
        (PRINT_OPERAND_ADDRESS): Delete.
        * config/rx/rx-protos.h (rx_print_operand): Delete prototype.
        (rx_print_operand_address): Delete prototype.
        * config/rx/rx.c (rx_print_operand): Make static.
        Allow %H and %L to handle CONST_DOUBLEs.
        (rx_print_operand_address): Make static.
        (rx_gen_move_template): Rename local variable 'template' to
        out_template.
        (rx_function_arg): Do not pass unknown sized objects in
        registers.
        (TARGET_PRINT_OPERAND): Define.
        (TARGET_PRINT_OPERAND_ADDRESS): Define.

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

gcc/
* Makefile.in (POD2MAN): Provide --date from $(DATESTAMP).

libjava/classpath/
* doc/Makefile.am (POD2MAN): Provide --date from ChangeLog.
* doc/Makefile.in: Regenerate.

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

2010-06-21  Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/i386.c (ix86_compute_frame_layout): Avoid
        stack-alignment for simple leaf-functions.

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

2010-06-21  Kai Tietz  <kai.tietz@onevision.com>

        * gcc.target/x86_64/abi/callabi/leaf-1.c: New.
        * gcc.target/x86_64/abi/callabi/leaf-2.c: New.

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

contrib/ChangeLog:
* compare-debug: Drop LTO sections.
config/ChangeLog:
* bootstrap-lto.mk: New.
gcc/ChangeLog:
* doc/install.texi: Document bootstrap-lto.

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

Daily bump.

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

PR debug/44248
* lto-streamer-in.c (input_bb): Leave debug stmts alone.
(input_function): Drop them here, if VTA is disabled.

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

PR target/44546
* config/i386/predicates.md (ix86_swapped_fp_comparsion_operator):
New predicate.
* config/i386/i386.md (*fp_jcc_8<mode>_387): Use
ix86_swapped_fp_comparsion_operator instead of
ix86_fp_comparison_operator.

(*fp_jcc_1_387): Rename from *fp_jcc_3_387.
(*fp_jcc_1r_387): Rename from *fp_jcc_4_387.
(*fp_jcc_2_387): Rename from *fp_jcc_5_387.
(*fp_jcc_2r_387): Rename from *fp_jcc_6_387.
(*fp_jcc_3_387): Rename from *fp_jcc_7_387.
(*fp_jcc_4_<mode>_387): Rename from *fp_jcc_8<mode>_387.

testsuite/ChangeLog:

PR target/44546
* gcc.target/i386/pr44546.c: New test.

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

2010-06-20  Paolo Carlini  <paolo.carlini@oracle.com>
    Kai-Uwe Bux  <bux@kubux.net>

* include/bits/random.tcc (uniform_int_distribution<>::operator()):
Fix to work well for arbitrary urng.max() and urng.min().

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

PR other/32998
* opth-gen.awk: Generate definitions of OPT_SPECIAL_unknown,
OPT_SPECIAL_program_name and OPT_SPECIAL_input_file.
* opts-common.c (find_opt): Return OPT_SPECIAL_unknown on failure.
(decode_cmdline_option): Update for this return value.  Set
orig_option_with_args_text field.  Set arg field for unknown
options.  Make static.
(decode_cmdline_options_to_array): New.
(prune_options): Update handling of find_opt return value.
* opts.c (read_cmdline_option): Take decoded option.  Return void.
(read_cmdline_options): Take decoded options.
(decode_options): Add parameters for decoded options.  Use
decode_cmdline_options_to_array.  Use decoded options for -O
scan.  Use integral_argument for -O parameters.  Update call to
read_cmdline_options.
(enable_warning_as_error): Update handling of find_opt return
value.
* opts.h: Update comment on unknown options.
(struct cl_decoded_option): Update comments on opt_index and arg.
Add orig_option_with_args_text.
(decode_cmdline_option): Remove.
(decode_cmdline_options_to_array): Declare.
(decode_options): Update prototype.
* toplev.c (save_argv): Remove.
(save_decoded_options, save_decoded_options_count): New.
(read_integral_parameter): Remove.
(print_switch_values): Use decoded options.
(toplev_main): Don't set save_argv.  Update call to
decode_options.
* toplev.h (read_integral_parameter): Remove.
* varasm.c (elf_record_gcc_switches): Don't handle holding back
names.

c-family:
* c-common.c (parse_optimize_options): Update call to
decode_options.

fortran:
* options.c (gfc_handle_option): Don't handle N_OPTS.

testsuite:
* gcc.dg/opts-2.c: New test.

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

* gcc-interface/trans.c (Subprogram_Body_to_gnu): Use while instead of
for loop.  Call build_constructor_from_list directly in the CICO case.

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

Daily bump.

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

2010-06-19  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44584
* resolve.c (resolve_fl_derived): Reverse ordering of conditions
to avoid ICE.

2010-06-19  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44584
* gfortran.dg/typebound_proc_15.f03: Modified.

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

PR target/44072
* arm.md (cmpsi2_addneg): Prefer emitting adds to subs with a negative
immediate.
* constraints.md (Pw, Px): New constraints.
* thumb2.md (cmpsi2_addneg peephole2): New peepholes.

* gcc.target/arm/thumb2-cmpneg2add-1.c: New test.
* gcc.target/arm/thumb2-cmpneg2add-2.c: New test.

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

Simplify modesuffix in sse.md.

2010-06-19  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/sse.md (fma4modesuffixf4): Removed.
(ssemodesuffixf2s): Likewise.
(ssemodesuffixf4): Likewise.
(ssemodesuffixf2c): Likewise.
(ssescalarmodesuffix2s): Likewise.
(avxmodesuffixf2c): Likewise.
(ssemodesuffix): New.
(ssescalarmodesuffix): Likewise.
Update patterns with ssemodesuffix and ssescalarmodesuffix.

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