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

* make.adb (Switches_Of): Check for Switches (others), before checking
for Default_Switches ("Ada").
(Gnatmake): Use Builder'Switches (others) in preference to
Builder'Default_Switches ("Ada") if there are several mains.

* prj-attr-pm.adb:
(Add_Attribute): Add component Others_Allowed in Attribute_Record
aggregate.

* prj-attr.adb:
Add markers to indicates that attributes Switches allow others as index
(Others_Allowed_For): New Boolean function, returning True for
attributes with the mark.
(Initialize): Recognize optional letter 'O' as the marker for
associative array attributes where others is allowed as the index.

* prj-attr.ads:
(Others_Allowed_For): New Boolean function
(Attribute_Record): New Boolean component Others_Allowed

* prj-dect.adb:
(Parse_Attribute_Declaration): For associative array attribute where
others is allowed as the index, allow others as an index.

* prj-nmsc.adb:
(Process_Binder): Skip associative array attributes with index others
(Process_Compiler): Ditto

* prj-util.adb:
(Value_Of (Index, In_Array)): Make no attempt to put in lower case when
index is All_Other_Names.

* prj.ads:
(All_Other_Names): New constant

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

2008-08-05  Vasiliy Fofanov  <fofanov@adacore.com>

* gen-oscons.c: Adapt for VMS where termios.h is not available.

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

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

* prj-proc.adb:
(Process_Declarative_Items): Skip associative array attribute when index
is reserved word "others".

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

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

* mlib.adb: Update comments.

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

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

* gen-soccon.c: Rename to gen-oscons.c

* gen-oscons.c: New file. Now generate System.OS_Constants instead of
GNAT.Sockets.Constants.
Add new constants for GNAT.Serial_Communications and System.File_IO.

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

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

* a-rttiev.adb: Minor reformatting (comments)

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

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

* adaint.c, adaint.h, s-os_lib.adb, s-os_lib.ads: Fix the
Set_Read_Only Win32 implementation.

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

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

* sem_util.adb (Collect_Interfaces_Info): Minor reformating.
* exp_ch3.adb (Build_Offset_To_Top_Functions): Code cleanup: the
implementation of this routine has been simplified.

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

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

* exp_strm.adb: Minor reformatting (comments)

* sem_ch12.adb: Minor reformatting.

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

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

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

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

* sem_res.adb (Resolve_Call): If this is a call to the predefined
Abort_Task, warn if the call appears within a protected operation.

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

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

* exp_strm.adb (Build_Record_Or_Elementary_Input_Function): For access
discriminants, indicate that the corresponding object declaration has
no initialization, to prevent spurious warnings when the access type is
null-excluding.

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

2008-08-05  Jerome Lambourg  <lambourg@adacore.com>

* g-comlin.adb (Sort_Sections, Group_Switches): New/Modified internal
methods needed to handle switch sections when building a command line.
(Define_Section, Add_Switch, Remove_Switch, Is_New_Section,
Current_Section): New public methods or methods modified to handle
building command lines with sections.
(Set_Command_Line): Take into account sections when analysing a switch
string.
(Start): Sort the switches by sections before iterating the command line
elements.

* g-comlin.ads (Define_Section, Add_Switch, Remove_Switch,
Is_New_Section, Current_Section): New methods or methods modified to
handle building command lines with sections.

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

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

* tbuild.ads (New_External_Name): Update spec to reflect relaxed
restriction on Prefix.

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

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

* checks.adb: Minor reformatting

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

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

* sem_ch3.adb: Minor reformatting

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

PR libgcj/31890:
* gcj/javaprims.h: Regenerate class list.

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

Daily bump.

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

    PR c++/36963
        * typeck2.c (check_narrowing): Allow narrowing conversion
        from an explicit floating-point constant.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_ch5.adb:
(Expand_Simple_Function_Return): Check No_Secondary_Stack restriction
at point of return.

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb:
(Replace_Anonymous_Access_To_Protected_Subprogram): Handle properly an
anonymous access to protected subprogram that is the return type of the
specification of a subprogram body.

* sem_ch6.adb:
(Analyze_Subprogram_Body): if the return type is an anonymous access to
subprogram, freeze it now to prevent access anomalies in the back-end.

* exp_ch9.adb: Minor code cleanup.
Make sure that new declarations are inserted into the tree before
analysis (from code reading).

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_In): Suppress range warnings in instances

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

    PR c++/37006
        * pt.c (tsubst_decl): Leave DECL_INITIAL set on deleted
        instantiations.

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

2008-08-04  Richard Guenther  <rguenther@suse.de>

* tree-ssa-loop-ivopts.c (add_iv_value_candidates): Also add
the candidate with the stripped base if that base is different
from the original base even for offset zero.

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

2008-08-04  Richard Guenther  <rguenther@suse.de>

PR middle-end/36691
* tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Correctly
check for no_overflow.

* gcc.c-torture/execute/pr36691.c: New testcase.

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

2008-08-04  Victor Kaplansky  <victork@il.ibm.com>

        * gcc.dg/vect/vect-complex-5.c: New test.

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

2008-08-04  Richard Guenther  <rguenther@suse.de>

* tree-vect-transform.c (vectorizable_call): Fix tuplification.

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

2008-08-04  Paul Brook  <paul@codesourcery.com>

gcc/
* cofig/arm/arm.c (thumb_core_reg_alloc_order): New.
(arm_order_regs_for_local_alloc): New function.
* config/arm/arm-protos.h (arm_order_regs_for_local_alloc): Add
prototype.
* config/arm/arm.h (ORDER_REGS_FOR_LOCAL_ALLOC): Define.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Minor reformatting

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

2008-08-04  Javier Miranda  <miranda@adacore.com>

* sem_prag.adb (Process_Convention): Add missing support for
 N_Private_Extension_Declaration nodes.

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

2008-08-04  Vasiliy Fofanov  <fofanov@adacore.com>

* g-soccon-mingw.ads: Fix value for MSG_WAITALL

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

2008-08-04  Thomas Quinot  <quinot@adacore.com>

* sem_type.adb, sem_ch4.adb, sprint.adb, exp_ch3.adb: Minor reformatting

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

    PR c++/36999
        * parser.c (cp_parser_elaborated_type_specifier): Warn only when
        the declaration's id is followed by a semicolon.

* g++.dg/warn/pr36999.C: New.

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

2008-08-04  H.J. Lu  <hongjiu.lu@intel.com>

PR target/37012
* config/i386/i386.c (ix86_expand_prologue): Use UNITS_PER_WORD
instead of STACK_BOUNDARY / BITS_PER_UNIT to align stack.
(ix86_expand_epilogue): Likewise.

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

2008-08-04  Pascal Obry  <obry@adacore.com>

* adaint.c: Refine support for Windows file attributes.

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

2008-08-04  Thomas Quinot  <quinot@adacore.com>

* sem_ch4.adb: Minor reformatting.

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

2008-08-04  Thomas Quinot  <quinot@adacore.com>

* exp_ch6.adb: Minor comment fix.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* freeze.adb:
(Freeze_Entity): Only check No_Default_Initialization restriction for
constructs that come from source

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

2008-08-04  Javier Miranda  <miranda@adacore.com>

* sem_eval.adb (Subtypes_Statically_Match): Remove superfluous patch
added in previous patch to handle access to subprograms.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* sem_res.adb:
(Valid_Conversion): Catch case of designated types having different
sizes, even though they statically match.

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

2008-08-04  Pascal Obry  <obry@adacore.com>

* adaint.h: Add missing prototype.

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

2008-08-04  Pascal Obry  <obry@adacore.com>

* adaint.c, s-os_lib.adb, s-os_lib.ads: Use Windows ACL to deal with
file attributes.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* sem_ch13.ads: Minor comment update

* sem_res.adb: (Large_Storage_Type): Improve previous change.

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

2008-08-04  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.c (ix86_compute_frame_layout): Fix a typo
in comments.

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

2008-08-04  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Access_Subprogram_Declaration): Adding missing support
for N_Formal_Object_Declaration nodes. Adding kludge required by
First_Formal to provide its functionality with access to functions.
(Replace_Anonymous_Access_To_Protected_Subprogram): Add missing support
for anonymous access types returned by functions.

* sem_ch5.adb (Analyze_Assignment): Code cleanup to avoid duplicate
conversion of null-excluding access types (required only once to force
the generation of the required runtime check).

* sem_type.adb (Covers): minor reformating

* checks.adb (Null_Exclusion_Static_Checks): Avoid reporting errors
with internally generated nodes. Avoid generating the error inside init
procs.

* sem_res.adb (Resolve_Membership_Test): Minor reformating.
(Resolve_Null): Generate the null-excluding check in case of assignment
to a null-excluding object.
(Valid_Conversion): Add missing support for anonymous access to
subprograms.

* sem_ch6.adb (Check_Return_Subtype_Indication): Add missing support for
anonymous access types whose designated type is an itype. This case
occurs with anonymous access to protected subprograms types.
(Analyze_Return_Type):  Add missing support for anonymous access to
protected subprogram.

* sem_eval.adb (Subtypes_Statically_Match): In case of access to
subprograms addition of missing check on matching convention. Required
to properly handle access to protected subprogram types.

* exp_ch3 (Build_Assignment): Code cleanup removing duplicated check on
null excluding access types.

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

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

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

2008-08-04  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/postypes.h: Reinstate inclusion of <stdint.h>;
also define the __STDC_* macros.
(streamoff): Adjust.

* include/tr1_impl/cstdint: Check that the __STDC_* macros are
not defined before defining.

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

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

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

2008-08-04  Vasiliy Fofanov  <fofanov@adacore.com>

* g-soccon-mingw-64.ads, system-mingw-x86_64.ads: New files.

* gcc-interface/Makefile.in: Use 64bit-specific system files when
compiling for 64bit windows.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* g-comlin.adb: Minor reformatting

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

2008-08-04  Gary Dismukes  <dismukes@adacore.com>

* exp_aggr.adb (Build_Record_Aggr_Code): Perform a conversion of the
target to the type of the aggregate in the case where the target object
is class-wide.

* exp_ch5.adb (Expand_Simple_Function_Return): When the function's
result type is class-wide and inherently limited, and the expression
has a specific type, create a return object of the specific type, for
more efficient handling of returns of build-in-place aggregates (avoids
conversions of the class-wide return object to the specific type on
component assignments).

* sem_ch6.adb (Check_Return_Subtype_Indication): Suppress the error
about a type mismatch for a class-wide function with a return object
having a specific type when the object declaration doesn't come from
source. Such an object can result from the expansion of a simple return.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_dist.adb: Minor reformatting

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Minor reformatting

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Analyze_Allocator): If the designated type is a non-null
access type and the allocator is not initialized, warn rather than
reporting an error.

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb: Add comments

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

2008-08-04  Kevin Pouget  <pouget@adacore.com>

* snames.h, snames.adb, snames.ads:
Add Attr_To_Any, Attr_From_Any and Attr_TypeCode defines.

* exp_dist.ads, exp_dist.adb: Add Build_From_Any_Call,
Build_To_Any_Call and Build_TypeCode_Call procedures.

* exp_attr.adb, sem_attr.adb: Add corresponding cases.

* rtsfind.ads: Add corresponding names.

* tbuild.adb: Update prefix restrictions to allow '_' character.

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb (Get_Allocator_Final_List): Freeze anonymous type for
chain at once, to ensure that type is properly decorated for back-end,
when allocator appears within a loop.

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

2008-08-04  Jerome Lambourg  <lambourg@adacore.com>

* g-comlin.adb (Group_Switches): Preserve the switch order when
grouping and allow switch grouping of switches with more than one
character extension (e.g. gnatw.x).
(Args_From_Expanded): Remove this now obsolete method.

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

Minor reformatting.

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

2008-08-04  Doug Rupp  <rupp@adacore.com>

* gigi.h (fill_vms_descriptor): Add third parameter gnat_actual
* trans.c (call_to_gnu): Call fill_vms_descriptor with new parameter.
* utils2.c (fill_vms_descriptor): Add third parameter for error sloc and
use it.  Calculate pointer range overflow using 64bit types.

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

2008-08-04  Vincent Celier  <celier@adacore.com>

* mlib.adb (Create_Sym_Links): Create relative symbolic links when
requested

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

2008-08-04  Arnaud Charlet  <charlet@adacore.com>

* usage.adb (Usage): Minor rewording of -gnatwz switch, to improve
gnatcheck support in GPS.

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Access_Definition): A formal object declaration is a
legal context for an anonymous access to subprogram.

* sem_ch4.adb (Analyze_One_Call): If the call can be interpreted as an
indirect call, report success to the caller to include possible
interpretation.

* sem_ch6.adb (Check_Return_Type_Indication): Apply proper conformance
check when the type
of the extended return is an anonymous access_to_subprogram type.

* sem_res.adb:
(Resolve_Call): Insert a dereference if the type of the subprogram is an
access_to_subprogram and the context requires its return type, and a
dereference has not been introduced previously.

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

2008-08-04  Vincent Celier  <celier@adacore.com>

* gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean
variable, but don't check the resulting value as it has no impact on
the processing.

* opt.ads:
(Generate_Processed_File): New Boolean flag, set to True in the compiler
when switch -gnateG is used.

* prep.adb:
(Preprocess): new Boolean out parameter Source_Modified. Set it to True
when the source is modified by the preprocessor and there is no
preprocessing errors.

* prep.ads (Preprocess): new Boolean out parameter Source_Modified

* sinput-l.adb:
(Load_File): Output the result of preprocessing if the source text was
modified.

* switch-c.adb (Scan_Front_End_Switches): Recognize switch -gnateG

* switch-m.adb (Normalize_Compiler_Switches): Normalize switch -gnateG

* ug_words: Add VMS equivalent for -gnateG

* vms_data.ads:
Add VMS option /GENERATE_PROCESSED_SOURCE, equivalent to switch -gnateG

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

2008-08-04  Doug Rupp  <rupp@adacore.com>

* utils2.c (fill_vms_descriptor): Use long_integer for comparison.
Call add_stmt_with_node to set locus.

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

2008-08-04  Doug Rupp  <rupp@adacore.com>

* gcc-interface/utils2.c:
(fill_vms_descriptor): Raise CE if attempt made to pass 64bit pointer
in 32bit descriptor.

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

2008-08-04  Thomas Quinot  <quinot@adacore.com>

* sem_ch10.adb: Minor comment fix.

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

2008-08-04  Arnaud Charlet  <charlet@adacore.com>

* sem_prag.adb (Check_Form_Of_Interface_Name): Fix handling for CLI
target.

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

2008-08-04  Vincent Celier  <celier@adacore.com>

* make.adb: Correct spelling error in comment

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

2008-08-04  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: New Builder attribute Global_Compilation_Switches

* snames.adb: New standard name Global_Compilation_Switches

* snames.ads: New standard name Global_Compilation_Switches

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Access_Definition): Create an itype reference for an
anonymous access return type of a regular function that is not a
compilation unit.

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

2008-08-04  Pascal Obry  <obry@adacore.com>

* i-cobol.adb: Minor reformatting.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* par-ch10.adb: Minor reformatting

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

Resync.

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Check_Precondition_Postcondition): When scanning the
list of declaration to find previous subprogram, do not go to the
original node of a generic unit.

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

2008-08-04  Vincent Celier  <celier@adacore.com>

* prj-proc.adb:
(Copy_Package_Declarations): When inheriting package Naming from a
project being extended, do not inherit source exception names.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* freeze.adb (Freeze_Entity): Check for size clause for boolean warning

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* system-darwin-x86.ads: Correct bad definition of Max_Nonbinary_Modulus

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* restrict.adb: Improved messages for restriction warnings

* restrict.ads: Improved messages for restriction messages

* s-rident.ads (Profile_Name): Add No_Profile

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

Daily bump.

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

2008-08-03  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

* gfortran.dg/fmt_t_7.f: Replace CR-LF with LF.

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

* config/i386/mmx.md (*mov<mode>_internal_rex64): Use Yi instead of x
to avoid inter-unit moves for !TARGET_INTER_UNIT_MOVES.
(*movv2sf_internal_rex64): Ditto.

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

* optabs.c (expand_binop, expand_builtin_pow, expand_builtin_powi,
expand_builtin_strcat): Upse optimize_insn_for_speed predicate.
* expmed.c (expand_smod_pow2): Likewise.

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

PR target/36992
* config/i386/sse.md (vec_concatv2di): Add Y2 constraint to
alternative 0 of operand 1.
(*vec_concatv2di_rex64_sse): Ditto.
(*vec_concatv2di_rex64_sse4_1): Add x constraint to alternative 0
of operand 1.
(*sse2_storeq_rex64): Penalize allocation of "r" registers.
* config/i386/mmx.md (*mov<mode>_internal_rex64): Penalize allocation
of "Y2" registers to avoid SSE <-> MMX conversions for DImode moves.
(*movv2sf_internal_rex64): Ditto.

testsuite/ChangeLog:

PR target/36992
* gcc.target/i386/pr36992-1.c: New test.
* gcc.target/i386/pr36992-2.c: Ditto.

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

* mt-spu (all-ld): Update for ld Makefile changes.

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

Daily bump.

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

    * tcl.m4 (SC_PATH_TCLCONFIG): Add some simple logic to deal
        with cygwin.
        (SC_PATH_TKCONFIG): Likewise.

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

2008-08-02  Richard Guenther  <rguenther@suse.de>

PR target/35252
* config/i386/sse.md (SSEMODE4S, SSEMODE2D): New mode iterators.
(ssedoublesizemode): New mode attribute.
(sse_shufps): Call gen_sse_shufps_v4sf.
(sse_shufps_1): Macroize.
(sse2_shufpd): Call gen_Sse_shufpd_v2df.
(sse2_shufpd_1): Macroize.
(vec_extract_odd, vec_extract_even): New expanders.
(vec_interleave_highv4sf, vec_interleave_lowv4sf,
vec_interleave_highv2df, vec_interleave_lowv2df): Likewise.
* i386.c (ix86_expand_vector_init_one_nonzero): Call
gen_sse_shufps_v4sf instead of gen_sse_shufps_1.
(ix86_expand_vector_set): Likewise.
(ix86_expand_reduc_v4sf): Likewise.

* lib/target-supports.exp (vect_extract_even_odd_wide) Add.
(vect_strided_wide): Likewise.
* gcc.dg/vect/fast-math-pr35982.c: Enable for
vect_extract_even_odd_wide.
* gcc.dg/vect/fast-math-vect-complex-3.c: Likewise.
* gcc.dg/vect/vect-1.c: Likewise.
* gcc.dg/vect/vect-107.c: Likewise.
* gcc.dg/vect/vect-98.c: Likewise.
* gcc.dg/vect/vect-strided-float.c: Likewise.
* gcc.dg/vect/slp-11.c: Enable for vect_strided_wide.
* gcc.dg/vect/slp-12a.c: Likewise.
* gcc.dg/vect/slp-12b.c: Likewise.
* gcc.dg/vect/slp-19.c: Likewise.
* gcc.dg/vect/slp-23.c: Likewise.
* gcc.dg/vect/slp-5.c: Likewise.

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

* gcc-interface/utils2.c (build_binary_op) <PLUS_EXPR, MINUS_EXPR>:
New case.  Convert BOOLEAN_TYPE operation to the default integer type.

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

2008-08-01  Doug Kwan  <dougkwan@google.com>

* matrix-reorg.c: Re-enable all code.
(struct malloc_call_data): Change CALL_STMT to gimple type.
(collect_data_for_malloc_call): Tuplify.
  (struct access_site_info): Change STMT to gimple type.
(struct matrix_info): Change MIN_INDIRECT_LEVEL_ESCAPE_STMT,
and MALLOC_FOR_LEVEL to gimple and gimple pointer type.
(struct free_info): Change STMT to gimple type.
  (struct matrix_access_phi_node):  Change PHI to gimple type.
(get_inner_of_cast_expr): Remove.
(may_flatten_matrices_1): Tuplify.
(may_flatten_matrices): Ditto.
(mark_min_matrix_escape_level): Ditto.
  (ssa_accessed_in_tree): Refactor statement RHS related code into ...
(ssa_accessed_in_call_rhs): New
(ssa_accessed_in_assign_rhs): New
(record_access_alloc_site_info): Tuplify.
(add_allocation_site): Ditto.
(analyze_matrix_allocation_site): Ditto.
(analyze_transpose): Ditto.
(get_index_from_offset): Ditto.
(update_type_size): Ditto.
(analyze_accesses_for_call_expr): Tuplify and renamed into ...
(analyze_accesses_for_call_stmt): New. Also handle LHS of a call.
(analyze_accesses_for_phi_node): Tuplify.
(analyze_accesses_for_modify_stmt): Tuplify and renamed into ...
(analyze_accesses_for_assign_stmt): Remove code for handling call LHS.
(analyze_matrix_accesses): Tuplify.
(check_var_data): New call-back type for check_var_notmodified_p.
(check_var_notmodified_p): Tuplify and use call-back struct to
return statement found.
(can_calculate_expr_before_stmt): Factor out statement related code
into ...
(can_calculate_stmt_before_stmt): New.
  (check_allocation_function): Tuplify.
(find_sites_in_func): Ditto.
(record_all_accesses_in_func): Ditto.
(transform_access_sites): Ditto.
(transform_allocation_sites): Ditto.
(matrix_reorg): Re-enable.
(gate_matrix_reorg): Re-enable.

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

Daily bump.

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

* dwarf2out.c (compute_barrier_args_size): Set barrier_args_size
for labels for which it hasn't been set yet.  If it has been set,
stop walking insns and continue with next worklist item.
(dwarf2out_stack_adjust): Don't call compute_barrier_args_size
if the only BARRIER is at the very end of a function.

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

2008-08-01  Jakub Jelinek  <jakub@redhat.com>

PR tree-optimization/36991
* gcc.dg/pr36991.c: New test.

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

Add missing ChangeLog entry for revision 138517.

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

2008-08-01  H.J. Lu  <hongjiu.lu@intel.com>

* cfgexpand.c (expand_stack_alignment): Assert that
stack_realign_drap and drap_rtx must match.

* function.c (instantiate_new_reg): If DRAP is used to realign
stack, replace virtual_incoming_args_rtx with internal arg
pointer.

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

2008-08-01  Richard Guenther  <rguenther@suse.de>

* tree-ssa-pre.c (fini_pre): Take in_fre parameter.  Free
loop information only if we initialized it.
(execute_pre): Call fini_pre with in_fre.
* tree-ssa-loop-ivcanon (try_unroll_loop_completely): Dump
if we do not unroll because we hit max-completely-peeled-insns.
Use our estimation for consistency, do allow shrinking.

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

* gnat.dg/boolean_expr.ad[sb]: Rename to boolean_expr1.ad[sb].

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

2008-08-01  Paolo Bonzini  <bonzini@gnu.org>
    Chris Fairles  <chris.fairles@gmail.com>

* acinclude.m4 ([GLIBCXX_CHECK_CLOCK_GETTIME]): Reinstate clock_gettime
search, but only in libposix4, never link librt.
* src/Makefile.am: Reinstate previous change to add GLIBCXX_LIBS.
        * configure: Regenerate.
        * configure.in: Likewise.
        * Makefile.in: Likewise.
        * src/Makefile.in: Likewise.
        * libsup++/Makefile.in: Likewise.
        * po/Makefile.in: Likewise.
        * doc/Makefile.in: Likewise.

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

* gcc-interface/ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.
* gcc-interface/decl.c (gnat_to_gnu_param): Fix formatting, simplify
and adjust for above renaming.
* gcc-interface/utils.c (convert_vms_descriptor): Likewise. Add new
gnu_expr_alt_type parameter.  Convert the expression to it instead
of changing its type in place.
(build_function_stub): Adjust call to above function.

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

2008-08-01  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.c (override_options): Replace ABI_STACK_BOUNDARY
with MIN_STACK_BOUNDARY.
(ix86_update_stack_boundary): Likewise.
(ix86_expand_prologue): Assert MIN_STACK_BOUNDARY instead of
STACK_BOUNDARY.

* config/i386/i386.h (ABI_STACK_BOUNDARY): Renamed to ...
(MIN_STACK_BOUNDARY): This.

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