Arnaud Charlet [Wed, 19 Feb 2014 11:18:32 +0000 (12:18 +0100)]
[multiple changes]
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.
From-SVN: r207895
Arnaud Charlet [Wed, 19 Feb 2014 11:17:15 +0000 (12:17 +0100)]
[multiple changes]
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.
From-SVN: r207894
Arnaud Charlet [Wed, 19 Feb 2014 11:12:05 +0000 (12:12 +0100)]
[multiple changes]
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
From-SVN: r207893
Robert Dewar [Wed, 19 Feb 2014 11:07:31 +0000 (11:07 +0000)]
exp_util.adb (Side_Effect_Free): Scalar if expressions can be SEF.
2014-02-19 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Side_Effect_Free): Scalar if expressions can be SEF.
From-SVN: r207892
Arnaud Charlet [Wed, 19 Feb 2014 11:05:35 +0000 (12:05 +0100)]
[multiple changes]
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.
From-SVN: r207891
Arnaud Charlet [Wed, 19 Feb 2014 11:02:48 +0000 (12:02 +0100)]
[multiple changes]
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.
From-SVN: r207890
Robert Dewar [Wed, 19 Feb 2014 11:01:01 +0000 (11:01 +0000)]
sem_eval.ads, [...] (Subtypes_Statically_Match): Return False if Esize values do not match.
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.
From-SVN: r207889
Arnaud Charlet [Wed, 19 Feb 2014 10:59:25 +0000 (11:59 +0100)]
[multiple changes]
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.
From-SVN: r207888
Arnaud Charlet [Wed, 19 Feb 2014 10:55:33 +0000 (11:55 +0100)]
[multiple changes]
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.
From-SVN: r207887
Arnaud Charlet [Wed, 19 Feb 2014 10:51:26 +0000 (11:51 +0100)]
[multiple changes]
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.
From-SVN: r207886
Arnaud Charlet [Wed, 19 Feb 2014 10:48:06 +0000 (11:48 +0100)]
[multiple changes]
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.
From-SVN: r207885
Arnaud Charlet [Wed, 19 Feb 2014 10:44:33 +0000 (11:44 +0100)]
[multiple changes]
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.
From-SVN: r207884
Robert Dewar [Wed, 19 Feb 2014 10:42:16 +0000 (10:42 +0000)]
exp_ch4.adb (Expand_N_Expression_With_Actions): Make sure declarations get properly inserted in Modify_Tree_For_C mode.
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.
From-SVN: r207883
Robert Dewar [Wed, 19 Feb 2014 10:32:17 +0000 (10:32 +0000)]
par-ch9.adb, [...]: Minor reformatting.
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.
From-SVN: r207882
Ed Schonberg [Wed, 19 Feb 2014 10:30:33 +0000 (10:30 +0000)]
style.adb (Missing_Overriding): Warning does not apply in language versions prior to Ada 2005.
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.
From-SVN: r207881
Arnaud Charlet [Wed, 19 Feb 2014 10:25:53 +0000 (11:25 +0100)]
[multiple changes]
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.
From-SVN: r207880
Richard Biener [Wed, 19 Feb 2014 09:29:34 +0000 (09:29 +0000)]
re PR ipa/60243 (IPA is slow on large cgraph tree)
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.
From-SVN: r207879
Jan Hubicka [Wed, 19 Feb 2014 07:45:00 +0000 (08:45 +0100)]
ipa.c (function_and_variable_visibility): Also clear WEAK flag when disolving COMDAT_GROUP.
* ipa.c (function_and_variable_visibility): Also clear WEAK
flag when disolving COMDAT_GROUP.
From-SVN: r207878
Jan Hubicka [Wed, 19 Feb 2014 07:42:06 +0000 (08:42 +0100)]
ipa-prop.h (ipa_ancestor_jf_data): Update ocmment.
* 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.
From-SVN: r207877
Jan Hubicka [Wed, 19 Feb 2014 07:33:45 +0000 (08:33 +0100)]
cgraph.c (cgraph_update_edges_for_call_stmt_node): Also remove inline clones when edge disappears.
* cgraph.c (cgraph_update_edges_for_call_stmt_node): Also remove
inline clones when edge disappears.
From-SVN: r207875
Marek Polacek [Wed, 19 Feb 2014 06:29:49 +0000 (06:29 +0000)]
re PR c/60195 (Strange warnings using atomic types)
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.
From-SVN: r207873
Paul Pluzhnikov [Wed, 19 Feb 2014 06:21:42 +0000 (22:21 -0800)]
no-vfa-vect-depend-2.c (main1): Fix buffer overflow.
2014-02-19 Paul Pluzhnikov <ppluzhnikov@google.com>
* gcc.dg/vect/no-vfa-vect-depend-2.c (main1): Fix buffer
overflow.
From-SVN: r207872
Jakub Jelinek [Wed, 19 Feb 2014 06:05:55 +0000 (07:05 +0100)]
re PR preprocessor/58844 (ICE with invalid use of ##)
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.
From-SVN: r207871
Balaji V. Iyer [Wed, 19 Feb 2014 03:43:21 +0000 (03:43 +0000)]
+ * include/cilk/common.h (__CILKRTS_ABI_VERSION): Set the ABI version + to 1 instead of 0.
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.
+
From-SVN: r207870
Michael Meissner [Wed, 19 Feb 2014 02:14:17 +0000 (02:14 +0000)]
re PR target/60203 (Support long double/_Decimal128 direct move on power8)
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.
From-SVN: r207868
GCC Administrator [Wed, 19 Feb 2014 00:16:52 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207863
Eric Botcazou [Tue, 18 Feb 2014 23:15:27 +0000 (23:15 +0000)]
re PR tree-optimization/60174 (ICE on ACATS
cc3305a)
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.
From-SVN: r207859
Paolo Carlini [Tue, 18 Feb 2014 23:11:26 +0000 (23:11 +0000)]
re PR c++/60225 ([c++11] ICE initializing constexpr array)
/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.
From-SVN: r207858
Adam Butcher [Tue, 18 Feb 2014 22:29:56 +0000 (22:29 +0000)]
re PR c++/60064 ([c++1y] ICE with auto as parameter of friend function)
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.
From-SVN: r207856
Tobias Burnus [Tue, 18 Feb 2014 22:29:00 +0000 (23:29 +0100)]
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.
From-SVN: r207855
Tobias Burnus [Tue, 18 Feb 2014 22:09:39 +0000 (23:09 +0100)]
re PR fortran/49397 ([F03] ICE with proc pointer assignment)
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.
From-SVN: r207854
Jakub Jelinek [Tue, 18 Feb 2014 21:16:21 +0000 (22:16 +0100)]
re PR sanitizer/60142 ([asan] -fsanitize=address breaks debugging - stepping into functions no longer possible)
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.
From-SVN: r207853
Adam Butcher [Tue, 18 Feb 2014 21:07:48 +0000 (21:07 +0000)]
re PR c++/60190 ([c++1y] ICE with invalid return type of template lambda)
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.
From-SVN: r207852
Uros Bizjak [Tue, 18 Feb 2014 18:55:35 +0000 (19:55 +0100)]
re PR target/60205 (No ABI warning for AVX-512)
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.
From-SVN: r207851
Kai Tietz [Tue, 18 Feb 2014 17:02:54 +0000 (18:02 +0100)]
re PR objc/56870 (@catch handler broken with SEH)
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.
Co-Authored-By: Jonathan Schleifer <js@webkeks.org>
From-SVN: r207849
Kai Tietz [Tue, 18 Feb 2014 12:49:15 +0000 (13:49 +0100)]
re PR target/60193 (ICE on big nested frame)
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.
From-SVN: r207844
Arnaud Charlet [Tue, 18 Feb 2014 11:56:35 +0000 (12:56 +0100)]
[multiple changes]
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.
From-SVN: r207843
Vincent Celier [Tue, 18 Feb 2014 11:54:13 +0000 (11:54 +0000)]
sem_aux.adb (Is_By_Reference_Type): For each components of a record type...
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.
From-SVN: r207842
Robert Dewar [Tue, 18 Feb 2014 11:52:58 +0000 (11:52 +0000)]
exp_attr.adb: Minor reformatting.
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.
From-SVN: r207841
Eric Botcazou [Tue, 18 Feb 2014 11:07:34 +0000 (11:07 +0000)]
ipa-prop.c (compute_complex_ancestor_jump_func): Replace overzealous assertion with conditional return.
* ipa-prop.c (compute_complex_ancestor_jump_func): Replace overzealous
assertion with conditional return.
From-SVN: r207838
Janus Weil [Tue, 18 Feb 2014 07:45:39 +0000 (08:45 +0100)]
re PR fortran/60231 (ICE on undefined generic)
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.
From-SVN: r207836
Jakub Jelinek [Tue, 18 Feb 2014 07:19:46 +0000 (08:19 +0100)]
re PR driver/60233 (AVX instructions emitted with -march=native on host without AVX support)
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.
Co-Authored-By: Uros Bizjak <ubizjak@gmail.com>
From-SVN: r207833
Andrey Belevantsev [Tue, 18 Feb 2014 05:41:29 +0000 (09:41 +0400)]
re PR rtl-optimization/58960 (ICE in bmp_iter_set_init)
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.
From-SVN: r207832
GCC Administrator [Tue, 18 Feb 2014 00:16:54 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207831
Loren J. Rittle [Mon, 17 Feb 2014 19:27:01 +0000 (19:27 +0000)]
* MAINTAINERS (Various Maintainers: c++ runtime libs): Remove myself.
From-SVN: r207828
Richard Biener [Mon, 17 Feb 2014 15:34:03 +0000 (15:34 +0000)]
tree-vect-stmts.c (free_stmt_vec_info): Clear BB and release SSA defs of pattern stmts.
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.
From-SVN: r207826
Richard Biener [Mon, 17 Feb 2014 15:23:19 +0000 (15:23 +0000)]
tree-inline.c (expand_call_inline): Release the virtual operand defined by the call we are about to inline.
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.
From-SVN: r207825
Richard Biener [Mon, 17 Feb 2014 14:10:42 +0000 (14:10 +0000)]
tree-ssa.c (verify_ssa): If verify_def found an error, ICE.
2014-02-17 Richard Biener <rguenther@suse.de>
* tree-ssa.c (verify_ssa): If verify_def found an error, ICE.
From-SVN: r207824
Janus Weil [Mon, 17 Feb 2014 12:46:52 +0000 (13:46 +0100)]
re PR fortran/55907 (ICE with -fno-automatic -finit-local-zero)
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.
From-SVN: r207823
Eric Botcazou [Mon, 17 Feb 2014 12:00:04 +0000 (12:00 +0000)]
re PR libffi/60073 (64-bit libffi.call/cls_double_va.c FAILs after recent modification)
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.
From-SVN: r207822
Kirill Yukhin [Mon, 17 Feb 2014 11:26:08 +0000 (11:26 +0000)]
avx512fintrin.h (_mm512_maskz_permutexvar_epi64): Swap arguments order in builtin.
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.
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
From-SVN: r207821
Kugan Vivekanandarajah [Mon, 17 Feb 2014 10:58:31 +0000 (10:58 +0000)]
MAINTAINERS (Write After Approval): Add myself.
2014-02-17 Kugan Vivekanandarajah <kuganv@linaro.org>
* MAINTAINERS (Write After Approval): Add myself.
From-SVN: r207820
Jan Hubicka [Mon, 17 Feb 2014 09:23:41 +0000 (09:23 +0000)]
Revert accidental checkin.
From-SVN: r207818
Bill Schmidt [Mon, 17 Feb 2014 02:01:42 +0000 (02:01 +0000)]
altivec.md (p8_vmrgew): Handle little endian targets.
2014-02-16 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* config/rs6000/altivec.md (p8_vmrgew): Handle little endian
targets.
(p8_vmrgow): Likewise.
From-SVN: r207815
Bill Schmidt [Mon, 17 Feb 2014 02:00:26 +0000 (02:00 +0000)]
vsx.md (vsx_xxpermdi_<mode>): Handle little endian targets.
2014-02-16 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* config/rs6000/vsx.md (vsx_xxpermdi_<mode>): Handle little
endian targets.
From-SVN: r207814
GCC Administrator [Mon, 17 Feb 2014 00:16:58 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207813
Richard Sandiford [Sun, 16 Feb 2014 21:58:43 +0000 (21:58 +0000)]
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.
From-SVN: r207810
Michael Meissner [Sun, 16 Feb 2014 03:08:03 +0000 (03:08 +0000)]
re PR target/60203 (Support long double/_Decimal128 direct move on power8)
[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.
From-SVN: r207808
GCC Administrator [Sun, 16 Feb 2014 00:16:58 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207807
Mikael Morin [Sat, 15 Feb 2014 11:48:41 +0000 (11:48 +0000)]
re PR fortran/59599 (Compiler internal error on intrinsic ichar)
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.
From-SVN: r207799
Alan Modra [Sat, 15 Feb 2014 10:49:55 +0000 (21:19 +1030)]
re PR target/58675 (ICE in rs6000_secondary_reload_inner:15460, type = store)
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.
From-SVN: r207798
Richard Biener [Sat, 15 Feb 2014 09:54:52 +0000 (09:54 +0000)]
re PR tree-optimization/60183 (phiprop creates invalid code)
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.
From-SVN: r207797
GCC Administrator [Sat, 15 Feb 2014 00:17:04 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r207796
Jeff Law [Fri, 14 Feb 2014 20:26:31 +0000 (13:26 -0700)]
re PR rtl-optimization/60131 (RTL check fail in rhs_regno)
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.
From-SVN: r207792
Roland McGrath [Fri, 14 Feb 2014 17:37:23 +0000 (17:37 +0000)]
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.
From-SVN: r207789
Ian Bolton [Fri, 14 Feb 2014 17:20:46 +0000 (17:20 +0000)]
Skip test if -mfloat-abi=hard specified
From-SVN: r207788
Vladimir Makarov [Fri, 14 Feb 2014 16:18:29 +0000 (16:18 +0000)]
re PR rtl-optimization/59535 (-Os code size regressions for Thumb1/Thumb2 with LRA)
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.
Co-Authored-By: Richard Earnshaw <rearnsha@arm.com>
From-SVN: r207787
Bernd Edlinger [Fri, 14 Feb 2014 14:25:56 +0000 (14:25 +0000)]
overflow-negate-2.c (main): Use signed char.
2014-02-14 Bernd Edlinger <bernd.edlinger@hotmail.de>
* c-c++-common/ubsan/overflow-negate-2.c (main): Use signed char.
From-SVN: r207786
Kyle McMartin [Fri, 14 Feb 2014 14:14:03 +0000 (14:14 +0000)]
re PR pch/60010 (AArch64: sigsegv in cc1plus using pch without defining TRY_EMPTY_VM_SPACE)
PR pch/60010
2014-02-14 Kyle McMartin <kyle@redhat.com>
* config/host-linux.c (TRY_EMPTY_VM_SPACE): Define for AArch64.
From-SVN: r207785
Richard Biener [Fri, 14 Feb 2014 14:07:30 +0000 (14:07 +0000)]
cilk-common.c (cilk_arrow): Build a MEM_REF, not an INDIRECT_REF.
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.
From-SVN: r207784
Richard Biener [Fri, 14 Feb 2014 12:03:43 +0000 (12:03 +0000)]
re PR target/60179 (target optimization attribute streaming is broken)
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.
From-SVN: r207783
Jakub Jelinek [Fri, 14 Feb 2014 07:31:23 +0000 (08:31 +0100)]
tree-vect-loop.c (vect_is_slp_reduction): Don't set use_stmt twice.
* 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.
From-SVN: r207778
Chung-Ju Wu [Fri, 14 Feb 2014 06:02:16 +0000 (06:02 +0000)]
nds32.c (nds32_asm_function_prologue): Do not use nreverse() because it changes the content of original tree list.
2014-02-14 Chung-Ju Wu <jasonwucj@gmail.com>
* config/nds32/nds32.c (nds32_asm_function_prologue): Do not use
nreverse() because it changes the content of original tree list.
From-SVN: r207777
Chung-Ju Wu [Fri, 14 Feb 2014 05:01:31 +0000 (05:01 +0000)]
t-mlibs (MULTILIB_OPTIONS): Fix typo in comment.
2014-02-14 Chung-Ju Wu <jasonwucj@gmail.com>
* config/nds32/t-mlibs (MULTILIB_OPTIONS): Fix typo in comment.
* config/nds32/nds32.c (nds32_merge_decl_attributes): Likewise.
From-SVN: r207775
Chung-Ju Wu [Fri, 14 Feb 2014 04:45:56 +0000 (04:45 +0000)]
nds32.c (nds32_naked_function_p): Follow the GNU coding standards.
2014-02-14 Chung-Ju Wu <jasonwucj@gmail.com>
* config/nds32/nds32.c (nds32_naked_function_p): Follow the
GNU coding standards.
From-SVN: r207774
GCC Administrator [Fri, 14 Feb 2014 00:16:55 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207773
Jakub Jelinek [Thu, 13 Feb 2014 22:42:44 +0000 (23:42 +0100)]
re PR debug/60152 (multiple AT_calling_convention attributes generated after r205679)
PR debug/60152
* dwarf2out.c (gen_subprogram_die): Don't call
add_calling_convention_attribute if subr_die is old_die.
From-SVN: r207770
Sharad Singhai [Thu, 13 Feb 2014 21:43:53 +0000 (21:43 +0000)]
optinfo.texi: Fix order of nodes.
2014-02-13 Sharad Singhai <singhai@google.com>
* doc/optinfo.texi: Fix order of nodes.
From-SVN: r207767
Uros Bizjak [Thu, 13 Feb 2014 16:47:35 +0000 (17:47 +0100)]
sse.md (xop_vmfrcz<mode>2): Generate const0 in operands[2], not operands[3].
* config/i386/sse.md (xop_vmfrcz<mode>2): Generate const0 in
operands[2], not operands[3].
From-SVN: r207764
Eric Botcazou [Thu, 13 Feb 2014 16:18:13 +0000 (16:18 +0000)]
re PR libffi/60073 (64-bit libffi.call/cls_double_va.c FAILs after recent modification)
PR libffi/60073
* src/sparc/ffitarget.h (FFI_TARGET_SPECIFIC_VARIADIC): Define.
(FFI_EXTRA_CIF_FIELDS): Likewise.
(FFI_NATIVE_RAW_API): Move around.
* src/sparc/ffi.c (ffi_prep_cif_machdep_core): New function from...
(ffi_prep_cif_machdep): ...here. Call ffi_prep_cif_machdep_core.
(ffi_prep_cif_machdep_var): New function.
(ffi_closure_sparc_inner_v9): Do not pass anonymous FP arguments in
FP registers.
* doc/libffi.texi (Introduction): Fix inaccuracy.
From-SVN: r207763
Richard Biener [Thu, 13 Feb 2014 14:06:48 +0000 (14:06 +0000)]
download_prerequisites: Update ISL and CLOOG versions.
2014-02-13 Richard Biener <rguenther@suse.de>
* download_prerequisites: Update ISL and CLOOG versions.
From-SVN: r207759
Richard Biener [Thu, 13 Feb 2014 13:35:10 +0000 (13:35 +0000)]
re PR bootstrap/59878 (ISL from cloog does not work with trunk)
2014-02-13 Richard Biener <rguenther@suse.de>
PR bootstrap/59878
* doc/install.texi (ISL): Update recommended version to 0.12.2,
mention the possibility of an in-tree build.
(CLooG): Update recommended version to 0.18.1, mention the
possibility of an in-tree build and clarify that the ISL
bundled with CLooG does not work.
From-SVN: r207758
Jakub Jelinek [Thu, 13 Feb 2014 13:20:06 +0000 (14:20 +0100)]
re PR target/43546 (ICE: in assign_stack_local_1, at function.c:353 with -mpreferred-stack-boundary=2 -msseregparm)
PR target/43546
* expr.c (compress_float_constant): If x is a hard register,
extend into a pseudo and then move to x.
* gcc.target/i386/pr43546.c: New test.
From-SVN: r207757
Dominik Vogt [Thu, 13 Feb 2014 12:38:52 +0000 (12:38 +0000)]
s390.c (s390_asm_output_function_label): Fix crash caused by bad second argument to warning_at() with -mhotpatch and...
2014-02-13 Dominik Vogt <vogt@linux.vnet.ibm.com>
* config/s390/s390.c (s390_asm_output_function_label): Fix crash
caused by bad second argument to warning_at() with -mhotpatch and
nested functions (e.g. with gfortran).
2014-02-13 Dominik Vogt <vogt@linux.vnet.ibm.com>
* gcc.target/s390/hotpatch-compile-8.c: New test.
From-SVN: r207753
Richard Sandiford [Thu, 13 Feb 2014 09:22:26 +0000 (09:22 +0000)]
pr59605.c: Convert to a compile test.
gcc/testsuite/
* gcc.dg/pr59605.c: Convert to a compile test. Protect MAX_COPY
definition with an ifndef.
* gcc.dg/pr59605-2.c: New test.
From-SVN: r207748
Richard Sandiford [Thu, 13 Feb 2014 09:22:04 +0000 (09:22 +0000)]
opts.c (option_name): Remove "enabled by default" rider.
gcc/
* opts.c (option_name): Remove "enabled by default" rider.
gcc/testsuite/
* gcc.dg/gomp/simd-clones-5.c: Update comment for new warning message.
From-SVN: r207747
GCC Administrator [Thu, 13 Feb 2014 00:16:47 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207746
John David Anglin [Wed, 12 Feb 2014 23:28:24 +0000 (23:28 +0000)]
pa.c (pa_option_override): Remove auto increment FIXME.
* config/pa/pa.c (pa_option_override): Remove auto increment FIXME.
From-SVN: r207743
Joseph Myers [Wed, 12 Feb 2014 23:24:49 +0000 (23:24 +0000)]
float128-mul-underflow.c, [...]: New tests.
gcc/testsuite:
* gcc.dg/torture/float128-mul-underflow.c,
gcc.dg/torture/float128-truncdf-underflow.c,
gcc.dg/torture/float128-truncsf-underflow.c: New tests.
libgcc:
* soft-fp/adddf3.c: Update from glibc.
* soft-fp/addsf3.c: Likewise.
* soft-fp/addtf3.c: Likewise.
* soft-fp/divdf3.c: Likewise.
* soft-fp/divsf3.c: Likewise.
* soft-fp/divtf3.c: Likewise.
* soft-fp/double.h: Likewise.
* soft-fp/eqdf2.c: Likewise.
* soft-fp/eqsf2.c: Likewise.
* soft-fp/eqtf2.c: Likewise.
* soft-fp/extenddftf2.c: Likewise.
* soft-fp/extended.h: Likewise.
* soft-fp/extendsfdf2.c: Likewise.
* soft-fp/extendsftf2.c: Likewise.
* soft-fp/extendxftf2.c: Likewise.
* soft-fp/fixdfdi.c: Likewise.
* soft-fp/fixdfsi.c: Likewise.
* soft-fp/fixdfti.c: Likewise.
* soft-fp/fixsfdi.c: Likewise.
* soft-fp/fixsfsi.c: Likewise.
* soft-fp/fixsfti.c: Likewise.
* soft-fp/fixtfdi.c: Likewise.
* soft-fp/fixtfsi.c: Likewise.
* soft-fp/fixtfti.c: Likewise.
* soft-fp/fixunsdfdi.c: Likewise.
* soft-fp/fixunsdfsi.c: Likewise.
* soft-fp/fixunsdfti.c: Likewise.
* soft-fp/fixunssfdi.c: Likewise.
* soft-fp/fixunssfsi.c: Likewise.
* soft-fp/fixunssfti.c: Likewise.
* soft-fp/fixunstfdi.c: Likewise.
* soft-fp/fixunstfsi.c: Likewise.
* soft-fp/fixunstfti.c: Likewise.
* soft-fp/floatdidf.c: Likewise.
* soft-fp/floatdisf.c: Likewise.
* soft-fp/floatditf.c: Likewise.
* soft-fp/floatsidf.c: Likewise.
* soft-fp/floatsisf.c: Likewise.
* soft-fp/floatsitf.c: Likewise.
* soft-fp/floattidf.c: Likewise.
* soft-fp/floattisf.c: Likewise.
* soft-fp/floattitf.c: Likewise.
* soft-fp/floatundidf.c: Likewise.
* soft-fp/floatundisf.c: Likewise.
* soft-fp/floatunditf.c: Likewise.
* soft-fp/floatunsidf.c: Likewise.
* soft-fp/floatunsisf.c: Likewise.
* soft-fp/floatunsitf.c: Likewise.
* soft-fp/floatuntidf.c: Likewise.
* soft-fp/floatuntisf.c: Likewise.
* soft-fp/floatuntitf.c: Likewise.
* soft-fp/gedf2.c: Likewise.
* soft-fp/gesf2.c: Likewise.
* soft-fp/getf2.c: Likewise.
* soft-fp/ledf2.c: Likewise.
* soft-fp/lesf2.c: Likewise.
* soft-fp/letf2.c: Likewise.
* soft-fp/muldf3.c: Likewise.
* soft-fp/mulsf3.c: Likewise.
* soft-fp/multf3.c: Likewise.
* soft-fp/negdf2.c: Likewise.
* soft-fp/negsf2.c: Likewise.
* soft-fp/negtf2.c: Likewise.
* soft-fp/op-1.h: Likewise.
* soft-fp/op-2.h: Likewise.
* soft-fp/op-4.h: Likewise.
* soft-fp/op-8.h: Likewise.
* soft-fp/op-common.h: Likewise.
* soft-fp/quad.h: Likewise.
* soft-fp/single.h: Likewise.
* soft-fp/soft-fp.h: Likewise.
* soft-fp/subdf3.c: Likewise.
* soft-fp/subsf3.c: Likewise.
* soft-fp/subtf3.c: Likewise.
* soft-fp/truncdfsf2.c: Likewise.
* soft-fp/trunctfdf2.c: Likewise.
* soft-fp/trunctfsf2.c: Likewise.
* soft-fp/trunctfxf2.c: Likewise.
* soft-fp/unorddf2.c: Likewise.
* soft-fp/unordsf2.c: Likewise.
* soft-fp/unordtf2.c: Likewise.
* config/aarch64/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING): New
macro.
* config/arm/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/c6x/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/cris/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/i386/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/ia64/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/lm32/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/mips/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/moxie/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/nds32/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/nios2/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/rs6000/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/score/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/tilegx/sfp-machine32.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/tilegx/sfp-machine64.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
* config/tilepro/sfp-machine.h (_FP_TININESS_AFTER_ROUNDING):
Likewise.
From-SVN: r207742
Jakub Jelinek [Wed, 12 Feb 2014 16:55:51 +0000 (17:55 +0100)]
re PR middle-end/59737 (ice from optimize_inline_calls)
PR middle-end/59737
* g++.dg/ipa/pr59737.C: New test.
From-SVN: r207735
H.J. Lu [Wed, 12 Feb 2014 16:12:36 +0000 (16:12 +0000)]
Pass --32 to GNU assembler for .long foo@GOTOFF check
PR target/60151
* configure.ac (HAVE_AS_GOTOFF_IN_DATA): Pass --32 to GNU
assembler.
* configure: Regenerated.
Co-Authored-By: Uros Bizjak <ubizjak@gmail.com>
From-SVN: r207731
H.J. Lu [Wed, 12 Feb 2014 16:02:45 +0000 (16:02 +0000)]
Compile g++.dg/opt/pr52727.C with -march=i686 for ia32
* g++.dg/opt/pr52727.C: Compile with -march=i686 for ia32.
From-SVN: r207730
Richard Biener [Wed, 12 Feb 2014 16:01:03 +0000 (16:01 +0000)]
vec.c (vec_prefix::calculate_allocation): Move as inline variant to vec.h.
2014-02-12 Richard Biener <rguenther@suse.de>
* vec.c (vec_prefix::calculate_allocation): Move as
inline variant to vec.h.
(vec_prefix::calculate_allocation_1): New out-of-line version.
* vec.h (vec_prefix::calculate_allocation_1): Declare.
(vec_prefix::m_has_auto_buf): Rename to ...
(vec_prefix::m_using_auto_storage): ... this.
(vec_prefix::calculate_allocation): Inline the easy cases
and dispatch to calculate_allocation_1 which doesn't need the
prefix address.
(va_heap::reserve): Use gcc_checking_assert.
(vec<T, A, vl_embed>::embedded_init): Add argument to initialize
m_using_auto_storage.
(auto_vec): Change m_vecpfx member to a vec<T, va_heap, vl_embed>
member and adjust.
(vec<T, va_heap, vl_ptr>::reserve): Remove redundant check.
(vec<T, va_heap, vl_ptr>::release): Avoid casting.
(vec<T, va_heap, vl_ptr>::using_auto_storage): Simplify.
From-SVN: r207729
Richard Biener [Wed, 12 Feb 2014 14:50:06 +0000 (14:50 +0000)]
gcse.c (compute_transp): break from loop over canon_modify_mem_list when we found a dependence.
2014-02-12 Richard Biener <rguenther@suse.de>
* gcse.c (compute_transp): break from loop over canon_modify_mem_list
when we found a dependence.
From-SVN: r207726
Thomas Schwinge [Wed, 12 Feb 2014 14:46:41 +0000 (15:46 +0100)]
Fix typo in dg-error invocation.
gcc/testsuite/
* c-c++-common/raw-string-3.c: Fix typo in dg-error invocation.
From-SVN: r207725
Thomas Schwinge [Wed, 12 Feb 2014 14:46:30 +0000 (15:46 +0100)]
Refactor common code into new maybe_fold_stmt function.
gcc/
* gimplify.c (gimplify_call_expr, gimplify_modify_expr): Move
common code...
(maybe_fold_stmt): ... into this new function.
* omp-low.c (lower_omp): Update comment.
From-SVN: r207724
Thomas Schwinge [Wed, 12 Feb 2014 14:46:19 +0000 (15:46 +0100)]
Add clobber for object, after last use.
gcc/
* omp-low.c (lower_omp_target): Add clobber for sizes array, after
last use.
From-SVN: r207723
Thomas Schwinge [Wed, 12 Feb 2014 14:46:08 +0000 (15:46 +0100)]
Fix potential ICE (null pointer dereference) in omp-low.c:diagnose_sb_0.
gcc/
* omp-low.c (diagnose_sb_0): Make sure label_ctx is valid to
dereference.
gcc/testsuite/
* gcc.dg/cilk-plus/jump-openmp.c: New file.
From-SVN: r207722
James Greenhalgh [Wed, 12 Feb 2014 13:52:02 +0000 (13:52 +0000)]
[ARM] [Churn] Comments on cost tables should have lower-case identifiers.
* config/arm/aarch-cost-tables.h (generic_extra_costs): Fix
identifiers in comments.
(cortexa53_extra_costs): Likewise.
* config/arm/arm.c (cortexa9_extra_costs): Fix identifiers in
comments.
(cortexa7_extra_costs): Likewise.
(cortexa12_extra_costs): Likewise.
(cortexa15_extra_costs): Likewise.
(v7m_extra_costs): Likewise.
From-SVN: r207721
Richard Biener [Wed, 12 Feb 2014 13:36:08 +0000 (13:36 +0000)]
re PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment info)
2014-02-12 Richard Biener <rguenther@suse.de>
PR middle-end/60092
* gimple-low.c (lower_builtin_posix_memalign): Lower conditional
of posix_memalign being successful.
(lower_stmt): Restrict lowering of posix_memalign to when
-ftree-bit-ccp is enabled.
* gcc.dg/torture/pr60092.c: New testcase.
* gcc.dg/tree-ssa/alias-31.c: Disable SRA.
From-SVN: r207720