pizzafactory-gnu-tools

Fork

• urjtag
• gcc-fork
• pf3gnuchains4x
• release-debian-3x
• pizza6+
• pf3gnuchains3x
• sourceware

Daily bump.

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

* sched-deps.c (deps_analyze_insn): Do not check for EH_REGION insn
notes, they are emitted only just before final.
* sched-int.h: Include insn-attr.h before checking INSN_SCHEDULING.



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

2013-04-13 Janus Weil <janus@gcc.gnu.org>

PR fortran/55959
* expr.c (gfc_simplify_expr): Branch is not unreachable.


2013-04-13 Janus Weil <janus@gcc.gnu.org>

PR fortran/55959
* gfortran.dg/typebound_proc_29.f03: New.


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

* emit-rtl.c (remove_insn): Do not call df_insn_delete here.
* cfgrtl.c (delete_insn): Call it here instead.
* lra-spills.c (lra_final_code_change): Use delete_insn.
* haifa-sched.c (sched_remove_insn): Likewise.
* sel-sched-ir.c (return_nop_to_pool): Clear INSN_DELETED_P for nops
returning to the nop pool.
(sel_remove_insn): Simplify the only_disconnect case via remove_insn,
use delete_insn for definitive removal. Clear BLOCK_FOR_INSN.



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

Daily bump.

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

* doc/tm.texi.in (LOOP_ALIGN): Remove loop note references.
* doc/tm.texi: Regenerated.



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

2013-04-12 Janus Weil <janus@gcc.gnu.org>

PR fortran/56266
* primary.c (gfc_match_varspec): Turn gcc_assert into MATCH_ERROR.


2013-04-12 Janus Weil <janus@gcc.gnu.org>

PR fortran/56266
* gfortran.dg/typebound_proc_28.f03: New.


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

* gcc.dg/tree-ssa/vrp87.c: Do not run test on ppc and xtensa
either.

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

* config/i386/i386.c (ix86_hard_regno_mode_ok): Use ANY_QI_REGNO_P in
QImode checks.



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

2013-04-12 Tobias Burnus <burnus@net-b.de>

PR fortran/56929
* trans-array.c (duplicate_allocatable): Fix handling
of scalar coarrays.

2013-04-12 Tobias Burnus <burnus@net-b.de>

PR fortran/56929
* gfortran.dg/coarray/alloc_comp_2.f90: New.



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

* df-core.c (df_find_def): Compare register numbers.
(df_find_use): Likewise.



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

2013-04-12 Vladimir Makarov <vmakarov@redhat.com>

PR target/56903
* config/i386/i386.c (ix86_hard_regno_mode_ok): Add
lra_in_progress for return.

2013-04-12 Vladimir Makarov <vmakarov@redhat.com>

PR target/56903
* gcc.target/i386/pr56903.c: New test.



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

2013-04-12 Greta Yorsh <Greta.Yorsh@arm.com>

* config/arm/arm.md (mov_scc,mov_negscc,mov_notscc): Convert
define_insn into define_insn_and_split and emit movsicc patterns.



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

* crontab: Disable snapshots from gcc-4_6-branch.
* update_version_svn: Ignore gcc-4_6-branch.


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

2013-04-12 Janus Weil <janus@gcc.gnu.org>

PR fortran/56261
* gfortran.h (gfc_explicit_interface_required): New prototype.
* expr.c (gfc_check_pointer_assign): Check if an explicit interface is
required in a proc-ptr assignment.
* interface.c (check_result_characteristics): Extra check.
* resolve.c (gfc_explicit_interface_required): New function.
(resolve_global_procedure): Use new function
'gfc_explicit_interface_required'. Do a full interface check.


2013-04-12 Janus Weil <janus@gcc.gnu.org>

PR fortran/56261
* gfortran.dg/auto_char_len_4.f90: Add -pedantic. Changed error.
* gfortran.dg/assumed_rank_4.f90: Modified error wording.
* gfortran.dg/block_11.f90: Fix invalid test case.
* gfortran.dg/function_types_3.f90: Add new error message.
* gfortran.dg/global_references_1.f90: Ditto.
* gfortran.dg/import2.f90: Remove unneeded parts.
* gfortran.dg/import6.f90: Fix invalid test case.
* gfortran.dg/proc_decl_2.f90: Ditto.
* gfortran.dg/proc_decl_9.f90: Ditto.
* gfortran.dg/proc_decl_18.f90: Ditto.
* gfortran.dg/proc_ptr_40.f90: New.
* gfortran.dg/whole_file_7.f90: Modified error wording.
* gfortran.dg/whole_file_16.f90: Ditto.
* gfortran.dg/whole_file_17.f90: Add -pedantic.
* gfortran.dg/whole_file_18.f90: Modified error wording.
* gfortran.dg/whole_file_20.f03: Ditto.
* gfortran.fortran-torture/execute/intrinsic_associated.f90: Fix
invalid test case.


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

2013-04-12 Greta Yorsh <Greta.Yorsh@arm.com>

* config/arm/arm.c (gen_operands_ldrd_strd): Initialize "base".



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

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

* makeutl.adb, prj-nmsc.adb: Minor reformatting.

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

* exp_util.adb (Make_Invariant_Call): Use Check_Kind instead
of Check_Enabled.
* gnat_rm.texi (Check_Policy): Update documentation for new
Check_Policy syntax.
* sem_prag.adb (Check_Kind): Replaces Check_Enabled
(Analyze_Pragma, case Check_Policy): Rework to accomodate new
syntax (like Assertion_Policy).
* sem_prag.ads (Check_Kind): Replaces Check_Enabled.



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

Update dependencies.


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

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

* init.c (SS$_CONTROLC, SS$_CONTINUE) [VMS]: New macros.
(__gnat_handle_vms_condition) [VMS]: Dispatch on the Crtl/C user
handler if installed.
* ctrl_c.c (__gnat_install_int_handler)
[VMS]: Install a dummy sigaction handler to trigger the real
user handler dispatch in init.c/__gnat_handle_vms_condition.
(__gnat_uninstall_int_handler) [VMS]: Likewise.

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

* clean.adb (Parse_Cmd_Line): Set Directories_Must_Exist_In_Projects
to False if switch is specified.
* makeutl.adb (Initialize_Source_Record): Do not look for the
object file if there is no object directory.
* opt.ads (Directories_Must_Exist_In_Projects): New Boolean
variable, defaulted to True.
* prj-nmsc.adb (Check_Library_Attributes): Do not fail if library
directory does not exist when Directories_Must_Exist_In_Projects is
False.
(Get_Directories): Do not fail when the object or the exec directory
do not exist when Directories_Must_Exist_In_Projects is False.



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

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

* namet.adb, namet.ads: Minor addition (7 arg version of Nam_In).
* exp_prag.adb, sem_ch3.adb, sem_intr.adb, sem_type.adb, exp_util.adb,
sem_aux.adb, exp_ch9.adb, sem_ch7.adb, sem_ch10.adb, sem_prag.adb,
par-ch2.adb, tbuild.adb, rtsfind.adb, freeze.adb, sem_util.adb,
sem_res.adb, sem_attr.adb, exp_ch2.adb, prj-makr.adb, sem_elab.adb,
exp_ch4.adb, sem_ch4.adb, sem_mech.adb, sem_ch6.adb, par-prag.adb,
prj-nmsc.adb, exp_disp.adb, sem_ch8.adb, sem_warn.adb, par-util.adb,
sem_eval.adb, exp_intr.adb, sem_ch13.adb, exp_cg.adb, lib-xref.adb,
sem_disp.adb, exp_ch3.adb: Minor code reorganization (use Nam_In).

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

* init.c: Don't clobber condition code on VMS.



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

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

* exp_aggr.adb: Minor reformatting.
* namet.ads, namet.adb (Nam_In): New functions.



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

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

* einfo.adb (Has_Dynamic_Predicate_Aspect): New flag.
(Has_Static_Predicate_Aspect): New flag.
* einfo.ads (Has_Dynamic_Predicate_Aspect): New flag.
(Has_Static_Predicate_Aspect): New flag.
* exp_ch9.adb: Minor reformatting.
* exp_util.adb (Make_Invariant_Call): Check_Enabled now handles
synonyms.
* gnat1drv.adb: Remove setting of Debug_Pragmas_Enabled,
since this switch is gone and control of Debug is done with
Assertions_Enabled.
* gnat_rm.texi: Update documentation for Assertion_Policy and
Check_Policy pragmas.
* opt.adb (Debug_Pragmas_Disabled[_Config]): Removed
(Debug_Pragmas_Enabled[_Config]): Removed Since debug now
controlled by Assertion_Enabled.
* opt.ads (Debug_Pragmas_Disabled[_Config]): Removed
(Debug_Pragmas_Enabled[_Config]): Removed Since debug now
controlled by Assertion_Enabled.
* par-ch2.adb (Scan_Pragma_Argument_Association): Allow new
'Class forms.
* sem_attr.adb: Minor reformatting.
* sem_ch13.adb (Analyze_Aspect_Specification): Disable aspect
if DISABLE policy applies.
* sem_ch6.adb (Grab_PPC): Check original name of aspect for
aspect from pragma (Process_PPCs): Properly check assertion policy.
* sem_prag.adb (Check_Enabled): Rewritten for new Assertion_Policy
(Check_Appicable_Policy): New procedure.
(Is_Valid_Assertion_Kind): New function.
(Rewrite_Assertion_Kind): New procedure.
(Analyze_Pragma): Handle case of disabled assertion pragma.
(Analyze_Pragma, case Assertion_Policy): Rewritten for Ada 2012.
(Analyze_Pragma, case Check): Deal with 'Class possibilities.
(Analyze_Pragma, case Check_Policy): Deal with 'Class possibilities.
(Analyze_Pragma, case Contract_Class): New handling of ignored pragma.
(Analyze_Pragma, case Debug): New control with Assertion_Policy.
(Analyze_Pragma, case Debug_Policy): Now consistent with
Assertion_Policy.
(Analyze_Pragma, case Loop_Invariant): New handling of ignored
pragma.
(Analyze_Pragma, case Loop_Variant): New handling of ignored pragma.
(Analyze_Pragma, case Precondition): Use proper name for Check pragma.
(Analyze_Pragma, case Check_Enabled): Rewritten for new policy stuff.
* sem_prag.ads (Check_Enabled): Rewritten for new
Assertion_Policy stuff.
(Check_Appicable_Policy): New procedure.
* sinfo.adb (Is_Disabled): New flag.
(Is_Ignored): New flag.
* sinfo.ads (Is_Disabled): New flag.
(Is_Ignored): New flag.
(N_Pragma_Argument_Association): New 'Class forms.
* snames.ads-tmpl: New names Name_uPre, Name_uPost,
Name_uType_Invariant, Name_uInvariant.
* switch-c.adb: Remove setting of Debug_Pragmas_Enabled for -gnata.
* tree_io.ads (ASIS_Version_Number): Updated (remove
read write of obsolete flags Debug_Pragmas_Disabled and
Debug_Pragmas_Enabled.

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

* exp_aggr.adb (Get_Explicit_Discriminant_Value): Subsidiary
of Build_Record_Aggr_Code, used to retrieve explicit values
for inherited discriminants in an extension aggregate, when the
ancestor type is unconstrained.



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

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

* sem_attr.adb (Check_Stream_Attribute): If restriction
No_Default_Stream_Attributes is active, it is illegal to use a
predefined elementary type stream attribute either by itself,
or more importantly as part of the attribute subprogram for a
composite type. However, if the broader restriction No_Streams
is active, then stream operations are not generated, and there
is no error.

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

* gnatbind.adb: Minor reformatting.



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

2013-04-12 Bob Duff <duff@adacore.com>

* sem_attr.adb (Analyze_Access_Attribute): Treat P'Access like a
call only in the static elaboration model.



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

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

* sem_prag.adb (Analyze_Input_List): Detect an illegal dependency
clause where both input and output lists are null.
(Analyze_Pragma): Update the grammar of pragma Depends.

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

* gnatbind.adb (No_Restriction_List): Exclude restrictions that
take a parameter value, not a count.
* prj.ads, prj.adb (Remove_All_Restricted_Languages): New procedure.
* projects.texi: Complete documentation of attribute Roots.

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

* exp_ch3.adb, exp_util.ads, checks.adb, freeze.adb, sem_attr.adb,
sem_ch3.adb: Minor reformatting.
* exp_ch4.adb (Size_In_Storage_Elements): Minor documentation
improvement: note that the computation is pessimistic for bit
packed arrays.
* gnat_rm.texi (Range_Length): Fix minor error in description
of attribute.



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

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

* aspects.adb (Find_Aspect): New routine.
(Find_Value_Of_Aspect): New routine.
(Has_Aspect): Reimplemented.
* aspects.ads (Find_Aspect): New routine.
(Find_Value_Of_Aspect): New routine, previously known as Find_Aspect.
* exp_ch5.adb (Expand_Iterator_Loop): Update the call to Find_Aspect.
* exp_util.adb (Is_Iterated_Container): Update the call to Find_Aspect.
* sem_ch4.adb (Try_Container_Indexing): Update calls to Find_Aspect.
* sem_ch5.adb (Analyze_Iterator_Specification): Update
the call to Find_Aspect. Use function Has_Aspect for better
readability.
(Preanalyze_Range): Use function Has_Aspect for better readability.
* sem_ch13.adb (Check_One_Function): Update the call to Find_Aspect.
* sem_prag.adb (Analyze_Pragma): There is no longer need to
look at the parent to extract the corresponding pragma for
aspect Global.



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

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

* checks.adb, sem_elab.adb, repinfo.adb, sem_ch4.adb, restrict.adb,
restrict.ads: Minor reformatting.

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

* lib-xref.adb: Retrieve original name of classwide type if any.

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

* exp_ch11.ads: Minor reformatting.



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

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

* aspects.adb: Alphabetize subprogram bodies in this unit. Add
an entry for Aspect_Ghost in the table of canonical aspects.
(Has_Aspect): New routine.
* aspects.ads: Add Aspect_Ghost to all relevant
tables. Alphabetize subprograms in this unit.
(Has_Aspect): New routine.
* einfo.adb: Add with and use clauses for Aspects.
(Is_Ghost_Function): New routine.
* einfo.ads: Add new synthesized attribute Is_Ghost_Function and
update the structure of the related nodes.
(Is_Ghost_Function): New routine.
* exp_ch4.adb (Find_Enclosing_Context): Use routine
Is_Body_Or_Package_Declaration to terminate a search.
(Is_Body_Or_Unit): Removed.
* exp_util.adb (Within_Case_Or_If_Expression): Use routine
Is_Body_Or_Package_Declaration to terminate a search.
* par-prag.adb: Add pragma Ghost to the list of pragmas that do
not need special processing by the parser.
* sem_attr.adb (Analyze_Access_Attribute): Detect an
illegal use of 'Access where the prefix is a ghost function.
(Analyze_Attribute): Use routine Is_Body_Or_Package_Declaration
to terminate a search. (Check_References_In_Prefix): Use routine
Is_Body_Or_Package_Declaration to terminate a search.
* sem_ch4.adb (Analyze_Call): Mark a function when it appears
inside an assertion expression. Verify the legality of a call
to a ghost function.
(Check_Ghost_Function_Call): New routine.
* sem_ch6.adb (Analyze_Function_Call): Code reformatting. Move
the setting of attribute In_Assertion_Expression to Analyze_Call.
(Check_Overriding_Indicator): Detect an illegal attempt to
override a function with a ghost function.
* sem_ch12.adb (Preanalyze_Actuals): Detect an illegal use of
a ghost function as a generic actual.
* sem_elab.adb (Check_Internal_Call_Continue): Update the call
to In_Assertion.
* sem_prag.adb: Add an entry for pragma Ghost in the table
of significant arguments.
(Analyze_Pragma): Do not analyze
an "others" case guard. Add processing for pragma Ghost. Use
Preanalyze_Assert_Expression when analyzing the expression of
pragmas Loop_Invariant and Loop_Variant.
* sem_util.adb (Get_Subprogram_Entity): Reimplemented.
(Is_Body_Or_Package_Declaration): New routine.
* sem_util.ads: Alphabetize subprotrams in this unit.
(Is_Body_Or_Package_Declaration): New routine.
* sinfo.adb (In_Assertion): Rename to In_Assertion_Expression.
(Set_In_Assertion): Rename to Set_In_Assertion_Expression.
* sinfo.ads: Rename flag In_Assertion to In_Assertion_Expression
to better reflect its use. Update all places that mention the flag.
(In_Assertion): Rename to In_Assertion_Expression. Update
related pragma Inline. (Set_In_Assertion): Rename to
Set_In_Assertion_Expression. Update related pragma Inline.
* snames.ads-tmpl: Add new predefined name Ghost. Add new pragma
id Pragma_Ghost.



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

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

* sem_prag.adb (Set_Imported): Do not generate error for multiple
Import in CodePeer mode.
* s-rident.ads: Fix minor typo.

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

* checks.adb (Insert_Valid_Check): Do not insert validity check
in the body of the generated predicate function, to prevent
infinite recursion.



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

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

* s-rident.ads: Add various missing Ada 2012 restrictions:
No_Access_Parameter_Allocators, No_Coextensions,
No_Use_Of_Attribute, No_Use_Of_Pragma.
* snames.ads-tmpl: Add corresponding names.
* restrict.ads restrict.adb: Subprograms and data structures to
handle aspects No_Use_Of_Attribute and No_Use_Of_Pragma.
* sem_ch4.adb: Correct name of restrictions is
No_Standard_Allocators_After_Elaboration.
* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Check
violation of restriction No_Use_Of_Attribute.
* sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Set restrictions No_Use_Of_Pragma and No_Use_Of_Attribute.
(Analyze_Pragma): Check violation of restriction No_Use_Of_Pragma.
* sem_res.adb: Check restrictions No_Access_Parameter_Allocators
and No_Coextensions.
* bcheck.adb: Correct name of restrictions is
No_Standard_Allocators_After_Elaboration.
* gnatbind.adb: Correct name of restrictions is
No_Standard_Allocators_After_Elaboration.



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