[PATCH][DOC]Fix an obvious type in md.texi

2015-03-03  Renlin Li  <renlin.li@arm.com>

gcc/

* doc/md.texi (@item ^): ChangeLog ? into ^.

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

Regenerate doc/tm.texi

* doc/tm.texi: Regenerated.

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

Turn RETURN_ADDR_IN_PREVIOUS_FRAME into C expression

This allows a target to support both windowed and non-windowed ABI.

2015-03-03  Max Filippov  <jcmvbkbc@gmail.com>

gcc/
* builtins.c (expand_builtin_return_addr): Add
RETURN_ADDR_IN_PREVIOUS_FRAME to 'if' condition, remove
surrounding #ifdef.
* config/sparc/sparc.h (RETURN_ADDR_IN_PREVIOUS_FRAME): Change
definition to 1.
* config/xtensa/xtensa.h (RETURN_ADDR_IN_PREVIOUS_FRAME):
Likewise.
* defaults.h (RETURN_ADDR_IN_PREVIOUS_FRAME): Define to 0 if
undefined.
* doc/tm.texi.in (RETURN_ADDR_IN_PREVIOUS_FRAME): Update
paragraph.

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

2015-03-03  Joern Rennecke  <gnu@amylaar.uk>

        * MAINTAINERS (CPU Port Maintainers): Update my email address.

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

2015-03-03  Martin Jambor  <mjambor@suse.cz>
            Eric Botcazou  <ebotcazou@adacore.com>

gcc/
        * tree-sra.c (ipa_sra_check_caller_data): New type.
        (has_caller_p): Removed.
        (ipa_sra_check_caller): New function.
        (ipa_sra_preliminary_function_checks): Use it.

gcc/changelog/
        * gnat.dg/specs/pack12.ads: New test.

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

ICF: Use bit or instead of if branch.

* ipa-icf.c (sem_item_optimizer::merge_classes): Use bit or
instead of if branch.

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

Fix PR ipa/65282.

* gcc.dg/ipa/PR65282.c: New test.
PR ipa/65282
* ipa-icf.c (sem_variable::equals): Fix wrong condition.

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

PR tree-optimization/65241
* tree-ssa-dom.c (lookup_avail_expr): Only modify the avail_expr
hash table if INSERT is true.

PR tree-optimization/65241
* gcc.c-torture/compile/pr65241.c: New test.

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

PR target/65296
* config.gcc (extra_gcc_objs) [avr-*-rtems*]: Remove.

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

gcc/
PR target/64331
* config/avr/avr.c (context.h, tree-pass.h): Include them.
(avr_pass_data_recompute_notes): New static variable.
(avr_pass_recompute_notes): New class.
(avr_register_passes): New static function.
(avr_option_override): Call it.
gcc/testsuite/
PR target/64331
* gcc.target/avr/torture/pr64331.c: New test.

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

gcc/
Fix various problems with specs file generation.
PR target/65296
* config.gcc (extra_gcc_objs) [avr]: Remove.
* config/avr/driver-avr.c: Remove file.
* config/avr/t-avr (driver-avr.o): Remove rule.
(gen-avr-mmcu-specs): Use CXX_FOR_BUILD, CXXFLAGS_FOR_BUILD and
INCLUDES to build.  Depend on TM_H.
* config/avr/gen-avr-mmcu-specs.c: Tidy up code.  Fix various
build warnings.  Fix non-matching types and non-existing %-codes.
(tm.h): Include.
(*lib) [!WITH_AVRLIBC]: Don't link libdev.a.
(*libgcc) [WITH_AVRLIBC]: Add "-lm".
* config/avr/avrlibc.h (LIBGCC_SPEC): Remove definition.
* config/avr/avr.h (DRIVER_SELF_SPECS): Fix handling of -march=.
(CPP_SPEC, CC1PLUS_SPEC, ASM_SPEC, LINK_SPEC, LIB_SPEC)
(LIBGCC_SPEC): Remove definitions.

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

* config/ia64/ia64.c (expand_vec_perm_interleave_2): Use gen_raw_REG
to create a register in testing mode.

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

Fix PR ipa/65263.

PR ipa/65263
* cgraph.c (cgraph_node::has_thunk_p): New function.
* cgraph.h (cgraph_node::has_thunk_p: Likewise.
* ipa-icf.c (redirect_all_callers): Do not redirect thunks.
(sem_function::merge): Assert is changed.
* g++.dg/ipa/pr65263.C: New test.

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

Fix PR ipa/65087.

PR ipa/65087
* ipa-icf.c (sem_item_optimizer::execute): Change function
return value to boolean.
(sem_item_optimizer::merge_classes): Likewise.
(ipa_icf_driver): Return TODO_remove_functions in case there's
a merge operation processed.
* ipa-icf.h: Change function return value to boolean.

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

2015-03-02  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR 65138/target
* config/rs6000/rs6000-cpus.def (powerpc64le): Add new generic
processor type for 64-bit little endian PowerPC.

* config/rs6000/rs6000.c (rs6000_option_override_internal): If
-mdebug=reg, print TARGET_DEFAULT.  Fix logic to use
TARGET_DEFAULT if there is no default cpu.  Fix -mdebug=reg
printing built-in mask so it does not pass NULL pointers.

* doc/invoke.texi (IBM RS/6000 and PowerPC options): Document
-mcpu=powerpc64le.

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

Daily bump.

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

2015-03-02  Steve Ellcey  <sellcey@imgtec.com>

PR target/58158
* config/mips/mips.md (mov<mode>cc): Change ISA_HAS_SEL check to
!ISA_HAS_FP_CONDMOVE.

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

* config/i386/i386.md (*udivmod<mode>4_pow2): Remove
reload_completed.

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

    * doc/invoke.texi (Options for Code Generation Conventions):
        Fix URL of DSO paper.

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

PR ipa/65130
* ipa-inline.c (check_callers): Looks for recursion.
(inline_to_all_callers): Give up on uninlinable or recursive edges.
* ipa-inline-analysis.c (inline_summary_t::duplicate): Do not update
summary of inline clones.
(do_estimate_growth_1): Fix recursion check.

* gcc.dg/lto/pr65130_0.c: New testcase.
* gcc.dg/lto/pr65130_1.c: New testcase.

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

PR ipa/64988
* ipa-inline-transform.c (clone_inlined_nodes): Do not dissolve
comdat groups.
* g++.dg/torture/pr64988.C: New testcase.

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

2015-03-02  Tobias Burnus  <burnus@net-b.de>

        * check.c (gfc_check_atomic): Properly check for coarrayness
        and for being coindexed.

2015-03-02  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/coarray_atomic_6.f90: New.

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

PR lto/65276
* ipa-devirt.c (add_type_duplicate): Remove odr_violated assert
when checking TYPE_BINFO.

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

PR libgcc/64885
* gthr-single.h: Use __unused__ attribute instead of unused.
* config/gthr-vxworks.h: Likewise.
* config/i386/gthr-win32.h: Likewise.

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

PR libstdc++/65279
* include/std/scoped_allocator (__inner_type_impl,
scoped_allocator_adaptor): Add defaulted copy assignment and move
assignment operators.
* testsuite/20_util/scoped_allocator/65279.cc: New.

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

PR libstdc++/64367
* include/std/stdexcept (__sso_string): Don't use non-static member
in sizeof.

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

2015-03-02  Richard Biener  <rguenther@suse.de>

PR ipa/65270
* ipa-icf-gimple.c: Include builtins.h.
(func_checker::compare_memory_operand): Compare base alignment.

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

2015-03-02  Robert Dewar  <dewar@adacore.com>

* scng.adb (Scan): Ignore illegal character in relaxed
semantics mode.

2015-03-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Analyze_Set_Membership); Retain Overloaded flag
on left operand, so it can be properly resolved with type of
alternatives of right operand.
* sem_res.adb (Resolve_Set_Membership): Handle properly an
overloaded left-hand side when the alternatives on the right
hand side are literals of some universal type. Use first
non-overloaded alternative to find expected type.

2015-03-02  Ed Schonberg  <schonberg@adacore.com>

* exp_ch7.adb (Make_Set_Finalize_Address_Call): Use underlying
type to retrieve designated type, because the purported access
type may be a partial (private) view, when it is declared in
the private part of a nested package, and finalization actions
are generated when completing compilation of enclosing unit.

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

2015-03-02  Robert Dewar  <dewar@adacore.com>

* back_end.adb (Call_Back_End): Remove previous patch,
the back end now gets to see the result of -gnatd.1
(Unnest_Subprogram_Mode) processing.
* elists.ads, elists.adb (List_Length): New function.
* exp_unst.ads, exp_unst.adb: Major changes, first complete version.
* sem_util.adb (Check_Nested_Access): Handle formals in
Unnest_Subprogram_Mode.
(Adjust_Named_Associations): Minor reformatting.
* sprint.adb (Sprint_Node_Actual): Fix failure to print aliased
for parameters.

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

2015-03-02  Robert Dewar  <dewar@adacore.com>

* atree.ads, atree.adb (Uint24): New function
(Set_Uint24): New procedure.
* atree.h (Uint24): New macro for field access.
* back_end.adb (Call_Back_End): For now, don't call back end
if unnesting subprogs.
* einfo.adb (Activation_Record_Component): New field
(Subps_Index): New field.
* einfo.ads (Activation_Record_Component): New field
(Subps_Index): New field Minor reordering of comments into alpha order.
* exp_unst.ads, exp_unst.adb: Continued development.

2015-03-02  Gary Dismukes  <dismukes@adacore.com>

* exp_disp.ads: Minor reformatting.

2015-03-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Chain_Use_Clause): Do not chain use clause from
ancestor to list of use clauses active in descendant unit if we
are within the private part of an intervening parent, to prevent
circularities in use clause list.

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

2015-03-02  Javier Miranda  <miranda@adacore.com>

* exp_ch9.adb (Build_Corresponding_Record): Propagate type
invariants to the corresponding record type.
* exp_disp.ad[sb] (Set_DT_Position_Value): New subprogram
which sets the value of the DTC_Entity associated with a given
primitive of a tagged type and propagates the value to the
wrapped subprogram.
(Set_DTC_Entity_Value): Propagate the DTC
value to the wrapped entity.
* sem_ch13.adb (Build_Invariant_Procedure): Append the code
associated with invariants of progenitors.
* sem_ch3.adb (Build_Derived_Record_Type): Inherit type invariants
of parents and progenitors.
(Process_Full_View): Check hidden inheritance of class-wide type
invariants.
* sem_ch7.adb (Analyze_Package_Specification): Do not generate
the invariant procedure for interface types; build the invariant
procedure for tagged types inheriting invariants from their
progenitors.
* sem_prag.adb (Pragma_Invariant) Allow invariants in interface
types but do not build their invariant procedure since their
invariants will be propagated to the invariant procedure of
types covering the interface.
* exp_ch6.adb, exp_disp.adb, sem_ch3.adb, sem_ch7.adb,
sem_ch8.adb, sem_disp.adb: Replace all calls to Set_DT_Position
by calls to Set_DT_Position_Value.

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

2015-03-02  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.adb (Analyze_Attribute): Factor out heavily indented
code in Denote_Same_Function.  Do not analyze attribute 'Result
when it is inside procedure _Postconditions.  Remove a misplaced
warning diagnostic. Code cleanup.
(Denote_Same_Function): New routine.
* sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Code
cleanup. Warn on pre/postconditions on an inlined subprogram.
(Analyze_Pragma, Refined_Post case): Warn on pre/postconditions on
an inlined subprogram.
(Analyze_Pre_Post_Condition_In_Decl_Part): Code cleanup. Warn on
pre/post condition on an inlined subprogram.
(Analyze_Test_Case_In_Decl_Part): Code cleanup. Warn on
pre/postconditions on an inlined subprogram.
(Check_Postcondition_Use_In_Inlined_Subprogram): New routine.

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

2015-03-02  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Ensure_Aggregate_Form):
Ensure that the name denoted by the Chars of a pragma argument
association has the proper Sloc when converted into an aggregate.

2015-03-02  Bob Duff  <duff@adacore.com>

* sem_ch6.adb (Check_Private_Overriding): Capture
Incomplete_Or_Partial_View in a constant. This is cleaner and
more efficient.

2015-03-02  Gary Dismukes  <dismukes@adacore.com>

* einfo.ads, exp_unst.ads: Minor reformatting.

2015-03-02  Ed Schonberg  <schonberg@adacore.com>

* a-strsea.adb (Find_Token): Ensure that the range of iteration
does not perform any improper character access. This prevents
erroneous access in the unusual case of an empty string target
and a From parameter less than Source'First.

2015-03-02  Robert Dewar  <dewar@adacore.com>

* elists.adb (List_Length): Fix incorrect result.

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

2015-03-02  Bob Duff  <duff@adacore.com>

* sem_ch6.adb (Check_Private_Overriding): Refine the legality
checks here. It used to check that the function is merely
overriding SOMEthing. Now it checks that the function is
overriding a corresponding public operation. This is a correction
to the implementation of the rule in RM-3.9.3(10).

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

2015-03-02  Robert Dewar  <dewar@adacore.com>

* debug.adb: Document new debug flag -gnatd.1.
* einfo.ads, einfo.adb (Has_Nested_Subprogram): New flag.
(Has_Uplevel_Reference): New flag (Is_Static_Type): New flag.
(Uplevel_Reference_Noted):New flag (Uplevel_References): New field.
* elists.ads elists.adb (List_Length): New function.
* exp_ch6.adb (Expand_N_Subprogram_Body): Call Unnest_Subprogram
when appropriate (Process_Preconditions): Minor code
reorganization and reformatting
* exp_unst.ads, exp_unst.adb: New files.
* gnat1drv.adb (Adjust_Global_Switches): Set
Unnest_Subprogram_Mode if -gnatd.1
* namet.ads, namet.adb (Name_Find_Str): New version of Name_Find with
string argument.
* opt.ads (Unnest_Subprogram_Mode): New flag.
* par-ch3.adb (P_Identifier_Declarations): Fixes to -gnatd.2 handling.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set
Has_Nested_Subprogram flag.
* sem_ch8.adb (Find_Direct_Name): New calling sequence for
Check_Nested_Access.
(Find_Selected_Component): Minor comment addition.
* sem_util.adb (Check_Nested_Access): New version for use with Exp_Unst.
(Note_Possible_Modification): New calling sequence for
Check_Nested_Access.
* sem_util.ads (Check_Nested_Access): New version for use with Exp_Unst.
* gcc-interface/Make-lang.in (GNAT1_OBJS): Add exp_unst.o

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

2015-03-02  Pierre-Marie de Rodat  <derodat@adacore.com>

* gcc-interface/utils.c (gnat_pushdecl): For non-artificial pointer
types, preserve the original type and create copies just like the C
front-end does.  For artificial ones, do not define a name for
the original type.
(create_type_decl): When gnat_pushdecl made the input type the
original type for the new declaration, do not define a stub
declaration for it.
* gcc-interface/utils2.c (build_binary_op): Accept two different
pointer types when they point to the same type.

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

2015-03-02  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_util.adb (Possible_Bit_Aligned_Component): Do not process
an unanalyzed node.
* sem_util.adb (Kill_Current_Values): Do not invalidate and
de-null a constant.

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

gcc/

PR target/65184
* gcc/config/i386/i386.c (ix86_pass_by_reference) Bounds
are never passed by reference.

gcc/testsuite/

PR target/65184
* gcc.target/i386/pr65184.c: New.

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

gcc/

PR target/65183
* tree-chkp.c (chkp_check_lower): Don't check against
zero bounds for already instrumented functions.
(chkp_check_upper): Likewise.
(chkp_fini): Clean pass local data to avoid wrong reusage.

gcc/testsuite/

PR target/65183
* gcc.target/i386/pr65183.c: New.

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

* MAINTAINERS (Various Maintainers): Add myself as libmpx,
pointer bounds checker and i386 MPX maintainer.

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

2015-03-02  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, exp_attr.adb, checks.adb, exp_aggr.adb: Minor
reformatting.

2015-03-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb: extend use of Available_Subtype.

2015-03-02  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Duplication_Error): Remove the special handling
of 'Class or _Class in the context of pre/postconditions.
(Process_Class_Wide_Condition): Remove the special handling of
'Class or _Class in the context of pre/postconditions.
* sem_util.adb (Original_Aspect_Pragma_Name): Names Pre_Class
and Post_Class no longer need to be converted to _Pre and _Post.
* sem_util.ads (Original_Aspect_Pragma_Name): Update the comment
on usage.

2015-03-02  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch6.adb (Process_Preconditions): Modify the
mechanism that find the first source declaration to correct exit
the loop once it has been found.

2015-03-02  Gary Dismukes  <dismukes@adacore.com>

* a-strsea.adb: Minor typo fix.

2015-03-02  Bob Duff  <duff@adacore.com>

* einfo.ads: Minor comment fixes.

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

2015-03-02  Gary Dismukes  <dismukes@adacore.com>

* einfo.adb, checks.adb: Minor reformatting and typo fixes.

2015-03-02  Ed Schonberg  <schonberg@adacore.com>

* exp_aggr.adb (Get_Assoc_Expr): If the Default_Component_Value
is defined for the array type, use it instead of a Default_Value
specified for the component type itself.

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

2015-03-02  Thomas Quinot  <quinot@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference, case Input): When
expanding a 'Input attribute reference for a class-wide type,
do not generate a separate object declaration for the controlling
tag dummy object; instead, generate the expression inline in the
dispatching call. Otherwise, the declaration (which involves a
call to String'Input, returning a dynamically sized value on the
secondary stack) will be expanded outside of proper secondary
stack mark/release operations, and will thus cause a secondary
stack leak.

2015-03-02  Hristian Kirtchev  <kirtchev@adacore.com>

* checks.adb (Add_Validity_Check): Change the names of all
formal parameters to better illustrate their purpose. Update
the subprogram documentation. Update all occurrences of the
formal parameters. Generate a pre/postcondition pragma by
calling Build_Pre_Post_Condition.
(Build_PPC_Pragma): Removed.
(Build_Pre_Post_Condition): New routine.
* einfo.adb Node8 is no longer used as Postcondition_Proc. Node14
is now used as Postconditions_Proc. Flag240 is now renamed to
Has_Expanded_Contract. (First_Formal): The routine can now
operate on generic subprograms.
(First_Formal_With_Extras): The routine can now operate on generic
subprograms.
(Has_Expanded_Contract): New routine.
(Has_Postconditions): Removed.
(Postcondition_Proc): Removed.
(Postconditions_Proc): New routine.
(Set_Has_Expanded_Contract): New routine.
(Set_Has_Postconditions): Removed.
(Set_Postcondition_Proc): Removed.
(Set_Postconditions_Proc): New routine.
(Write_Entity_Flags): Remove the output of Has_Postconditions. Add
the output of Has_Expanded_Contract.
(Write_Field8_Name): Remove the output of Postcondition_Proc.
(Write_Field14_Name): Add the output of Postconditions_Proc.
* einfo.ads New attributes Has_Expanded_Contract and
Postconditions_Proc along with occurrences in entities.
Remove attributes Has_Postconditions and Postcondition_Proc
along with occurrences in entities.
(Has_Expanded_Contract): New routine along with pragma Inline.
(Has_Postconditions): Removed along with pragma Inline.
(Postcondition_Proc): Removed along with pragma Inline.
(Postconditions_Proc): New routine along with pragma Inline.
(Set_Has_Expanded_Contract): New routine along with pragma Inline.
(Set_Has_Postconditions): Removed along with pragma Inline.
(Set_Postcondition_Proc): Removed along with pragma Inline.
(Set_Postconditions_Proc): New routine along with pragma Inline.
* exp_ch6.adb (Add_Return): Code cleanup. Update the
generation of the call to the _Postconditions routine of
the procedure. (Expand_Non_Function_Return): Reformat the
comment on usage. Code cleanup.  Update the generation of
the call to the _Postconditions routine of the procedure or
entry [family].
(Expand_Simple_Function_Return): Update the
generation of the _Postconditions routine of the function.
(Expand_Subprogram_Contract): Reimplemented.
* exp_ch6.ads (Expand_Subprogram_Contract): Update the parameter
profile along the comment on usage.
* exp_ch9.adb (Build_PPC_Wrapper): Code cleanup.
(Expand_N_Task_Type_Declaration): Generate pre/postconditions
wrapper when the entry [family] has a contract with
pre/postconditions.
* exp_prag.adb (Expand_Attributes_In_Consequence): New routine.
(Expand_Contract_Cases): This routine and its subsidiaries now
analyze all generated code.
(Expand_Old_In_Consequence): Removed.
* sem_attr.adb Add with and use clause for Sem_Prag.
(Analyze_Attribute): Reimplment the analysis of attribute 'Result.
(Check_Use_In_Test_Case): Use routine Test_Case_Arg to obtain
"Ensures".
* sem_ch3.adb (Analyze_Declarations): Analyze the contract of
a generic subprogram.
(Analyze_Object_Declaration): Do not create a contract node.
(Derive_Subprogram): Do not create a contract node.
* sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Do
not create a contract node.
(Analyze_Completion_Contract): New routine.
(Analyze_Function_Return): Alphabetize.
(Analyze_Generic_Subprogram_Body): Alphabetize. Do not create a
contract node. Do not copy pre/postconditions to the original
generic template.
(Analyze_Null_Procedure): Do not create a contract node.
(Analyze_Subprogram_Body_Contract): Reimplemented.
(Analyze_Subprogram_Body_Helper): Do not mark the enclosing scope
as having postconditions. Do not create a contract node. Analyze
the subprogram body contract of a body that acts as a compilation
unit. Expand the subprogram contract after the declarations have
been analyzed.
(Analyze_Subprogram_Contract): Reimplemented.
(Analyze_Subprogram_Specification): Do not create a contract node.
(List_Inherited_Pre_Post_Aspects): Code cleanup.
* sem_ch6.adb (Analyze_Subprogram_Body_Contract): Update the
comment on usage.
(Analyze_Subprogram_Contract): Update the
parameter profile and the comment on usage.
* sem_ch7.adb (Analyze_Package_Body_Helper): Do not create a
contract node.
(Analyze_Package_Declaration): Do not create a
contract node.
(Is_Subp_Or_Const_Ref): Ensure that the prefix has an entity.
* sem_ch8.adb (Analyze_Subprogram_Renaming): Do not create a
contract node.
* sem_ch9.adb (Analyze_Entry_Declaration): Do not create a
contract node.
* sem_ch10.adb (Analyze_Compilation_Unit): Move local variables to
their proper section and alphabetize them. Analyze the contract of
a [generic] subprogram after all Pragmas_After have been analyzed.
(Analyze_Subprogram_Body_Stub_Contract): Alphabetize.
* sem_ch12.adb (Analyze_Generic_Package_Declaration): Do not
create a contract node.
(Analyze_Generic_Subprogram_Declaration):
Alphabetize local variables. Do not create a contract
node. Do not generate aspects out of pragmas for ASIS.
(Analyze_Subprogram_Instantiation): Instantiate
the contract of the subprogram.  Do not create a
contract node. (Instantiate_Contract): New routine.
(Instantiate_Subprogram_Body): Alphabetize local variables.
(Save_Global_References_In_Aspects): New routine.
(Save_References): Do not save the global references found within
the aspects of a generic subprogram.
* sem_ch12.ads (Save_Global_References_In_Aspects): New routine.
* sem_ch13.adb (Analyze_Aspect_Specifications): Do not use
Original_Node for establishing linkages.
(Insert_Pragma): Insertion in a subprogram body takes precedence over
the case where the subprogram body is also a compilation unit.
* sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Use
Get_Argument to obtain the proper expression. Install the generic
formals when the related context is a generic subprogram.
(Analyze_Depends_In_Decl_Part): Use Get_Argument to obtain
the proper expression. Use Corresponding_Spec_Of to obtain
the spec. Install the generic formal when the related context
is a generic subprogram.
(Analyze_Global_In_Decl_Part): Use Get_Argument to obtain the proper
expression. Use Corresponding_Spec_Of to obtain the spec. Install the
generic formal when the related context is a generic subprogram.
(Analyze_Initial_Condition_In_Decl_Part): Use Get_Argument
to obtain the proper expression. Remove the call to
Check_SPARK_Aspect_For_ASIS as the analysis is now done
automatically.
(Analyze_Pragma): Update all occurrences
to Original_Aspect_Name. Pragmas Contract_Cases, Depends,
Extensions_Visible, Global, Postcondition, Precondition and
Test_Case now carry generic templates when the related context
is a generic subprogram. The same pragmas are no longer
forcefully fully analyzed when the context is a subprogram
that acts as a compilation unit. Pragmas Abstract_State,
Initial_Condition, Initializes and Refined_State have been clean
up. Pragmas Post, Post_Class, Postcondition, Pre, Pre_Class
and Precondition now use the same routine for analysis. Pragma
Refined_Post does not need to check the use of 'Result or
the lack of a post-state in its expression. Reimplement the
analysis of pragma Test_Case.
(Analyze_Pre_Post_Condition): New routine.
(Analyze_Pre_Post_Condition_In_Decl_Part):
Reimplemented.
(Analyze_Refined_Depends_In_Decl_Part): Use Get_Argument to obtain the
proper expression.
(Analyze_Refined_Global_In_Decl_Part): Use Get_Argument to obtain
the proper expression.
(Analyze_Test_Case_In_Decl_Part): Reimplemented.
(Check_Pre_Post): Removed.
(Check_Precondition_Postcondition): Removed.
(Check_SPARK_Aspect_For_ASIS): Removed.
(Check_Test_Case): Removed.
(Collect_Subprogram_Inputs_Outputs): Use Get_Argument
to obtain the proper expression. Use Corresponding_Spec_Of to
find the proper spec.
(Create_Generic_Template): New routine.
(Duplication_Error): New routine.
(Expression_Function_Error): New routine.
(Find_Related_Subprogram_Or_Body): Moved to the spec
of Sem_Prag. Emit precise error messages. Account for cases of
rewritten expression functions, generic instantiations, handled
sequence of statements and pragmas from aspects.
(Get_Argument): New routine.
(Make_Aspect_For_PPC_In_Gen_Sub_Decl): Removed.
(Preanalyze_CTC_Args): Removed.
(Process_Class_Wide_Condition): New routine.
* sem_prag.ads (Analyze_Test_Case_In_Decl_Part): Update
the parameter profile along with the comment on usage.
(Find_Related_Subprogram_Or_Body): Moved from the body of Sem_Prag.
(Make_Aspect_For_PPC_In_Gen_Sub_Decl): Removed.
(Test_Case_Arg): New routine.
* sem_util.adb Add with and use clauses for Sem_Ch6.
(Add_Contract_Item): This routine now creates a contract
node the first time an item is added. Remove the duplicate
aspect/pragma checks.
(Check_Result_And_Post_State): Reimplemented.
(Corresponding_Spec_Of): New routine.
(Get_Ensures_From_CTC_Pragma): Removed.
(Get_Requires_From_CTC_Pragma): Removed.
(Has_Significant_Contract): New routine.
(Inherit_Subprogram_Contract): Inherit only if the source
has a contract.
(Install_Generic_Formals): New routine.
(Original_Aspect_Name): Removed.
(Original_Aspect_Pragma_Name): New routine.
* sem_util.ads (Check_Result_And_Post_State): Reimplemented.
(Corresponding_Spec_Of): New routine.
(Get_Ensures_From_CTC_Pragma): Removed.
(Get_Requires_From_CTC_Pragma): Removed.
(Has_Significant_Contract): New routine.
(Install_Generic_Formals): New routine.
(Original_Aspect_Name): Removed.
(Original_Aspect_Pragma_Name): New routine.
* sem_warn.adb Add with and use clauses for Sem_Prag.
(Within_Postcondition): Use Test_Case_Arg to extract "Ensures".

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

2015-03-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Available_Subtype): Optimization in
Find_Selected_Component: when safe, use existing subtype of
array component, possibly discriminant-dependent, rather than
creating new subtype declaration for it. In this fashion different
occurrences of the component have the same subtype, rather than
just equivalent ones. Simplifies value tracing in GNATProve.

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

2015-02-28  Martin Liska  <mliska@suse.cz>
    Jan Hubicka   <hubicka@ucw.cz>

* ipa-icf.c (sem_variable::equals): Improve debug output;
get variable constructor.
(sem_variable::parse): Do not filter out too early; give up on
volatile and register vars.
(sem_item_optimizer::filter_removed_items): Filter out nonreadonly
variables.
* ipa-icf.h (sem_variable::init): Do not set ctor.
(sem_variable::ctor): Remove.

gcc/testsuite/ChangeLog:

2015-02-28  Martin Liska  <mliska@suse.cz>
    Jan Hubicka   <hubicka@ucw.cz>

* gcc.dg/ipa/ipa-icf-35.c: New test.
* gcc.dg/ipa/ipa-icf-36.c: New test.
* gcc.dg/ipa/ipa-icf-37.c: New test.

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

PR middle-end/65233
* ipa-polymorphic-call.c (walk_ssa_copies): Handle empty PHIs.

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

* ipa-icf.c: Include stor-layout.h
(sem_function::compare_cgraph_references): Rename to ...
(sem_item::compare_cgraph_references): ... this one.
(sem_variable::equals_wpa): New function
(sem_variable::equals): Do not check stuff already verified by
equals_wpa.
(sem_variable::equals): Reorg based on varasm.c:compare_constant.
* ipa-icf.h (sem_item): Add compare_cgraph_references.
(sem_function): Remove compare_cgraph_references.
(sem_variable): Turns equals_wpa into non-inline.

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

Daily bump.

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

* ipa-icf.c (sem_function::init): Fix formating; skip GIMPLE_PREDICT.
(sem_item::add_expr): New function.
(sem_function::hash_stmt): Handle operands of most statements.
(sem_variable::get_hash): Hash the actual constructor.
* ipa-icf.h (sem_item): Add add_expr.
(sem_function): Update prototype of hash_stmt

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

* sv.po: Update.

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

2015-02-28  Martin Liska  <mliska@suse.cz>
    Jan Hubicka   <hubicka@ucw.cz>

PR ipa/65245
* ipa-icf-gimple.c (func_checker::compare_function_decl):
Remove.
(func_checker::compare_variable_decl): Skip symtab vars.
(func_checker::compare_cst_or_decl): Update.
* ipa-icf.c (sem_function::parse): Do not consider aliases.
(sem_function::compare_cgraph_references): Add ADDRESS parameter;
use correct symtab predicates.
(sem_function::equals_wpa): Update uses of compare_cgraph_references.
(sem_variable::parse):  Update comment.
(sem_item_optimizer::build_graph): Consider ultimate aliases
for references.

* gcc.dg/ipa/ipa-icf-34.c: New test.

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

gcc/testsuite/
PR target/61142
* gcc.target/sh/sh/pr61142.c: New.

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

* c-ada-spec.c (is_tagged_type): Add guard for DECL_VINDEX.
(dump_template_types): Adjust DECL_TEMPLATE_INSTANTIATIONS and
DECL_TEMPLATE_RESULT emulations.
(dump_ada_template)): Add guard for TYPE_METHODS.

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

    PR ada/65259

* doc/gnat_ugn/gnat_project_manager.rst,
doc/gnat_ugn/platform_specific_information.rst: Remove reference to
image, too troublesome with texi format.
* gnat_ugn.texi: Regenerate.

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

* ipa-icf-gimple.c (func_checker::compare_operand): Fix handling
of OBJ_TYPE_REF.

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

* ipa-icf.c (sem_function::merge): Fix handling of COMDAT.
(sem_variable::merge) Likewise.

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

* ipa-inline.c (can_inline_edge_p): Match opt_for_fn on inline
target; also match flag_ipa_devirt.

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

Daily bump.

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

ICF is more strict about non-common function and var

* ipa-icf-gimple.c (func_checker::compare_variable_decl):
Validate variable alignment.
* ipa-icf.c (sem_function::equals_private): Be more precise
about non-common function attributes.
(sem_variable::equals): Likewise.
* gcc.target/i386/stackalign/longlong-2.c: Omit ICF.
* g++.dg/ipa/pr63595.C: Update expected results.

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

PR ipa/65237
* ipa-icf.c (sem_function::merge): Do not attempt to produce alias
across COMDAT group boundary.

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

PR ipa/65232
* ipa-icf.c (clear_decl_rtl): New function.
(sem_function::merge): Clear RTL before forming alias.
(sem_variable::merge): Clear RTL before forming alias.

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

PR ipa/65236
* g++.dg/ipa/ipa-icf-6.C: New testcase.
* cgraphunit.c (cgraph_node::expand_thunk): Enable return slot
opt.

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

2015-02-28  Matthias Klose  <doko@ubuntu.com>

        PR libstdc++/65246
        * python/libstdcxx/v6/__init__.py: Use explicit relative imports.

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

[AArch64] Fix define_insn type in aarch64.md.

gcc/

* config/aarch64/aarch64.md: (mov<mode>_aarch64): Change type
to neon_to_gp<q>.

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

Daily bump.

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

2015-02-27  Vladimir Makarov  <vmakarov@redhat.com>

* params.def (PARAM_LRA_INHERITANCE_EBB_PROBABILITY_CUTOFF): Fix
a typo in the description.

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

2015-02-27  Vladimir Makarov  <vmakarov@redhat.com>

PR target/64317
* params.def (PARAM_LRA_INHERITANCE_EBB_PROBABILITY_CUTOFF): New.
* params.h (LRA_INHERITANCE_EBB_PROBABILITY_CUTOFF): New.
* lra-constraints.c: Include "params.h".
(EBB_PROBABILITY_CUTOFF): Use
LRA_INHERITANCE_EBB_PROBABILITY_CUTOFF.
(lra_inheritance): Use '<' instead of '<=' for
EBB_PROBABILITY_CUTOFF.
* doc/invoke.texi (lra-inheritance-ebb-probability-cutoff):
Document change.

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

Fix missing condition in symbol_compare_hashmap_traits.

* ipa-icf.h (struct symbol_compare_hashmap_traits): Add missing
vector length condition.

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

2015-02-27  Sandra Loosemore  <sandra@codesourcery.com>

gcc/
* doc/extend.texi (x86 transactional memory intrinsics):
Reorganize discussion of _xbegin.  Clarify that the return
value is a bit mask.  Expand example and move to end of section.

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

* gcc.dg/vect/pr59354.c: Move vector producing code to separate function.

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

PR ipa/65237
* gcc.dg/attr-noinline.c: Add -fno-ipa-icf
* gcc.dg/noreturn-7.c: Add -fno-ipa-icf.
* gcc.dg/ipa/ipa-cp-1.c: Revert accidental commit.
* gcc.dg/ipa/ipa-cp-2.c: Revert accidental commit.

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

PR rtl-optimization/65220
* config/i386/i386.md (*udivmod<mode>4_pow2): New.

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

PR tree-optimization/65048
* gcc.dg/tree-ssa/ssa-dom-thread-9.c: Add -std=gnu89 to dg-options.
(foo): Use K&R style definition.

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

2015-02-27  Vladimir Makarov  <vmakarov@redhat.com>

PR target/65032
* lra-remat.c (update_scratch_ops): New.
(do_remat): Call it.
* lra.c (lra_register_new_scratch_op): New. Take code from ...
(remove_scratches): ... here.
* lra-int.h (lra_register_new_scratch_op): New prototype.

2015-02-27  Vladimir Makarov  <vmakarov@redhat.com>

PR target/65032
* g++.dg/pr65032.C: New.

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

PR c/65040
* doc/invoke.texi: Update to reflect that -Wformat=2 doesn't enable
-Wformat-signedness anymore.

* c.opt (Wformat-signedness): Don't enable by -Wformat=2.

* gcc.dg/pr65066.c: Use -Wformat -Wformat-signedness and not
-Wformat=2.

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

* configure.tgt: Enable build on powerpc*le-*-linux.

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

    PR target/65038
        * config.in: Regenerated.
        * configure: Likewise.
        * configure.ac (AC_HEADER_STDC): Added explicit.
        (AC_CHECK_HEADERS): Check for default headers  plus
        for ftw.h header.
        * libgcov-util.c (gcov_read_profile_dir): Disable use
        of ftw-function, if header is not found.
        (ftw_read_file): Likewise.

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

Revert change

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

PR c/65228
* c-decl.c (start_decl): Return NULL_TREE if decl is an error node.

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

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

PR target/65038
* config.in: Regenerated.
* configure: Likewise.
* configure.ac (AC_HEADER_STDC): Add explicit.
(AC_CHECK_HEADERS): Check for default headers
plus for ftw.h one.
* libgcov-util.c (gcov_read_profile_dir): Disable use
of ftw-function, if header not found.
(ftw_read_file): Don't translate if ftw header isn't
present.

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

2015-02-27  Kai Tietz  <ktietz@redhat.com>

PR c/35330
* c-pragma.c (handle_pragma_weak): Do not try to create
weak/alias of declarations not being function, or variable
declarations.

2015-02-27  Kai Tietz  <ktietz@redhat.com>

PR c/35330
* gcc.dg/weak/weak-17.c: New file.

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

2015-02-27  Richard Biener  <rguenther@suse.de>

PR lto/65193
* g++.dg/lto/pr65193_0.C: New testcase.

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

S/390: Remove -m64/-m31 from testcases.

gcc/testsuite/ChangeLog:
* gcc.target/s390/20140327-1.c: Remove -m31 and guard with ! lp64.
* gcc.target/s390/hotpatch-8.c: Likewise.
* gcc.target/s390/hotpatch-9.c: Likewise.
* gcc.target/s390/pr61078.c: Likewise.
* gcc.target/s390/pr57960.c: Remove -m64.
* gcc.target/s390/pr61078.c: Likewise.

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

S/390: Implement TARGET_ATOMIC_ASSIGN_EXPAND_FENV.

gcc/ChangeLog:
* config/s390/s390.c: (s390_atomic_assign_expand_fenv): New
function.
(TARGET_ATOMIC_ASSIGN_EXPAND_FENV): Define macro.

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

S/390: Add builtins for efpc and sfpc

gcc/ChangeLog:
* config/s390/s390.c (enum s390_builtin):
Add S390_BUILTIN_S390_SFPC and S390_BUILTIN_S390_EFPC.
(code_for_builtin): Add CODE_FOR_s390_sfpc and CODE_FOR_s390_efpc.
(s390_init_builtins): Generate new builtin functions.
* config/s390/s390.md (UNSPECV_SFPC, UNSPECV_EFPC): New constants.
(s390_sfpc, s390_efpc): New pattern definitions.

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

S/390: Define TARGET_BUILTIN_DECL

gcc/ChangeLog:
* config/s390/s390.c: (enum s390_builtin, s390_expand_builtin):
Rename S390_BUILTIN_max to S390_BUILTIN_MAX.
(s390_builtin_decls): New array.
(s390_init_builtins): Put builtin decls into s390_builtin_decls.
(s390_builtin_decl): New function.
(TARGET_BUILTIN_DECL): Define macro.

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

2015-02-27  Richard Biener  <rguenther@suse.de>

PR middle-end/63175
* builtins.c (get_object_alignment_2): Make sure to re-apply
the ANDed mask after recursing to its operand gets us a new
misalignment bit position.

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

2015-02-26  Sandra Loosemore  <sandra@codesourcery.com>

* MAINTAINERS (Various Maintainers): Add self as docs co-maintainer.

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

PR bootstrap/65150
* ipa-icf.c (symbol_compare_collection::symbol_compare_colleciton):
Use address_matters_p.
(redirect_all_callers, set_addressable): New functions.
(sem_function::merge): Reorganize and fix merging issues.
(sem_variable::merge): Likewise.
(sem_variable::compare_sections): Remove.
* common.opt (fmerge-all-constants, fmerge-constants): Remove
Optimization flag.
* symtab.c (symtab_node::resolve_alias): When alias has aliases,
redirect them.
(symtab_node::make_decl_local): Set ADDRESSABLE bit when
decl is used.
(address_matters_1): New function.
(symtab_node::address_matters_p): New function.
* cgraph.c (cgraph_edge::verify_corresponds_to_fndecl): Fix
check for merged flag.
* cgraph.h (address_matters_p): Declare.
(symtab_node::address_taken_from_non_vtable_p): Remove.
(symtab_node::address_can_be_compared_p): New method.
(ipa_ref::address_matters_p): Move here from ipa-ref.c; simplify.
* ipa-visibility.c (symtab_node::address_taken_from_non_vtable_p):
Remove.
(comdat_can_be_unshared_p_1) Use address_matters_p.
(update_vtable_references): Fix formating.
* ipa-ref.c (ipa_ref::address_matters_p): Move inline.
* cgraphunit.c (cgraph_node::create_wrapper): Drop UNINLINABLE flag.
* cgraphclones.c: Preserve merged and icf_merged flags.

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

Add self to Various Maintainers.

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

Daily bump.

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

2015-02-26  Sandra Loosemore  <sandra@codesourcery.com>

gcc/
* doc/extend.texi (Function Attributes): Fix spelling and typos.
(Label Attributes): Likewise.
(Cilk Plus Builtins): Likewise.
(ARC SIMD Built-in Functions): Likewise.
(ARM C Language Extensions (ACLE)): Likewise.
(PowerPC Built-in Functions): Likewise.
(PowerPC Hardware Transactional Memory Built-in Functions):
Likewise.

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

PR tree-optimization/65216
* tree-ssa-reassoc.c (rewrite_expr_tree): Force creation of
new stmt and new SSA_NAME for lhs whenever the arguments have
changed and weren't just swapped.  Fix comment typo.

* gcc.c-torture/execute/pr65216.c: New test.

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

PR tree-optimization/65215
* tree-ssa-math-opts.c (find_bswap_or_nop_load): Return false
for PDP endian targets.
(perform_symbolic_merge, find_bswap_or_nop_1, find_bswap_or_nop):
Fix up formatting issues.
(bswap_replace): Likewise.  For BYTES_BIG_ENDIAN, if the final access
size is smaller than the original, adjust MEM_REF offset by the
difference of sizes.  Use is_gimple_mem_ref_addr instead of
is_gimple_min_invariant test to avoid adding address temporaries.

* gcc.c-torture/execute/pr65215-1.c: New test.
* gcc.c-torture/execute/pr65215-2.c: New test.
* gcc.c-torture/execute/pr65215-3.c: New test.
* gcc.c-torture/execute/pr65215-4.c: New test.
* gcc.c-torture/execute/pr65215-5.c: New test.

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

Add missing cleanup in go-gc-tests for cmpout

2015-02-26  Tom de Vries  <tom@codesourcery.com>

* go.test/go-test.exp (go-gc-tests): Add missing cleanup for cmpout.

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

Fix PR ipa/64693

PR ipa/64693
* ipa-icf.c (symbol_compare_collection::symbol_compare_collection): New.
(sem_item_optimizer::subdivide_classes_by_sensitive_refs): New function.
(sem_item_optimizer::process_cong_reduction): Include division by
sensitive references.
* ipa-icf.h (struct symbol_compare_hashmap_traits): New class.
* ipa-ref.c (ipa_ref::address_matters_p): New function.
* ipa-ref.h (ipa_ref::address_matters_p): Likewise.
* g++.dg/ipa/pr64146.C: Update expected results.
* gcc.dg/ipa/ipa-icf-26.c: Update test.
* gcc.dg/ipa/ipa-icf-33.c: Remove redundant line.
* gcc.dg/ipa/ipa-icf-34.c: New test.

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

Fix LTO bootstrap.

* resolve.c: Rename enum 'comparison' to 'compare_result' as
solution for -Wodr issue.

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

PR target/65192
* config/avr/avr-protos.h (tiny_valid_direct_memory_access_range):
Remove.
* config/avr/avr.c: Same.
(avr_legitimate_address_p) <AVR_TINY, CONSTANT_ADDRESS_P>:
Refuse any constant address not in 0..0xbf.
* config/avr/avr.md (*mov<mode>, *movsf): Remove
tiny_valid_direct_memory_access_range from insn conditions.
(mov<mode>): Don't special-case expansion of avrtiny addresses.

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

* gcc.dg/vect/vect-pr61917.c: Rename to ...
* gcc.dg/vect/O3-vect-pr61917.c: ... this.
(dg-additional-options): Remove dg directive.
(dg-final): Add dg directive.

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

gcc/
PR target/61142
* config/sh/sh.c (sh_check_add_incdec_notes): New function.
* config/sh/sh-protos.h (sh_check_add_incdec_notes): Declare it.
* config/sh/predicates.md (const_logical_operand): New predicate.
* config/sh/sh.md: Add new peephole2 patterns.

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