Daily bump.

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

2008-05-26  Steven Bosscher  <stevenb.gcc@gmail.com>

* config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Generate
new tls_gd_* and tls_ld_* insns instead of an insn sequence.
* config/rs6000/rs6000.md (TLSmode, tls_abi_suffix, tls_insn_suffix,
tls_sysv_suffix): New mode and mode attribute iterators.
(tls_gd_32, tls_gd_64, tls_ld_32, tls_ld_64): Remove.
(lts_gd_aix*, tls_gd_sysv*, tls_ld_aix*, tls_ld_sysv*): New patterns.
(tls_dtprel_*, tls_dtprel_ha_*, tls_dtprel_lo_*, tls_got_dtprel_*,
tls_tprel_*, tls_tprel_ha_*, tls_tprel_lo_*, tls_got_tprel_*,
tls_tls_*): Merge 32 bit and 64 bit variants using aforementioned
iterators.

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

2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

* cpp.c (cpp_define_builtins): Fixed warning about comment.

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

2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

        * fortran/cpp.c (cpp_define_builtins): Remove usage of TARGET_* macros,
        added FIXME instead.

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

2008-05-26  Paolo Carlini  <paolo.carlini@oracle.com>

* include/c_global/cmath (pow(float, int), pow(double, int),
pow(long double, int)): Do not define in C++0x mode, per DR 550.
* include/tr1_impl/cmath (pow): Do not bring in unconditionally
from namespace std.
* include/tr1/cmath (pow(double, double), pow(float, float),
pow(long double, long double), pow(_Tp, _Up)): Define.
* include/tr1/complex (pow): Do not bring in from namespace std.
(pow(const std::complex<_Tp>&, int), pow(const std::complex<_Tp>&,
const _Tp&), pow(const _Tp&, const std::complex<_Tp>&),
pow(const std::complex<_Tp>&, const std::complex<_Tp>&)): Define.
* include/tr1_impl/complex (pow(const std::complex<_Tp>&,
const _Up&), pow(const _Tp&, const std::complex<_Up>&),
pow(const std::complex<_Tp>&, const std::complex<_Up>&)): Always
define.
* doc/xml/manual/intro.xml: Add an entry for DR 550.
* testsuite/26_numerics/headers/cmath/dr550.cc: New.
* testsuite/tr1/8_c_compatibility/cmath/overloads.cc: Adjust.

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

PR tree-optimization/36329
* tree.h (CALL_CANNOT_INLINE_P): Add access check.
* tree-gimple.h (CALL_STMT_CANNOT_INLINE_P): New macro.
* cgraphbuild.c (initialize_inline_failed): Use the latter
macro in lieu of the former.
* ipa-inline.c (cgraph_mark_inline): Likewise.
(cgraph_decide_inlining_of_small_function): Likewise.
(cgraph_decide_inlining): Likewise.
(cgraph_decide_inlining_incrementally): Likewise.

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

* config/avr/avr.md ("call_prologue_saves"): Use hi8(gs())/lo8(gs())
instead of pm_lo8/pm_hi8 to makes this call working on avr6.
* config/avr/avr.c (expand_prologue): Tune "call_prologue"
optimization for 'avr6' architecture.

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

PR target/34932
* config/avr/avr.md (*addhi3_zero_extend2): Remove.

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

Resync.

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

2008-05-26  Sergey Rybin  <rybin@adacore.com>

* tree_io.ads (ASIS_Version_Number): Update because of the changes
made in front-end

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

* sem_attr.adb: Add some ??? comments for previous change

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

* s-vaflop.ads: Add comments for previous change

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

2008-05-26  Doug Rupp  <rupp@adacore.com>

* s-vaflop-vms-alpha.adb:
Remove System.IO use clause, to prevent spurious ambiguities when
package is access through rtsfind.

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

* exp_vfpt.ads: Add ??? comment for last change

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

* exp_vfpt.adb: Minor reformatting

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

* exp_ch6.adb: Add ??? comment for previous change

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

2008-05-26  Richard Guenther  <rguenther@suse.de>

* tree-ssa-sccvn.c (expr_has_constants): Declare.
(visit_reference_op_load): Initialize VN_INFO->has_constants
properly.

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

2008-05-26  Eric Botcazou  <ebotcazou@adacore.com>

* s-casi16.adb (Uhalf): Rewrite it as integer with small alignment.
(Compare_Array_S16): Adjust for above change.
* s-casi32.adb (Uword): Likewise.
(Compare_Array_S32): Likewise.
* s-casi64.adb (Uword): Likewise.
(Compare_Array_S64): Likewise.
* s-caun16.adb (Uhalf): Likewise.
(Compare_Array_U16): Likewise.
* s-caun32.adb (Uword): Likewise.
(Compare_Array_U32): Likewise.
* s-caun64.adb (Uword): Likewise.
(Compare_Array_U64): Likewise.

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

2008-05-26  Gary Dismukes  <dismukes@adacore.com>

* exp_ch3.adb (Expand_N_Object_Declaration): Remove checks for
No_Default_Initialization, which is now delayed until the freeze point
of the object. Add a comment about deferral of the check.

* freeze.adb (Freeze_Entity): The check for No_Default_Initialization
on objects is moved here.

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

Resync.

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

* gnat.dg/specs/array_no_def_init.ads: New test.

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

2008-05-26  Gary Dismukes  <dismukes@adacore.com>

* exp_ch3.adb (Build_Array_Init_Proc): Only set Init_Proc to a dummy
init proc entity when there is actual default initialization associated
with the component type, to avoid spurious errors on objects of scalar
array types that are marked Is_Public when No_Default_Initialization
applies.

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

2008-05-26  Doug Rupp  <rupp@adacore.com>

* s-vaflop.adb:
(Return_D, Return_F, Return_G): New functions.

* s-vaflop.ads:
(Return_D, Return_F, Return_G): New functions.

* exp_vfpt.adb:
(Expand_Vax_Foreign_Return): New procedure

* exp_vfpt.ads:
(Expand_Vax_Foreign_Return): New procedure

* rtsfind.ads:
(RE_Return_D, RE_Return_F, RE_Return_G): New RE_Ids
(RE_Return_D, RE_Return_F, RE_Return_G): New RE_Unit_Table elements

* exp_ch6.adb:
Import Exp_Vfpt
(Expand_N_Function_Call): Call Expand_Vax_Foreign_Return.

* s-vaflop-vms-alpha.adb:
(Return_D, Return_F, Return_G): New functions.

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

2008-05-26  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb:
(Resolve_Attribute, case 'address):  S (A .. B)' address can be safely
converted to S (A)'address only if A .. B is known to be a non-null
range.

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

2008-05-26  Thomas Quinot  <quinot@adacore.com>

* rtsfind.ads, rtsfind.adb:
(RE_Get_RACW): New runtime library entity provided by PolyORB s-parint.
(Check_RPC): Support per-PCS-kind API versioning.

exp_dist.ads, exp_dist.adb:
(Build_Stub_Tag, Get_Stub_Elements): New utility subprograms.
(PolyORB_Support.Add_RACW_From_Any): Offload common code to new runtime
 library function Get_RACW.
(PolyORB_Support.Add_RACW_To_Any): Offload common code to new runtime
library function Get_Reference.
(PolyORB_Support.Add_RACW_Read_Attribute): Use Get_RACW instead of going
through an intermediate Any.
(PolyORB_Support.Add_RACW_Write_Attribute): Use Get_Reference instead of
going through an intermediate Any.

* sem_dist.adb: Minor reformatting.

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

2008-05-26  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/36253
* caller-save.c (insert_restore): Verify alignment of spill
space.
(insert_save): Likewise.

* cfgexpand.c (LOCAL_ALIGNMENT): Removed.

* defaults.h (LOCAL_ALIGNMENT): New. Provide default.
(STACK_SLOT_ALIGNMENT): Likewise.

* function.c (LOCAL_ALIGNMENT): Removed.
(get_stack_local_alignment): New.
(assign_stack_local): Use it.  Set alignment on stack slot.
(assign_stack_temp_for_type): Use get_stack_local_alignment.

* config/i386/i386.h (LOCAL_ALIGNMENT): Updated.
(STACK_SLOT_ALIGNMENT): New.

* config/i386/i386.c (ix86_local_alignment): Handle caller-save
stack slot in XFmode.

* doc/tm.texi (STACK_SLOT_ALIGNMENT): New.

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

* gnat.dg/pak.ad[sb]: New test.

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

Resync.

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

2008-05-26  Thomas Quinot  <quinot@adacore.com>

* exp_ch5.adb (Make_Tag_Ctrl_Assignment): Add missing guard on
condition for assignment to temporary.

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

2008-05-26  Javier Miranda  <miranda@adacore.com>

* einfo.ads (Abstract_Interface_Alias): Renamed as Interface_Alias.
(Set_Abstract_Interface_Alias): Renamed as Set_Interface_Alias.
(Is_Internal): Adding documentation on internal entities that have
  attribute Interface_Alias (old attribute Abstract_Interface_Alias)

* einfo.adb (Abstract_Interface_Alias): Renamed as Interface_Alias.
(Set_Abstract_Interface_Alias): Renamed as Set_Interface_Alias.
  Added assertion to force entities with this attribute to have
  attribute Is_Internal set to True.
(Next_Tag_Component): Simplify assertion using attribute Is_Tag.

* sem_ch3.adb (Derive_Interface_Subprograms): This subprogram has been
  renamed as Derive_Progenitor_Subprograms. In addition, its code is
  a new implementation.
(Add_Interface_Tag_Components): Remove special management of
synchronized interfaces.
(Analyze_Interface_Declaration): Minor reformating
(Build_Derived_Record_Type): Minor reformating
(Check_Abstract_Overriding): Avoid reporting error in case of abstract
  predefined primitive inherited from interface type because the body of
  internally generated predefined primitives of tagged types are generated
  later by Freeze_Type
(Derive_Subprogram): Avoid generating an internal name if the parent
  subprogram overrides an interface primitive.
(Derive_Subprograms): New implementation that keeps separate the
  management of tagged types not implementing interfaces, from tagged
  types that implement interfaces.
(Is_Progenitor): New implementation.
(Process_Full_View): Add documentation
(Record_Type_Declaration): Replace call to Derive_Interface_Subprograms
  by call to Derive_Progenitor_Subprograms.

* sem_ch6.ads (Is_Interface_Conformant): New subprogram.
(Check_Subtype_Conformant, Subtype_Conformant): Adding new argument
  Skip_Controlling_Formals.

* sem_ch6.adb (Is_Interface_Conformant): New subprogram.
(Check_Conventions): New implementation. Remove local subprogram
  Skip_Check. Remove formal Search_From of routine Check_Convention.
(Check_Subtype_Conformant, Subtype_Conformant): Adding new argument
  Skip_Controlling_Formals.
(New_Overloaded_Entity): Enable addition of predefined dispatching
  operations.

* sem_disp.ads
(Find_Primitive_Covering_Interface): New subprogram.

* sem_disp.adb (Check_Dispatching_Operation): Disable registering
  the task body procedure as a primitive of the corresponding tagged
  type.
(Check_Operation_From_Private_Type): Avoid adding twice an entity
  to the list of primitives.
(Find_Primitive_Covering_Interface): New subprogram.
(Override_Dispatching_Operation): Add documentation.

* sem_type.adb (Covers): Minor reformatings

* sem_util.ads (Collect_Abstract_Interfaces): Renamed as
Collect_Interfaces.
  Rename formal.
(Has_Abstract_Interfaces): Renamed as Has_Interfaces.
(Implements_Interface): New subprogram.
(Is_Parent): Removed.
(Primitive_Names_Match): New subprogram.
(Remove_Homonym): Moved here from Derive_Interface_Subprograms.
(Ultimate_Alias): New subprogram.

* sem_util.adb (Collect_Abstract_Interfaces): Renamed as
Collect_Interfaces.
  Remove special management for synchronized types. Rename formal. Remove
  internal subprograms Interface_Present_In_Parent and Add_Interface.
(Has_Abstract_Interfaces): Renamed as Has_Interfaces. Replace assertion
  on non-record types by code to return false in such case.
(Implements_Interface): New subprogram.
(Is_Parent): Removed. No special management is now required for
  synchronized types covering interfaces.
(Primitive_Names_Match): New subprogram.
(Remove_Homonym): Moved here from Derive_Interface_Subprograms.
(Ultimate_Alias): New subprogram.

* exp_ch3.adb (Add_Internal_Interface_Entities): New subprogram.
  Add internal entities associated with secondary dispatch tables to
  the list of tagged type primitives that are not interfaces.
(Freeze_Record_Type): Add new call to Add_Internal_Interface_Entities
(Make_Predefined_Primitive_Specs): Code reorganization to improve
  the management of predefined equality operator. In addition, if
  the type has an equality function corresponding with a primitive
  defined in an interface type, the inherited equality is abstract
  as well, and no body can be created for it.

* exp_disp.ads (Is_Predefined_Dispatching_Operation): Moved from
  exp_util to exp_disp.
(Is_Predefined_Interface_Primitive): New subprogram. Returns True if
  an entity corresponds with one of the predefined primitives required
  to implement interfaces.
Update copyright notice.

* exp_disp.adb (Set_All_DT_Position): Add assertion. Exclude from the
  final check on abstract subprograms all the primitives associated with
  interface primitives because they must be visible in the public and
  private part.
(Write_DT): Use Find_Dispatching_Type to locate the name of the
interface type. This allows the use of this routine, for debugging
purposes, when the tagged type is not fully decorated.
(Is_Predefined_Dispatching_Operation): Moved from exp_util to exp_disp.
  Factorize code calling new subprogram Is_Predefined_Interface_Primitive.
(Is_Predefined_Interface_Primitive): New subprogram. Returns True if an
  entity corresponds with one of the predefined primitives required to
  implement interfaces.

* exp_util.adb (Find_Interface_ADT): New implementation
(Find_Interface): Removed.

* sprint.adb (Sprint_Node_Actual): Generate missing output for the
  list of interfaces associated with nodes
N_Formal_Derived_Type_Definition and N_Private_Extension_Declaration.

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

2008-05-26  Kai Tietz  <kai.tietz@onevision.com>

PR/36321
* config/i386/i386.md (allocate_stack_worker_64): Make sure argument operand in
rax isn't removed.

2008-05-26  Kai Tietz  <kai.tietz@onevision.com>

* gcc-c.torture/execute/pr36321.c: New.

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

Resync.

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

* sem_ch3.adb: Minor reformatting

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

2008-05-26  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb (Expand_Concatenate_Other): Add explicit constraint
checks on the upper bound if the index type is a modular type, to
prevent wrap-around computations when size is close to upper bound of
type.

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

Resync.

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

2008-05-26  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Expand_N_Type_Conversion): Minor code reformatting.
Generate a tag check when the result subtype of a function, defined by
an access definition, designates a specific tagged type.
(Make_Tag_Check): New routine.

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

* sinfo.ads: Minor reformatting

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

2008-05-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Remove_Parent): Use specification of instance
to retrieve generic parent,
to handle properly the case where the instance is a child unit.
Add guard to handle properly wrapper packages.
Minor reformatting

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

2008-05-26  Richard Guenther  <rguenther@suse.de>

PR middle-end/36300
* fold-const.c (extract_muldiv_1): Use TYPE_OVERFLOW_WRAPS,
not TYPE_UNSIGNED.  Use TYPE_PRECISION instead of GET_MODE_SIZE.

* gcc.dg/pr36300-1.c: New testcase.
* gcc.dg/pr36300-2.c: Likewise.

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

* ceinfo.adb, csinfo.adb: Remove warnings. Update headers.

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

* gigi.h (gigi): Remove bogus ATTRIBUTE_UNUSED marker.
(builtin_decl_for): Likewise.
* trans.c (gigi): Likewise.
* utils.c (def_builtin_1): Fix formatting.

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

* gnat.dg/set_in_pproc.adb: New test.
* gnat.dg/modular2.adb: New test.

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

Resync.

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

2008-05-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb:
(Remove_Parent): If the enclosing scope is an instance whose generic
parent is declared within some parent scope of the just completed
instance, make full views of the entities in that parent visible, when
applicable.

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

2008-05-26  Jose Ruiz  <ruiz@adacore.com>

* s-osinte-aix.adb:
(To_Target_Priority): Setting the time slice value to 0 or greater sets
the scheduling policy to FIFO within priorities or round-robin
respectively.
Hence, the priority must be set in this case to the one selected by the
user.

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

2008-05-26  Pascal Obry  <obry@adacore.com>

* sem_aggr.adb: Minor reformatting.

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

2008-05-26  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Add description for the new gnatcheck rule -
Separate_Numeric_Error_Handlers.

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

2008-05-26  Robert Dewar  <dewar@adacore.com>

* exp_ch2.adb:
(Expand_Current_Value): Properly type generated integer literal

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

2008-05-26  Robert Dewar  <dewar@adacore.com>

* g-heasor.ads: Minor comment fix (unit is now pure)

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

2008-05-26  Robert Dewar  <dewar@adacore.com>

* s-carun8.ads: Minor reformatting

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

2008-05-26  Robert Dewar  <dewar@adacore.com>

* osint.ads: Minor reformatting

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

2008-05-26  Ed Schonberg  <schonberg@adacore.com>

* inline.adb:
(Cleanup_Scopes): For a protected operation, transfer finalization list
to protected body subprogram, to force cleanup actions when needed.

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

2008-05-26  Robert Dewar  <dewar@adacore.com>

* gnatname.adb: Minor reformatting

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

2008-05-26  Robert Dewar  <dewar@adacore.com>

* sem_cat.adb: Minor reformatting

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

2008-05-26  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb:
(Process_Project_Level_Simple_Attributes): process attribute Library_GCC

* prj.ads:
(Project_Configuration): New component Shared_Lib_Driver

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

2008-05-26  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch3.adb (Build_Init_Statements): Alphabetize local variables.
Create the statements which map a string name to protected or task
entry indix.

* exp_ch9.adb: Add with and use clause for Stringt.
Minor code reformatting.
(Build_Entry_Names): New routine.
(Make_Initialize_Protection, Make_Task_Create_Call): Generate a value
for flag Build_Entry_Names which controls the allocation of the data
structure for the string names of entries.

* exp_ch9.ads (Build_Entry_Names): New subprogram.

* exp_util.adb (Entry_Names_OK): New function.

* exp_util.ads (Entry_Names_OK): New function.

* rtsfind.ads: Add RO_PE_Set_Entry_Name and RO_TS_Set_Entry_Name to
enumerations RE_Id and RE_Unit_Table.

* s-taskin.adb Add with and use clause for Ada.Unchecked_Deallocation.
(Free_Entry_Names_Array): New routine.

* s-taskin.ads: Comment reformatting.
Add types String_Access, Entry_Names_Array, Entry_Names_Array_Access.
Add component Entry_Names to record Ada_Task_Control_Block.
(Free_Entry_Names_Array): New routine.

* s-tassta.adb (Create_Task): If flag Build_Entry_Names is set,
dynamically allocate an array
of string pointers. This structure holds string entry names.
(Free_Entry_Names): New routine.
(Free_Task, Vulnerable_Free_Task): Deallocate the entry names array.
(Set_Entry_Names): New routine.

* s-tassta.ads:
(Create_Task): Add formal Build_Entry_Names. The flag is used to
control the allocation of the data structure which stores entry names.
(Set_Entry_Name): New routine.

* s-tpoben.adb:
Add with and use clause for Ada.Unchecked_Conversion.
(Finalize): Deallocate the entry names array.
(Free_Entry_Names): New routine.
(Initialize_Protection_Entries): When flag Build_Entry_Names is set,
create an array of string pointers to hold the entry names.
(Set_Entry_Name): New routine.

* s-tpoben.ads:
Add field Entry_Names to record Protection_Entries.
(Initialize_Protection_Entries): Add formal Build_Entry_Names.
(Set_Entry_Name): New routine.

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

2008-05-26  Kai Tietz  <kai.tietz@onevision.com>

* mingw32.h (STD_MINGW): Set to true for target w64.

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

2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

        PR bootstrap/36331
        * c-cppbuiltin.c (define__GNUC__): Re-add definition of __GNUG__.

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

2008-05-26  Dominique Dhumieres  <dominiq@lps.ens.fr>

       * config/darwin-c.c: Include "incpath.h" instead of "c-incpath.h".
       * config/t-darwin: Use "incpath.h" instead of "c-incpath.h".

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

2008-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/tuple: Ifndef __GXX_EXPERIMENTAL_CXX0X__ just error out.
* include/std/date_time: Likewise.
* include/std/system_error: Likewise.
* include/std/type_traits: Likewise; fix typo in macro name.
* include/std/regex: Likewise.
* include/std/random: Likewise.
* include/std/unordered_map: Likewise.
* include/std/condition_variable: Likewise.
* include/std/unordered_set: Likewise.
* include/std/mutex: Likewise.
* include/std/array: Likewise.

* include/c_std/cmath: Fix obsolete comment.
* include/c_global/cmath: Likewise.

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

Daily bump.

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

 * tree-nested.c (convert_tramp_reference) <ADDR_EXPR>: Do not
build a trampoline if we don't want one.
* varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Do not
return zero for nested functions if we don't want a trampoline.
ada/
* trans.c (Attribute_to_gnu) <Code_Address>: Set TREE_NO_TRAMPOLINE
instead of TREE_STATIC on the ADDR_EXPR.

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

2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

        * doc/invoke.texi: Added f77, f77-cpp-input to list of file types.

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

gcc:
2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

PR fortran/18428
* c.opt: Removed undocumented option '-lang-fortran'.
* c-common.h: Removed global variable 'lang_fortran'.
* c-opts.c (c_common_handle_option): Removed code to handle
option '-lang-fortran'. Updated includes.
* c-cppbuiltin.c (c_cpp_builtins): Removed conditional
definition of '__GFORTRAN__'.
(define__GNUC__): Reimplemented to use BASEVER and
cpp_define_formatted.
(builtin_define_with_value_n): Removed.
* c-incpath.h: Renamed to ...
* incpath.h: ... this.
* c-incpath.c: Renamed to ...
* incpath.c: ... this. Updated includes.
* fix-header.c: Updated includes.
* Makefile.in: Replaced c-incpath.[ch] by incpath.[ch].
(c-cppbuiltin.o): Added dependency on and definition of BASEVER.
(OBJ-archive): Added cppdefault.o, incpath.o and prefix.o.

gcc/cp:
2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

* Makefile.in: Adjusted dependencies on c-incpath.o.

gcc/fortran:
2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

PR fortran/18428
* lang.opt (A, C, CC, D, E, H, P, U, cpp, d, fworking-directory,
imultilib, iprefix, iquote, isysroot, isystem, nocpp, nostdinc,
o, undef, v): New options.
* options.c (gfc_init_options): Also initialize preprocessor
options.
(gfc_post_options): Also handle post-initialization of preprocessor
options.
(gfc_handle_option): Check if option is a preprocessor option.
If yes, let gfc_cpp_handle_option() handle the option.
* lang-specs.h: Reorganized to handle new options.
* scanner.c (gfc_new_file): Read temporary file instead of
input source if preprocessing is enabled.
* f95-lang.c (gfc_init): Initialize preprocessor.
(gfc_finish): Clean up preprocessor.
* cpp.c: New.
* cpp.h: New.
* Make-lang.in: Added new objects and dependencies.
* gfortran.texi: Updated section "Preprocessing and
conditional compilation".
* invoke.texi: Added new section "Preprocessing Options",
listed and documented the preprocessing options handled by gfortran.

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

* tree.h: Update the table of flags used on tree nodes.
(TREE_NO_TRAMPOLINE): New accessor for static_flag.
(SAVE_EXPR_RESOLVED_P): Use automatically-built access check.
(FORCED_LABEL): Add access check.
(CALL_EXPR_RETURN_SLOT_OPT): Likewise.
(ASM_INPUT_P): Likewise.
(ASM_VOLATILE_P): Likewise.
(EH_FILTER_MUST_NOT_THROW): Access static_flag directly.
(OMP_SECTION_LAST): Access private_flag directly.
(OMP_RETURN_NOWAIT): Likewise.
(OMP_PARALLEL_COMBINED): Likewise.
(OMP_CLAUSE_PRIVATE_DEBUG): Access public_flag directly.
(OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE): Likewise.
* tree-ssa-propagate.c (STMT_IN_SSA_EDGE_WORKLIST): Access
deprecated_flag directly.

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

2008-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/complex (complex<>::real(_Tp), complex<>::imag(_Tp),
complex<float>::real(float), complex<float>::imag(float),
complex<double>::real(double), complex<double>::imag(double),
complex<long double>::real(long double),
complex<long double>::imag(long double)): Add per DR 387.
(complex<>::real(), complex<>::imag(), complex<float>::real(),
complex<float>::imag(), complex<double>::real(),
complex<double>::imag(), complex<long double>::real(),
complex<long double>::imag(long double)): Adjust in C++0x mode.
(real(complex<>&), imag(complex<>&), real(const complex<>&),
imag(const complex<>&)): Likewise.
* testsuite/26_numerics/complex/dr387.cc: New.
* doc/xml/manual/intro.xml: Add an entry for DR 387.

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

2008-05-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/32600
        * trans-expr.c (gfc_conv_function_call): Remove library
        call for c_f_pointer with scalar Fortran pointers and for
        c_f_procpointer.

2008-05-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/32600
        * intrinsics/iso_c_binding.c (c_f_procpointer): Remove.
        * intrinsics/iso_c_binding.h (c_f_procpointer): Remove.
        * gfortran.map (c_f_procpointer): Remove.

2008-05-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/32600
        * gfortran.dg/c_f_pointer_tests_3.f90: New.

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

2008-05-25  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/17526
* gcc.dg/torture/pr17526.c: New testcase.

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

2008-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/complex: Trivial stylistic changes, define inline
members inline, consistently with the rest of the library.
(pow(const _Tp&, const complex<>&)): Minor tweak.

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

2008-05-25  H.J. Lu  <hongjiu.lu@intel.com>

* final.c (frame_pointer_needed): Removed.
* flags.h (frame_pointer_needed): Likewise.

* function.h (rtl_data): Add frame_pointer_needed.
(frame_pointer_needed): New.

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

* config.gcc (sh2[lbe]*-*-linux*): Allow target.
* config.host (sh2[lbe]*-*-linux*): Allow target.

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

2008-05-25  Steven Bosscher  <stevenb.gcc@gmail.com>

* gcse.c (hash_scan_set): Do not pick up a REG_EQUAL value if
SRC is a REG.

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

Delete get_inner_array_type.  Use strip_array_types instead.

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

Daily bump.

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

* inclhack.def (solaris_math_4): Use GCC's __builtin_fpclassify.
* tests/base/iso/math_c99.h: Update.
* fixincl.x: Regenerate.

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

2008-05-24  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.md (*sse_prologue_save_insn): Set length
attribute to 34.

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

* function.c: Include target hook for nonlocal_goto frame value.

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

2008-05-24  Paolo Carlini  <paolo.carlini@oracle.com>

* src/atomic.cc (atomic_flag_test_and_set_explicit,
atomic_flag_clear_explicit): Suppress unused parameter warnings.

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

    * trans.c (gnat_to_gnu): Do not set source location info on NOP_EXPRs.
        (Sloc_to_locus): Do not overwrite known GCC locations when translating
        GNAT standard locations.

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

2008-05-24  Richard Guenther  <rguenther@suse.de>

* tree-dfa.c (refs_may_alias_p): Re-instantiate case that
a scalar variable can be only accessed through a pointer
or a union.

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

* builtins.c (fold_builtin_fpclassify): Fix spelling of FP_INFINITE.
* doc/extend.texi: Likewise.

testsuite:
* gcc.dg/tg-tests.h: Fix spelling of FP_INFINITE.

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

* config/m32c/jump.md (untyped_call): Add.

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

* config/m32c/m32c.c (m32c_return_addr_rtx): Change pointer type
for A24 to PSImode.
(m32c_address_cost): Detail costs for indirect offsets.

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

2008-05-23  Sandra Loosemore  <sandra@codesourcery.com>
    Daniel Jacobowitz  <dan@codesourcery.com>

gcc/testsuite/
* g++.dg/other/profile1.C: Use dg-require-profiling.

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

PR testsuite/22523
* g++.dg/template/inline1.C: For the not-defined symbol, use the
pattern from g++.dg/template/qualttp17.C.

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

Daily bump.

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

2008-05-23  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/tuple: Replace int -> size_t throughout per DR 775.
* include/tr1_impl/array: Likewise.
* include/tr1_impl/utility: Likewise.
* doc/xml/manual/intro.xml: Add an entry for DR 775.

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

2008-05-23  Rafael Espindola  <espindola@google.com>

* see.c (see_get_extension_data): Don't use SUBREG_REG to test
if a node is a SUBREG.
(see_analyze_one_def): Don't use SUBREG_REG to test if a node
is a SUBREG.

2008-05-23  Rafael Espindola  <espindola@google.com>

* gcc/testsuite/gcc.c-torture/compile/20080522-1.c: Move to gcc.dg.
* gcc/testsuite/gcc.dg/20080522-1.c: Moved from gcc.c-torture.

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

gcc/

2008-05-23  Paul Brook  <paul@codesourcery.com>
    Carlos O'Donell  <carlos@codesourcery.com>

* doc/extend.texi: Clarify use of __attribute__((naked)).
* doc/tm.texi: Document TARGET_ALLOCATE_STACK_SLOTS_FOR_ARGS.
* target.h (gcc_target): Add allocate_stack_slots_for_args.
* function.c (use_register_for_decl): Use
targetm.calls.allocate_stack_slots_for_args.
* target-def.h (TARGET_CALLS): Add
TARGET_ALLOCATE_STACK_SLOTS_FOR_ARGS.
* config/arm/arm.c (arm_allocate_stack_slots_for_args):
New function.
(TARGET_ALLOCATE_STACK_SLOTS_FOR_ARGS): Define.

gcc/testsuite/

2008-05-23  Paul Brook  <paul@codesourcery.com>
    Carlos O'Donell  <carlos@codesourcery.com>

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

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

Fix nits

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

* expr.c (highest_pow2_factor) <BIT_AND_EXPR>: New case.

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

* gigi.h (mark_visited): Declare.
* decl.c (gnat_to_gnu_entity): Use mark_visited instead of marking
only the topmost node of expressions.
(elaborate_expression_1): Look deeper for read-only variable.
* trans.c (add_decl_expr): Use mark_visited instead of marking by hand.
(mark_visited): Move logic to mark_visited_r.  Invoke walk_tree.
(mark_visited_r): New function.

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

2008-05-23  Tobias Burnus  <burnus@net-b.de>

       PR fortran/36314
       * gfortran.dg/eoshift_large_1.f90: Replace tabs by spaces.

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

* config/rs6000/darwin-ldouble.c (fmsub): Eliminate the full
PACK/UNPACK between FP_SUB_Q and FD_TRUNC so that the result
is only rounded once.

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

* gnat.dg/addr_slice.adb: New test.

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

Resync

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

2008-05-23  Olivier Hainque  <hainque@adacore.com>

* gnat_ugn.texi (Calling Conventions): Document that the Intrinsic
convention also allows access to named compiler built-in subprograms
such as the GCC __builtin family.

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

2008-05-23  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Resolve_Attribute, case 'address): If the prefix is a
slice, convert it to an indexed component, which is equivalent, more
efficient, and usable even if the slice itself is not addressable.

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

2008-05-23  Robert Dewar  <dewar@adacore.com>

* exp_dist.adb: Minor reformatting

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

2008-05-23  Vincent Celier  <celier@adacore.com>

* snames.adb:
New standard name Excluded_Source_List_File

* snames.ads:
New standard name Excluded_Source_List_File

* prj-attr.adb:
New project level attribute Excluded_Source_List_File

* prj-nmsc.adb:
(Find_Excluded_Sources): New parameter Project.
Get excluded sources from
file indicated by attribute Excluded_Source_List_File, when present and
neither Excluded_Source_Files nor Locally_Removed_Files are declared.

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