2014-02-20  Richard Biener  <rguenther@suse.de>

PR middle-end/60221
* tree-eh.c (execute_cleanup_eh_1): Also cleanup empty EH
regions at -O0.

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

2014-02-20  Richard Biener  <rguenther@suse.de>

PR libjava/60261
* configure.ac (dbexecdir): Remove redundant multilib addition.
* Makefile.am (gcc_version): Export.
* configure: Regenerate.
* Makefile.in: Likewise.

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

PR ipa/58555
* ipa-inline-transform.c (clone_inlined_nodes): Add freq_scale parameter
specifying the scaling.
(inline_call): Update.
(want_inline_recursively): Guard division by zero.
(recursive_inlining): Update.
* ipa-inline.h (clone_inlined_nodes): Update.
* testsuite/g++.dg/torture/pr58555.C: New testcase.

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

gcc/
PR target/60204
* config/i386/i386.c (classify_argument): Pass structures of size
64 bytes or less in register.

tessuite/gcc/
PR target/60204
* gcc.target/x86_64/abi/avx512f/test_passing_structs.c: Update to
reflect abi fix.
* gcc.target/x86_64/abi/avx512f/test_passing_unions.c: Ditto.

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

gcc/
* config/i386/avx512erintrin.h (_mm_rcp28_round_sd): Swap operands.
(_mm_rcp28_round_ss): Ditto.
(_mm_rsqrt28_round_sd): Ditto.
(_mm_rsqrt28_round_ss): Ditto.
* config/i386/avx512erintrin.h (_mm_rcp14_round_sd): Ditto.
(_mm_rcp14_round_ss): Ditto.
(_mm_rsqrt14_round_sd): Ditto.
(_mm_rsqrt14_round_ss): Ditto.
* config/i386/sse.md (rsqrt14<mode>): Put nonimmediate operand as
the first input operand, get rid of match_dup.
(avx512er_exp2<mode><mask_name><round_saeonly_name>): Set type
attribute to sse.
(<mask_codefor>avx512er_rcp28<mode><mask_name><round_saeonly_name>):
Ditto.
(avx512er_vmrcp28<mode><round_saeonly_name>): Put nonimmediate
operand as the first input operand, set type attribute.
(<mask_codefor>avx512er_rsqrt28<mode><mask_name><round_saeonly_name>):
Set type attribute.
(avx512er_vmrsqrt28<mode><round_saeonly_name>): Put nonimmediate
operand as the first input operand, set type attribute.

testsuite/gcc/
* gcc.target/i386/avx512er-vrcp28sd-2.c: Distinguish src1 and src2.
* gcc.target/i386/avx512er-vrcp28ss-2.c: Call correct intrinsic.
* gcc.target/i386/avx512er-vrsqrt28sd-2.c: Distinguish src1 and src2.
* gcc.target/i386/avx512er-vrsqrt28ss-2.c: Ditto.
* gcc.target/i386/avx512f-vrcp14sd-2.c: Fix reference calculation.
* gcc.target/i386/avx512f-vrcp14ss-2.c: Fix reference calculation.

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

Daily bump.

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

PR c/37743
* c-common.c (c_common_nodes_and_builtins): When initializing
c_uint{16,32,64}_type_node, also set corresponding
uint{16,32,64}_type_node to the same value.

* g++.dg/ext/builtin-bswap1.C: New test.
* c-c++-common/pr37743.c: New test.

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

2014-02-19  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

* config/rs6000/rs6000.c (vspltis_constant): Fix most significant
bit of zero.

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

PR c++/60046
* pt.c (maybe_instantiate_noexcept): Don't instantiate exception
spec from template context.

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

* c-parser.c (c_parser_declspecs): Replace call to error by error_at.
(c_parser_parameter_declaration): Likewise.

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

PR debug/56563
* cp-objcp-common.c (cp_function_decl_explicit_p): Remove
FUNCTION_FIRST_USER_PARMTYPE (decl) != void_list_node check.

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

PR c++/60267
* pt.c (tsubst_expr): Handle ANNOTATE_EXPR.

* g++.dg/ext/ivdep-1.C: New test.

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

Remove TFmode check for X86_64_INTEGER_CLASS

PR target/60207
* config/i386/i386.c (construct_container): Remove TFmode check
for X86_64_INTEGER_CLASS.

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

PR c++/60267
* c-pragma.c (init_pragma): Don't call cpp_register_deferred_pragma
for PRAGMA_IVDEP if flag_preprocess_only.

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

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

PR target/59794
* config/i386/i386.c (type_natural_mode): Warn for ABI changes
only when -Wpsabi is enabled.

testsuite/ChangeLog:

PR target/59794
* gcc.target/i386/pr39162.c: Add dg-prune-output.
(dg-options): Remove -Wno-psabi.
* gcc.target/i386/59794-2.c: Ditto.
* gcc.target/i386/60205-1.c: Ditto.
* gcc.target/i386/sse-5.c: Ditto.

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

* gcc.dg/graphite/pr46966.c: Only run on 32-bit+ targets.
* gcc.dg/pr23623.c: Likewise.
* gcc.dg/pr48784-1.c: Likewise.
* gcc.dg/pr48784-2.c: Likewise.
* gcc.dg/pr56997-2.c: Likewise.
* gcc.dg/sms-6.c: Likewise.
* gcc.dg/torture/pr60183.c: Likewise.
* gcc.dg/torture/vec-cvt-1.c: Likewise.
* gcc.c-torture/execute/20061220-1.x: New.
* gcc.c-torture/execute/pr43220.x: New.
* gcc.c-torture/execute/pr51581-1.x: New.
* gcc.c-torture/execute/pr51581-2.x: New.
* gcc.c-torture/execute/pr58570.x: New.
* gcc.c-torture/unsorted/DFcmp.x: New.
* gcc.c-torture/unsorted/SFset.x: New.

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

2014-02-19  Michael Hudson-Doyle  <michael.hudson@linaro.org>

 PR target/59799
* config/aarch64/aarch64.c (aarch64_pass_by_reference): The rules for
passing arrays in registers are the same as for structs, so remove the
special case for them.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* sem_ch5.adb, sem_prag.adb, sem_attr.adb: Minor reformatting.
* debug.adb: Remove -gnatd.X switch, no longer used.
* styleg.adb (Check_Then): Remove check of -gnatd.X, check is
now always made.

2014-02-19  Bob Duff  <duff@adacore.com>

* g-socket.ads: Minor: Correct some comments.

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

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb: Inhibit iterator rewriting in ASIS mode.

2014-02-19  Arnaud Charlet  <charlet@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): Do not generate
an error on out of range priorities if Relaxed_RM_Semantics.
* sem_prag.adb (Analyze_Pragma): Ditto.

2014-02-19  Bob Duff  <duff@adacore.com>

* sem_attr.adb (Resolve_Attribute): Detect the case of F'Access
where F denotes the renaming of an enumeration literal, and
issue a specialized error message.

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

2014-02-19  Matthew Heaney  <heaney@adacore.com>

* a-chtgop.ads (Checked_Index): New operation.
(Next): Changed mode of hash table.
* a-chtgop.adb (Adjust, Delete_Node_Sans_Free): Detect tampering
(Generic_Read, Reserve_Capacity): Ditto.
(Generic_Equal): Detect tampering.
(Next): Changed mode of hash table, detect tampering.
* a-chtgke.ads (Checked_Index, Checked_Equivalent_Keys): New
operation.
(Find): Changed mode of hash table.
* a-chtgke.adb (Checked_Equivalent_Keys): New operation
(Delete_Key_Sans_Free, Generic_Conditional_Insert): Detect
tampering.
(Find): Changed mode of hash table, check for tampering.
(Generic_Replace_Element): Check for tampering.
* a-chtgbk.ads (Checked_Index, Checked_Equivalent_Keys): New operation.
* a-chtgbk.adb (Checked_Index, Checked_Equivalent_Keys): New
operation (Delete_Key_Sans_Free, Generic_Conditional_Insert):
Detect tampering.
(Find, Generic_Replace_Element): Check for tampering.
* a-chtgbo.ads (Checked_Index): New operation.
* a-chtgbo.adb (Checked_Index): New operation
(Delete_Node_Sans_Free, Generic_Equal): Detect tampering.
(Generic_Read, Next): Ditto.
* a-cohase.adb, a-cihase.adb (Is_In): Changed mode of hash
table (Difference, Intersection): Use variable view of
source, detect tampering (Find, Is_Subset, Overlap): Use
variable view of container (Symmetric_Difference, Union):
Detect tampering (Vet): Use Checked_Index to detect tampering
(Constant_Reference, Element, Find): Use variable view of
container.
(Update_Element_Preserving_Key): Detect tampering.
* a-cbhase.adb (Difference, Find, Is_In): Use variable view
of container.
(Is_Subset): Ditto.
(Equivalent_Sets, Overlap): Use Node's Next component.
(Vet): Use Checked_Index to detect tampering.
(Constant_Reference, Element, Find): Use variable view of container.
(Update_Element_Preserving_Key): Detect tampering.
* a-cohama.adb, a-cihama.adb, a-cbhama.adb (Constant_Reference,
Element, Find): Use variable view of container.
(Reference): Rename hash table component.
(Vet): Use Checked_Index to detect tampering.

2014-02-19  Arnaud Charlet  <charlet@adacore.com>

* adabkend.adb (Scan_Compiler_Arguments): Add missing handling
of -nostdinc.

2014-02-19  Thomas Quinot  <quinot@adacore.com>

* tbuild.adb (New_Occurrence_Of, New_Rerefence_To): Guard
against calls without Def_Id.

2014-02-19  Claire Dross  <dross@adacore.com>

* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads, a-cforse.ads,
a-cofove.ads: Add global annotations to subprograms.

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Initial_Condition_In_Decl_Part): Remove
constants Errors, Pack_Id and Pack_Init. Remove variable Vars.
Initial_Condition no longer requires the presence of pragma
Initialized. Do not try to diagnose whether all variables mentioned in
pragma Initializes also appear in Initial_Condition.
(Collect_Variables): Removed.
(Match_Variable): Removed.
(Match_Variables): Removed.
(Report_Unused_Variables): Removed.

2014-02-19  Thomas Quinot  <quinot@adacore.com>

* gnat_rm.texi (pragma Stream_Convert): Minor rewording.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* sem_util.adb, sem_util.ads, prj-conf.adb, s-os_lib.adb: Minor
reformatting.

2014-02-19  Vincent Celier  <celier@adacore.com>

* prj-part.adb (Parse_Single_Project): Use the fully resolved
project path, with all symbolic links resolved, to check if the
same project is imported with a different unresolved path.
* prj-tree.ads (Project_Name_And_Node): Component Canonical_Path
changed to Resolved_Path to reflect that all symbolic links
are resolved.

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

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_util.ads, sem_util.adb (Get_Cursor_Type): Moved to sem_util
from sem_ch13, for use elsewhere.
* sem_ch13.adb (Get_Cursor_Type): Moved to sem_util.
* sem_ch5.adb (Analyze_Iterator_Specification): Set properly the
cursor type on the loop variable when the iteration is over o
formal container.

2014-02-19  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Add_Default_GNAT_Naming_Scheme): Add declaration
for an empty Target (Check_Target): Never fail when an empty
target is declared in the configuration project.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Check_Arg_Is_Local_Name): Argument is local if
the pragma comes fron a predicate aspect and the context is a
record declaration within the scope that declares the type.

2014-02-19  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Minor clarifications.
* expander.adb, sem_aggr.adb: Add comments.

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

* expr.c (expand_expr_real_1) <case VIEW_CONVERT_EXPR>: For a bit-field
destination type, extract only the valid bits if the source type is not
integral and has a different mode.

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

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Check_Arg_Is_Local_Name): For an aspect that
applies to a subprogram body, the name is the current scope,
rather than being declared in the current scope.
(Analyze_Pragma, case No_Return): Handle properly a No_Return
aspect applied to a subprogram body.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Resolve_Iterable_Operation): Improve resolution
of overloaded subprograms, and fix bug in handling of primitive
operation Element.

2014-02-19  Pascal Obry  <obry@adacore.com>

* s-os_lib.adb: Minor reformatting.

2014-02-19  Yannick Moy  <moy@adacore.com>

* expander.adb (Expand): Do nothing inside generics.
* sem_aggr.adb (Aggregate_Constraint_Checks): Do nothing inside
generics.

2014-02-19  Yannick Moy  <moy@adacore.com>

* exp_ch2.adb: Remove useless 'with' of unit Uintp.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, style.adb, sem_prag.adb, sem_ch13.adb: Minor reformatting
* a-sequio.adb: Remove useless pragma Extensions_Allowed (no
longer needed).

2014-02-19  Claire Dross  <dross@adacore.com>

* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
a-cforse.ads, a-cofove.ads: Add Iterable aspect to formal containers.

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

2014-02-19  Richard Biener  <rguenther@suse.de>

PR ipa/60243
* tree-inline.c (estimate_num_insns): Avoid calling cgraph_get_node
for all calls.

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

XFAIL gcc.dg/torture/pr60092.c execution on Solaris 11

* gcc.dg/torture/pr60092.c: xfail execution on *-*-solaris2.11* at -O0.

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

2014-02-19  Janus Weil  <janus@gcc.gnu.org>

PR fortran/60232
* expr.c (gfc_get_variable_expr): Don't add REF_ARRAY for dimensionful
functions, which are used as procedure pointer target.

2014-02-19  Janus Weil  <janus@gcc.gnu.org>

PR fortran/60232
* gfortran.dg/typebound_proc_33.f90: New.

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

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch3.adb (Analyze_Declarations): Analyze
a package contract at the end of the private declarations (if
applicable), otherwise analyze it and the end of the visible
declarations.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* style.adb (Missing_Overriding): If subprogram is an
instantiation, place warning on the instance node itself,
without mention of the original generic. Do not emit message
if explicit Ada version is older than the introduction of the
overriding indicator.

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

2014-02-19  Yannick Moy  <moy@adacore.com>

* gnat_rm.texi: Doc clarifications.

2014-02-19  Yannick Moy  <moy@adacore.com>

* exp_util.adb (Remove_Side_Effects): Do not remove side-effects
inside a generic.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Get_Cursor_Type): Obtain cursor type from
specified First primitive, rather than by name.
(Validate_Iterable_Aspect, Resolve_Iterable_Operation): Use it,
and extend error checking for missing primitives and incorrect
signatures.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Check_Pragma_Implemented): Detect additional
errors when a Synchronization aspect on an overriding protected
operation does not match the given aspect on the overridden
operation of an ancestor interface.

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Check_Loop_Pragma_Grouping): New routine.
(Check_Loop_Pragma_Placement): Update
comment on usage. Remove local variables Orig_Stmt and
Within_Same_Sequence. Check that the current Loop_Invariant or
Loop_Variant pragma is grouped together with other such pragmas.
(Is_Loop_Pragma): New routine.
(Prev_In_Loop): Removed.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* par-ch6.adb (P_Return): For extended return, end column lines
up with RETURN.
* par.adb: Minor documentation clarification.

2014-02-19  Yannick Moy  <moy@adacore.com>

* sem_prag.adb (Check_Loop_Pragma_Placement): Add check
that Loop_Invariant and Loop_Variant appear consecutively.
* gnat_rm.texi Update documentation of Loop_Invariant and
Loop_Variant pragmas.

2014-02-19  Robert Dewar  <dewar@adacore.com>

* debug.adb: Document -gnatd.X.
* par-ch5.adb (P_If_Statement): Always check THEN, even if not
first token
(Check_Then_Column): Ditto.
* styleg.adb (Check_Then): Allow THEN on line after IF.
(Check_Then): Check THEN placement under control of -gnatd.X
* styleg.ads (Check_Then): Now called even if THEN is not first
token on line.
* stylesw.ads (Style_Check_If_Then_Layout): Document new
relaxed rules.
* gnat_ugn.texi: For -gnatyi, THEN can now be on line after IF.

2014-02-19  Robert Dewar  <dewar@adacore.com>

* a-cfhama.adb, a-cfhase.adb, a-cforse.adb, a-cofove.adb, a-ngcefu.adb,
a-teioed.adb, a-wtedit.adb, a-ztedit.adb, exp_ch5.adb, inline.adb,
prj-pp.adb, prj-tree.adb, sem_ch12.adb, sem_ch8.adb,
vms_conv.adb: Fix bad layout of IF statements

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* exp_util.adb (Side_Effect_Free): Scalar if expressions can be SEF.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* exp_util.adb: Update comments.

2014-02-19  Doug Rupp  <rupp@adacore.com>

* bindgen.adb (Gen_Adainit) [VMS] New global Float_Format.
* init.c (__gl_float_format): [VMS] New global.
(__gnat_set_features): Call FP_CONTROL to set FPSR for the float
representation in effect.

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch6.adb Add with and use clause for Exp_Prag.
(Expand_Contract_Cases): Relocated to Exp_Prag.
* exp_ch6.ads (Expand_Contract_Cases): Relocated to Exp_Prag.
* exp_prag.adb Add with and use clauses for Checks and Validsw.
(Expand_Contract_Cases): Relocated from Exp_Ch6. Update the
structure of the expanded code to showcase the evaluation of
attribute 'Old prefixes. Add local variable Old_Evals. Expand
any attribute 'Old references found within a consequence. Add
circuitry to evaluate the prefixes of attribute 'Old that
belong to a selected consequence.
(Expand_Old_In_Consequence): New routine.
* exp_prag.ads (Expand_Contract_Cases): Relocated from Exp_Ch6.
* sem_attr.adb (Check_Use_In_Contract_Cases): Warn that a
potentially unevaluated prefix is always evaluated.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb (Expand_Min_Max_Attribute): Use Insert_Declaration
(Expand_Min_Max_Attribute): Use Matching_Standard_Type.
* exp_ch4.adb (Expand_N_Expression_With_Actions): Remove special
handling for the case of Modify_Tree_For_C, this approach did
not work.
* exp_util.adb (Matching_Standard_Type): New function
(Side_Effect_Free): New top level functions (from
Remove_Side_Effects).
* exp_util.ads (Side_Effect_Free): New top level functions
(moved from body).
* sinfo.ads: Minor comment updates.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Expand_Simple_Function_Return): If return
type is unconstrained and uses the secondary stack, mark the
enclosing function accordingly, to ensure that the value is not
prematurely removed.

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* par.adb Alphabetize the routines in Par.Sync.
(Resync_Past_Malformed_Aspect): New routine.
* par-ch13.adb (Get_Aspect_Specifications): Alphabetize local
variables. Code and comment reformatting. Detect missing
parentheses on aspects [Refined_]Global and [Refined_]Depends
with a non-null definition.
* par-sync.adb: Alphabetize all routines in this separate unit.
(Resync_Past_Malformed_Aspect): New routine.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* sem_eval.ads, sem_eval.adb (Subtypes_Statically_Match): Return False
if Esize values do not match.

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

2014-02-19  Yannick Moy  <moy@adacore.com>

* sinfo.ads: Minor comment update.

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* atree.ads: Minor reformatting (change Entity_Info to Einfo).

2014-02-19  Thomas Quinot  <quinot@adacore.com>

* exp_ch7.adb (Find_Node_To_Be_Wrapped): An assignment statement
that has the No_Ctrl_Actions flag is a suitable node to be
wrapped if the assigned expression has no finalization actions.
* sem_eval.adb (Eval_Entity_Name): For a compile time known
boolean value, mark the corresponding condition SCO as constant.

2014-02-19  Robert Dewar  <dewar@adacore.com>

* exp_util.adb: Minor reformatting.
* exp_util.ads (Matching_Standard_Type): New function.
* exp_ch7.adb: Minor reformatting.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Get_Cursor_Type): Use scope of iterable type
to find declaration for Cursor, to handle properly the case of
a discriminated iterable type.

2014-02-19  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (GNATCmd): Always replace the object dirs of
imported library projects with the library ALI dirs, when setting
the object paths.
* prj-env.ads (Ada_Objects_Path): Correct comments about
argument Including_Libraries.

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

2014-02-19  Gary Dismukes  <dismukes@adacore.com>

* gnat_rm.texi: Minor spelling fixes.

2014-02-19  Doug Rupp  <rupp@adacore.com>

* init.c: Remove unneeded code.
* fe.h (Float_Format): New macro
* gcc-interface/trans.c (gigi): On VMS, set vms_float_format.

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

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Check_Refined_Global_Item):
A state or variable acts as a constituent only it is part of an
encapsulating state and the state has visible refinement.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Contract): Do not warn on a
postcondition for a function when the expression does not mention
'Result but the function has in-out parameters.

2014-02-19  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add documentation on Value_Size forcing biased
representation.

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

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* lib-xref.ads Remove the small table of letter and symbol usage as we
already have one.

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Emit specific error
messages depending on the offending misplaced aspect specifications.
(Diagnose_Misplaced_Aspect_Specifications): New routine.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Get_Cursor): Utility to retrieve cursor type
for iterable aspect primitives.
(Resolve_Iterable_Operation): Use expected signature of iterable
aspect to resolve primitive when overloading is present.
(Validate_Iterable_Aspect, Analyze_Aspects_At_Freeze_Point): use it.
(Check_Signature): Removed.

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

2014-02-19  Yannick Moy  <moy@adacore.com>

* sem_ch10.adb (Analyze_Proper_Body): Issue error on missing
subunit in GNATprove_Mode.
* sinfo.ads (GNATprove_Mode): Document error issued in GNATprove_Mode.

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* lib-xref.ads Alphabetize the contents of table
Xref_Entity_Letters. Add an entry in table Xref_Entity_Letters
for E_Abstract_State. List all letters and symbols in use.
* sem_prag.adb (Analyze_Abstract_State): Update all calls
to Create_Abstract_State to reflect the new signature.
(Create_Abstract_State): Change subprogram profile and update
the comment on usage. Use the proper location of the state
declaration when creating a new abstract state entity. Do not
generate an external name, but simply reuse the name coming from
the state declaration.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Expression_With_Actions): Make sure
declarations get properly inserted in Modify_Tree_For_C mode.
* sinfo.ads: Minor comment addition.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* par-ch9.adb, exp_ch5.adb, sem_ch5.adb, exp_attr.adb, sem_util.adb,
sem_util.ads, sem_ch13.adb, sem_ch13.ads: Minor reformatting.

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

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* style.adb (Missing_Overriding): Warning does not apply in
language versions prior to Ada 2005.
* snames.ads-tmpl: Add Name_Iterable and Attribute_Iterable.
* sem_attr.adb: Add Attribute_Iterable where needed.
* exp_attr.adb: ditto.
* exp_ch5.adb (Expand_Formal_Container_Loop): New procedure to
handle loops and quantified expressions over types that have an
iterable aspect.  Called from Expand_Iterator_Loop.
* sem_ch5.adb (Analyze_Iterator_Specification): Recognize types
with Iterable aspect.
* sem_ch13.adb (Validate_Iterable_Aspect): Verify that the
subprograms specified in the Iterable aspect have the proper
signature involving container and cursor.
(Check_Aspect_At_Freeze_Point): Analyze value of iterable aspect.
* sem_ch13.ads (Validate_Iterable_Aspect): New subprogram.
* sem_util.ads, sem_util.adb (Get_Iterable_Type_Primitive):
New procedure to retrieve one of the primitives First, Last,
or Has_Element, from the value of the iterable aspect of a
formal container.
(Is_Container_Element): Predicate to recognize expressions
that denote an element of one of the predefined containers,
for possible optimization.  This subprogram is not currently
used, pending ARG discussions on the legality of the proposed
optimization. Worth preserving for eventual use.
(Is_Iterator): Recognize formal container types.
* aspects.ads, aspects.adb: Add Aspect_Iterable where needed.

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

2014-02-19  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb (Expand_Min_Max_Attribute): New procedure
(Expand_N_Attribute_Reference): Use this procedure for Min and Max.
* exp_ch4.adb (Expand_N_Expression_With_Actions): Remove object
declarations from list of actions.
* output.ads, output.adb (Delete_Last_Char): New procedure.
* sinfo.ads: Document handling of Mod and expression with actions
in Modify_Tree_For_C mode.

2014-02-19  Ed Schonberg  <schonberg@adacore.com>

* par-ch9.adb (P_Task): Add a null statement to produce a
well-formed task body when due to a previous syntax error the
statement list is empty.

2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Check_Dependency_Clause): Account
for the case where a state with a non-null refinement matches a
null output list. Comment reformatting.
(Inputs_Match): Copy a solitary input to avoid an assertion failure
when trying to match the same input in multiple clauses.

2014-02-19  Gary Dismukes  <dismukes@adacore.com>

* sem_attr.adb: Minor typo fix.

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

2014-02-19  Richard Biener  <rguenther@suse.de>

PR ipa/60243
* ipa-prop.c: Include stringpool.h and tree-ssanames.h.
(ipa_modify_call_arguments): Emit an argument load explicitely and
preserve virtual SSA form there and for the replacement call.
Do not update SSA form nor free dominance info.

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

* ipa.c (function_and_variable_visibility): Also clear WEAK
flag when disolving COMDAT_GROUP.

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

* ipa-prop.h (ipa_ancestor_jf_data): Update ocmment.
* ipa-prop.c (ipa_set_jf_known_type): Return early when
not devirtualizing.
(ipa_set_ancestor_jf): Set type to NULL hwen it is not preserved;
do more sanity checks.
(detect_type_change): Return true when giving up early.
(compute_complex_assign_jump_func): Fix type parameter of
ipa_set_ancestor_jf.
(compute_complex_ancestor_jump_func): Likewise.
(update_jump_functions_after_inlining): Fix updating of
ancestor function.
* ipa-cp.c (ipa_get_jf_ancestor_result): Be ready for type
to be NULL.

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

* cgraph.c (cgraph_update_edges_for_call_stmt_node): Also remove
inline clones when edge disappears.

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

PR c/60195
c/
* c-typeck.c (convert_lvalue_to_rvalue): Set TREE_NO_WARNING on tmp.
Call mark_exp_read on exp.value.
(build_atomic_assign): Set TREE_NO_WARNING on val and old.  Set
TREE_ADDRESSABLE on old instead of val.
(emit_side_effect_warnings): Warn only if RHS has !TREE_NO_WARNING.
testsuite/
* gcc.dg/pr60195.c: New test.

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

2014-02-19  Paul Pluzhnikov  <ppluzhnikov@google.com>

* gcc.dg/vect/no-vfa-vect-depend-2.c (main1): Fix buffer
overflow.

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

PR preprocessor/58844
* macro.c (enter_macro_context): Only push
macro_real_token_count (macro) tokens rather than
macro->count tokens, regardless of
CPP_OPTION (pfile, track-macro-expansion).

* c-c++-common/cpp/pr58844-1.c: New test.
* c-c++-common/cpp/pr58844-2.c: New test.

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

2014-02-18  Balaji V. Iyer  <balaji.v.iyer@intel.com>
+
+ * include/cilk/common.h (__CILKRTS_ABI_VERSION): Set the ABI version
+ to 1 instead of 0.
+ * runtime/cilk-abi-cilk-for.cpp (cilk_for_recursive): Added a fix to
+ initialize stack frame correctly.
+

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

2014-02-18  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/60203
* config/rs6000/rs6000.md (mov<mode>_64bit, TF/TDmode moves):
Split 64-bit moves into 2 patterns.  Do not allow the use of
direct move for TDmode in little endian, since the decimal value
has little endian bytes within a word, but the 64-bit pieces are
ordered in a big endian fashion, and normal subreg's of TDmode are
not allowed.
(mov<mode>_64bit_dm): Likewise.
(movtd_64bit_nodm): Likewise.

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

Daily bump.

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

PR tree-optimization/60174
* tree-ssa-reassoc.c (init_range_entry): Do not look into the defining
statement of an SSA_NAME that occurs in an abnormal PHI node.

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

/cp
2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/60225
* semantics.c (ensure_literal_type_for_constexpr_object): Use
strip_array_types.

/testsuite
2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/60225
* g++.dg/cpp0x/constexpr-ice10.C: New.

/cp
2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/60215
* semantics.c (cxx_eval_constant_expression, [COMPONENT_REF]):
During error recovery allow_non_constant may be false.

/testsuite
2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/60215
* g++.dg/cpp0x/pr60215.C: New.

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

Fix PR c++/60064.

    PR c++/60064
    * parser.c (cp_parser_member_declaration): Pop fully implicit template
    scope for generic friend declarations as well as for non-friends.

    PR c++/60064
    * g++.dg/cpp1y/pr60064.C: New testcase.

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

Really add the new testsuite files missing from commit r207854

2014-02-18  Tobias Burnus  <burnus@net-b.de>

        PR fortran/49397
        * gfortran.dg/proc_ptr_45.f90: New.
        * gfortran.dg/proc_ptr_46.f90: New.

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

2014-02-18  Tobias Burnus  <burnus@net-b.de>

        PR fortran/49397
        * expr.c (gfc_check_pointer_assign): Add check for
        F2008Cor2, C729.
        * trans-decl.c (gfc_get_symbol_decl): Correctly generate
        * external
        decl in a corner case.

2014-02-18  Tobias Burnus  <burnus@net-b.de>

        PR fortran/49397
        * gfortran.dg/proc_ptr_45.f90: New.
        * gfortran.dg/proc_ptr_46.f90: New.

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

PR sanitizer/60142
* final.c (SEEN_BB): Remove.
(SEEN_NOTE, SEEN_EMITTED): Renumber.
(final_scan_insn): Don't force_source_line on second
NOTE_INSN_BASIC_BLOCK.

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

Fix PR c++/60190.

PR c++/60190
* parser.c (cp_parser_lambda_declarator_opt): Pop template parameter
scope whenever a template parameter list has been started, independent
of whether the function call operator was well-formed or not.

PR c++/60190
* g++.dg/cpp1y/pr60190.C: New testcase.

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

PR target/60205
* config/i386/i386.h (struct ix86_args): Add warn_avx512f.
* config/i386/i386.c (init_cumulative_args): Initialize warn_avx512f.
(type_natural_mode): Warn ABI change when %zmm register is not
available for AVX512F vector value passing.

testsuite/ChangeLog:

PR target/60205
* gcc.target/i386/pr60205-1.c: New test.
* gcc.target/i386/pr60205-2.c: Ditto.

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

2014-02-18  Kai Tietz  <ktietz@redhat.com>
Jonathan Schleifer  <js@webkeks.org>

PR objc/56870
* unwind-seh.c (_GCC_specific_handler): Pass proper
value to unwind-handler.

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

2014-02-18  Kai Tietz  <ktietz@redhat.com>

PR target/60193
* config/i386/i386.c (ix86_expand_prologue): Use
rax register as displacement for restoring %r10, %rax.
Additional fix wrong offset for restoring both-registers.

2014-02-18  Kai Tietz  <ktietz@redhat.com>

PR target/60193
* gcc.target/i386/nest-1.c: New testcase.

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

2014-02-18  Robert Dewar  <dewar@adacore.com>

* cstand.adb (Build_Signed_Integer_Type): Minor change of formal
from Int to Nat (Build_Unsigned_Integer_Type): New procedure
(Create_Standard): Create new unsigned types.
* exp_ch4.adb (Expand_N_Op_Mod): Expand mod in Modify_Tree_For_C
mode (Expand_N_Reference): Removed, problematic and not needed
for now.
* exp_ch4.ads (Expand_N_Reference): Removed, problematic and
not needed for now.
* exp_util.ads, exp_util.adb (Power_Of_Two): New function.
* expander.adb: Remove call to Expand_N_Reference (problematic,
and not needed now).
* sem_aux.ads, sem_aux.adb (Corresponding_Unsigned_Type): New function.
* stand.adb: Read and write unsigned type entities.
* stand.ads: Add new unsigned types.

2014-02-18  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch4.adb (Analyze_Call): Do not mark a function call
as being inside an assertion expression as the flag is now removed.
(Check_Ghost_Subprogram_Call): Do not query the
In_Assertion_Expression flag as it is now removed, instead use
a predicate function.
* sem_elab.adb (Check_Internal_Call_Continue): Do not query the
In_Assertion_Expression flag as it is now removed, instead use
a predicate function.
* sem_prag.ads: Add new table Assertion_Expression_Pragma.
* sem_util.adb Add with and use clause for Sem_Prag.
(In_Assertion_Expression_Pragma): New routine.
* sem_util.ads (In_Assertion_Expression_Pragma): New routine.
* sinfo.adb (In_Assertion_Expression): Removed.
(Set_In_Assertion_Expression): Removed.
* sinfo.ads Remove flag In_Assertion_Expression along with its
use in nodes.
(In_Assertion_Expression): Removed along with
pragma Inline. (Set_In_Assertion_Expression): Removed along
with pragma Inline.

2014-02-18  Sergey Rybin  <rybin@adacore.com frybin>

* gnat_ugn.texi: gnatpp section: add note that '-j' cannot be
used together with '-r', '-rf' or '-rnb' options.

2014-02-18  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.adb (Analyze_Attribute): Comment
and code reformatting. Use separate routines to check the
legality of attribute 'Old in certain pragmas. Verify
the use of 'Old, 'Result and locally declared entities
within the prefix of 'Old.
(Check_References_In_Prefix): New routine.
(Check_Use_In_Contract_Cases): New routine.
(Check_Use_In_Test_Case): New routine.

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

2014-02-18  Vincent Celier  <celier@adacore.com>

* sem_aux.adb (Is_By_Reference_Type): For each components of
a record type, check also if the component is volatile as it
may have an aspect that makes it volatile. If it is, then the
record type is a by reference type.

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

2014-02-18  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb: Minor reformatting.
* exp_ch4.ads, exp_ch4.adb (Expand_N_Reference): New procedure.
* exp_util.adb (Remove_Side_Effects): Add conditional expressions
as another case where we don't generate N_Reference nodes for
primitive types.
* expander.adb (Expand): Add call to Expand_N_Reference.

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

* ipa-prop.c (compute_complex_ancestor_jump_func): Replace overzealous
assertion with conditional return.

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

2014-02-18  Janus Weil  <janus@gcc.gnu.org>

PR fortran/60231
* resolve.c (check_generic_tbp_ambiguity): Check for presence of dummy
arguments to prevent ICE.

2014-02-18  Janus Weil  <janus@gcc.gnu.org>

PR fortran/60231
* gfortran.dg/typebound_generic_15.f90: New.

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

PR driver/60233
* config/i386/driver-i386.c (host_detect_local_cpu): If
YMM state is not saved by the OS, also clear has_f16c.  Move
CPUID 0x80000001 handling before YMM state saving checking.

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

    PR rtl-optimization/58960
        * haifa-sched.c (alloc_global_sched_pressure_data): New,
        factored out from ...
        (sched_init): ... here.
        (free_global_sched_pressure_data): New, factored out from ...
        (sched_finish): ... here.
        * sched-int.h (free_global_sched_pressure_data): Declare.
        * sched-rgn.c (nr_regions_initial): New static global.
        (haifa_find_rgns): Initialize it.
        (schedule_region): Disable sched-pressure for the newly
        generated regions.

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

Daily bump.

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

* MAINTAINERS (Various Maintainers: c++ runtime libs): Remove myself.

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

2014-02-17  Richard Biener  <rguenther@suse.de>

* tree-vect-stmts.c (free_stmt_vec_info): Clear BB and
release SSA defs of pattern stmts.

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

2014-02-17  Richard Biener  <rguenther@suse.de>

* tree-inline.c (expand_call_inline): Release the virtual
operand defined by the call we are about to inline.

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

2014-02-17  Richard Biener  <rguenther@suse.de>

* tree-ssa.c (verify_ssa): If verify_def found an error, ICE.

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

2014-02-17  Janus Weil  <janus@gcc.gnu.org>

PR fortran/55907
* resolve.c (build_default_init_expr): Don't initialize character
variable if -fno-automatic is given.

2014-02-17  Janus Weil  <janus@gcc.gnu.org>

PR fortran/55907
* gfortran.dg/init_flag_12.f90: New.

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

PR libffi/60073
* src/sparc/v8.S: Assemble only if !SPARC64.
* src/sparc/v9.S: Remove obsolete comment.
* src/sparc/ffitarget.h (enum ffi_abi): Add FFI_COMPAT_V9.
(V8_ABI_P): New macro.
(V9_ABI_P): Likewise.
(FFI_EXTRA_CIF_FIELDS): Define only if SPARC64.
* src/sparc/ffi.c (ffi_prep_args_v8): Compile only if !SPARC64.
(ffi_prep_args_v9): Compile only if SPARC64.
(ffi_prep_cif_machdep_core): Use V9_ABI_P predicate.
(ffi_prep_cif_machdep): Guard access to nfixedargs field.
(ffi_prep_cif_machdep_var): Likewise.
(ffi_v9_layout_struct): Compile only if SPARC64.
(ffi_call): Deal with FFI_V8PLUS and FFI_COMPAT_V9 and fix warnings.
(ffi_prep_closure_loc): Use V9_ABI_P and V8_ABI_P predicates.
(ffi_closure_sparc_inner_v8): Compile only if !SPARC64.
(ffi_closure_sparc_inner_v9): Compile only if SPARC64.  Guard access
to nfixedargs field.

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

gcc/
* config/i386/avx512fintrin.h (_mm512_maskz_permutexvar_epi64): Swap
arguments order in builtin.
(_mm512_permutexvar_epi64): Ditto.
(_mm512_mask_permutexvar_epi64): Ditto
(_mm512_maskz_permutexvar_epi32): Ditto
(_mm512_permutexvar_epi32): Ditto
(_mm512_mask_permutexvar_epi32): Ditto

gcc/testsuite/
* gcc.target/i386/avx512f-vpermd-2.c: Fix reference calculations.
* gcc.target/i386/avx512f-vpermpd-2.c: Ditto.
* gcc.target/i386/avx512f-vpermps-2.c: Ditto.
* gcc.target/i386/avx512f-vpermq-var-2.c: Ditto.

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

2014-02-17  Kugan Vivekanandarajah  <kuganv@linaro.org>

* MAINTAINERS (Write After Approval): Add myself.

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

Revert accidental checkin.

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

2014-02-16  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

* config/rs6000/altivec.md (p8_vmrgew): Handle little endian
targets.
(p8_vmrgow): Likewise.

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

2014-02-16  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

* config/rs6000/vsx.md (vsx_xxpermdi_<mode>): Handle little
endian targets.

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

Daily bump.

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

gcc/testsuite/
* lib/target-supports.exp
(check_effective_target_logical_op_short_circuit): New procedure.
* gcc.dg/binop-xor1.c: XFAIL for logical_op_short_circuit.
* gcc.dg/tree-ssa/forwprop-28.c: Use logical_op_short_circuit
instead of mips*-*-*, arc*-*-*, avr*-*-* and arm_cortex_m tests.
* gcc.dg/tree-ssa/vrp47.c: Likewise.
* gcc.dg/tree-ssa/vrp87.c: Likewise.
* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Likewise.  Also use
logical_op_short_circuit for the alternative test, extending
it to arm_cortex_m.

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

[gcc]
2014-02-15  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/60203
* config/rs6000/rs6000.md (rreg): Add TFmode, TDmode constraints.
(mov<mode>_internal, TFmode/TDmode): Split TFmode/TDmode moves
into 64-bit and 32-bit moves.  On 64-bit moves, add support for
using direct move instructions on ISA 2.07.  Also adjust
instruction length for 64-bit.
(mov<mode>_64bit, TFmode/TDmode): Likewise.
(mov<mode>_32bit, TFmode/TDmode): Likewise.

[gcc/testsuite]
2014-02-15  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/60203
* gcc.target/powerpc/pr60203.c: New testsuite.

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

Daily bump.

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

fortran/
        PR fortran/59599
        * trans-intrinsic.c (gfc_conv_intrinsic_ichar): Calculate the
        number of arguments.

testsuite/
        PR fortran/59599
        * gfortran.dg/ichar_3.f90: New test.

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

PR target/58675
PR target/57935
* config/rs6000/rs6000.c (rs6000_secondary_reload_inner): Use
find_replacement on parts of insn rtl that might be reloaded.

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

2014-02-15  Richard Biener  <rguenther@suse.de>

PR tree-optimization/60183
* tree-ssa-phiprop.c (propagate_with_phi): Avoid speculating
loads.
(tree_ssa_phiprop): Calculate and free post-dominators.

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

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

Daily bump.

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

PR rtl-optimization/60131
* ree.c (get_extended_src_reg): New function.
(combine_reaching_defs): Use it rather than assuming location
of REG.
(find_and_remove_re): Verify first operand of extension is
a REG before adding the insns to the copy list.

PR rtl-optimization/60131
* g++.dg/torture/pr60131.C: New test.

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

Use ud2 assembly mnemonic when available.

gcc/
* configure.ac (HAVE_AS_IX86_UD2): New test for 'ud2' mnemonic.
* configure: Regenerated.
* config.in: Regenerated.
* config/i386/i386.md (trap) [HAVE_AS_IX86_UD2]: Use the mnemonic
instead of ASM_SHORT.

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

Skip test if -mfloat-abi=hard specified

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

2014-02-14  Vladimir Makarov  <vmakarov@redhat.com>
    Richard Earnshaw  <rearnsha@arm.com>

PR rtl-optimization/59535
* lra-constraints.c (process_alt_operands): Encourage alternative
when unassigned pseudo class is superset of the alternative class.
(inherit_reload_reg): Don't inherit when optimizing for code size.
* config/arm/arm.h (MODE_BASE_REG_CLASS): Add version for LRA
returning CORE_REGS for anything but Thumb1 and BASE_REGS for
modes not less than 4 for Thumb1.

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

2014-02-14  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * c-c++-common/ubsan/overflow-negate-2.c (main): Use signed char.

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

PR pch/60010
2014-02-14  Kyle McMartin  <kyle@redhat.com>

* config/host-linux.c (TRY_EMPTY_VM_SPACE): Define for AArch64.

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

2014-02-14  Richard Biener  <rguenther@suse.de>

* cilk-common.c (cilk_arrow): Build a MEM_REF, not an INDIRECT_REF.
(get_frame_arg): Drop the assert with langhook types_compatible_p.
Do not strip INDIRECT_REFs.

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

2014-02-14  Richard Biener  <rguenther@suse.de>

PR lto/60179
* lto-streamer-out.c (DFS_write_tree_body): Do not follow
DECL_FUNCTION_SPECIFIC_TARGET.
(hash_tree): Do not hash DECL_FUNCTION_SPECIFIC_TARGET.
* tree-streamer-out.c (pack_ts_target_option): Remove.
(streamer_pack_tree_bitfields): Do not stream
TS_TARGET_OPTION.
(write_ts_function_decl_tree_pointers): Do not stream
DECL_FUNCTION_SPECIFIC_TARGET.
* tree-streamer-in.c (unpack_ts_target_option): Remove.
(unpack_value_fields): Do not stream TS_TARGET_OPTION.
(lto_input_ts_function_decl_tree_pointers): Do not stream
DECL_FUNCTION_SPECIFIC_TARGET.

lto/
* lto.c (compare_tree_sccs_1): Do not compare
DECL_FUNCTION_SPECIFIC_TARGET.
(lto_read_decls): Re-build DECL_FUNCTION_SPECIFIC_TARGET.

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

* tree-vect-loop.c (vect_is_slp_reduction): Don't set
use_stmt twice.
(get_initial_def_for_induction, vectorizable_induction): Ignore
debug stmts when looking for exit_phi.
(vectorizable_live_operation): Fix up condition.

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

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