* 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

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

From-SVN: r135897

exp_ch3.adb (Build_Init_Statements): Alphabetize local variables.

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.

From-SVN: r135896

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

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

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

From-SVN: r135894

re PR bootstrap/36331 (Gcc failed to bootstrap)

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

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

From-SVN: r135892

darwin-c.c: Include "incpath.h" instead of "c-incpath.h".

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

From-SVN: r135891

tuple: Ifndef __GXX_EXPERIMENTAL_CXX0X__ just error out.

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.

From-SVN: r135890

Daily bump.

From-SVN: r135888

tree-nested.c (convert_tramp_reference): Do not build a trampoline if we don't want one.

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

From-SVN: r135884

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

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

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

From-SVN: r135883

re PR fortran/18428 (No preprocessing option -cpp for gfortran)

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.

From-SVN: r135882

tree.h: Update the table of flags used on tree nodes.

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

From-SVN: r135881

complex (complex<>::real(_Tp), [...]): Add per DR 387.

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.

From-SVN: r135878

re PR fortran/32600 ([ISO Bind C] C_F_POINTER w/o SHAPE should not be a library function)

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.

From-SVN: r135877

re PR middle-end/17526 (libcpp is miscompiled with -fno-pcc-struct-return -O2)

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

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

From-SVN: r135876

complex: Trivial stylistic changes...

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.

From-SVN: r135872

final.c (frame_pointer_needed): Removed.

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.

From-SVN: r135870

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

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

From-SVN: r135861

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

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.

From-SVN: r135860

Delete get_inner_array_type.  Use strip_array_types instead.

From-SVN: r135858

Daily bump.

From-SVN: r135856

inclhack.def (solaris_math_4): Use GCC's __builtin_fpclassify.

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

From-SVN: r135852

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

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

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

From-SVN: r135851

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

From-SVN: r135850

atomic.cc (atomic_flag_test_and_set_explicit, [...]): Suppress unused parameter warnings.

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.

From-SVN: r135848

trans.c (gnat_to_gnu): Do not set source location info on NOP_EXPRs.

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

From-SVN: r135847

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

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.

From-SVN: r135846

builtins.c (fold_builtin_fpclassify): Fix spelling of FP_INFINITE.

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

From-SVN: r135844

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

From-SVN: r135843

m32c.c (m32c_return_addr_rtx): Change pointer type for A24 to PSImode.

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

From-SVN: r135842

profile1.C: Use dg-require-profiling.

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

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

Co-Authored-By: Daniel Jacobowitz <dan@codesourcery.com>
From-SVN: r135841

re PR testsuite/22523 (template/inline1.C does not test correctly on all targerts)

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

From-SVN: r135840

Daily bump.

From-SVN: r135838

tuple: Replace int -> size_t throughout per DR 775.

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.

From-SVN: r135834

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

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.

From-SVN: r135833

extend.texi: Clarify use of __attribute__((naked)).

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.

Co-Authored-By: Carlos O'Donell <carlos@codesourcery.com>
From-SVN: r135831

Fix nits

From-SVN: r135821

expr.c (highest_pow2_factor): New case.

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

From-SVN: r135820

gigi.h (mark_visited): Declare.

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

From-SVN: r135819

re PR fortran/36314 (gfortran.dg/eoshift_large_1.f90 doesn't work)

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

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

From-SVN: r135817

darwin-ldouble.c (fmsub): Eliminate the full PACK/UNPACK between FP_SUB_Q and FD_TRUNC so that the result...

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

From-SVN: r135815

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

From-SVN: r135814

Resync

From-SVN: r135813

gnat_ugn.texi (Calling Conventions): Document that the Intrinsic convention also allows access to named compiler...

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.

From-SVN: r135812

sem_attr.adb (Resolve_Attribute, [...]): If the prefix is a slice...

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.

From-SVN: r135811

exp_dist.adb: Minor reformatting

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

* exp_dist.adb: Minor reformatting

From-SVN: r135810

snames.adb: New standard name Excluded_Source_List_File

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.

From-SVN: r135809

jcf-parse.c (give_name_to_class): Call find_sourcefile to find full pathname of source file.

2008-05-23  Andrew Haley  <aph@redhat.com>

        * jcf-parse.c (give_name_to_class): Call find_sourcefile to find full
        pathname of source file.

From-SVN: r135808

Resync

From-SVN: r135806

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

* s-os_lib.adb:
(copy_File): Do not open destination file if source file is unreadable.

From-SVN: r135805

gnatlink.adb (Process_Args): Do not disable scanning of ALI file for back end switches when...

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

* gnatlink.adb (Process_Args): Do not disable scanning of ALI file for
back end switches when executable specified with --GCC= is same as
default, even if there are additional options.

* gnat_ugn.texi:
Document when the back end switches from the ALI file are taken into
account when gnatlink is invoked with --GCC=

From-SVN: r135804

prj-nmsc.adb (Check_Naming_Schemes): Check a file for spec, body and sep.

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

* prj-nmsc.adb (Check_Naming_Schemes): Check a file for spec, body and
sep. If there are several possibilities, choose the one with the
longer prefix.

From-SVN: r135803

re PR c++/36237 (internal compiler error: in lower_stmt, at gimple-low.c:282 erase 'private(localTodoStack)' it compiles successfully.)

PR c++/36237
* cp-gimplify.c (cxx_omp_clause_apply_fn): Call
fold_build_cleanup_point_expr on build_call_a results.

* g++.dg/gomp/pr36237.C: New test.

From-SVN: r135802

re PR libgcj/35020 (Class.getSimpleName() differs from Sun Java)

2008-05-22  Andrew Haley  <aph@redhat.com>

PR libgcj/35020
* java/lang/Class.java (getSimpleName): Replace incorrect use of
String.lastIndexOf(String, int) with String.substring.
* testsuite/libjava.lang/PR35020.java: New file.
* testsuite/libjava.lang/PR35020.out: New file.

From-SVN: r135801

tree-ssa-operands.c (mark_difference_for_renaming): Use bitmap_xor.

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

* tree-ssa-operands.c (mark_difference_for_renaming): Use
bitmap_xor.

From-SVN: r135799

re PR c++/36308 (OpenMP privatized vars don't get dtors called if they are virtual)

PR c++/36308
* semantics.c (omp_clause_info_fndecl): New function.
(finish_omp_clauses): Use it.

* testsuite/libgomp.c++/ctor-11.C: New test.
* testsuite/libgomp.c++/ctor-12.C: New test.

From-SVN: r135798

utils.c (handle_type_generic_attribute): Adjust to accept fixed arguments before an elipsis.

* utils.c (handle_type_generic_attribute): Adjust to accept
fixed arguments before an elipsis.

From-SVN: r135797

intro.xml: Adjust links to ISO documents.

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

* doc/xml/manual/intro.xml: Adjust links to ISO documents.

From-SVN: r135796

cmath (fpclassify): Use __builtin_fpclassify.

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

* include/c_std/cmath (fpclassify): Use __builtin_fpclassify.
* include/c_global/cmath (fpclassify): Likewise.

From-SVN: r135795

re PR target/36079 (cld instruction is not emitted anymore.)

PR target/36079
* configure.ac: Handle --enable-cld.
* configure: Regenerated.
* config.gcc: Add USE_IX86_CLD to tm_defines for x86 targets.
* config/i386/i386.h (struct machine_function): Add needs_cld field.
(ix86_current_function_needs_cld): New define.
* config/i386/i386.md (UNSPEC_CLD): New unspec volatile constant.
(cld): New isns pattern.
(strmov_singleop, rep_mov, strset_singleop, rep_stos, cmpstrnqi_nz_1,
cmpstrnqi_1, strlenqi_1): Set ix86_current_function_needs_cld flag.
* config/i386/i386.opt (mcld): New option.
* config/i386/i386.c (ix86_expand_prologue): Emit cld insn if
TARGET_CLD and ix86_current_function_needs_cld.
(override_options): Use -mcld by default for 32-bit code if
USE_IX86_CLD.

* doc/install.texi (Options specification): Document --enable-cld.
* doc/invoke.texi (Machine Dependent Options)
        [i386 and x86-64 Options]: Add -mcld option.
        (Intel 386 and AMD x86-64 Options): Document -mcld option.

From-SVN: r135792

i386.c (return_in_memory_32): Add ATTRIBUTE_UNUSED.

2008-05-23  Kai Tietz  <kai.tietz@onevison.com>
        * config/i386/i386.c (return_in_memory_32): Add ATTRIBUTE_UNUSED.
        (return_in_memory_64): Likewise.
        (return_in_memory_ms_64): Likewise.

From-SVN: r135790

builtin-types.def (BT_FN_INT_INT_INT_INT_INT_INT_VAR): New.

* builtin-types.def (BT_FN_INT_INT_INT_INT_INT_INT_VAR): New.
* builtins.c (fold_builtin_fpclassify): New.
(fold_builtin_varargs): Handle BUILT_IN_FPCLASSIFY.
* builtins.def (BUILT_IN_FPCLASSIFY): New.
* c-common.c (handle_type_generic_attribute): Adjust to accept
fixed arguments before an elipsis.
(check_builtin_function_arguments): Handle BUILT_IN_FPCLASSIFY.
* doc/extend.texi: Document __builtin_fpclassify.

testsuite:
* gcc.dg/builtins-error.c: Test __builtin_fpclassify.  Also
add tests for all previous type-generic builtins.
* gcc.dg/pr28796-2.c: Add -DUNSAFE flag.
* gcc.dg/tg-tests.h: Test __builtin_fpclassify.

From-SVN: r135789

hashtable_policy.h (_Map_base<,, [...]): Add per DR 761.

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

* include/tr1_impl/hashtable_policy.h (_Map_base<,,
std::_Select1st<_Pair>, true,>::at): Add per DR 761.
* testsuite/23_containers/unordered_map/dr761.cc: New.
* doc/xml/manual/intro.xml: Add an entry for DR 761.

From-SVN: r135787

omp-low.c (gate_expand_omp_ssa): Remove.

        * omp-low.c (gate_expand_omp_ssa): Remove.
        (pass_expand_omp_ssa): Remove.
        (gate_expand_omp): Do not check for flag_openmp_ssa.
        * common.opt (-fopenmp-ssa): Remove.
        * passes.c (init_optimization_passes): Remove pass_expand_omp_ssa.

From-SVN: r135786

Daily bump.

From-SVN: r135784

sh.opt (mfixed-range): New option.

* config/sh/sh.opt (mfixed-range): New option.
* config/sh/sh-protos.h (sh_fix_range): Declare.
* config/sh/sh.c (sh_fix_range): New function.
* config/sh/sh.h (sh_fixed_range_str): Declare.
(OVERRIDE_OPTIONS): Call sh_fix_range if sh_fixed_range_str
is not empty.
* doc/invoke.texi (SH Options): Document -mfixed-range.

From-SVN: r135779

re PR libfortran/36302 (cshift and eoshift missing some kind=16 functions)

2008-05-22  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR libgfortran/36302
* gfortran.map (GFORTRAN_1.1): Add _gfortran_eoshift0_16,
_gfortran_eoshift0_16_char, _gfortran_eoshift2_16,
_gfortran_eoshift2_16_char,_gfortran_cshift0_16,
_gfortran_cshift0_16_char.  Sort alphabetically.
* intrinsics/eoshift0.c:  Add function for kind=16 integer.
* intrinsics/eoshift2.c:  Likewise.
* intrinsics/cshift0.c:  Likewise.

2008-05-22  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR libgfortran/36302
* gfortran.dg/cshift_large_1.f90:  New test.
* gfortran.dg/eoshift_large_1.f90:  New test.

From-SVN: r135777