2011-09-02  Robert Dewar  <dewar@adacore.com>

* lib-xref.adb: Minor reformatting

2011-09-02  Vincent Celier  <celier@adacore.com>

* bindusg.adb, clean.adb, gnatchop.adb, gnatfind.adb, gnatlink.adb,
gnatls.adb, gnatname.adb, gnatxref.adb, gprep.adb, makeusg.adb: Add
--version and --help in usage.
* switch.ads, switch.adb (Display_Usage_Version_And_Help): New procedure

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

2011-09-02  Bob Duff  <duff@adacore.com>

* lib-xref.adb: (Hash): Avoid use of 'Mod attribute, because old
compilers don't understand it.

2011-09-02  Gary Dismukes  <dismukes@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference): Pass the
underlying subtype rather than its base type on the call to
Build_Record_Or_Elementary_Input_Function, so that any
constraints on a discriminated subtype will be available for
doing the check required by AI05-0192.
* exp_strm.adb (Build_Record_Or_Elementary_Input_Function):
If the prefix subtype of the 'Input attribute is a constrained
discriminated subtype, then check each constrained discriminant value
against the corresponding value read from the stream.

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

2011-09-02  Yannick Moy  <moy@adacore.com>

* usage.adb, warnsw.adb, sem_ch6.adb, opt.ads: Disable by default
warnings on suspicious contracts, and enable them with -gnatwa.

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

2011-09-02  Robert Dewar  <dewar@adacore.com>

* exp_util.adb, exp_ch9.adb, sem_attr.adb, sem_ch6.adb: Minor
reformatting.

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

2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch9.adb (Install_Private_Data_Declarations): Add guards
which ensure that restriction No_Dynamic_Attachment has not been
violated.
(Make_Initialize_Protection): Protected types with attach or
interrupt handlers must not violate restriction No_Dynamic_Attachment.
* exp_util.adb (Corresponding_Runtime_Package): Add a guard
which ensures that restriction No_Dynamic_Attachment has not been
violated.
* sem_attr.adb: (Eval_Attribute): Transform
VAX_Float_Type'First and 'Last into references to
the temporaries which store the corresponding bounds. The
transformation is needed since the back end cannot evaluate
'First and 'Last on VAX.
(Is_VAX_Float): New routine.

2011-09-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Analyze_Subprogram_Instantiation): If the
generic unit is not intrinsic and has an explicit convention,
the instance inherits it.

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

2011-09-02  Robert Dewar  <dewar@adacore.com>

* prj-dect.adb, prj-env.adb, prj-nmsc.adb, prj-proc.adb, prj-tree.adb,
prj.adb, prj.ads, sem_ch5.adb: Minor reformatting.

2011-09-02  Thomas Quinot  <quinot@adacore.com>

* sem_attr.adb (Analyze_Attribute, case Unrestriced_Access):
Guard against a prefix that is an N_Has_Entity but has no
associated entity.

2011-09-02  Yannick Moy  <moy@adacore.com>

* lib-xref-alfa.adb (Is_Alfa_Reference): Ignore IN parameters in Alfa
references.

2011-09-02  Yannick Moy  <moy@adacore.com>

* opt.ads (Warn_On_Suspicious_Contract): New warning flag.
* sem_ch3.adb (Analyze_Declarations): Call checker for suspicious
contracts.
* sem_ch6.adb, sem_ch6.ads (Check_Subprogram_Contract): New
procedure looking for suspicious postconditions.
* usage.adb (Usage): New options -gnatw.t and -gnatw.T.
* warnsw.adb (Set_Dot_Warning_Switch): Take into account new
options -gnatw.t and -gnatw.T.

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

2011-09-02  Pascal Obry  <obry@adacore.com>

* prj-proc.adb, prj.adb, prj.ads, prj-dect.adb, prj-nmsc.adb,
prj-conf.adb, projects.texi: Add support for aggregate library projects.

2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch9.adb (Expand_N_Protected_Type_Declaration): Use
Dynamic_Interrupt_Protection as the proper protection type when
dynamic handler association is actually allowed.

2011-09-02  Robert Dewar  <dewar@adacore.com>

* makeutl.ads: Minor reformatting

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

2011-09-02  Pascal Obry  <obry@adacore.com>

* prj.adb: Minor code refactoring. Move check for null project in
Project_Changed.
* projects.texi: Fix minor typos.

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

2011-09-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Analyze_Iterator_Specification): If the domain
of iteration is an expression, its value must be captured in a
renaming declaration, so that modification of the elements is
propagated to the original container.

2011-09-02  Pascal Obry  <obry@adacore.com>

* prj-proc.adb, prj.adb, makeutl.adb, makeutl.ads, prj-dect.adb,
prj-nmsc.adb, prj-util.adb, prj-conf.adb, prj-env.adb,
prj-tree.adb: Minor reformatting and style fixes.

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

Fix typo.

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

2011-09-02  Robert Dewar  <dewar@adacore.com>

* s-rident.ads: Add new restriction No_Implicit_Aliasing
* sem_attr.adb: (Analyze_Access_Attribute): Deal with
No_Implicit_Aliasing
(Analyze_Attribute, case Address): ditto
(Analyze_Attribute, case Unrestricted_Access): ditto
* sem_util.ads, sem_util.adb: (Is_Aliased_View): Handle
No_Implicit_Aliasing restriction.
* gnat_rm.texi: Add documentation for No_Implicit_Aliasing

2011-09-02  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb: (Possible_Bit_Aligned_Object): If the object
is an unchecked conversion, apply test to its expression.

2011-09-02  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Check_Abstract_Overriding): When
traversing the chain of aliased subprograms avoid reporting a
redundant error on the current entity.

2011-09-02  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Minor clean up.

2011-09-02  Bob Duff  <duff@adacore.com>

* s-htable.adb (Set_If_Not_Present): Use renaming
instead of ":=", because the type Key is limited in the generic (even
if not in the instances).

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

2011-09-02  Robert Dewar  <dewar@adacore.com>

* exp_util.adb, sem_ch10.adb, sem_attr.adb, s-htable.adb,
g-comlin.adb, g-comlin.ads, lib-xref-alfa.adb, lib-xref.adb: Minor
reformatting.

2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch3.adb: (Set_Anonymous_Type): Associate the itype of an
inherited component with the enclosing derived type. Code reformatting.

2011-09-02  Gary Dismukes  <dismukes@adacore.com>

* checks.adb: (Determine_Range): Add test of OK1 to prevent the early
return done when overflow checks are enabled, since comparisons against
Lor and Hir should not be done when OK1 is False.

2011-09-02  Gary Dismukes  <dismukes@adacore.com>

* exp_ch6.adb (Add_Finalization_Master_Actual_To_Build_In_Place_Call):
Add new formal Master_Exp. When present, add that expression to the
call as an extra actual.
(Make_Build_In_Place_Call_In_Object_Declaration): Add variable
Fmaster_Actual and in the case of a BIP call initializing a return
object of an enclosing BIP function set it to a
new reference to the implicit finalization master
formal of the enclosing function. Fmaster_Actual is
then passed to the new formal Master_Exp on the call to
Add_Finalization_Master_Actual_To_Build_ In_Place_Call. Move
initializations of Enclosing_Func to its declaration.

2011-09-02  Thomas Quinot  <quinot@adacore.com>

* csets.ads: Minor reformatting

2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_aggr.adb: (Get_Constraint_Association): Add code to retrieve
the full view of a private type coming from an instantiation.
* exp_ch4.adb: (Current_Anonymous_Master): Reimplement the search
loop to iterate over the declarations rather than use the
First_Entity / Next_Entity scheme.

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

2011-09-02  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb: (Analyze_Attribute, case 'Range): when expanding
X'range (N) into X'First (N) ..  X'Last (N), do not share the
dimension indicator N, if present. Even though it is a static
constant, its source location may be modified when printing
expanded code under -gnatDL, and node sharing will lead to chaos
in Sprint on large files, by generating a sloc value that does
not correspond to any source file.

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

2011-09-02  Bob Duff  <duff@adacore.com>

* einfo.adb: (Has_Xref_Entry): Do not call
Implementation_Base_Type. Lib.Xref has been
rewritten to avoid the need for it, and it was costly.
* s-htable.ads,s-htable.adb: (Present,Set_If_Not_Present): New
functions in support of efficient xref.
* lib-xref-alfa.adb: Misc changes related to Key component of
type Xref_Entry.
* lib-xref.adb: (Add_Entry,etc): Speed improvement.
(New_Entry): Call Implementation_Base_Type, because Has_Xref_Entry
no longer does. This is the one place where it is needed.

2011-09-02  Johannes Kanig  <kanig@adacore.com>

* g-comlin.adb (Getopt): New optional argument Concatenate to have
similar interface as the other Getopt function.

2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb: (Expand_Allocator_Expression): Do not generate
a call to Set_Finalize_Address if there is no allocator available.
* exp_util.adb: (Build_Allocate_Deallocate_Proc): Account for
a case of allocator expansion where the allocator is not expanded but
needs a custom allocate routine. Code reformatting.
(Is_Finalizable_Transient): Remove local variables Has_Rens and
Ren_Obj. Code reformatting.
(Is_Renamed): Renamed to Is_Aliased. Add code to detect aliasing
through the use of 'reference.
* sem_ch4.adb: (Analyze_Allocator): Detect allocators generated
as part of build-in-place expansion. They are intentionally marked as
coming from source, but their parents are not.

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

2011-09-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Analyze_With_Clause): If the library unit
is the generated subprogram declaration for a child unit body
that acts as spec, use the original body in the with_clause,
to prevent binding errors.

2011-09-02  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Adapt documentation of -gnateInnn to new VMS
qualifier /MULTI_UNIT_INDEX=

2011-09-02  Johannes Kanig  <kanig@adacore.com>

* g-comlin.adb (Getopt): Return when switch is dealt with automatically,
instead of calling the callback function

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

2011-09-02  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb: (Find_Sources): When the list of sources is
explicitly declared in an extending project, do not warn if a source
for an inherited naming exception is not found.

2011-09-02  Gary Dismukes  <dismukes@adacore.com>

* exp_ch6.adb: (Is_Build_In_Place_Function_Call): Return False if
expansion is inactive.

2011-09-02  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Note_Possible_Modification): If the entity
being modified is the renaming generated for an Ada2012 iterator
element, the enclosing container or array is modified as well.

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

2011-09-02  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb: (Find_Sources): When the list of sources is
explicitly declared in an extending project, do not warn if a source
for an inherited naming exception is not found.

2011-09-02  Gary Dismukes  <dismukes@adacore.com>

* exp_ch6.adb: (Is_Build_In_Place_Function_Call): Return False if
expansion is inactive.

2011-09-02  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Note_Possible_Modification): If the entity
being modified is the renaming generated for an Ada2012 iterator
element, the enclosing container or array is modified as well.

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

2011-09-02  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-linux.adb (Initialize_Lock, Initialize_TCB,
Initialize): Define and initialize the
mutex attributes and condition variable attributes locally.

2011-09-02  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check_File): Mark as Locally_Removed a naming
exception replaced in an extending project.
(Check_Object): No error when the other source is locally removed.

2011-09-02  Yannick Moy  <moy@adacore.com>

* exp_ch6.adb (Is_Build_In_Place_Function_Call): in Alfa mode, allow
unresolved calls.

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

Daily bump.

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

2011-09-01  Thomas Koenig  <tkoenig@gcc.gnu.org>

* generated/bessel_r4.c: Regenerated.
* generated/bessel_r8.c: Regenerated.
* generated/bessel_r10.c: Regenerated.
* generated/bessel_r16.c: Regenerated.

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

2011-09-01  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/hashtable.h (_Hashtable<>::_Hashtable(_Hashtable&&)):
Remove noexcept, the move constructor allocates memory; rearrange
the code in the body to consistently update __ht._M_rehash_policy
before using _M_next_bkt on it.
* include/debug/unordered_map: Adjust.
* include/debug/unordered_set: Likewise.
* include/profile/unordered_map: Likewise.
* include/profile/unordered_set: Likewise.
* testsuite/23_containers/unordered_map/cons/
noexcept_move_construct.cc: Remove.
* testsuite/23_containers/unordered_set/cons/
noexcept_move_construct.cc: Likewise.
* testsuite/23_containers/unordered_multimap/cons/
noexcept_move_construct.cc: Likewise.
* testsuite/23_containers/unordered_multiset/cons/
noexcept_move_construct.cc: Likewise.

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

* gcc-interface/Makefile.in: Clean up handling of x86 and x86-64
run-time files.
* gcc-interface/Make-lang.in: Update dependencies.

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

Fix thinko.

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

Add missing prototypes.

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

2011-09-01  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, s-taprop-linux.adb, gnatls.adb: Minor reformatting.

2011-09-01  Jose Ruiz  <ruiz@adacore.com>

* adaint.h (__gnat_cpu_free): Fix the name of this profile.
* adaint.c (__gnat_cpu_alloc, __gnat_cpu_alloc_size, __gnat_cpu_free,
__gnat_cpu_zero, __gnat_cpu_set): Create version of these subprograms
specific for systems where their glibc version does not define the
routines to handle dynamically allocated CPU sets.

2011-09-01  Vincent Celier  <celier@adacore.com>

* prj-proc.adb, prj.ads, prj-nmsc.adb, prj-util.adb, prj-util.ads,
prj-env.adb: Implement inheritance of naming exceptions in extending
projects.

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

2011-09-01  Romain Berrendonner  <berrendo@adacore.com>

* gnatls.adb: Display simple message instead of content of
gnatlic.adl.

2011-09-01  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch3.adb: (Build_Derived_Record_Type) Remove the kludgy update of
access discriminant and anonymous access component scopes.
(Inherit_Component): Reuse the itype of an access discriminant
or anonymous access component by copying it in order to set the proper
scope. This is done only when the parent and the derived type
are in different scopes.
(Set_Anonymous_Etype): New routine.

2011-09-01  Robert Dewar  <dewar@adacore.com>

* a-convec.adb: Minor reformatting throughout.

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

2011-09-01  Jose Ruiz  <ruiz@adacore.com>

* adaint.c, adaint.h (__gnat_cpu_alloc, __gnat_cpu_alloc_size,
__gnat_cpu_set_free): Create these wrappers around the CPU_ALLOC,
CPU_ALLOC_SIZE and CPU_FREE linux macros.
(__gnat_cpu_zero, __gnat_cpu_set): Use the CPU_ZERO_S and
CPU_SET_S respectively because we are now using dynamically allocated
CPU sets which are more portable across different glibc versions.
* s-osinte-linux.ads (cpu_set_t_ptr, CPU_ALLOC, CPU_ALLOC_SIZE,
CPU_FREE): Add this type and subprograms to be able to create cpu_set_t
masks dynamically according to the number of processors in the target
platform.
(CPU_ZERO, CPU_SET): They are now mapped to the CPU_ZERO_S and CPU_SET_S
respectively, so we need to pass the size of the masks as
parameters.
* s-taprop-linux.adb (Create_Task, Set_Task_Affinity): Use dynamically
created cpu_set_t masks
with the number of processors available in the target platform,
instead of static bit arrays. It enhances portability because
it uses the information from the target platform.
* sem_ch8.adb: (Attribute_Renaming): When checking whether we
are using a restricted run-time library, use the flag
Configurable_Run_Time_Mode instead of Restricted_Profile.

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

2011-09-01  Vincent Celier  <celier@adacore.com>

* ug_words: Add /MULTI_UNIT_INDEX= -> -gnateI
* vms_data.ads: Add new VMS qualifier equivalent for -gnateInnn

2011-09-01  Nicolas Roche  <roche@adacore.com>

* adaint.c (__gnat_tmp_name): Don't use tmpnam function from the system
on VxWorks in kernel mode.

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

2011-09-01  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-linux.adb (Create_Task, Set_Task_Affinity): Use the linux
macros for handling CPU sets (CPU_ZERO, CPU_SET) instead of modifying
directly the bit array.
* s-osinte-linux.ads (CPU_ZERO, CPU_SET): Import these wrappers around
the linux macros with the same name.
* adaint.h, adaint.c (__gnat_cpu_zero, __gnat_cpu_set): Create these
wrappers around the CPU_ZERO and CPU_SET linux macros.

2011-09-01  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Find_Insertion_List): Removed.
(Process_Transient_Objects): Insert the declarations of the hook
access type and the hook object before the associated transient object.

2011-09-01  Jose Ruiz  <ruiz@adacore.com>

* sem_ch8.adb (Attribute_Renaming): Add missing check to avoid loading
package System.Aux_Dec when using restricted run-time libraries which
do not have this package.

2011-09-01  Tristan Gingold  <gingold@adacore.com>

* s-vaflop-vms-alpha.adb: Remove pragma optimize, useless.

2011-09-01  Bob Duff  <duff@adacore.com>

* sem_attr.adb (Analyze_Access_Attribute): Do not call
Kill_Current_Values for P'Unrestricted_Access, where P is library level

2011-09-01  Thomas Quinot  <quinot@adacore.com>

* exp_ch5.adb: Minor reformatting
* gnat_ugn.texi: Fix minor typos.
* gcc-interface/Make-lang.in: Update dependencies.

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

2011-09-01  Robert Dewar  <dewar@adacore.com>

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

2011-09-01  Ed Schonberg  <schonberg@adacore.com>

* a-convec.adb: Proper handling of cursors for Ada2012 iterators.

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

2011-09-01  Robert Dewar  <dewar@adacore.com>

* prj-proc.adb, exp_ch6.adb, prj-env.adb: Minor reformatting.

2011-09-01  Bob Duff  <duff@adacore.com>

* sem_aggr.adb (Resolve_Aggregate): Need to treat "in instance
body" the same as "in inlined body", because visibility shouldn't
apply there.

2011-09-01  Eric Botcazou  <ebotcazou@adacore.com>

* inline.adb (Add_Inlined_Body): Refine previous change.

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

2011-09-01  Gary Dismukes  <dismukes@adacore.com>

* exp_ch6.ads (Needs_BIP_Alloc_Form): New utility function.
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
Test for case where call
initializes an object of a return statement before testing for
a constrained call, to ensure that all such cases get handled
by simply passing on the caller's parameters. Also, in that
case call Needs_BIP_Alloc_Form to determine whether to pass on
the BIP_Alloc_Form parameter of the enclosing function rather
than testing Is_Constrained. Add similar tests for the return
of a BIP call to later processing to ensure consistent handling.
(Needs_BIP_Alloc_Form): New utility function.
* sem_ch6.adb: (Create_Extra_Formals): Replace test for adding
a BIP_Alloc_Form formal with call to new utility function
Needs_BIP_Alloc_Form.

2011-09-01  Pascal Obry  <obry@adacore.com>

* prj-part.adb: Minor reformatting.

2011-09-01  Vincent Celier  <celier@adacore.com>

* prj-env.adb (Create_Mapping_File.Process): Encode the upper
half character in the unit name.

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

2011-09-01  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb: Minor code and comment reformatting.

2011-09-01  Thomas Quinot  <quinot@adacore.com>

* exp_ch6.adb (Expand_Inlined_Call): Remove redundant tests
for Is_Limited_Type and Is_Tagged_Type in condition checking
for by-reference type.
* inline.adb (Add_Inlined_Body): Only exclude init_procs. Other
subprograms may have a completion because of a previous
Inline_Always clause, but the enclosing package must be marked
inlined for the subprogram body to become visible to the backend.

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

2011-09-01  Thomas Quinot  <quinot@adacore.com>

* sem_aux.adb, exp_ch4.adb: Minor reformatting

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

2011-08-31  Richard Guenther  <rguenther@suse.de>

* expr.c (expand_expr_real_2): Move COND_EXPR and VEC_COND_EXPR
handling here, from ...
(expand_expr_real_1): ... here.
* gimple-pretty-print.c (dump_ternary_rhs): Handle COND_EXPR
and VEC_COND_EXPR.
* gimple.c (gimple_rhs_class_table): Make COND_EXPR and VEC_COND_EXPR
a GIMPLE_TERNARY_RHS.
* tree-cfg.c (verify_gimple_assign_ternary): Handle COND_EXPR
and VEC_COND_EXPR here ...
(verify_gimple_assign_single): ... not here.
* gimple-fold.c (fold_gimple_assign): Move COND_EXPR folding.
* tree-object-size.c (cond_expr_object_size): Adjust.
(collect_object_sizes_for): Likewise.
* tree-scalar-evolution.c (interpret_expr): Don't handle
ternary RHSs.
* tree-ssa-forwprop.c (forward_propagate_into_cond): Fix and
simplify.
(ssa_forward_propagate_and_combine): Adjust.
* tree-ssa-loop-im.c (move_computations_stmt): Build the COND_EXPR
as ternary.
* tree-ssa-threadedge.c (fold_assignment_stmt): Adjust.
* tree-vect-loop.c (vect_is_simple_reduction_1): Likewise.
* tree-vect-stmt.c (vectorizable_condition): Likewise.
* tree-vrp.c (extract_range_from_cond_expr): Likewise.
(extract_range_from_assignment): Likewise.

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

2011-09-01  Pascal Obry  <obry@adacore.com>

* prj-proc.adb, prj.ads, sinput-p.adb: Minor reformatting.

2011-09-01  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Generate references to
the formals of a subprogram stub that acts as a spec.

2011-09-01  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Expand_Inlined_Call): If an actual is a by_reference
type, declare a renaming for it, not an object declaration.

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

2011-09-01  Yannick Moy  <moy@adacore.com>

* ali-util.adb, ali-util.ads (Read_Withed_ALIs): Add parameter
Ignore_Errors to ignore failures to read ALI files when True.

2011-09-01  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Expand_N_Object_Declaration): Handle non-default
constructor calls associated with non-tagged record types.

2011-09-01  Robert Dewar  <dewar@adacore.com>

* g-socthi-vms.adb: Minor reformatting.

2011-09-01  Nicolas Roche  <roche@adacore.com>

* sysdep.c: Don't use macro functions for stdio functions on VxWorks
in order to avoid impact of imcompatible changes.
* cstreams.c: Likewise
* cio.c: Likewise
* aux-io.c: Likewise

2011-09-01  Yannick Moy  <moy@adacore.com>

* lib-writ.adb (Write_With_Lines): Always output complete information
on "with" line in Alfa mode, as this is required by formal verification
back-end.

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

2011-09-01  Tristan Gingold  <gingold@adacore.com>

* g-socthi-vms.adb: Add comments.

2011-09-01  Pascal Obry  <obry@adacore.com>

* prj.ads: Minor reformatting.

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

2011-09-01  Vincent Celier  <celier@adacore.com>

* prj-env.adb (Create_Config_Pragmas_File.Check): Put all naming
exceptions in the config pragmas file.

2011-09-01  Tristan Gingold  <gingold@adacore.com>

* gnat_ugn.texi: Document GNAT_STACK_SIZE on IVMS.

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

2011-09-01  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Find_Insertion_List): New routine.
(Process_Transient_Objects): Add code to handle the abnormal
finalization of a controlled transient associated with a subprogram
call. Since transients are cleaned up right after the associated
context, an exception raised during a subprogram call may bypass the
finalization code.

2011-09-01  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb (Expand_Call): Check actual for aliased parameter is
aliased.

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

2011-09-01  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb, a-exexda.adb: Minor reformatting.

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

2011-09-01  Robert Dewar  <dewar@adacore.com>

* s-taskin.ads, s-tassta.adb, sem_ch13.adb: Minor reformatting.

2011-09-01  Thomas Quinot  <quinot@adacore.com>

* Makefile.rtl: Move s-oscons.o from GNATRTL_TASKING_OBJS to
GNATRTL_NONTASKING_OBJS.

2011-09-01  Robert Dewar  <dewar@adacore.com>

* einfo.ads (Is_Aliased): Fix existing documentation and add note on
possibility of this flag being set for formals in Ada 2012 mode.
* par-ch6.adb (P_Formal_Part): Handle aliased for parameters for Ada
2012.
* sem_ch6.adb (Process_Formals): Handle aliased parameters in Ada 2012
mode.
* sinfo.adb (Aliased_Present): Allowed in N_Parameter_Specification for
Ada 2012.
* sinfo.ads (Aliased_Present): Allowed in N_Parameter_Specification for
Ada 2012.

2011-09-01  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Find_Insertion_Node): New routine. Determines the proper
insertion node in a tree of nested Expression_With_Actions nodes.
(Process_Transient_Object): In the case where a complex if statement
has been converted into nested Expression_With_Actions nodes, the
"hook" object and the associated access type must be inserted before
the top most Expression_With_Actions.

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

2011-09-01  Robert Dewar  <dewar@adacore.com>

* a-cbprqu.adb, a-cbprqu.ads, a-cuprqu.adb, a-cuprqu.ads,
a-cbsyqu.adb, a-cbsyqu.ads: Minor reformatting.

2011-09-01  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb: Conditionalize aliasing predicates to Ada2012.

2011-09-01  Jose Ruiz  <ruiz@adacore.com>

* aspects.ads (Aspect_Id, Aspect_Argument, Aspect_Names): Add the CPU
aspect.
* aspects.adb (Canonical_Aspect): Add entry for the CPU aspect.
* sem_ch13.adb (Analyze_Aspect_Specifications): Analyze the CPU aspect
in a similar way as we do for the Priority or Dispatching_Domain aspect.
* s-mudido-affinity.adb (Dispatching_Domain_Tasks,
Dispatching_Domains_Frozen): Move this local data to package
System.Tasking because with the CPU aspect we need to have access
to this data when creating the task in System.Tasking.Stages.Create_Task
* s-taskin.ads (Dispatching_Domain_Tasks, Dispatching_Domains_Frozen):
Move these variables from the body of
System.Multiprocessors.Dispatching_Domains because with the CPU aspect
we need to have access to this data when creating the task in
System.Tasking.Stages.Create_Task.
* s-taskin.adb (Initialize): Signal the allocation of the environment
task to a CPU, if any, so that we know whether the CPU can be
transferred to a different dispatching domain.
* s-tassta.adb (Create_Task): Check whether the CPU to which this task
is being allocated belongs to the dispatching domain where the task
lives. Signal the allocation of the task to a CPU, if any, so that we
know whether the CPU can be transferred to a different dispatching
domain.

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

2011-09-01  Ed Schonberg  <schonberg@adacore.com>

* exp_attr.adb, sem_attr.adb, snames.ads-tmpl: Implementation of
attributes Same_Storage and Overlaps_Storage.

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

2011-09-01  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_strm.adb: Remove with and use clause for Opt.
(Build_Array_Input_Function): Remove the version-dependent generation
of the return statement. The Ada 2005 tree is now the default.

2011-09-01  Yannick Moy  <moy@adacore.com>

* put_alfa.adb: Unconditionnally write files in Alfa section, so that
it is never empty when compiling in Alfa mode.

2011-09-01  Robert Dewar  <dewar@adacore.com>

* sem_aggr.adb, sem_ch3.adb, a-direct.adb, s-taprop-vxworks.adb,
comperr.adb, exp_ch9.adb, exp_pakd.adb, sem_ch12.adb, freeze.adb,
s-taprop-mingw.adb, s-taprop-linux.adb, s-taprop-solaris.adb,
gnat1drv.adb, a-rbtgbo.adb, exp_dist.adb: Minor reformatting

2011-09-01  Matthew Heaney  <heaney@adacore.com>

* Makefile.rtl, impunit.adb: Add a-csquin.ads, a-cusyqu.ad[sb],
a-cuprqu.ad[sb], a-cbsyqu.ad[sb], a-cbprqu.ad[sb]
* a-csquin.ads: New Ada 2012 unit that specifies the queue interface
* a-cusyqu.ads, a-cusyqu.adb: New Ada 2012 unit that specifies the
unbounded queue container.
* a-cbsyqu.ads, a-cbsyqu.adb: New Ada 2012 unit that specifies the
bounded queue container.
* a-cuprqu.ads, a-cuprqu.adb: New Ada 2012 unit that specifies the
unbounded priority queue container.
* a-cbprqu.ads, a-cbprqu.adb: New Ada 2012 unit that specifies the
bounded priority queue container.

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

    PR tree-optimization/50178
        * gfortran.dg/vect/pr50178.f90: New test.

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

Daily bump.

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

gcc/
* config/i386/i386.md: Use (match_test ...) for attribute tests.
* config/i386/mmx.md: Likewise.
* config/i386/sse.md: Likewise.
* config/i386/predicates.md (call_insn_operand): Use
(not (match_test "...")) instead of (match_test "!...")
* config/i386/constraints.md (w): Likewise.

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

gcc/
* doc/md.texi: Describe the use of match_tests in attribute tests.
* rtl.def (MATCH_TEST): Update commentary.
* genattrtab.c (attr_copy_rtx, check_attr_test, clear_struct_flag)
(write_test_expr, walk_attr_value): Handle MATCH_TEST.

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

gcc/
* genattrtab.c (attr_rtx_1): Hash SYMBOL_REFs.
(attr_string): Use copy_md_ptr_loc.

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

2011-08-31  Martin Jambor  <mjambor@suse.cz>

PR middle-end/49886
* ipa-inline-analysis.c (compute_inline_parameters): Set
can_change_signature of noes with typde attributes.
* ipa-split.c (split_function): Do not skip any arguments if
can_change_signature is set.

* testsuite/gcc.c-torture/execute/pr49886.c: New testcase.

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

2011-08-31  Martin Jambor  <mjambor@suse.cz>

* cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Alias
check removed.

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

Remove svn:mergeinfo property.

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

2011-08-31  Richard Guenther  <rguenther@suse.de>

* fold-const.c (extract_muldiv_1): Remove bogus TYPE_IS_SIZETYPE
special-casing.

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

2011-08-31  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/chrono (operator*(const _Rep1&, const duration<>&)):
Fix order of template parameters per LWG 2004.

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

2011-08-31  Pascal Obry  <obry@adacore.com>

* a-direct.adb: Do not try to create an UNC path on Windows.
(Create_Path): Skip leading computer name in UNC path if any.

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_strm.adb (Build_Record_Or_Elementary_Input_Function): Remove the
version-dependent generation of the return statement. The Ada 2005 tree
is now the default.

2011-08-31  Thomas Quinot  <quinot@adacore.com>

* rtsfind.ads, exp_dist.adb (Find_Numeric_Representation): Predefined
types Stream_Element_Offset and Storage_Offset have a different native
type depending on whether the platform is 32 or 64 bits. When
exchanging them, always convert to 64 bits.

2011-08-31  Yannick Moy  <moy@adacore.com>

* debug.adb: Reserve debug option -gnatd.E for passing gnatprove option
--force-alfa to gnat2why.

2011-08-31  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Save_References): If the node has aspects, save
references within the corresponding expressions in a separate step,
because the aspects are not directly in the tree for the declaration
to which they belong.

2011-08-31  Arnaud Charlet  <charlet@adacore.com>

* freeze.adb (Freeze_Record_Type): Omit test on variable size component
in CodePeer mode, since representation clauses are partially ignored.
* gcc-interface/Make-lang.in: Update dependencies.

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

2011-08-31  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-vxworks.adb, s-taprop-mingw.adb, s-taprop-linux.adb,
s-taprop-solaris.adb (Create_Task): Not_A_Specific_CPU can be assigned
to any dispatching domain.

2011-08-31  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb: Minor reformatting.

2011-08-31  Bob Duff  <duff@adacore.com>

* sem_ch6.adb (Get_Generic_Parent_Type): Don't query Subtype_Indication
on nodes for which it is not defined.
(Is_Non_Overriding_Operation): Exit the loop when we find a generic
parent type.

2011-08-31  Bob Duff  <duff@adacore.com>

* sem_ch3.adb (Process_Full_View): Disable legality check if
In_Instance, to avoid spurious errors.
* sem_ch12.adb (Validate_Derived_Type_Instance): Disable legality check
if In_Instance, to avoid spurious errors.

2011-08-31  Pascal Obry  <obry@adacore.com>

* a-direct.adb: Use Dir_Seps everywhere to properly handle all
directory speparators.
(Compose): Use Dir_Seps to handle both forms.
(Create_Path): Use Dir_Seps instead of explicit check, no semantic
changes.
(Extension): Use Dir_Seps to handle both forms.

2011-08-31  Pascal Obry  <obry@adacore.com>

* prj-conf.adb: Minor reformatting.

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

2011-08-31  Jose Ruiz  <ruiz@adacore.com>

* aspects.ads (Aspect_Id, Aspect_Argument, Aspect_Names): Add the
dispatching domain aspect.
* aspects.adb (Canonical_Aspect): Add entry for the dispatching domain
aspect.
* sem_ch13.adb (Analyze_Aspect_Specifications): Analyze the
Dispatching_Domain aspect in a similar way as we do for the Priority
aspect.
* exp_ch9.adb (Expand_N_Task_Type_Declaration): Add the
Dispatching_Domain component if a Dispatching_Domain pragma or aspect
is present.
(Make_Task_Create_Call): Add the Dispatching_Domain when creating a task
* par-prag.adb (Prag): Add Pragma_Dispatching_Domain as a known pragma.
* sem_prag.adb (Analyze_Pragma): Check the correctness of a pragma
Dispatching_Domain and add it to the task definition.
(Sig_Flags): Add Pragma_Dispatching_Domain.
* rtsfind.ads, rtsfind.adb (RTU_Id, RE_Id, Get_Unit_Name): Add the
support to find the types Dispatching_Domain and
Dispatching_Domain_Access.
* sinfo.ads, sinfo.adb (Has_Pragma_Dispatching_Domain,
Set_Has_Pragma_Dispatching_Domain): Add these subprograms to set and
query the availability of a pragma Dispatching_Domain.
* snames.ads-tmpl (Name_uDispatching_Domain): Add this name required by
the expander to pass the Dispatching_Domain when creating a task.
(Name_Dispatching_Domain): Add this new name for a pragma.
(Pragma_Id): Add the new Pragma_Dispatching_Domain.
* s-tassta.ads, s-tassta.adb (Create_Task): Set the domain to which the
task has been allocated at creation time.
* s-tarest.adb (Create_Restricted_Task): The dispatching domain using
Ravenscar is always null.
* s-taskin.ads, s-taskin.adb (Initialize_ATCB): Set the domain to which
the task has been allocated at creation time.
* s-tporft.adb (Register_Foreign_Thread): A foreign task will not have
a specific dispatching domain.
* s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-vxworks.adb,
s-taprop-mingw.adb (Create_Task): Check whether both Dispatching_Domain
and CPU are specified for the task, and the CPU value is not contained
within the range of processors for the domain.

2011-08-31  Vincent Celier  <celier@adacore.com>

* make.adb (Original_Gcc) : New constant String_Access.
(Gnatmake): For VM targets, do not use VM version of the compiler if
--GCC= has been specified.

2011-08-31  Thomas Quinot  <quinot@adacore.com>

* sem_ch5.adb: Minor reformatting.

2011-08-31  Ed Schonberg  <schonberg@adacore.com>

* exp_pakd.adb (Convert_To_PAT_Type): If prefix is a function call, do
not reanalyze it.

2011-08-31  Bob Duff  <duff@adacore.com>

* exp_ch4.adb (Expand_N_Selected_Component): Use the full type, in case
the access type is private; we don't care about privacy in expansion.

2011-08-31  Ed Schonberg  <schonberg@adacore.com>

* sem_aggr.adb (Resolve_Aggregate): In an instance, ignore aggregate
subcomponents tnat may be limited, because they originate in view
conflicts. If the original aggregate is legal and the actuals are
legal, the aggregate itself is legal.

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

2011-08-31  Matthew Heaney  <heaney@adacore.com>

* a-rbtgbo.adb (Clear_Tree): Assert representation invariant for lock
status.

2011-08-31  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb: Set kind of loop parameter properly, to preserve all
errors in B tests.

2011-08-31  Jose Ruiz  <ruiz@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): For the Priority and
Interrupt_Priority aspects, force the analysis of the aspect expression
(when building the equivalent pragma). Otherwise, its analysis is done
too late, after the task or protected object has been created.
* sem_ch9.adb (Analyze_Single_Protected_Declaration,
Analyze_Single_Task_Declaration): Remove the code to move the aspects
to the object declaration because they are needed in the type
declaration.

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

2011-08-31  Marc Glisse  <marc.glisse@inria.fr>

* doc/generic.texi (Types for C++): CP_TYPE_QUALS -> cp_type_quals.

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

2011-08-31  Robert Dewar  <dewar@adacore.com>

* exp_ch5.adb, exp_ch7.ads, sem_ch5.adb, put_scos.adb, s-rannum.adb,
a-rbtgbo.adb, exp_intr.adb, a-cbdlli.adb, a-cbdlli.ads: Minor
reformatting.

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_util.adb (Find_Protection_Type): Do not look for fields _object
if the corresponding type is malformed due to restriction violations.

2011-08-31  Robert Dewar  <dewar@adacore.com>

* s-ransee.ads, s-ransee.adb: Minor reformatting.

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Expand_N_Allocator): Correct faulty condition which
would cause the generation of Set_Finalize_Address if the target is a
VM and the designated type is not derived from [Limited_]Controlled.

2011-08-31  Arnaud Charlet  <charlet@adacore.com>

* comperr.adb, comperr.ads, gnat1drv.adb (Delete_SCIL_Files): New
subprogram.
(Compiler_Abort, Gnat1drv): Call Delete_SCIL_Files in codepeer mode in
case of a compilation error.

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* init.c (__gnat_error_handler): Standardize the stack overflow or
erroneous memory access message.
* seh_init.c (__gnat_SEH_error_handler): Standardize the stack overflow
or erroneous memory access message.

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

2011-08-31  Robert Dewar  <dewar@adacore.com>

* sem_ch4.adb: Minor reformatting.
* sem_ch6.adb: Minor code reorganization (use Ekind_In).

2011-08-31  Thomas Quinot  <quinot@adacore.com>

* scos.ads: Minor documentation clarification.
* put_scos.adb: Do not generate SCO unit header line for a unit that
has no SCO lines.

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

2011-08-31  Robert Dewar  <dewar@adacore.com>

* a-rbtgbo.adb, alfa_test.adb: Minor reformatting.

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

2011-08-31  Tristan Gingold  <gingold@adacore.com>

* exp_ch7.ads, exp_ch7.adb (Finalization_Exception_Data): New type to
hold variables between these following subprograms.
(Build_Exception_Handler, Build_Object_Declarations,
Build_Raise_Statement): Use the above type as parameter.
Make the above adjustments.
* exp_intr.adb (Expand_Unc_Deallocation): Adjust.

2011-08-31  Pascal Obry  <obry@adacore.com>

* projects.texi: Minor reformatting.

2011-08-31  Tristan Gingold  <gingold@adacore.com>

* s-ransee.ads, s-ransee.adb: Add system.random_seed unit.
* s-rannum.adb (Reset): Use Get_Seed from s-ransee.

2011-08-31  Ed Schonberg  <schonberg@adacore.com>

* exp_ch5.adb: Minor code cleanup.
* sem_ch5.adb (Analyze_Iteration_Scheme): Set ekind of loop variable to
prevent cascaded errors.
(Analyze_Loop_Statement): In semantics-only mode, introduce loop
variable of an iterator specification in current scope.
* sem_ch6.adb (Analyze_Return_Statement, Find_what_It_Apples_To): Skip
postconditions on the stack, as they contain no return statements.

2011-08-31  Yannick Moy  <moy@adacore.com>

* exp_alfa.adb (Expand_Alfa_N_Package_Declaration,
Expand_Alfa_N_Subprogram_Body): Remove useless procedures which simply
call Qualify_Entity_Names.
(Expand_Alfa): call Qualify_Entity_Names in more cases
* lib-xref-alfa.adb: Take into account system package.
* sem_prag.adb Take into account restrictions in Alfa mode, contrary to
CodePeer mode in which we are interested in finding bugs even if
compiler cannot compile source.
* sem_util.adb, sem_util.ads (Unique_Entity): Take into account case of
deferred constant.

2011-08-31  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb (Constrain_Concurrent): Retrieve Base_Type of the subtype
denoted by the subtype mark to ensure getting the concurrent type in
the case where the subtype mark denotes a private subtype of a
concurrent type (needed when using -gnatc).
(Process_Subtype): For the processing specific to type kinds, case on
the Base_Type kind of the Subtype_Mark_Id, to handle cases where the
subtype denotes a private subtype whose base type is nonprivate (needed
for subtypes of private fulfilled by task types when compiling with
-gnatc).

2011-08-31  Gary Dismukes  <dismukes@adacore.com>

* sem_disp.adb (Check_Dispatching_Operation): Bypass registration of
late primitives that override interface operations when the full
expander is not active, to avoid blowups in Register_Primitive when
types don't have associated secondary dispatch tables.

2011-08-31  Yannick Moy  <moy@adacore.com>

* alfa_test.adb: Code clean up.

2011-08-31  Marc Sango  <sango@adacore.com>

* restrict.adb (Check_SPARK_Restriction): Change Comes_From_Source (N)
by Comes_From_Source (Original_Node (N)) in order to treat also the
nodes which have been rewritten.
* sem_ch4.adb (Analyze_Explicit_Dereference, Analyze_Slice): Guard the
explicit dereference and slice violation in spark mode on the nodes
coming only from the source code.

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

2011-08-31  Robert Dewar  <dewar@adacore.com>

* exp_ch5.adb, exp_alfa.ads, prj.ads, sem_attr.adb,
lib-xref-alfa.adb: Minor reformatting.

2011-08-31  Matthew Heaney  <heaney@adacore.com>

* a-crbltr.ads (Tree_Type): Default-initialize the Nodes component.

2011-08-31  Javier Miranda  <miranda@adacore.com>

* sem_ch4.adb (Try_Object_Operation): Addition of one formal to search
only for class-wide subprograms conflicting with entities of concurrent
tagged types.

2011-08-31  Matthew Heaney  <heaney@adacore.com>

* a-rbtgbo.adb (Generic_Allocate): Initialize pointer components of
node to null value.

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch12.adb (Insert_Freeze_Node_For_Instance): Provide a more
general description of the routine.

2011-08-31  Ed Schonberg  <schonberg@adacore.com>

* a-cbdlli.adb, a-cbdlli.ads: Add iterator machinery to bounded
doubly-linked lists.

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

2011-08-31  Gary Dismukes  <dismukes@adacore.com>

* exp_ch5.adb (Expand_N_Assignment_Statement): When a discriminant
check is needed for a left-hand side that is a dereference, and the
base type is private without discriminants (whereas the full type does
have discriminants), an extra retrieval of the underlying type may be
needed in the case where the subtype is a record subtype whose base
type is private. Update comments.

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

2011-08-31  Javier Miranda  <miranda@adacore.com>

* sem_ch4.adb (Try_Object_Operation): When a dispatching primitive is
found check if there is a class-wide subprogram covering the primitive.

2011-08-31  Yannick Moy  <moy@adacore.com>

* sem_res.adb: Further cases where full expansion test is needed,
rather than expansion test.

2011-08-31  Pascal Obry  <obry@adacore.com>

* prj-attr.adb: Fix Source_File_Switches attribute kind (must be a list)

2011-08-31  Ed Schonberg  <schonberg@adacore.com>

* exp_ch5.adb: Handle iterators over derived container types.

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* einfo.ads, einfo.adb: Add new flag Has_Anonymous_Master.
(Has_Anonymous_Master): New routine.
(Set_Has_Anonymous_Master): New routine.
(Write_Entity_Flags): Add an entry for Has_Anonymous_Master.
* exp_ch4.adb: Add with and use clause for Sem_Ch8.
(Current_Anonymous_Master): New routine.
(Current_Unit_First_Declaration): Removed.
(Current_Unit_Scope): Removed.
(Expand_N_Allocator): Anonymous access-to-controlled types now chain
their objects on a per-unit heterogeneous finalization master.

2011-08-31  Matthew Heaney  <heaney@adacore.com>

* a-cbhama.adb, a-cbhase.adb (Insert): Check for zero-length buckets
array.

2011-08-31  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-linux.adb (Create_Task): Avoid changing the affinity mask
when not needed.

2011-08-31  Gary Dismukes  <dismukes@adacore.com>

* sem_disp.adb (Propagate_Tag): Return without propagating in the case
where the actual is an unexpanded call to 'Input.

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

2011-08-31  Yannick Moy  <moy@adacore.com>

* sem_ch4.adb: Code clean up.

2011-08-31  Yannick Moy  <moy@adacore.com>

* exp_alfa.adb, exp_alfa.ads: Minor correction of copyright notice.

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Build_Array_Deep_Procs): Do not generate Deep_Finalize
and TSS primitive Finalize_Address if finalization is suppressed.
(Build_Record_Deep_Procs): Do not generate Deep_Finalize and TSS
primitive Finalize_Address if finalization is suppressed.

2011-08-31  Jose Ruiz  <ruiz@adacore.com>

* s-mudido-affinity.adb, s-taprop-linux.adb, s-taprop-mingw.adb,
s-taprop-solaris.adb, s-taprop-vxworks.adb (Set_Task_Affinity): Make
sure that the underlying task has already been created before trying
to change its affinity.
(Set_CPU): Use the term processor instead of CPU, as we do in
Assign_Task.

2011-08-31  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: New Compiler attribute Source_File_Switches.
* prj-nmsc.adb (Process_Compiler): Process attribute
Source_File_Switches.
* prj.ads (Language_Config): New name list component
Name_Source_File_Switches.
* snames.ads-tmpl (Name_Source_File_Switches): New standard name.

2011-08-31  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Analyze_Attribute, case 'Old): If prefix may be a
discriminated component of an actual, expand at once to prevent
ouf-of-order references with generated subtypes.

2011-08-31  Yannick Moy  <moy@adacore.com>

* lib-xref-alfa.adb (Add_Alfa_Xrefs): Do not take into account read
reference to operator in Alfa xrefs.

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch12.adb (Freeze_Subprogram_Body): Add code to handle the case
where the parent instance was frozen before the current instance due to
the presence of a source body. Update calls to Insert_After_Last_Decl.
(Insert_After_Last_Decl): Renamed to Insert_Freeze_Node_For_Instance.
Update the comment which illustrates the purpose of the routine.
Package instances are now frozen by source bodies which appear after
the instance. This ensures that entities coming from within the
instance are available for use in the said bodies.
(Install_Body): Add code to handle the case where the parent instance
was frozen before the current instance due to the presence of a source
body. Update calls to Insert_After_Last_Decl.

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

Complete log of previous change.

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

2011-08-31  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-linux.adb (Set_Task_Affinity): Avoid the use of anonymous
access types.
* affinity.c (__gnat_set_affinity_mask): Declare index variable.

2011-08-31  Yannick Moy  <moy@adacore.com>

* sem_ch8.adb (Analyze_Subprogram_Renaming): Refine expander test in
full-expander test.
Minor reformatting, renaming ALFA in Alfa (we dropped acronym)
* einfo.adb (Primitive_Operations): Correctly return list of primitive
operations in a case where it returned previously No_Elist.

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

2011-08-31  Robert Dewar  <dewar@adacore.com>

* s-taprop-vxworks.adb, sem_ch5.adb, s-taprop-tru64.adb, exp_alfa.adb,
s-taprop-vms.adb, bindgen.adb, s-mudido.adb, s-mudido.ads,
sem_res.adb, expander.adb, s-taprop-mingw.adb, s-taprop-linux.adb,
s-taprop-solaris.adb, s-mudido-affinity.adb, vms_conv.adb,
s-taprop-irix.adb, s-taprop.ads, s-taskin.adb, s-taskin.ads,
s-taprop-hpux-dce.adb, a-chtgbo.adb, s-taprop-posix.adb: Minor
reformatting.

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

2011-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch12 (Check_Private_View): Revert previous change.
* sem_res.adb (Conversion_Check): Do not emit the error message if the
conversion is in a generic instance.

2011-08-31  Matthew Heaney  <heaney@adacore.com>

* a-cbhase.adb (Symmetric_Difference): Dereference correct node array.
* a-chtgbo.adb (Free): Allow 0 as index value.

2011-08-31  Matthew Heaney  <heaney@adacore.com>

* a-cborma.adb (Insert): Add comment to explain why no element
assignment.

2011-08-31  Gary Dismukes  <dismukes@adacore.com>

* sem_util.adb (Find_Body_Discriminal): Test whether the scope of the
spec discriminant is already a concurrent type, in which case just use
it, otherwise fetch the Corresponding_Concurrent_Type as before.

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

2011-08-31  Tom de Vries  <tom@codesourcery.com>

PR middle-end/43513
* gcc.dg/pr43513.c: New test.

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

2011-08-31  Tom de Vries  <tom@codesourcery.com>

PR middle-end/43513
* Makefile.in (tree-ssa-ccp.o): Add $(PARAMS_H) to rule.
* tree-ssa-ccp.c (params.h): Include.
(fold_builtin_alloca_for_var): New function.
(ccp_fold_stmt): Use fold_builtin_alloca_for_var.

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

Daily bump.

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

2011-08-30  Tobias Burnus  <burnus@net-b.de>

        PR fortran/45044
        * trans-common.c (build_common_decl): Warn if named common
        block's size is not everywhere the same.

2011-08-30  Tobias Burnus  <burnus@net-b.de>

        PR fortran/45044
        * gfortran.dg/common_14.f90: New.
        * gfortran.dg/common_resize_1.f: Add two dg-warning.

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

PR c++/50084
* cp-tree.h (cp_decl_specifier_seq): Rename user_defined_type_p
to type_definition_p.
* parser.c (cp_parser_set_decl_spec_type): Likewise.
* decl.c (grokdeclarator): Check it.

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

PR c++/50089
* semantics.c (finish_id_expression): Use
current_nonlambda_class_type for qualified-ids.

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

PR c++/50114
* decl.c (poplevel): Disable for scope compatibility hack
in C++11 mode.

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

* config/i386/i386.c (ix86_valid_target_attribute_inner_p):
Handle FMA option.

testsuite/ChangeLog:

* gcc.target/i386/fma-compile.c: Escape [ and ] in scan strings.

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

* system-irix-n64.ads, system-linux-armeb.ads, system-linux-armel.ads,
system-linux-mips.ads, system-linux-mipsel.ads,
system-linux-mips64el.ads, system-linux-ppc64.ads,
system-linux-sparcv9.ads, system-rtems.ads: Remove GCC_ZCX_Support.

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

* gcc-interface/ada-tree.h (TYPE_EXTRA_SUBTYPE_P): Add internal check.
* gcc-interface/utils2.c (build_binary_op): Tighten condition.
(build_unary_op): Likewise.

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

* raise-gcc.c: Do not include coretypes.h and tm.h.
(setup_to_install): Remove test for compiler macro.
* targext.c: Document use for the library.
* gcc-interface/Makefile.in: Fix comment on the use of IN_GCC.

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Do not convert
the expression to the nominal type if the latter is a record type with
a variant part and the type of the former is a record type without one.

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

2011-08-30  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/stl_iterator.h (make_move_iterator): Implement DR2061.
* testsuite/24_iterators/move_iterator/dr2061.cc: New.
* testsuite/20_util/weak_ptr/comparison/cmp_neg.cc: Adjust dg-warning
line numbers.

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

2011-08-30  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/45170
* trans-stmt.c (gfc_trans_allocate): Evaluate the substring.

2011-08-30  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/45170
* gfortran.dg/allocate_with_source_2.f90: New test

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

PR c++/50220
* semantics.c (add_capture): Call complete_type for copy.

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

PR c++/50234
* semantics.c (cxx_eval_component_reference): Handle
value-initialization for omitted initializers.

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

2011-08-30  Andrew Stubbs  <ams@codesourcery.com>

gcc/
* config/arm/arm.c (optimal_immediate_sequence_1): Make b1, b2,
b3 and b4 unsigned.

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

Switch to GPLv3

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

Update dependencies

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

2011-08-30  Jose Ruiz  <ruiz@adacore.com>

* s-taskin.ads (Common_ATCB): Add field domain which contains the
dispatching domain to which the task belongs.
* s-taskin.adb (Initialize): Create the default system dispatching
domain and make the environment task part of it.
* s-mudido.ads: Add this new spec for standard Ada 2012 package
Ada.Multiprocessors.Dispatching_Domains.
* s-mudido.adb: Add this new body for targets not supporting
dispatching domains.
* s-mudido-affinity.adb: Add this new body for targets supporting
dispatching domains setting the affinity to a CPU set.
* bindgen.adb (Dispatching_Domain_Used, Check_Dispatching_Domains_Used,
Gen_Adainit): When package System.Multiprocessors.Dispatching_Domains
is used we call the procedure to signal that when we are about to call
the main subprogram no new dispatching domain can be created.
(Check_File_In_Partition): Factor out the common functionality used by
Check_System_Restrictions_Used and Check_Dispatching_Domains_Used.
* s-tassta.adb (Create_Task): Tasks inherit the dispatching domain of
their activators.
* s-taprop.ads (Set_Task_Affinity): Add this new procedure to set task
affinities.
* s-taprop-dummy.adb, s-taprop-hpux-dce.adb, s-taprop-irix.adb,
s-taprop-posix.adb, s-taprop-tru64.adb, s-taprop-vms.adb
(Set_Task_Affinity): Dummy null body for these targets not supporting
task affinities.
s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-solaris.adb,
s-taprop-vxworks.adb (Create_Task, Enter_Task, Initialize): Handle
dispatching domains and set the affinity of the environment task.
(Set_Task_Affinity): Procedure that uses the underlying CPU set
functionality to handle dispatching domains, pragma CPU and Task_Info.
s-winext.ads (SetThreadAffinityMask): Import this function needed to
set CPU masks.
* s-osinte-solaris.ads (psetit_t, pset_create, pset_assign, pset_bind):
Import the functionality to handle CPU set affinities.
* affinity.c: New file.
* s-osinte-vxworks.ads, s-vxwext.ads, s-vxwext-kernel.ads,
s-vxwext-rtp.ads (taskMaskAffinitySet): Add this new spec for setting
affinity masks.
* s-vxwext.adb, s-vxwext-kernel.adb, s-vxwext-rtp.adb
(taskMaskAffinitySet): Body returning an error indicating that task
affinities are not supported.
Makefile.rtl: Indicate that s-mudido is part of libgnarl.
* gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for VxWorks SMP,
Solaris, Windows, and {x86,PowerPC, ia64,x86_64} Linux): Use the
s-mudido-affinity.adb body which supports task affinities.

2011-08-30  Thomas quinot  <quinot@adacore.com>

* sem_ch13.adb: Minor reformatting.

2011-08-30  Vincent Celier  <celier@adacore.com>

* vms_conv.adb (Process_Argument): When the qualifier
/UNCHECKED_SHARED_LIB_IMPORTS is for GNAT COMPILE, do not put the
corresponding switch --unchecked-shared-lib-imports after -cargs, as it
is for gnatmake, not for the compiler.

2011-08-30  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Analyze_Quantified_Expression): Analyze iterator
specification and condition only in Semantics_Only mode. Otherwise the
analysis is done after expression has been rewritten as loop.
* sem_ch5.adb (Analyze_Iterator_Specification): Always generate a
temporary for the iterator name (the domain of iteration) because it
may need finalization actions and these must be generated outside of
the loop.
* sem_res.adb (Resolve_Quantified_Expression): Resolve only in
Semantic_Only mode.
* exp_ch4.adb (Expand_Quantified_Expression): Analyze and resolve once
rewritten as loop.
* exp_ch5.adb (Expand_Iterator_Loop): Code clean-up, now that the
iterator is always an expression.

2011-08-30  Robert Dewar  <dewar@adacore.com>

* par-ch4.adb (P_Unparen_Cond_Case_Quant_Expression): New function
(P_Expression_If_OK): New spec checks parens
(P_Expression_Or_Range_Attribute_If_OK): New spec checks parens
* par.adb (P_Expression_If_OK): New spec checks parens
(P_Expression_Or_Range_Attribute_If_OK): New spec checks parens

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

2011-08-30  Andrew Stubbs  <ams@codesourcery.com>

gcc/
* config/arm/arm.c (arm_gen_constant): Set can_negate correctly
when code is SET.

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

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

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

2011-08-30  Yannick Moy  <moy@adacore.com>

* exp_aggr.adb, exp_ch11.adb, exp_prag.adb: Remove early exit during
expansion in Alfa mode.
* exp_ch6.adb, exp_ch6.ads (Expand_Actuals): Make subprogram public
* exp_alfa.adb, exp_alfa.ads: New package defining light expansion for
Alfa mode.
* gnat1drv.adb (Adjust_Global_Switches): Update Comment.
* sem_res.adb: Ditto.

2011-08-30  Thomas Quinot  <quinot@adacore.com>

* g-socket.ads: Minor documentation adjustment.

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

2011-08-30  Robert Dewar  <dewar@adacore.com>

* exp_ch9.adb, s-tassta.adb, s-secsta.adb: Minor reformatting.

2011-08-30  Yannick Moy  <moy@adacore.com>

* exp_ch6_light.adb, exp_ch6_light.ads, exp_attr_light.adb,
exp_attr_light.ads, exp_ch7_light.adb, exp_ch7_light.ads,
exp_light.adb, exp_light.ads, exp_prag.adb, expander.adb,
gnat1drv.adb, exp_ch11.adb, exp_ch6.adb, exp_ch6.ads, exp_aggr.adb:
Revert change which introduced files for "light"
expansion, to be replaced by a single file for Alfa expansion.

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

    Renames Ratio to Percentage, and Sec_Stack_Ratio to Sec_Stack_Percentage

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

2011-08-30  Robert Dewar  <dewar@adacore.com>

* opt.ads, s-soflin.adb, exp_ch9.adb, sem_res.adb: Update comment.
Minor code reorg/reformatting.

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

2011-08-30  Yannick Moy  <moy@adacore.com>

* opt.adb, opt.ads (Full_Expander_Active): New function defines a
common shorthand for (Expander_Active and not ALFA_Mode) that can be
used for testing full expansion, that is active expansion not in the
reduced mode for Alfa
* exp_ch4.adb, exp_ch9.adb, exp_disp.adb, sem_ch10.adb, sem_ch12.adb,
sem_ch6.adb, sem_ch9.adb, sem_res.adb: Use newly defined "flag" instead
of the verbose (Expander_Active and not ALFA_Mode)

2011-08-30  Tristan Gingold  <gingold@adacore.com>

* s-parame-vms-alpha.ads, s-parame-hpux.ads, s-tassta.adb,
s-tarest.adb, s-parame-vms-ia64.ads, s-soflin.adb, s-secsta.adb,
s-secsta.ads, s-parame.ads, s-parame-vxworks.ads: Renames Ratio to
Percentage, and Sec_Stack_Ratio to Sec_Stack_Percentage.

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

2011-08-30  Richard Guenther  <rguenther@suse.de>

PR middle-end/48571
* gimple.h (maybe_fold_offset_to_address): Remove.
(maybe_fold_offset_to_reference): Likewise.
(maybe_fold_stmt_addition): Likewise.
(may_propagate_address_into_dereference): Likewise.
* tree-inline.c (remap_gimple_op_r): Do not reconstruct
array references.
* gimple-fold.c (canonicalize_constructor_val): Likewise.
Canonicalize invariant POINTER_PLUS_EXPRs to invariant MEM_REF
addresses instead.
(may_propagate_address_into_dereference): Remove.
(maybe_fold_offset_to_array_ref): Likewise.
(maybe_fold_offset_to_reference): Likewise.
(maybe_fold_offset_to_address): Likewise.
(maybe_fold_stmt_addition): Likewise.
(fold_gimple_assign): Do not reconstruct array references but
instead canonicalize invariant POINTER_PLUS_EXPRs to invariant
MEM_REF addresses.
(gimple_fold_stmt_to_constant_1): Likewise.
* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
* gimplify.c (gimplify_conversion): Likewise.
(gimplify_expr): Likewise.

* gcc.c-torture/execute/pr48571-1.c: New testcase.
* gcc.dg/tree-ssa/ssa-ccp-25.c: Remove.
* gcc.dg/tree-ssa/ssa-ccp-26.c: Likewise.
* gcc.dg/pr36902.c: XFAIL.

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