gnat_rm.texi: Document the new behavior regarding trampolines.

2008-05-27  Bob Duff  <duff@adacore.com>

* gnat_rm.texi:
Document the new behavior regarding trampolines.

From-SVN: r136017

exp_aggr.adb (Expand_Array_Aggregate): If the aggregate contains tasks...

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

* exp_aggr.adb (Expand_Array_Aggregate): If the aggregate contains
tasks, create an activation chain now, before the expansion into
assignments and build-in-place calls that require the presence of an
activation chain.
(Backend_Processing_Possible): If the component type is inherently
limited, the aggregate must be expanded into individual built-in-place
assignments.

* sem_ch6.adb (Build_Extra_Formals): Use underlying type of result to
determine whether an allocation extra parameter must be built, to
handle case of a private type whose full type is a discriminated type
with defaults.

From-SVN: r136016

gnatcmd.adb: <prefix>-gnat stack spawns gnatstack, not <prefix>-gnatstack

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

* gnatcmd.adb:
<prefix>-gnat stack spawns gnatstack, not <prefix>-gnatstack

From-SVN: r136015

s390.md: Replace all occurences of the 'm' constraint with 'RT'.

2008-05-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.md: Replace all occurences of the 'm'
constraint with 'RT'.

From-SVN: r136014

s390.md ("cpu_facility", "enabled"): Attribute definitions added.

2008-05-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.md ("cpu_facility", "enabled"): Attribute
definitions added.
("*movdi_64dfp", "*movdi_64extimm", "*movdi_64"): Merged into
"*movdi_64".
("*anddi3_extimm", "*anddi3"): Merged into "*anddi3".
("*iordi3_extimm", "*iordi3"): Merged into "*iordi3".
("*xordi3_extimm", "*xordi3"): Merged into "*xordi3".

From-SVN: r136013

reload.c: (find_reloads): Skip alternatives according to the "enabled" attribute.

2008-05-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* reload.c: (find_reloads): Skip alternatives according to the
"enabled" attribute. Constify the constraint variable.
* recog.c (get_attr_enabled): Add default implementation.
(extract_insn): Set the alternative_enabled_p array
in the recog_data struct.
(preprocess_constraints, constrain_operands): Skip
alternatives according to the "enabled" attribute
* recog.h (struct recog_data): New field alternative_enabled_p.
(skip_alternative): New inline function.
* regclass.c: (record_operand_costs): Check the "enabled"
attribute.
(record_reg_classes): Skip alternative according to the
"enabled" attribute.

* doc/md.texi: Add documention for the "enabled" attribute.

From-SVN: r136012

defaults.h (TARGET_MEM_CONSTRAINT): New target macro added.

2008-05-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* defaults.h (TARGET_MEM_CONSTRAINT): New target macro added.
* postreload.c (reload_cse_simplify_operands): Replace 'm'
constraint with TARGET_MEM_CONSTRAINT.
* recog.c (asm_operand_ok, preprocess_constraints,
constrain_operands): Likewise.
* regclass.c (record_reg_classes): Likewise.
* reload.c (find_reloads, alternative_allows_const_pool_ref):
Likewise.
* reload1.c (maybe_fix_stack_asms): Likewise.
* stmt.c (parse_output_constraint, parse_input_constraint):
Likewise.
* recog.h: Adjust comment.
* genpreds.c (generic_constraint_letters): Remove 'm' constraint.
* genoutput.c (note_constraint): Don't emit error for 'm'
constraint.
* doc/md.texi: Add a note to description of 'm' constraint.
* doc/tm.texi: Document the new TARGET_MEM_CONSTRAINT macro.

From-SVN: r136011

Resync.

From-SVN: r136010

tree-sra.c (sra_type_can_be_decomposed_p): Make sure that the bitfield is of integral type before testing its precision.

* tree-sra.c (sra_type_can_be_decomposed_p) <RECORD_TYPE>: Make sure
that the bitfield is of integral type before testing its precision.

From-SVN: r136009

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

* gnatcmd.adb, prj-proc.adb, make.adb, mlib-prj.adb, prj.adb,
prj.ads, makegpr.adb, makeutl.adb, clean.adb, prj-nmsc.adb,
mlib-tgt.adb, prj-env.adb, prj-env.ads:
(Path_Information): New record type
Use component of type Path_Information when there are two paths, one in
canonical format and one in display format.
Update the project manager to these new components.

From-SVN: r136008

bindgen.adb: Update comments.

* bindgen.adb: Update comments.

* s-tasinf-mingw.adb: Add "with" of System.OS_Interface

From-SVN: r136007

Resync

From-SVN: r136006

makeutl.adb: Minor reformatting

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

* makeutl.adb: Minor reformatting
* prj-nmsc.adb: Minor reformatting
* s-stausa.adb: Minor reformatting
* s-stausa.ads: Minor reformatting
* sem_ch6.adb: Minor reformatting

From-SVN: r136005

sem_res.adb: Minor comment fixes

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

* sem_res.adb: Minor comment fixes

From-SVN: r136004

Resync.

From-SVN: r136003

(System.File_IO.{Close, Delete, Reset}): Change File parameter from "in out AFCB_Ptr" to "access AFCB_Ptr".

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

(System.File_IO.{Close, Delete, Reset}):
Change File parameter from "in out AFCB_Ptr" to "access AFCB_Ptr".

(Ada.*_IO.{Close, Delete, Reset, Set_Mode}):
Pass File parameter by reference.

From-SVN: r136002

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

* sem_ch3.adb:
(Get_Discr_Value): Remove obsolete code that failed to find the value
of a discriminant for an inherited task component appearing in a type
extension.

From-SVN: r136001

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

* prj-nmsc.adb:
(Check_File): Make sure that a unit that replaces the same unit in a
 project being extended is properly processed.

From-SVN: r136000

s-stausa.adb (Initialize): Updated result initialization, and initialization of environment stack.

2008-05-27  Quentin Ochem  <ochem@adacore.com>

* s-stausa.adb (Initialize): Updated result initialization, and
initialization of environment stack.
(Fill_Stack): Improved computation of the pattern zone, taking into
account already filled at the calling point.
(Get_Usage_Range): Now uses Min_Measure and Max_Measure instead of
Measure and Overflow_Guard.
(Report_Result): Fixed computation of the result using new fields of
Stack_Analyzer.

* s-stausa.ads (Initialize_Analyzer): Replaced Size / Overflow_Guard
params by more explicit Stack_Size / Max_Pattern_Size params.
(Stack_Analyzer): Added distinct Stack_Size & Pattern_Size fields.
Added Stack_Used_When_Filling field.
(Task_Result): Replaced Measure / Overflow_Guard by more explicit
Min_Measure and Max_Measure fields.

* s-tassta.adb (Task_Wrapper): Updated call to Initialize_Analyzer.

From-SVN: r135999

* exp_ch6.adb: Minor reformatting

From-SVN: r135998

exp_aggr.adb: Add ??? comment Fix typo

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

* exp_aggr.adb: Add ??? comment
Fix typo

From-SVN: r135997

makeutl.adb: Minor code reorganization

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

* makeutl.adb: Minor code reorganization

From-SVN: r135996

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

From-SVN: r135995

Resync.

From-SVN: r135994

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

* makeutl.ads, makeutl.adb:
(Set_Location): New procedure
(Get_Location): New function
(Update_Main): New procedure

From-SVN: r135993

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

* sem_ch6.adb:
(Is_Interface_Conformant): Handle properly a primitive operation that
overrides an interface function with a controlling access result.
(Type_Conformance): If Skip_Controlling_Formals is true, when matching
inherited and overriding operations, omit as well the conformance check
on result types, to prevent spurious errors.

From-SVN: r135992

* sem_ch3.adb: Minor reformatting

From-SVN: r135991

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

* prj-nmsc.adb:
(Process_Sources_In_Multi_Language_Mode): Check that there are not two
sources of the same project that have the same object file name.
(Find_Explicit_Sources): Always remove a source exception that was not
found.

From-SVN: r135990

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

From-SVN: r135989

Resync.

From-SVN: r135988

system-darwin-ppc.ads (Always_Compatible_Rep): Set to False.

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

* system-darwin-ppc.ads (Always_Compatible_Rep): Set to False.
* system-darwin-x86.ads (Always_Compatible_Rep): Likewise.
* system-freebsd-x86.ads (Always_Compatible_Rep): Likewise.
* system-linux-ppc.ads (Always_Compatible_Rep): Likewise.
* system-linux-x86_64.ads (Always_Compatible_Rep): Likewise.
* system-linux-x86.ads (Always_Compatible_Rep): Likewise.
* system-mingw.ads (Always_Compatible_Rep): Likewise.
* system-solaris-sparc.ads (Always_Compatible_Rep): Likewise.
* system-solaris-sparcv9.ads (Always_Compatible_Rep): Likewise.
* system-solaris-x86.ads (Always_Compatible_Rep): Likewise.

From-SVN: r135987

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

* prj-nmsc.adb:
(Check_Library): Allow standard project to be extended as a static
library project.
(Get_Mains): Do not inherit attribute Main in an extending library
project.

From-SVN: r135986

Resync

From-SVN: r135985

exp_dist.adb: Minor reformating

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

* exp_dist.adb: Minor reformating

From-SVN: r135984

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

* exp_ch6.adb:
(Expand_N_Function_Call): Fix comments. Minor reformatting.

* exp_vfpt.ads:
(Expand_Vax_Foreign_Return): Fix comments.

From-SVN: r135983

xsnames.adb: Remove unused variable Oname

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

* xsnames.adb: Remove unused variable Oname

From-SVN: r135982

prj-attr.adb: Add new project level attribute Map_File_Option

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

* prj-attr.adb: Add new project level attribute Map_File_Option

* prj-nmsc.adb (Process_Linker): Process new attribute Map_File_Option

* prj.ads: Minor reformatting and comment update
(Project_Configuration): New component Map_File_Option

* snames.adb: New standard name Map_File_Option

* snames.ads: New standard name Map_File_Option

From-SVN: r135981

gnat_ugn.texi: Add succinct documentation for attribute Excluded_Source_List_File

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

* gnat_ugn.texi:
Add succinct documentation for attribute Excluded_Source_List_File

From-SVN: r135980

sem_ch3.adb (Fixup_Bad_Constraint): Set the Etype on the bad subtype to the known type entity E...

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

* sem_ch3.adb (Fixup_Bad_Constraint): Set the Etype on the bad subtype
to the known type entity E, rather than setting it to Any_Type. Fixes
possible blowup in function Base_Init_Proc, as called from Freeze_Entity
for objects whose type had an illegal constraint.

From-SVN: r135979

exp_disp.adb (Build_Dispatch_Tables): For a private type completed by a synchronized tagged type...

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

* exp_disp.adb (Build_Dispatch_Tables): For a private type completed by
a synchronized tagged type, do not attempt to build dispatch table for
full view. The table is built for the corresponding record type, which
has its own declaration.

From-SVN: r135978

sem_attr.adb: add guard to previous patch.

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

* sem_attr.adb: add guard to previous patch.

From-SVN: r135977

Add TImode libgcc functions for mul and div on SPU.

From-SVN: r135975

Add TImode libgcc functions for mul and div.

From-SVN: r135974

Add TImode libgcc functions for mul and div.

From-SVN: r135973

pr11832.c: XFAIL on (x86 && ilp32 && pic).

* gcc.c-torture/compile/pr11832.c: XFAIL on (x86 && ilp32 && pic).
* gcc.c-torture/compile/pr33009.c: Likewise.

From-SVN: r135972

re PR c++/35909 (ICE with bit-field and const references)

gcc/cp/ChangeLog:
PR c++/35909
* call.c (convert_like_real): Convert bitfield to desired type
before creating temporary.
gcc/testsuite/ChangeLog:
PR c++/35909
* g++.dg/conversion/bitfield9.C: New.

From-SVN: r135969

Daily bump.

From-SVN: r135965

rs6000.c (rs6000_legitimize_tls_address): Generate new tls_gd_* and tls_ld_* insns instead of an insn sequence.

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.

From-SVN: r135961

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

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

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

From-SVN: r135958

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

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

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

From-SVN: r135956

cmath (pow(float, int), [...]): Do not define in C++0x mode, per DR 550.

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.

From-SVN: r135955

re PR tree-optimization/36329 (latent problem with tree inlining)

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.

From-SVN: r135954

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.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.

Co-Authored-By: Anatoly Sokolov <aesok@post.ru>
From-SVN: r135953

re PR target/34932 ([avr] ICE in reload)

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

From-SVN: r135952

Resync.

From-SVN: r135951

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

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

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

From-SVN: r135950

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

From-SVN: r135949

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

From-SVN: r135948

s-vaflop-vms-alpha.adb: Remove System.IO use clause...

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.

From-SVN: r135947

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

From-SVN: r135946

* exp_vfpt.adb: Minor reformatting

From-SVN: r135945

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

From-SVN: r135944

tree-ssa-sccvn.c (expr_has_constants): Declare.

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.

From-SVN: r135943

s-casi16.adb (Uhalf): Rewrite it as integer with small alignment.

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.

From-SVN: r135942

exp_ch3.adb (Expand_N_Object_Declaration): Remove checks for No_Default_Initialization...

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.

From-SVN: r135941

Resync.

From-SVN: r135940

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

From-SVN: r135939

exp_ch3.adb (Build_Array_Init_Proc): Only set Init_Proc to a dummy init proc entity when...

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.

From-SVN: r135938

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.

From-SVN: r135937

sem_attr.adb: (Resolve_Attribute, case 'address): S (A ..

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.

From-SVN: r135936

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.

From-SVN: r135932

re PR middle-end/36253 (Caller-save stack slot may not have proper alignment)

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.

From-SVN: r135927

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

From-SVN: r135926

Resync.

From-SVN: r135925

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

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

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

From-SVN: r135924

einfo.ads (Abstract_Interface_Alias): Renamed as Interface_Alias.

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.

From-SVN: r135923

i386.md (allocate_stack_worker_64): Make sure argument operand in rax isn't removed.

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.

From-SVN: r135921

Resync.

From-SVN: r135920

* sem_ch3.adb: Minor reformatting

From-SVN: r135919

exp_ch4.adb (Expand_Concatenate_Other): Add explicit constraint checks on the upper bound if...

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.

From-SVN: r135918

Resync.

From-SVN: r135917

exp_ch4.adb (Expand_N_Type_Conversion): Minor code reformatting.

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.

From-SVN: r135916

* sinfo.ads: Minor reformatting

From-SVN: r135915

sem_ch12.adb (Remove_Parent): Use specification of instance to retrieve generic parent...

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

From-SVN: r135914

re PR middle-end/36300 (Incorrect type used for inlined expression)

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.

From-SVN: r135913

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

From-SVN: r135912

gigi.h (gigi): Remove bogus ATTRIBUTE_UNUSED marker.

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

From-SVN: r135911

set_in_pproc.adb: New test.

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

From-SVN: r135910

Resync.

From-SVN: r135909

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.

From-SVN: r135908

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.

From-SVN: r135907

sem_aggr.adb: Minor reformatting.

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

* sem_aggr.adb: Minor reformatting.

From-SVN: r135906

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

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

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

From-SVN: r135905

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

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

From-SVN: r135904

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

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

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

From-SVN: r135903

s-carun8.ads: Minor reformatting

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

* s-carun8.ads: Minor reformatting

From-SVN: r135902

osint.ads: Minor reformatting

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

* osint.ads: Minor reformatting

From-SVN: r135901

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.

From-SVN: r135900

gnatname.adb: Minor reformatting

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

* gnatname.adb: Minor reformatting

From-SVN: r135899

sem_cat.adb: Minor reformatting

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

* sem_cat.adb: Minor reformatting

From-SVN: r135898