PR target/55445
* raise-gcc.c (__SEH__): Additional check that
SjLj isn't active.

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

2013-04-23  Shiva Chen  <shiva0217@gmail.com>

        * lra-assigns.c (find_hard_regno_for): Use lra_reg_val_equal_p
        to check the register content is equal or not.
        * lra-constraints.c (match_reload): Use lra_assign_reg_val
        to assign register content record.
        * lra-eliminations.c (update_reg_eliminate): Use
lra_update_reg_val_offset to update register content offset.
        * lra-int.h (struct lra_reg): Add offset member.
        (lra_reg_val_equal_p): New static inline function.
        (lra_update_reg_val_offset): New static inline function.
        (lra_assign_reg_val): New static inline function.
        * lra.c (lra_create_new_reg): Use lra_assign_reg_val
        to assign register content record.
        (initialize_lra_reg_info_element): Initial offset to zero.

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

2013-04-23  Catherine Moore  <clm@codesourcery.com>

* config/mips/mips.md (*movhi_internal, *movqi_internal): New
operands.  Record compression.

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

Support slim switch for cfg graph dump

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

2013-04-23  Eric Botcazou  <ebotcazou@adacore.com>
    Pascal Obry    <obry@adacore.com>

* gcc-interface/Makefile.in (targ): Fix target name check.
(../../gnatmake$(exeext)): Add '+' for LTO.
(../../gnatlink$(exeext)): Likewise.

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

Update dependencies.

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

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

* exp_ch9.adb (Build_PPC_Wrapper): Correct the traversal of
pre- and post-conditions.
(Expand_N_Task_Type_Declaration):
Use the correct attribute to check for pre- and post-conditions.
* exp_ch13.adb (Expand_N_Freeze_Entity): Correct the traversal of
pre- and post-conditions.  Analyze delayed classification items.
* freeze.adb (Freeze_Entity): Use the correct attribute to
check for pre- and post- conditions.
* sem_ch3.adb (Analyze_Declarations): Correct the traversal
of pre- and post-conditions as well as contract- and
test-cases. Analyze delayed pragmas Depends and Global.
* sem_ch6.adb (Check_Subprogram_Contract): Use the correct
attribute to check for pre- and post-conditions, as well as
contract-cases and test-cases. (List_Inherited_Pre_Post_Aspects):
Correct the traversal of pre- and post- conditions.
(Process_Contract_Cases): Update the comment on usage. Correct
the traversal of contract-cases.
(Process_Post_Conditions): Update the comment on usage. Correct the
traversal of pre- and post-conditions.
(Process_PPCs): Correct the traversal of pre- and post-conditions.
(Spec_Postconditions): Use the correct
attribute to check for pre- and post- conditions, as well as
contract-cases and test-cases.
* sem_ch13.adb (Analyze_Aspect_Specifications): Reimplement the
actions related to aspects Depends and Global. Code refactoring
for pre- and post-conditions.
(Insert_Delayed_Pragma): New routine.
* sem_prag.adb (Add_Item): New routine.
(Analyze_Depends_In_Decl_Part): New routine.
(Analyze_Global_In_Decl_Part): New routine.
(Analyze_Pragma): Reimplement the actions related to aspects Depends and
Global. Verify that a body acts as a spec for pragma Contract_Cases.
(Chain_PPC): Use Add_Contract_Item to chain a pragma.
(Chain_CTC): Correct the traversal of contract-
and test-cases. Use Add_Contract_Item to chain a pragma.
(Chain_Contract_Cases): Correct the traversal of contract-
and test-cases. Use Add_Contract_Item to chain a pragma.
(Check_Precondition_Postcondition): Update the comment on usage.
(Check_Test_Case): Update the comment on usage.
* sem_prag.ads (Analyze_Depends_In_Decl_Part): New routine.
(Analyze_Global_In_Decl_Part): New routine.
* sem_util.ads, sem_util.adb (Add_Contract_Item): New routine.
* sinfo.adb (Classifications): New routine.
(Contract_Test_Cases): New routine.
(Pre_Post_Conditions): New routine.
(Set_Classifications): New routine.
(Set_Contract_Test_Cases): New routine.
(Set_Pre_Post_Conditions): New routine.
(Set_Spec_CTC_List): Removed.
(Set_Spec_PPC_List): Removed.
(Spec_CTC_List): Removed.
(Spec_PPC_List): Removed.
* sinfo.ads: Update the structure of N_Contruct along with all
related comments.
(Classifications): New routine and pragma Inline.
(Contract_Test_Cases): New routine and pragma Inline.
(Pre_Post_Conditions): New routine and pragma Inline.
(Set_Classifications): New routine and pragma Inline.
(Set_Contract_Test_Cases): New routine and pragma Inline.
(Set_Pre_Post_Conditions): New routine and pragma Inline.
(Set_Spec_CTC_List): Removed.
(Set_Spec_PPC_List): Removed.
(Spec_CTC_List): Removed.
(Spec_PPC_List): Removed.

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

* init.c (GNAT$STOP) [VMS]: Bump sigargs[0] count by 2
to account for LIB$STOP not having the chance to add the PC and
PSL fields.

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

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

* sem_ch13.adb: Minor code reorganization (remove some redundant
assignments).
* sem_ch3.adb, sem_prag.adb: Minor reformatting.

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

2013-04-23  Yannick Moy  <moy@adacore.com>

* einfo.ads: Minor typo fix.
* sem_ch13.adb (Build_Predicate_Functions): Reject cases where
Static_Predicate is applied to a non-scalar or non-static type.
* sem_prag.adb: Minor typo fix.

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

* init.c (GNAT$STOP) [VMS]: New function.

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

* sem_ch3.adb: Add exp_pakd to context.
(Constrain_Component_Type): If the component of the parent is
packed, and the record subtype being built is already frozen,
as is the case for an itype, the component type itself will not
be frozen, and the packed array type for it must be constructed
explicitly.

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

* g-socket.adb, g-socket.ads (Set_Close_On_Exec): New subprogram.

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

2013-04-23  Yannick Moy  <moy@adacore.com>

* err_vars.ads (Error_Msg_Qual_Level): Set variable to zero
at declaration.
* opt.ads (Multiple_Unit_Index): Set variable to zero at declaration.
* sem_util.adb (NCT_Table_Entries): Set variable to zero at declaration.
* set_targ.ads (Num_FPT_Modes): Set variable to zero at declaration.
* stylesw.adb (Save_Style_Check_Options): Protect testing the
value of Style_Check_Comments_Spacing by a previous test that
Style_Check_Comments is True.

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

* sem_prag.adb, sem_prag.ads (Effective_Name): Rename to
Original_Name, and move declaration to package body as this
subprogram is not used from outside. Also clarify documentation.

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

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

* exp_ch6.adb (Expand_N_Subprogram_Body): When compiling with
initialize_scalars, disable predicate checks on the generated
assignment to an out scalar parameter.

2013-04-23  Gary Dismukes  <dismukes@adacore.com>

* sem_ch4.adb (Analyze_Allocator): Remove error
check for "constrained in partial view" constraints entirely.

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

* einfo.ads, sem_prag.ads: Minor reformatting.
* errout.ads: Comment update.

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

2013-04-23  Richard Biener  <rguenther@suse.de>

PR middle-end/57036
* tree-inline.c (copy_edges_for_bb): Add can_make_abnormal_goto
parameter, only add abnormal goto edges from the copied body
if the call could perform abnormal gotos.
(copy_cfg_body): Adjust.

* gcc.dg/torture/pr57036-1.c: New testcase.
* gcc.dg/torture/pr57036-2.c: Likewise.

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

gcc/
* config/aarch64/aarch64.md (*mov<mode>_aarch64): Add simd attribute.

testsuite/
* gcc.target/aarch64/scalar-mov.c: New test.

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

2013-04-23  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/s390/sjlj.S: New file.
* config/s390/target.h: New file.
* configure.tgt: Set options for S/390.

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

2013-04-23  Yannick Moy  <moy@adacore.com>

* exp_ch5.adb: Minor typo.

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

* gnat_ugn.texi: Fix typo.

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

* einfo.ads: Minor documentation clarification.

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

* types.ads: Fix incorrect comment.

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

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

* sem_aux.adb sem_aux.ads (Effectively_has_Constrained_Partial_View):
Rename subprogram as Object_Type_Has_Constrained_Partial_View, better
description of purpose.
* checks.adb (Apply_Discriminant_Check): Use above renaming.
* sem_ch4.adb (Analyze_Allocator): Check Has_Constrained_Partial_View
of the base type, rather than using the Object_Type predicate.
* sem_attr.adb (Analyze_Attribute, case 'Access): Use above renaming.
* sem_util.adb (Is_Dependent_Component_Of_Mutable_Object): ditto.
* exp_attr.adb (Expand_N_Attribute_Reference, case 'Constrained): Ditto.
* exp_ch4.adb (Expand_N_Allocator): Ditto.

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

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

* exp_prag.adb (Expand_Pragma_Check): Check for Assert rather
than Assertion.
* sem_prag.adb (Is_Valid_Assertion_Kind): Moved to spec
(Effective_Name): New function (Analyze_Pragma, case Check):
Disallow [Statement_]Assertions (Check_Kind): Implement
Statement_Assertions (Check_Applicable_Policy): Use Effective_Name
(Is_Valid_Assertion_Kind): Allow Statement_Assertions.
* sem_prag.ads (Is_Valid_Assertion_Kind): Moved here from body
(Effective_Name): New function.
* sem_res.adb: Minor reformatting.
* snames.ads-tmpl (Name_Statement_Assertions): New entry.
* gnat_rm.texi: Add documentation of new assertion kind
Statement_Assertions.

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

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

* sinfo.ads, einfo.adb, sem_res.adb, exp_ch6.adb, aspects.adb: Minor
reformatting and code clean up.

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

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

* prj-part.ads, prj-conf.ads: Minor comment updates.

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

* einfo.adb (Predicate_Function): For a private type, retrieve
predicate function from full view.
* aspects.adb (Find_Aspect): Ditto.
* exp_ch6.adb (Expand_Actuals): If the formal is class-wide and
the actual is a definite type, apply predicate check after call.
* sem_res.adb: Do not apply a predicate check before the call to
a generated Init_Proc.

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

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

* sem_ch13.adb (Analyze_Aspect_Specifications): Significant
rewrite to make sure Is_Ignore is properly captured when aspect
is declared.
* sem_ch6.adb: Minor reformatting.
* sem_prag.adb (Analyze_Pragma): Do not test policy at time of
pragma for the case of a pragma coming from an aspect (already
tested when we analyzed the aspect).

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

* prj-conf.adb (Parse_Project_And_Apply_Config): New
Boolean parameter Implicit_Project, defaulted to False. Call
Prj.Part.Parse with Implicit_Project.
* prj-conf.ads (Parse_Project_And_Apply_Config): New Boolean
parameter Implicit_Project, defaulted to False.
* prj-part.adb (Parse_Single_Project): New Boolean parameter
Implicit_Project, defaulted to False. When Implicit_Project is
True, change the Directory of the project node to the Current_Dir.
* prj-part.ads (Parse): New Boolean parameter, defaulted to False

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

* exp_util.adb: Minor reformatting.

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

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

* xoscons.adb: Minor reformatting.

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

* sem_prag.adb (Check_Mode): Ensure that a
self-referential output appears in both input and output lists of
the subprogram as categorized by aspect Global.
(Check_Usage): Rename formal parameters to better illustrate their
function. Update all uses of the said formals.

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

* exp_util.adb, exp_util.ads (Fully_Qualified_Name_String): New
parameter Append_NUL to make NUL-termination optional.
* exp_dist.adb: Consistently use the above throughout instead of
Get_Library_Unit_Name_String.

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

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

* sem_util.adb, sem_res.adb, prj-tree.adb, prj-tree.ads: Minor
reformatting.

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

* xoscons.adb: Remove unused use clause, minor code clean-up.

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

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

* sem_util.ads, sem_util.adb: Code cleanup for Is_Expression_Function
(can apply to any scope entity).
* sem_res.adb (Resolve_Call):  If the call is within another
expression function it does not constitute a freeze point.

2013-04-23  Yannick Moy  <moy@adacore.com>

* exp_ch6.adb (Expand_Actuals): Test that Subp
is overloadable before testing if it's an inherited operation.

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

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

* a-envvar.adb, a-envvar.ads, exp_util.adb, sem_ch12.adb: Minor
reformatting.

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

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

* sem_ch3.adb (Analyze_Object_Declarations): Undo previous patch.
* exp_util.adb (Expand_Subtype_From_Expr): If the expression
is a source entity and the declaration is for an aliased
unconstrained array, create a new subtype so that the flag
Is_Constr_Subt_For_UN_Aliased does not pollute other entities.

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

* aspects.adb: Move tables Base_Aspect and Inherited_Aspect
from the spec to the body.
(Find_Aspect): Update the call to Get_Aspect_Id.
(Get_Aspect_Id): New version that takes an aspect specification.
* aspects.ads: Reorganize all aspect related tables.
(Get_Aspect_Id): New version that takes an aspect specification.
* par_sco.adb (Traverse_Aspects): Update the call to Get_Aspect_Id.
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Update
the call to Get_Aspect_Id.
* sem_ch13.adb (Analyze_Aspect_At_Freeze_Point): Update the
call to Get_Aspect_Id. (Analyze_Aspect_Specifications): Update
the call to Get_Aspect_Id. Update the call to Impl_Defined_Aspect.

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

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

* sem_prag.adb (Fix_Error): Rewrite to do more accurate job
of getting proper name in the case where pragma comes from
aspect.
* sem_ch3.adb, sinfo.ads, par-ch6.adb, exp_ch6.adb: Minor reformatting.

2013-04-23  Yannick Moy  <moy@adacore.com>

* sem_ch6.adb (Process_PPCs): Do not filter postconditions based on
applicable policy.

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

* par_sco.adb (Traverse_Aux_Decls): Minor code reorganization.

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

* init.c: Move facility macros outside IN_RTS.

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

* freeze.adb (Freeze_Entity): For the case of a bit-packed
array time that is known at compile time to have more that
Integer'Last+1 elements, issue an error, since such arrays are
not supported.

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

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

* sem_prag.adb (Analyze_Dependency_Clause): Update all calls to
Analyze_Input_Output.
(Analyze_Input_List): Update all calls to Analyze_Input_Output.
(Analyze_Input_Output): Add formal parameter Self_Ref along with
comment on its usage. Update all calls to Analyze_Input_Output.
(Analyze_Pragma): Add new local variable Self_Ref to capture
the presence of a self-referential dependency clause. Update
all calls to Analyze_Input_Output.
(Check_Mode): Add formal parameter Self_Ref along with comment on its
usage. Verify the legality of a self-referential output.

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

* exp_ch6.adb: Add predicate checks on by-copy parameter.

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

* a-envvar.adb, a-envvar.ads (Value): New.

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

* coretypes.h (gimple_stmt_iterator): Add struct to make
compatible with C.

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

2013-04-23  Richard Biener  <rguenther@suse.de>

PR tree-optimization/57026
* tree-vrp.c (simplify_conversion_using_ranges): Do not propagate
from SSA names occuring in abnormal PHI nodes.

* gcc.dg/torture/pr57026.c: New testcase.

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

Fix lto report names

Some of the hash tables in lto-report are misnamed in the report.
Fix this up.

gcc/:

2013-04-22  Andi Kleen  <ak@linux.intel.com>

* lto/lto.c (print_lto_report_1): Fix LTO report names.

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

Print lto report at the right place

The LTO report is currently printed when the type merging hash tables
are already destroyed, which makes them always show up as empty.
Print it earlier. Right now it's printed twice.

gcc/:

2013-04-22  Andi Kleen  <ak@linux.intel.com>

* lto/lto.c (print_lto_report_1): Declare early.
(read_cgraph_and_symbols): Call print_lto_report_1 early.

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

Add -flto-report-wpa

-flto-report is useful, but it prints for every LTRANS pass and
is very noisy and the main problem is often in WPA only.

Add a new -flto-report-wpa option that is only printed for WPA.

gcc/:

2013-04-22  Andi Kleen  <ak@linux.intel.com>

* common.opt (-flto-report-wpa): Add.
* doc/invoke.texi (-flto-report-wpa): Add.
* lto/lto.c (do_whole_program_analysis): Check for lto-report-wpa.
(lto_main): dito.

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

Improve pointer hash function to include all bits

The hashtab pointer hash function is not very good. It throws most of the
bits in the pointer away.

This changes pointer_hash to use the mix code from jhash function that mixes
all the bits on the pointer and makes them dependent on each other, before doing
the modulo.

libiberty/:

2013-04-22  Andi Kleen <ak@linux.intel.com>

* hashtab.c (hash_pointer): Move to end of file and reimplement.

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

* src/c++11/hashtable_c++0x.cc: Include ext/aligned_buffer.h.

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

Daily bump.

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

Display profile info in graph cfg dump

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

2013-04-22  Catherine Moore  <clm@codesourcery.com>
            David Daney <ddaney.cavm@gmail.com>

        * configure.ac (gcc_cv_as_micromips_support):  Use the
        --fatal-warnings option.
        * configure: Regenerate.

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

Core 1586
* parser.c (cp_parser_unqualified_id): Handle ~auto.
(cp_parser_pseudo_destructor_name): Likewise.
(cp_parser_postfix_dot_deref_expression): Adjust.
(cp_lexer_nth_token_is_keyword): New.
* semantics.c (finish_pseudo_destructor_expr): Handle ~auto.
* typeck.c (lookup_destructor): Handle ~auto.

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

gcc/cp/
* pt.c (fn_type_unification): Push tinst level around
type_unification_real if we aren't explaining.
* cp-tree.h (TFF_NO_TEMPLATE_BINDINGS): New.
* error.c (dump_function_decl): Respect it.
(subst_to_string): Pass it.
libstdc++-v3/
* testsuite/lib/prune.exp (libstdc++-dg-prune): Also ignore "In
substitution" lines.

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

PR c++/48665
* rtti.c (get_typeid): Diagnose qualified function type.
* pt.c (tsubst) [POINTER_TYPE]: Likewise.

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

* error.c (dump_aggr_type): Fix lambda detection.
(dump_simple_decl): Pretty-print capture field.

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

2013-04-22  François Dumont  <fdumont@gcc.gnu.org>

* include/bits/hashtable_policy.h: Add C++11 allocator support.
* include/bits/hashtable.h: Likewise.
* include/bits/unordered_set.h: Likewise.
* include/bits/unordered_map.h: Likewise.
* include/debug/unordered_set: Likewise.
* include/debug/unordered_map: Likewise.
* include/std/unordered_set: Remove bits/algobase.h
include. Replace bits/alloc_traits.h by ext/alloc_traits.h.
* include/std/unordered_map: Likewise.
* include/ext/throw_allocator.h: Add checks on calls to allocator
construct/destroy.
(std::hash<__gnu_cxx::throw_value_limit>): Add conditional throw.
(std::hash<__gnu_cxx::throw_value_random>): Likewise.
* testsuite/util/regression/rand/priority_queue
/container_rand_regression_test.tcc: Adapt.
* testsuite/util/regression/rand/assoc
/container_rand_regression_test.tcc: Likewise.
* testsuite/util/testsuite_counter_type.h: Add count of destructors.
* testsuite/23_containers/unordered_set
/not_default_constructible_hash_neg.cc: Adjust dg-error line number.
* testsuite/23_containers/unordered_set/instantiation_neg.cc: Likewise.
* testsuite/23_containers/unordered_set/allocator/copy.cc: New.
* testsuite/23_containers/unordered_set/allocator/copy_assign.cc: New.
* testsuite/23_containers/unordered_set/allocator/minimal.cc: New.
* testsuite/23_containers/unordered_set/allocator/move_assign.cc: New.
* testsuite/23_containers/unordered_set/allocator/noexcept.cc: New.
* testsuite/23_containers/unordered_set/allocator/swap.cc: New.
* testsuite/23_containers/unordered_multiset/allocator/copy.cc: New.
* testsuite/23_containers/unordered_multiset/allocator/copy_assign.cc:
New.
* testsuite/23_containers/unordered_multiset/allocator/minimal.cc: New.
* testsuite/23_containers/unordered_multiset/allocator/move_assign.cc:
New.
* testsuite/23_containers/unordered_multiset/allocator/noexcept.cc: New.
* testsuite/23_containers/unordered_multiset/allocator/swap.cc: New.
* testsuite/23_containers/unordered_map/allocator/copy.cc: New.
* testsuite/23_containers/unordered_map/allocator/copy_assign.cc: New.
* testsuite/23_containers/unordered_map/allocator/minimal.cc: New.
* testsuite/23_containers/unordered_map/allocator/move_assign.cc: New.
* testsuite/23_containers/unordered_map/allocator/noexcept.cc:
New.
* testsuite/23_containers/unordered_map/allocator/swap.cc: New.
* testsuite/23_containers/unordered_multimap/allocator/copy.cc: New.
* testsuite/23_containers/unordered_multimap/allocator/copy_assign.cc:
New.
* testsuite/23_containers/unordered_multimap/allocator/minimal.cc: New.
* testsuite/23_containers/unordered_multimap/allocator/move_assign.cc:
New.
* testsuite/23_containers/unordered_multimap/allocator/noexcept.cc: New.
* testsuite/23_containers/unordered_multimap/allocator/swap.cc: New.

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

N3323

* cvt.c (build_expr_type_conversion): Two conversions that return
the same type aren't necessarily ambiguous.

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

N3648

* parser.c (cp_parser_lambda_introducer): Make lambda capture init
pedwarn unconditional except in C++1y mode.

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

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

PR fortran/53685
PR fortran/57022
* check.c (gfc_calculate_transfer_sizes): Fix for array-valued SOURCE
expressions.
* simplify.c (gfc_simplify_sizeof,gfc_simplify_storage_size): Get rid
of special treatment for EXPR_ARRAY.
* target-memory.h (gfc_element_size): New prototype.
* target-memory.c (size_array): Remove.
(gfc_element_size): New function.
(gfc_target_expr_size): Modified to always return the full size of the
expression.

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

PR fortran/53685
PR fortran/57022
* gfortran.dg/transfer_check_4.f90: New.

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

* semantics.c (potential_constant_expression_1): Don't crash on
'this' in NSDMI.

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

Core 1612
* semantics.c (finish_id_expression): Reject capture of anonymous
union member.

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

Core 1609
* decl2.c (check_default_args): Check for pack expansion.

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

* mangle.c (write_type): Mangle decltype(auto).

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

* testsuite/ChangeLog: Fix whitespace.

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

PR sanitizer/56990
* tsan.c (instrument_expr): Don't instrument expression
in case its size is zero.

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

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

PR target/57032
Revert:
2013-03-17  Uros Bizjak  <ubizjak@gmail.com>

* config/alpha/alpha.c (TARGET_LRA_P): New define.

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

2013-04-22  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/type_traits (is_signed): Simplify.
* testsuite/20_util/make_signed/requirements/typedefs_neg.cc:
Adjust dg-error line numbers.
* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
Likewise.
* testsuite/20_util/declval/requirements/1_neg.cc: Likewise.

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

[Mid-end] Add TARGET_GIMPLE_FOLD_BUILTIN target hook.

gcc/

* coretypes.h (gimple_stmt_iterator_d): Forward declare.
(gimple_stmt_iterator): New typedef.
* gimple.h (gimple_stmt_iterator): Rename to...
(gimple_stmt_iterator_d): ... This.
* doc/tm.texi.in (TARGET_FOLD_BUILTIN): Detail restriction that
trees be valid for GIMPLE and GENERIC.
(TARGET_GIMPLE_FOLD_BUILTIN): New.
* gimple-fold.c (gimple_fold_call): Call target hook
gimple_fold_builtin.
* hooks.c (hook_bool_gsiptr_false): New.
* hooks.h (hook_bool_gsiptr_false): New.
* target.def (fold_stmt): New.
* doc/tm.texi: Regenerate.

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

2013-04-22  Paolo Carlini  <paolo.carlini@oracle.com>

N3669
* include/std/complex (complex<float>::real, complex<float>::imag,
complex<double>::real, complex<double>::imag,
complex<long double>::real, complex<long double>::imag): Declare
as const member functions.
* include/std/type_traits (integral_constant<>::operator value_type):
Likewise.

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

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

PR target/57018
* lra-eliminations.c (mark_not_eliminable): Prevent elimination of
a set sp if no stack realignment.

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

PR target/57018
* gcc.target/i386/pr57018.c: New test.

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

* config.gcc (tilegx-linux): Extend extra_objs rather than
overwriting it.
(tilepro-linux): Likewise.

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

[AArch64] Map standard pattern names to NEON intrinsics directly.

gcc/
* config/aarch64/aarch64-builtins.c
(CF): Remove.
(CF0, CF1, CF2, CF3, CF4, CF10): New.
(VAR<1-12>): Add MAP parameter.
(BUILTIN_*): Likewise.
* config/aarch64/aarch64-simd-builtins.def: Set MAP parameter.
* config/aarch64/aarch64-simd.md (aarch64_sshl_n<mode>): Remove.
(aarch64_ushl_n<mode>): Likewise.
(aarch64_sshr_n<mode>): Likewise.
(aarch64_ushr_n<mode>): Likewise.
(aarch64_<maxmin><mode>): Likewise.
(aarch64_sqrt<mode>): Likewise.
* config/aarch64/arm_neon.h (vshl<q>_n_*): Use new builtin names.
(vshr<q>_n_*): Likewise.

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

[AArch64] Support vrecp<esx> neon intrinsics in RTL.

gcc/
* config/aarch64/aarch64-builtins.c
(aarch64_simd_builtin_type_mode): Handle SF types.
(sf_UP): Define.
(BUILTIN_GPF): Define.
(aarch64_init_simd_builtins): Handle SF types.
* config/aarch64/aarch64-simd-builtins.def (frecpe): Add support.
(frecps): Likewise.
(frecpx): Likewise.
* config/aarch64/aarch64-simd.md
(simd_types): Update simd_frcp<esx> to simd_frecp<esx>.
(aarch64_frecpe<mode>): New.
(aarch64_frecps<mode>): Likewise.
* config/aarch64/aarch64.md (unspec): Add UNSPEC_FRECP<ESX>.
(v8type): Add frecp<esx>.
(aarch64_frecp<FRECP:frecp_suffix><mode>): New.
(aarch64_frecps<mode>): Likewise.
* config/aarch64/iterators.md (FRECP): New.
(frecp_suffix): Likewise.
* config/aarch64/arm_neon.h
(vrecp<esx><qsd>_<fd><32, 64>): Convert to using builtins.

gcc/testsuite/
* gcc.target/aarch64/vrecps.c: New.
* gcc.target/aarch64/vrecpx.c: Likewise.

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

2013-04-22  Yannick Moy  <moy@adacore.com>

* exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as
null statement if ignored.
* sem_ch6.adb (Expand_Contract_Cases): Do nothing if pragma is ignored.
* sem_prag.adb (Analyze_Pragma): Keep analyzing ignored pragmas.

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

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

* sem_prag.adb (Analyze_Contract_Case): New routine.
(Analyze_Pragma): Aspect/pragma Contract_Cases can
now be associated with a library level subprogram.
Add circuitry to detect illegal uses of aspect/pragma Contract_Cases
in a subprogram body.
(Chain_Contract_Cases): Rename formal parameter Subp_Decl to
Subp_Id. Remove local constant Subp. The entity of the subprogram
is now obtained via the formal paramter.

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

* sem_ch3.adb (Analyze_Object_Declaration): Do not set
Is_Constr_Subt_For_Unc_Aliased on the subtype of the expression,
if the expression is a source entity.

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

2013-04-22  Yannick Moy  <moy@adacore.com>

* exp_prag.adb, sinfo.ads, sem_prag.ads: Minor correction of typos in
comments.
* sem_ch6.adb (Expand_Contract_Cases): Add location to message.

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

* sem_prag.adb (Fix_Error): For a pragma rewritten from another
pragma, fix up error message to include original pragma name.
* par_sco.adb: Minor reformatting.

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

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

* sem_prag.adb, sem_util.adb, sem_util.ads, sem_res.adb, exp_ch6.adb,
sem_ch6.adb, opt.ads: Minor reformatting.

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

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

* exp_ch6.adb: Omit check for init proc.

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

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

* gnat_ugn.texi, prj-nmsc.adb, projects.texi: Add check for
Library_Standalone and Library_Kind.

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

* exp_ch6.adb (Expand_Actuals): If the call is to an
inherited operation and the actual is a by-reference type with
predicates, add predicate call to post-call actions.
* sem_util.adb (Is_Inherited_Operation_For_Type): Fix coding
error: a type declaration has a defining identifier, not an Etype.
* sem_res.adb: Restore code removed because of above error.

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

* init.c (__gnat_handle_vms_condition): Also match C$_SIGINT.

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

2013-04-22  Yannick Moy  <moy@adacore.com>

* gnat_rm.texi, exp_util.adb, sem_prag.adb, sem_prag.ads, par-ch2.adb,
opt.ads, sem_ch13.adb: Minor correction of typos in comments/doc.

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

* prj-nmsc.adb (Check_Library_Attributes): Set Library_Dir to
No_Path_Information only when Directories_Must_Exist_In_Projects
is False.
(Get_Directories): Set Object_Directory
or Exec_Directory to No_Path_Information only when
Directories_Must_Exist_In_Projects is False.

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

2013-04-22  Yannick Moy  <moy@adacore.com>

* par-prag.adb, sem_attr.adb, sem_ch6.adb, sem_prag.adb, sem_warn.adb,
snames.ads-tmpl, sinfo.ads, sem_util.ads: Remove all references to
Pragma_Contract_Case and Name_Contract_Case.

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

2013-04-22  Yannick Moy  <moy@adacore.com>

* aspects.ads, aspects.adb, sem_ch13.adb: Removal of references to
Contract_Case.
* gnat_ugn.texi, gnat_rm.texi Description of Contract_Case replaced by
description of Contract_Cases.

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

2013-04-22  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/57010
* include/bits/stl_heap.h (pop_heap): Avoid self move-assignment.
* testsuite/25_algorithms/pop_heap/57010.cc: New.

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

fix date

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

2013-04-18  Christian Bruel  <christian.bruel@st.com>

       PR target/56995
       * config/sh/sh.h (enum reg_class): Remove DF_HI_REGS.
       (REG_CLASS_NAMES): Idem.
       (REG_CLASS_CONTENTS): Idem.
       (REGCLASS_HAS_FP_REG): Idem.
       * config/sh/sh.c (sh_cannot_change_mode_class): Idem.
       (sh_conditional_register_usage): Idem.

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

* tree-ssa-forwprop.c (simplify_conversion_from_bitmask): New function.
(ssa_forward_propagate_and_combine): Use it.

* gcc.dg/tree-ssa/forwprop-26.c: New test.

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

Daily bump.

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

2013-04-21  Evgeniy Stepanov  <eugenis@google.com>

* src/c++11/system_error.cc (generic_category_instance): Add
initializer.
(system_category_instance): Likewise.
* src/c++11/future.cc (__fec): Likewise.

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

Daily bump.

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

* doc/xml/manual/extensions.xml: Fix anachronism.

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

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

        PR fortran/56907
        * trans-intrinsic.c (conv_isocbinding_function): Don't pack
        * array
        passed to C_LOC

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

        PR fortran/56907
        * gfortran.dg/c_loc_test_22.f90: New.

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

Daily bump.

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

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

* lra.c: Update the flow chart diagram.

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

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

PR rtl-optimization/56847
* lra-constraints.c (process_alt_operands): Discourage alternative
with non-matche doffsettable memory constraint fro memory with
known offset.

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

N3638 changes to return type deduction

* decl.c (undeduced_auto_decl): New.
(require_deduced_type): New.
(fndecl_declared_return_type): New.
(decls_match): Use it.
(duplicate_decls): Don't check for auto return.
(grokdeclarator): Reject virtual auto.
* class.c (resolve_address_of_overloaded_function): Handle
auto function templates.
* decl2.c (mark_used): Use undeduced_auto_decl, require_deduced_type.
* cp-tree.h: Declare new fns.
* error.c (dump_function_decl): Use fndecl_declared_return_type.
* search.c (check_final_overrider): Likewise.
* pt.c (make_decltype_auto): New.
(do_auto_deduction): Require plain decltype(auto).
(is_auto): Adjust.

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

DR 941
* decl.c (duplicate_decls): Don't propagate DECL_DELETED_FN to
template specializations.

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

2013-04-19  Richard Biener  <rguenther@suse.de>

PR tree-optimization/56982
* builtins.def (BUILT_IN_LONGJMP): longjmp is not a leaf
function.
* gimplify.c (gimplify_call_expr): Notice special calls.
(gimplify_modify_expr): Likewise.
* tree-cfg.c (make_abnormal_goto_edges): Handle setjmp-like
abnormal control flow receivers.
(call_can_make_abnormal_goto): Handle cfun->calls_setjmp
in the same way as cfun->has_nonlocal_labels.
(gimple_purge_dead_abnormal_call_edges): Likewise.
(stmt_starts_bb_p): Make setjmp-like abnormal control flow
receivers start a basic-block.

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

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

2013-04-19  Richard Biener  <rguenther@suse.de>

* tree-vectorizer.h (struct _slp_instance): Move load_permutation
member ...
(struct _slp_tree): ... here.  Make it a vector of unsigned ints.
(SLP_INSTANCE_LOAD_PERMUTATION): Remove.
(SLP_TREE_LOAD_PERMUTATION): Add.
(vect_transform_slp_perm_load): Adjust prototype.
* tree-vect-slp.c (vect_free_slp_tree): Adjust.
(vect_free_slp_instance): Likewise.
(vect_create_new_slp_node): Likewise.
(vect_supported_slp_permutation_p): Remove.
(vect_slp_rearrange_stmts): Adjust.
(vect_supported_load_permutation_p): Likewise.  Inline
vect_supported_slp_permutation_p here.
(vect_analyze_slp_instance): Compute load permutations per
slp node instead of per instance.
(vect_get_slp_defs): Adjust.
(vect_transform_slp_perm_load): Likewise.
(vect_schedule_slp_instance): Remove redundant code.
(vect_schedule_slp): Remove hack for PR56270, add it ...
* tree-vect-stmts.c (vectorizable_load): ... here, do not
CSE loads for SLP.  Adjust.

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

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

* config/arm/arm.c (load_multiple_sequence, ldm_stm_operation_p): Fix
spelling in two comments.

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

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

PR target/56797
* config/arm/arm.c (load_multiple_sequence): Require SP
as base register for loads if SP is in the register list.

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

libgcc/

* config/aarch64/sfp-machine.h (_FP_W_TYPE): Change to define
as 'unsigned long long' instead of 'unsigned long'.
(_FP_WS_TYPE): Change to define as 'signed long long' instead of
'signed long'.

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

2013-04-19  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/56718
* ipa-cp.c (ipa_value_from_known_type_jfunc): Moved...
* ipa-prop.c (ipa_binfo_from_known_type_jfunc): ...here, renamed
and made public.  Adjusted all callers.
(ipa_intraprocedural_devirtualization): New function.
* ipa-prop.h (ipa_binfo_from_known_type_jfunc): Declare.
(ipa_intraprocedural_devirtualization): Likewise.
* Makefile.in (tree-ssa-pre.o): Add ipa-prop.h to dependencies.

testsuite/
* g++.dg/ipa/imm-devirt-1.C: New test.
* g++.dg/ipa/imm-devirt-2.C: Likewise.

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

2013-04-19  Richard Biener  <rguenther@suse.de>

PR tree-optimization/57000
* tree-ssa-reassoc.c (pass_reassoc): Add TODO_update_ssa_only_virtuals.

* gcc.dg/tree-ssa/reassoc-27.c: New testcase.

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

2013-04-19  Thomas Koenig  <tkoenig@gcc.gnu.org>
    Mikael Morin  <mikael@gcc.gnu.org>

PR fortran/56872
* frontend-passes.c (copy_walk_reduction_arg): Change argument type
to gfc_constructor.  If it has an iterator, wrap the copy of its
expression in an array constructor with that iterator.  Don't special
case function expressions.
(callback_reduction): Update caller.  Don't return early if there is
an iterator.

2013-04-19  Thomas Koenig  <tkoenig@gcc.gnu.org>
    Mikael Morin  <mikael@gcc.gnu.org>

PR fortran/56872
* gfortran.dg/array_constructor_45.f90:  New test.
* gfortran.dg/array_constructor_46.f90:  New test.
* gfortran.dg/array_constructor_47.f90:  New test.
* gfortran.dg/array_constructor_40.f90:  Adjust number of
while loops.

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

* config/arm/cortex-m4-fpu.md (cortex_m4_v): Delete cpu unit.
Replace with ...
(cortex_m4_v_a,  cortex_m4_v_b): ... new cpu units.
(cortex_m4_v, cortex_m4_exa_va, cortex_m4_exb_vb): New reservations.
(cortex_m4_fmacs): Use new reservations.
(cortex_m4_f_load, cortex_m4_f_store): Likewise.

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

Fixing PR number in Changelogs

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

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

PR rtl-optimization/56992
* lra-coalesce.c (coalescable_pseudo_p): Remove 2nd parameter and
related code.
(lra_coalesce): Remove split_origin_bitmap and related code.
* lra.c (lra): Coalesce after undoing inheritance.  Recreate live
ranges if necessary.

2013-04-18  Jakub Jelinek  <jakub@redhat.com>

PR rtl-optimization/56992
* g++.dg/opt/pr56999.C: New test.

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

Daily bump.

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

* validate_failures.py: Fix typo.

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

* config/i386/predicates.md (call_rex64_ms_sysv_operation): Fix comment.

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

* config/i386/i386.c (x86_64_ms_sysv_extra_clobbered_registers):
New array.
(ix86_expand_call): Remove clobbered_registers array and use
x86_64_ms_sysv_extra_clobbered_registers instead.
* config/i386/i386.h (x86_64_ms_sysv_extra_clobbered_registers):
Declare here.
* config/i386/predicates.md (call_rex64_ms_sysv_operation): New
predicate.
* config/i386/i386.md (*call_rex64_ms_sysv): Use
call_rex64_ms_sysv_operation predicate.  Remove explicit clobbers.
(*call_value_rex64_ms_sysv): Ditto.

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

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

        * expr.c (find_array_element): Don't copy expr.
        * data.c (create_character_initializer): Free expr.
        * frontend-passes.c (combine_array_constructor): Ditto.
        * match.c (match_typebound_call, gfc_match_select_type): Ditto.
        * resolve.c (resolve_typebound_function): Free gfc_ref.

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

gcc/
* dwarf2out.c (output_pubnames): Check die_perennial_p of
parent instead of die_mark.

gcc/testsuite/
* g++.dg/debug/dwarf2/pubnames-2.C: Add -fno-debug-types-section.
* g++.dg/debug/dwarf2/pubnames-3.C: New test case.

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

Loosen check for build directory.

* validate_failures.py: Loosen check for build directory.
State what failed if we couldn't find the source tree or
the target triplet.

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