* config/v850/lib1funcs.S: Only provide CALLT support functions if
the CALLT instruction is supported.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* sinfo.ads: Clean up order of N_xxx subtypes

2013-01-04  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Check_Target): Allow --autoconf= with no target.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* warnsw.adb: Minor fixes to -gnatw.d handling.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* einfo.adb, atree.adb: Enlarge entities to make 63 more flags, 6 more
fields.

2013-01-04  Joel Brobecker  <brobecker@adacore.com brobecker>

* gnat_ugn.texi: Fix typo.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document alignment choice for subtypes.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* validsw.ads: Minor fix to comment.

2013-01-04  Doug Rupp  <rupp@adacore.com>

* Makefile.rtl (GNATRTL_NONTASKING_OBJS,
GNATRTL_ALTIVEC_OBJS): Factor g-al* objects.
* gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Add g-al* sources.
(GNATRTL_ALTIVEC_OBJS): Override to null for VMS.
Rename leon vxworks toolchain as leon-wrs-vxworks.
* gcc-interface/Make-lang.in: Update dependencies

2013-01-04  Pascal Obry  <obry@adacore.com>

* prj.ads (For_Each_Source): Add Locally_Removed parameter.
(Source_Iterator): Add Locally_Removed field.
* prj.adb (For_Each_Source): Ignore Locally_Removed files if needed.
(Next): Likewise.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb: Minor reformatting.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* checks.adb (Insert_Valid_Check): Fix handling of renamed
packed array element.
* exp_ch4.adb (Expand_Concatenate): Fix some missing parent
fields in generated code.
* exp_util.adb (Side_Effect_Free): Improve detection of cases
needing renaming.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* sinfo.ads: Clean up order of N_xxx subtypes

2013-01-04  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Check_Target): Allow --autoconf= with no target.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* types.ads, prj-conf.adb, par-tchk.adb: Minor reformatting.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* par-ch6.adb (P_Subprogram): Better handling of missing IS
after expression function.
* par-util.adb (No_Constraint): Improve handling to avoid bad warnings.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* exp_util.ads, exp_util.adb (Insert_Actions): In expression with
actions case, new actions are appended to the sequence rather than
prepended.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Document -gnatw.d/w.D (does no apply in VMS mode).
* usage.adb: Add lines for -gnatw.d/w.D switches.
* warnsw.adb: Minor fixes (some missing cases of setting
Warning_Doc_Switch). Reject -gnatw.d and -gnatw.D in VMS mode.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* exp_util.adb (Remove_Side_Effects): Make sure scope suppress
is restored on exit.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* usage.adb: Document -gnateF (check overflow for predefined Float).

2013-01-04  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Resolve_Type_Conversion): Remove incorrect
prevention of call to Apply_Type_Conversion_Checks, which resulted
in missing check flags in formal mode.

2013-01-04  Vincent Celier  <celier@adacore.com>

* makeutl.ads (Db_Switch_Args): New table used by gprbuild.
* prj-conf.adb (Check_Builder_Switches): Check for switches
--config= (Get_Db_Switches): New procedure to get the --db
switches so that they are used when invoking gprconfig in
auto-configuration.
(Do_Autoconf): When invoking gprconfig, use the --db switches, if any.

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

2013-01-04  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb: Minor reformatting.

2013-01-04  Vincent Celier  <celier@adacore.com>

* makeutl.ads (Root_Environment): New variable, moved rom
gprbuild (Load_Standard_Base): New Boolean variable, moved
from gprbuild.
* prj-conf.adb (Check_Builder_Switches): New procedure to check
for switch --RTS in package Builder. If a runtime specified
by --RTS is a relative path name, but not a base name, then
find the path on the Project Search Path.
(Do_Autoconf): Call Check_Builder_Switches.
(Locate_Runtime): New procedure, moved from gprbuild, to get the
absolute paths of runtimes when they are not specified as a base name.
* prj-conf.ads (Locate_Runtime): New procedure, moved from gprbuild.

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

2013-01-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Build_Private_Derived_Type): Set
Has_Private_Ancestor on type derived from an untagged private
type whose full view has discriminants
* sem_aggr.adb (Resolve_Record_Aggregate): Reject non-extension
aggregate for untagged record type with private ancestor.

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

2013-01-04  Thomas Quinot  <quinot@adacore.com>

* sem_elab.adb, sem_ch3.adb: Minor reformatting.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* table.adb: Minor reformatting.

2013-01-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Check_Redundant_Withs): A with_clause that does
not come from source does not generate a warning for redundant
with_clauses.

2013-01-04  Hristian Kirtchev  <kirtchev@adacore.com>

* aspects.adb, aspects.ads: Add Aspect_Global to all relevant tables.
* par-prag.adb: Add pragma Global to the list of pragmas that
do not need special processing by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
Global into a pragma without any form of legality checks. The
work is done by Analyze_Pragma. The aspect and pragma are both
marked as needing delayed processing.  Insert the corresponding
pragma of aspect Abstract_State in the visible declarations of the
related package.
(Check_Aspect_At_Freeze_Point): Aspect Global
does not need processing even though it is marked as delayed.
Alphabetize the list on aspect names.
* sem_prag.adb: Add a value for pragma Global in table Sig_Flags.
(Analyze_Pragma): Add ??? comment about the grammar of pragma
Abstract_State.  Move the error location from the pragma to the
state to improve the quality of error placement.  Add legality
checks for pragma Global.
* snames.ads-tmpl Add the following specially recognized names

2013-01-04  Eric Botcazou  <ebotcazou@adacore.com>

* sem_ch3.adb: Fix minor typo.

2013-01-04  Ed Schonberg  <schonberg@adacore.com>

* par-ch13.adb (Aspect_Specifications_Present): In Strict mode,
accept an aspect name followed by a comma, indicating a defaulted
boolean aspect.

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

2013-01-04  Joel Brobecker  <brobecker@adacore.com brobecker>

* gnat_ugn.texi: Document procedure to codesign GDB on Darwin.
Update doc on gnattest --separates switch.

2013-01-04  Thomas Quinot  <quinot@adacore.com>

* s-chepoo.ads: Minor reformatting.

2013-01-04  Arnaud Charlet  <charlet@adacore.com>

* usage.adb: Remove mention of -gnatN in usage.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* exp_prag.adb, gnatcmd.adb, exp_util.adb, table.adb, sem_prag.adb,
freeze.adb, sem_ch4.adb, sem_warn.adb, opt.ads, exp_aggr.adb,
prj-conf.adb, sem_ch13.adb: Minor reformatting.

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

2013-01-04  Thomas Quinot  <quinot@adacore.com>

* sinfo.ads: Minor documentation update.

2013-01-04  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb, einfo.adb (Analyze_Object_Declaration): Do not set Ekind
before resolving initialization expression.

2013-01-04  Hristian Kirtchev  <kirtchev@adacore.com>

* checks.adb (Generate_Index_Checks): Delay the generation of
the check for an indexed component where the prefix mentions
Loop_Entry until the attribute has been properly expanded.
* exp_ch5.adb (Expand_Loop_Entry_Attributes): Perform minor
decoration of the constant that captures the value of Loop_Entry's
prefix at the entry point into a loop. Generate index checks
for an attribute reference that has been transformed into an
indexed component.

2013-01-04  Thomas Quinot  <quinot@adacore.com>

* exp_prag.adb, exp_util.adb, exp_util.ads, freeze.adb, exp_aggr.adb,
sem_ch13.adb (Exp_Aggr.Collect_Initialization_Statements): Nothing to
do if Obj is already frozen.
(Exp_Util.Find_Init_Call): Rename to...
(Exp_Util.Remove_Init_Call): New subprogram, renamed from
Find_Init_Call.  Remove the initialization call from the enclosing
list if found, and if it is from an Initialization_Statements
attribute, reset it.
(Exp_Util.Append_Freeze_Action): Minor code reorganization.
(Exp_Util.Append_Freeze_Actions): Ensure a freeze node has been
allocated (as is already done in Append_Freeze_Action).
(Freeze.Freeze_Entity): For an object with captured
Initialization_Statements and non-delayed freezeing, unwrap the
initialization statements and insert and them directly in the
enclosing list.
(Sem_Ch13.Check_Address_Clause): For an object
with Initialization_Statements and an address clause, unwrap the
initialization statements when moving them to the freeze actions.

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

2014-01-04  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55763
        * decl.c (gfc_match_null): Parse and reject MOLD.

2014-01-04  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55763
        * gfortran.dg/null_7.f90: New.

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

2013-01-03  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55854
        PR fortran/55763
        * class.c (gfc_class_null_initializer): Fix finding the vtab.
        (gfc_find_intrinsic_vtab): Use BT_VOID for some components.

2013-01-03  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55854
        PR fortran/55763
        * gfortran.dg/unlimited_polymorphic_3.f03: Remove invalid code.
        * gfortran.dg/unlimited_polymorphic_7.f90: New.
        * gfortran.dg/unlimited_polymorphic_8.f90: New.

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

Adjust log entry.

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

PR target/53789
* config/pa/pa.md (movsi): Revert previous change.
* pa.c (pa_legitimate_constant_p): Reject all TLS symbol references.

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

Daily bump.

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

i386: Fix gcc.dg/torture/tls/tls-reload-1.c

        * config/i386/i386.c (ix86_expand_move): Always assign to op1
        after eliminating TLS symbols.

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

PR c++/55419
PR c++/55753
* pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Don't touch
TREE_CONSTANT.

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

PR c++/55842
* semantics.c (trait_expr_value): Call maybe_instantiate_noexcept.

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

2013-01-03  Marc Glisse  <marc.glisse@inria.fr>

PR bootstrap/50167
gcc/
* graphite-interchange.c (pdr_stride_in_loop): Use gmp_fprintf.
* graphite-poly.c (debug_gmp_value): Likewise.

PR bootstrap/50177
libcpp/
* line-map.c (get_combined_adhoc_loc): Cast from extern "C" type.
(new_linemap): Likewise.
(linemap_enter_macro): Likewise.

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

gcc/testsuite/
* gcc.dg/torture/tls/tls-reload-1.c (main): Make testing more thorough.

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

PR c++/55856
* g++.dg/init/array34.C: Check gimple dump, not assembler.

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

PR c++/55856
* semantics.c (build_data_member_initialization): Handle DECL_EXPR.

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

* ChangeLog: Fix.
* testsuite/ChangeLog: Ditto.

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

PR target/55712
* config/i386/i386-c.c (ix86_target_macros_internal): Depending on
selected code model, define __code_mode_small__, __code_model_medium__,
__code_model_large__, __code_model_32__ or __code_model_kernel__.
* config/i386/cpuid.h (__cpuid, __cpuid_count) [__i386__]: Prefix
xchg temporary register with %k.  Declare temporary register as
early clobbered.
[__x86_64__]: For medium and large code models, preserve %rbx register.

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

Fix ChangeLog entry for PR lto/55466

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

PR c++/53650
* call.c (type_has_extended_temps): New.
* cp-tree.h: Declare it.
* decl.c (check_initializer): Use build_aggr_init for arrays
if it is false.
* init.c (build_vec_init): Avoid mixed signed/unsigned arithmetic.

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

2013-01-03  Richard Biener  <rguenther@suse.de>

* tree-data-ref.c (dump_conflict_function): Use less vertical
spacing.
(dump_subscript): Adjust.
(finalize_ddr_dependent): Do not dump redundant info.
(analyze_siv_subscript): Adjust.
(subscript_dependence_tester): Likewise.
(compute_affine_dependence): Likewise.

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

2013-01-03  Janus Weil  <janus@gcc.gnu.org>

PR fortran/55855
* expr.c (gfc_check_assign): Use 'gfc_expr_attr' to evaluate attributes
of rvalue. Correct hyphenation in error message.

2013-01-03  Janus Weil  <janus@gcc.gnu.org>

PR fortran/55855
* gfortran.dg/assignment_1.f90: Modified.
* gfortran.dg/assignment_4.f90: New.

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

2013-01-03  Richard Biener  <rguenther@suse.de>

        Revert
        2013-01-03  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/55857
        * tree-vect-stmts.c (vectorizable_load): Do not setup
        re-alignment for invariant loads.

        2013-01-02  Richard Biener  <rguenther@suse.de>

        * tree-vect-stmts.c (vectorizable_load): When vectorizing an
        invariant load do not generate a vector load from the scalar
        location.

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

    * gcc.dg/torture/tls/tls-reload-1.c: Add tls options.

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

2013-01-03  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (vect_analyze_loop_form): Clarify reason
for not vectorizing.
* tree-vect-data-refs.c (vect_create_addr_base_for_vector_ref): Do
not build INDIRECT_REFs, call get_name once only.
(vect_create_data_ref_ptr): Likewise.  Dump base object kind
based on DR_BASE_OBJECT, not DR_BASE_ADDRESS.

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

2013-01-03  Pascal Obry  <obry@adacore.com>

* prj-attr.adb, projects.texi, snames.ads-tmpl: Add package remote and
corresponding attibutes.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* exp_aggr.adb: Minor comment improvement.

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

2013-01-03  Hristian Kirtchev  <kirtchev@adacore.com>

* aspects.adb, aspects.ads: Add Aspect_Abstract_State to all the
relevant tables.
* einfo.ads, einfo.adb: Add Integrity_Level and Refined_State to
the description of fields (Abstract_States): New routine.
(Integrity_Level): New routine.
(Has_Property): New routine.
(Is_Input_State): New routine.
(Is_Null_State): New routine.
(Is_Output_State): New routine.
(Is_Volatile_State): New routine.
(Refined_State): New routine.
(Set_Abstract_States): New routine.
(Set_Integrity_Level): New routine.
(Set_Refined_State): New routine.
(Write_Field8_Name): Add proper output for E_Abstract_State.
(Write_Field9_Name): Add proper output for E_Abstract_State.
(Write_Field25_Name): Add proper output for E_Package.
* lib-xref.ads: Add new letter for an abstract state.
* par-prag.adb: Add pragma Abstract_State to the list of pragma
that do not need special processing by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert
aspect Abstract_State into a pragma without any form
of legality checks. The work is done by Analyze_Pragma.
(Check_Aspect_At_Freeze_Point): Aspect Abstract_State does not
require delayed analysis.
* sem_prag.adb: Add a value for pragma Abstract_State in table
Sig_Flags.
(Analyze_Pragma): Add legality checks for pragma
Abstract_State. Analysis of individual states introduces a state
abstraction entity into the visibility chain.
* snames.ads-tmpl: Add new names for abstract state and
integrity. Add new pragma id for abstract state.

2013-01-03  Bob Duff  <duff@adacore.com>

* table.adb (Reallocate): Calculate new Length in
Long_Integer to avoid overflow.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb, sinfo.ads, freeze.adb, sem_ch4.adb, exp_aggr.adb
(Sem_Ch3.Analyze_Object_Declaration): Set Ekind early so that
it is set properly when expanding the initialization expression.
(Freeze.Check_Address_Clause): Transfer initialization expression
to an assignment in the freeze actions, so that the object is
initialized only after being elaborated by GIGI.
(Sinfo (comments), Sem_Ch4.Analyze_Expression_With_Actions): Allow
a Null_Statement as the expression in an Expression_With_Actions.
(Exp_Aggr.Collect_Initialization_Statements): New subprogram
shared by expansion of record and array aggregates, used to
capture statements for an aggregate used to initalize an object
into an Expression_With_Actions (which acts as a container for
a list of actions).
(Exp_Aggr.Convert_Aggr_In_Obj_Decl): Use the above to
capture initialization statements, instead of the previously
existing loop which left freeze nodes out of the capturing
construct (causing out of order elaboration crashes in GIGI).
(Exp_Aggr.Expand_Array_Aggregate):  Use the above to capture
initialization statements (this was previously not done for
arrays).  Also do not unconditionally prevent in place expansion
for an object with address clause.

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

2013-01-03  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55857
* tree-vect-stmts.c (vectorizable_load): Do not setup
re-alignment for invariant loads.

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

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

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Check that
a record extension has the same scalar storage order as the parent type.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb: Add comment.

2013-01-03  Vincent Celier  <celier@adacore.com>

* prj.adb: Minor spelling error correction in comment.

2013-01-03  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (GNATCmd): If a single main has been specified
as an absolute path, use its simple file name to find specific
switches, instead of the absolute path.

2013-01-03  Javier Miranda  <miranda@adacore.com>

* sem_warn.adb (Warn_On_Overlapping_Actuals): For overlapping
parameters that are record types or array types generate warnings
only compiling under -gnatw.i
* opt.ads (Extensions_Allowed): Restore previous documentation.

2013-01-03  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Do_Autoconf): If Target is specified in the
main project, but not on the command line, use the Target in
the project to invoke gprconfig in auto-configuration.
* makeutl.ads (Default_Config_Name): New constant String.

2013-01-03  Arnaud Charlet  <charlet@adacore.com>

* usage.adb: Minor: fix typo in usage.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* sem_ch13.adb (Analyze_Record_Representation_Clause): Reject
an illegal component clause for an inherited component in a
record extension.

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

2013-01-03  Emmanuel Briot  <briot@adacore.com>

* xref_lib.adb (Parse_Identifier_Info): Fix handling of arrays, which
have information in the ALI file for both the index and the component
types.

2013-01-03  Emmanuel Briot  <briot@adacore.com>

* projects.texi: Fix error in documenting the project path
computed for an aggregate project.

2013-01-03  Javier Miranda  <miranda@adacore.com>

* sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation
plus restricting the functionality of this routine to cover the
cases described in the Ada 2012 reference manual. The previous
extended support is now available under -gnatX.
* s-tassta.adb (Finalize_Global_Tasks): Addition of a dummy
variable to call Timed_Sleep.  Required to avoid warning on
overlapping out-mode actuals.
* opt.ads (Extensions_Allowed): Update documentation.

2013-01-03  Tristan Gingold  <gingold@adacore.com>

* s-arit64.ads: Use Multiply_With_Ovflo_Check as __gnat_mulv64.
* arit64.c: Removed
* gcc-interface/Makefile.in: Remove reference to arit64.c.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* checks.adb, checks.ads (Apply_Address_Clause_Check): The check must
be generated at the start of the freeze actions for the entity, not
before (or after) the freeze node.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* exp_aggr.adb (Exp_Aggr.Convert_Aggregate_In_Obj_Decl):
Reorganize code to capture initialization statements in a block,
so that freeze nodes are excluded from the captured block.

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

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* exp_ch11.adb: Minor reformatting.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* exp_util.adb, einfo.adb, einfo.ads, freeze.adb, exp_aggr.adb,
sem_ch13.adb (Einfo.Initialization_Statements,
Einfo.Set_Initialization_Statements): New entity attribute
for objects.
(Exp_Util.Find_Init_Call): Handle case of an object initialized
by an aggregate converted to a block of assignment statements.
(Freeze.Check_Address_Clause): Do not clear Has_Delayed_Freeze
even for objects that require a constant address, because the
address expression might involve entities that have yet to be
elaborated at the point of the object declaration.
(Exp_Aggr.Convert_Aggregate_In_Obj_Decl): For a type that does
not require a transient scope, capture the assignment statements
in a block so that they can be moved down after elaboration of
an address clause if needed.
(Sem_Ch13.Check_Constant_Address_Clause.Check_Expr_Constants,
case N_Unchecked_Conversion): Do not replace operand subtype with
its base type as this violates a GIGI invariant if the operand
is an identifier (in which case the etype of the identifier
is expected to be equal to that of the denoted entity).

2013-01-03  Javier Miranda  <miranda@adacore.com>

* sem_util.ads, sem_util.adb (Denotes_Same_Object): Extend the
functionality of this routine to cover cases described in the Ada 2012
reference manual.

2013-01-03  Ed Schonberg  <schonberg@adacore.com>

* sem_elab.adb (Set_Elaboration_Constraint): Handle properly
a 'Access attribute reference when the subprogram is called
Initialize.

2013-01-03  Arnaud Charlet  <charlet@adacore.com>

* s-tpobop.adb (PO_Do_Or_Queue): Refine assertion, since a
select statement may be called from a controlled (e.g. Initialize)
operation and have abort always deferred.

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

2013-01-03  Robert Dewar  <dewar@adacore.com>

* sem_ch8.adb, einfo.ads, einfo.adb: Minor code reorganization.

2013-01-03  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Make_Controlling_Function_Wrappers): Exclude
internal entities associated with interfaces and add minimum
decoration to the defining entity of the generated wrapper to
allow overriding interface primitives.
* sem_disp.ads (Override_Dispatching_Operation): Addition of a
new formal (Is_Wrapper).
* sem_disp.adb (Override_Dispatching_Operation): When overriding
interface primitives the new formal helps identifying that the
new operation is not fully decorated.

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

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb,
rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb
(Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit):
Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and
update spec accordingly (now also applies to root library units).
(Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag
on root library units, not only child units.
(Sem_Ch10.Install[_Limited]_Withed_Unit): Same.
(Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit
even for root library units.
(Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is
Standard is an expanded name for a root library unit.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* exp_ch3.adb: Minor reformatting.

2013-01-03  Olivier Hainque  <hainque@adacore.com>

* tracebak.c: Reinstate changes to support ppc-lynx178.

2013-01-03  Ed Schonberg  <schonberg@adacore.com>

* atree.ads: Minor reformatting and documentation enhancement.

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

Update comments.

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

2013-01-03  Ed Schonberg  <schonberg@adacore.com>

* exp_ch3.adb (Expand_N_Object_Declaration): If the object has
a class-wide type and a renaming declaration is created for it,
preserve entity chain, which already contains generated internal
types. This ensures that freezing actions are properly generated
for all objects declared subsequently in the same scope, and
that debugging information is generated for them.
* sem_util.adb, sem_util.ads (we): New debugging routine, to
display entity chain of a given scope.

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

2013-01-03  Robert Dewar  <dewar@adacore.com>

* exp_intr.adb: Minor reformatting.

2013-01-03  Robert Dewar  <dewar@adacore.com>

* einfo.adb: Minor reformatting.

2013-01-03  Pascal Obry  <obry@adacore.com>

* adaint.c, adaint.h (__gnat_get_module_name): Removed.
(__gnat_is_module_name_supported): Removed.
* s-win32.ads: Add some needed definitions.
* g-trasym.ads: Update comments.

2013-01-03  Robert Dewar  <dewar@adacore.com>

* layout.adb (Set_Composite_Alignment): Fix problems of
interactions with Optimize_Alignment set to Space.

2013-01-03  Thomas Quinot  <quinot@adacore.com>

* exp_disp.adb: Minor reformatting.

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

ChangeLog rotation.

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

2013-01-03  Richard Biener  <rguenther@suse.de>

PR lto/55848
* lto-symtab.c (lto_symtab_merge_decls_1): As last resort, always
prefer a built-in decl.

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

* gcc.c (process_command): Update copyright notice dates.
* gcov.c (print_version): Likewise.
* gcov-dump.c (print_version): Likewise.

* gfortranspec.c (lang_specific_driver): Update copyright notice
dates.

* jcf-dump.c (version): Update copyright notice dates.

* mf-runtime.c (__mf_usage): Update copyright notice dates.

* gnu/java/rmi/registry/RegistryImpl.java (version): Update
copyright notice dates.
* tools/gnu/classpath/tools/orbd/Main.java (run): Likewise.

* gnu/gcj/convert/Convert.java (version): Update copyright notice
dates.
* gnu/gcj/tools/gcj_dbtool/Main.java (main): Likewise.

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

PR rtl-optimization/55838
* loop-iv.c (iv_number_of_iterations): Call lowpart_subreg on
iv0.step, iv1.step and step.

* gcc.dg/pr55838.c: New test.

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

PR tree-optimization/55832
* fold-const.c (fold_binary_loc): For ABS_EXPR<x> >= 0 and
ABS_EXPR<x> < 0 folding use constant_boolean_node instead of
integer_{one,zero}_node.

* gcc.c-torture/compile/pr55832.c: New test.

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

PR debug/54402
* params.def (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE): New param.
* var-tracking.c (reverse_op): Don't add reverse ops to
VALUEs that have already
PARAM_VALUE (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE) or longer
locs list.

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

* doc/contrib.texi: Note years as release manager for Mark Mitchell.

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

* gcc.dg/pr55430.c: Define MAP_FAILED if not defined.

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

2013-01-02  Teresa Johnson  <tejohnson@google.com>

* dumpfile.c (dump_loc): Print filename with location.
* tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Use
        new location_t parameter to emit complete unroll message with
        new dump framework.
(canonicalize_loop_induction_variables): Compute loops location
        and pass to try_unroll_loop_completely.
* loop-unroll.c (report_unroll_peel): New function.
(peel_loops_completely): Use new dump format with location
        for main dumpfile message, and invoke report_unroll_peel on success.
(decide_unrolling_and_peeling): Ditto.
(decide_peel_once_rolling): Remove old dumpfile message subsumed
        by report_unroll_peel.
(decide_peel_completely): Ditto.
(decide_unroll_constant_iterations): Ditto.
(decide_unroll_runtime_iterations): Ditto.
(decide_peel_simple): Ditto.
(decide_unroll_stupid): Ditto.
* cfgloop.c (get_loop_location): New function.
* cfgloop.h (get_loop_location): Declare.

        testsuite/
* gcc.dg/tree-ssa/loop-1.c: Update expected dump message.
* gcc.dg/tree-ssa/loop-23.c: Ditto.
* gcc.dg/tree-ssa/cunroll-1.c: Ditto.
* gcc.dg/tree-ssa/cunroll-2.c: Ditto.
* gcc.dg/tree-ssa/cunroll-3.c: Ditto.
* gcc.dg/tree-ssa/cunroll-4.c: Ditto.
* gcc.dg/tree-ssa/cunroll-5.c: Ditto.
* gcc.dg/unroll_1.c: Ditto.
* gcc.dg/unroll_2.c: Ditto.
* gcc.dg/unroll_3.c: Ditto.
* gcc.dg/unroll_4.c: Ditto.

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

Simple fix to code to remove unnecessary NULL checks.

2013-01-02  Sriraman Tallam  <tmsriram@google.com>

* config/i386/i386.c (fold_builtin_cpu): Remove unnecessary checks for
NULL.

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

Daily bump.

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

PR middle-end/55198
* expr.c (expand_expr_real_1): Don't use bitfield extraction for non
BLKmode objects when EXPAND_MEMORY is specified.

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

PR c++/54325
* call.c (build_new_method_call_1): Don't use build_value_init for
user-provided default constructors.

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

2013-01-02  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/55818
* gfortran.dg/eof_4.f90: New test.

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

Fix bugs in Function Multiversioning.

2013-01-02  Sriraman Tallam  <tmsriram@google.com>

* config/i386/i386.c (ix86_get_function_versions_dispatcher): Fix bug
in loop predicate.
(fold_builtin_cpu): Do not share cpu model decls across statements.

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

* lib/c-compat.exp (compat-use-alt-compiler): Remove
-fno-diagnostics-show-caret from TEST_ALWAYS_FLAGS if needed.
(compat-use-tst-compiler): Restore TEST_ALWAYS_FLAGS.
(compat_setup_dfp): Initialize compat_alt_caret and
compat_save_TEST_ALWAYS_FLAGS.

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

* decl.c (check_default_argument): Use LOOKUP_IMPLICIT.

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

gcc/testsuite/
* gcc.dg/torture/tls/tls-reload-1.c: New test.

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

PR c++/55804
PR c++/55032
PR c++/55245
* tree.c (build_array_type_1): Revert earlier change.
* cp/tree.c (build_cplus_array_type): Copy layout information
to main variant if necessary.

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

2013-01-02  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/55818
* io/list_read.c (read_real): Do not call hit_eof when EOF can be
treated as a value separator.
(parse_real): Likewise.
(read_logical): Likewise.
(read_character): Likewise.
(read_complex): Likewise.

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

gcc/

2013-01-02  Yufeng Zhang  <yufeng.zhang@arm.com>

* config/aarch64/aarch64-cores.def: Add entries for "cortex-a53" and
"cortex-a57".
* config/aarch64/aarch64-tune.md: Re-generate.

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

2013-01-02  Richard Biener  <rguenther@suse.de>

* tree-vect-stmts.c (vectorizable_load): When vectorizing an
invariant load do not generate a vector load from the scalar
location.

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

Minor reformatting.

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

2013-01-02  Richard Biener  <rguenther@suse.de>

PR bootstrap/55784
* configure.ac: Add $GMPINC to CFLAGS/CXXFLAGS.
* configure: Regenerate.

ada/
* gcc-interface/Makefile.in: Add $(GMPINC) to includes.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove
side effects from Tag_Arg early, doing it too late may cause a
crash due to inconsistent Parent link.
* sem_ch8.adb, einfo.ads: Minor reformatting.

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* einfo.ads, einfo.adb (Has_Independent_Components): New flag.
* freeze.adb (Size_Known): We do not know the size of a packed
record if it has atomic components, by reference type components,
or independent components.
* sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new
flag Has_Independent_Components.

2013-01-02  Yannick Moy  <moy@adacore.com>

* opt.ads (Warn_On_Suspicious_Contract): Set to True by default.
* usage.adb (Usage): Update usage message.

2013-01-02  Pascal Obry  <obry@adacore.com>

* adaint.c (__gnat_is_module_name_supported): New constant.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Check_Array_Type): Reject an attribute reference on an
array whose component type does not have a completion.

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

gcc/
* builtins.c (expand_builtin_mathfn, expand_builtin_mathfn_2)
(expand_builtin_mathfn_ternary, expand_builtin_mathfn_3)
(expand_builtin_int_roundingfn_2): Keep the original target around
for the fallback case.

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

gcc/
* tree-vrp.c (range_fits_type_p): Require the MSB of the double_int
to be clear for sign changes.

gcc/testsuite/
* gcc.dg/torture/fp-int-convert-2.c: New test.

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

2013-01-02  Geert Bosch  <bosch@adacore.com>

* a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure.

2013-01-02  Robert Dewar  <dewar@adacore.com>

* par_sco.adb: Minor reformatting.

2013-01-02  Javier Miranda  <miranda@adacore.com>

* sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code.

2013-01-02  Olivier Hainque  <hainque@adacore.com>

* a-exctra.ads (Get_PC): New function.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* sem_ch8.adb: Minor reformatting.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* sem_ch7.adb: Minor reformatting.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* freeze.adb (Check_Component_Storage_Order): Do not crash on
_Tag component.

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add
On_Target to Atomic_Sync_Default.

2013-01-02  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb (Warn_On_Known_Condition): Suppress warning for
comparison of attribute result with constant
* a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma
Warnings (Off, "..");

2013-01-02  Yannick Moy  <moy@adacore.com>

* sem_prag.ads: Minor correction of comment.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb (Traverse_Package_Declaration): The first
declaration in a nested package is dominated by the preceding
declaration in the enclosing scope.

2013-01-02  Pascal Obry  <obry@adacore.com>

* adaint.c, adaint.h (__gnat_get_module_name): Return the actual
module containing a given address.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb: Minor reformatting.

2013-01-02  Pascal Obry  <obry@adacore.com>

* cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on
Win64 and default to ftell on other platforms.
(__gnat_fsek64): Likewise.
* i-cstrea.ads: Add fssek64 and ftell64 specs.
* s-crtl.ads: Likewise.
* a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required.
(Set_Position): Likewise.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb: Generate X SCOs for default expressions in
subprogram body stubs. Do not generate any SCO for package,
task, or protected body stubs.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb: Further improvement to ASIS mode for anonymous
access to protected subprograms.

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* par_sco.adb, vms_data.ads: Minor reformatting.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb (Traverse_Declarations_Or_Statement): Function
form, returning value of Current_Dominant upon exit, for chaining
purposes.
(Traverse_Declarations_Or_Statement.Traverse_One, case
N_Block_Statement): First statement is dominated by last declaration.
(Traverse_Subprogram_Or_Task_Body): Ditto.
(Traverse_Package_Declaration): First private
declaration is dominated by last visible declaration.
(Traverse_Sync_Definition): Ditto.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order
matching Bit_Order to record types only, since array types do not
have a Bit_Order.

2013-01-02  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Remove documentation of -gnateO, which is an
internal switch.
* usage.adb: Indicate that -gnateO is an internal switch.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb: Add SCO generation for task types and single
task declarations.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* fe.h, gnat1drv.adb: Revert previous change.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* get_scos.adb: When adding an instance table entry for a
non-nested instantiation, make sure the Enclosing_Instance is
correctly set to 0.

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

2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.adb (Analyze_Attribute): Skip the special _Parent
scope generated for subprogram inlining purposes while trying
to locate the enclosing function.
* sem_prag.adb (Analyze_Pragma): Preanalyze the boolean
expression of pragma Postcondition when the pragma comes from
source and appears inside a subprogram body.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation
information in debug info unconditionally when using -fdump-scos,
instead of relying on a separate command line switch -fdebug-instances.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb: Additional refinement of predicate.

2013-01-02  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Remove incorrect spaces at end of descriptions
of qualifiers for single switch.

2013-01-02  Ben Brosgol  <brosgol@adacore.com>

* gnat_rm.texi: Minor edits / wordsmithing in section on pragma
Check_Float_Overflow.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* sprint.adb (Sprint_Node_Actual): Do not add extra parens for
a conditional expression (CASE or IF expression) that already
has parens. Also omit ELSE keyword for an IF expression without
an ELSE part.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Adjust back-end
flag_debug_instances here, after front-end switches have been
processed.

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

2013-01-02  Vincent Celier  <celier@adacore.com>

* usage.adb: Minor reformatting.

2013-01-02  Arnaud Charlet  <charlet@adacore.com>

* opt.ads: Fix typo.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb: Generate P decision SCOs for SPARK pragmas
Assume and Loop_Invariant.

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
* ug_words: Add entry for Float_Check_Overflow.
* usage.adb: Minor reformatting.
* gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).

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

2013-01-02  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
-gnateO=, -gnatet and -gnateV.
* ug_words: Add qualifiers equivalent to -gnateA, -gnated,
-gnatet and -gnateV.
* usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
* vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
(-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
/PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
(-gnatet).

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
* opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config].
* par-prag.adb: Add dummy entry for pragma Check_Float_Overflow.
* sem_prag.adb: Implement pragma Check_Float_Overflow.
* snames.ads-tmpl: Add entries for pragma Check_Float_Overflow.
* switch-c.adb: Recognize -gnateF switch.
* tree_io.ads: Update ASIS version number.
* gnat_rm.texi: Add documentation of pragma Check_Float_Overflow.

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb,
freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb,
par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb,
sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb,
sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages.
* sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates.

2013-01-02  Robert Dewar  <dewar@adacore.com>

* err_vars.ads: Minor comment fix.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb: Refine predicate.

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* errout.ads: Minor comment fixes.
* opt.ads: Minor comment additions.
* exp_aggr.adb: Add tags to warning messages
* exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb,
sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb,
sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb,
sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
sem_warn.adb: Add tags to warning messages

2013-01-02  Doug Rupp  <rupp@adacore.com>

* init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb: Recover source name for renamed packagea.

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* errout.adb (Set_Msg_Insertion_Warning): Correct typo causing
tests to fail if insertion sequence is at end of message string.
* opt.ads: Minor comment fixes and additions.
* sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb,
sem_ch12.adb, sem_ch13.adb: Add tags to warning messages.
* sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message
tags. Add tags to warning messages.

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

2013-01-02  Robert Dewar  <dewar@adacore.com>

* err_vars.ads (Warning_Doc_Switch): New flag.
* errout.adb (Error_Msg_Internal): Implement new warning flag
doc tag stuff (Set_Msg_Insertion_Warning): New procedure.
* errout.ads: Document new insertion sequences ?? ?x? ?.x?
* erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc
tag stuff.
* erroutc.ads (Warning_Msg_Char): New variable.
(Warn_Chr): New field in error message object.
* errutil.adb (Error_Msg): Set Warn_Chr in error message object.
* sem_ch13.adb: Minor reformatting.
* warnsw.adb: Add handling for -gnatw.d and -gnatw.D
(Warning_Doc_Switch).
* warnsw.ads: Add handling of -gnatw.d/.D switches (warning
doc tag).

2013-01-02  Robert Dewar  <dewar@adacore.com>

* opt.ads: Minor reformatting.

2013-01-02  Doug Rupp  <rupp@adacore.com>

* init.c: Reorganize VMS section.
(scan_condtions): New function for scanning condition tables.
(__gnat_handle_vms_condtion): Use actual exception name for imported
exceptions vice IMPORTED_EXCEPTION.
Move condition table scanning into separate function. Move formerly
special handled conditions to system condition table. Use SYS$PUTMSG
output to fill exception message field for formally special handled
condtions, in particular HPARITH to provide more clues about cause and
location then raised from the translated image.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post
aspect that applies to a library subprogram, prepend corresponding
pragma to the Pragmas_After list, in order for split AND THEN
sections to be processed in the expected order.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* exp_prag.adb (Expand_Pragma_Check): The statements generated
for the pragma must have the sloc of the pragma, not the
sloc of the condition, otherwise this creates anomalies in the
generated debug information that confuse coverage analysis tools.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* sem_ch13.adb: Minor reformatting.

2013-01-02  Arnaud Charlet  <charlet@adacore.com>

* g-excact.ads (Core_Dump): Clarify that this subprogram does
not dump cores under Windows.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed
view of a subprogram has convention Intrnnsic, and a renaming
of a prefixed view cannot be the prefix of an Access attribute.

2013-01-02  Robert Dewar  <dewar@adacore.com>

* restrict.adb: Minor reformatting.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* exp_prag.adb: Minor reformatting.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Get_Associated_Node): If the node is an
identifier that denotes an unconstrained array in an object
declaration, it is rewritten as the name of an anonymous
subtype whose bounds are given by the initial expression in the
declaration. When checking whether that identifier is global
reference, use the original node, not the local generated subtype.

2013-01-02  Olivier Hainque  <hainque@adacore.com>

* tracebak.c: Revert previous change, incomplete.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect
appears on a subprogram body that acts as a spec, place the
corresponding pragma in the declarations of the body, so that
e.g. pre/postcondition checks can be generated appropriately.

2013-01-02  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb: Minor reformatting and code reorganization.

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

2013-01-02  Vincent Celier  <celier@adacore.com>

* switch-m.adb (Normalize_Compiler_Switches): Record the
complete switch -fstack-check=specific instead of its shorter
alias -fstack-check.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8):
if the derived type is a tagged generic formal type with
unknown discriminants, the inherited operation has convention
Intrinsic. As such, the 'Access attribute cannot be applied to it.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* sem_attr.adb: Minor reformatting.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb: Add SCO generation for S of protected types and
single protected object declarations.

2013-01-02  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb, osint.ads: Minor reformatting.

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

2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* sem_eval.adb (Compile_Time_Compare): For static operands, we
can perform a compile time comparison even if in preanalysis mode.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb (SCO_Record): Always use
Traverse_Declarations_Or_Statements to process the library level
declaration, so that SCOs are properly generated for its aspects.

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

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* scos.ads (In_Decision): Add missing entry for 'a'.
* sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
* sem_ch13.adb: Minor comment update.

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

* MAINTAINERS: Update my email.

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

2013-01-01  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

* gfortran.dg/newunit_3.f90: Add dg-do run.
* gfortran.dg/inquire_15.f90: Add dg-do run.

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

    * simple-object-xcoff.c: New file.
        * Makefile.in: Add it to build machinery.
        * simple-object-common.h (simple_object_xcoff_functions): Declare.
        * simple-object.c (format_functions): Add
        simple_object_xcoff_functions.

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

Daily bump.

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

PR bootstrap/54834
* Makefile.am (AM_CPPFLAGS): Remove -I ../gcc/include and -I
$(MULTIBUILDTOP)/../../gcc/include.
* Makefile.in: Rebuild.

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