[gcc(refs/users/aoliva/heads/testme)] Daily bump.
Alexandre Oliva
aoliva@gcc.gnu.org
Mon Jun 22 14:39:55 GMT 2020
https://gcc.gnu.org/g:aae80e833d2826fc0afe7ff1704d2ab0f4607c5a
commit aae80e833d2826fc0afe7ff1704d2ab0f4607c5a
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Fri Jun 19 00:16:32 2020 +0000
Daily bump.
Diff:
---
contrib/ChangeLog | 16 +++
gcc/ChangeLog | 183 +++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 303 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/cp/ChangeLog | 19 +++
gcc/fortran/ChangeLog | 5 +
gcc/testsuite/ChangeLog | 60 ++++++++++
7 files changed, 587 insertions(+), 1 deletion(-)
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index e7cc9276eeb..50af7ab23b9 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,19 @@
+2020-06-18 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_update_version.py: First checkout and then
+ run git pull ---rebase.
+
+2020-06-18 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_update_version.py: Support merge commits
+ and walk only on the branch that is being merged and generate
+ missing ChangeLog entries.
+
+2020-06-18 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_commit.py: Fix Backported from timestamp when
+ use_commit_ts=True is used.
+
2020-06-17 Martin Liska <mliska@suse.cz>
* gcc-changelog/git_commit.py: Print 'Backported from master'
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 312234a2be0..49ce2772aa7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,186 @@
+2020-06-18 Felix Yang <felix.yang@huawei.com>
+
+ * tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Call
+ vect_relevant_for_alignment_p to filter out data references in
+ the loop whose alignment is irrelevant when trying loop peeling
+ to force alignment.
+
+2020-06-18 Uroš Bizjak <ubizjak@gmail.com>
+
+ * config/i386/i386.md (*cmpqi_ext<mode>_1): Use SWI248 mode
+ iterator instead of SImode for ZERO_EXTRACT RTX. Use SWI248
+ mode iterator for the first operand of ZERO_EXTRACT RTX.
+ Change ext_register_operand predicate to register_operand.
+ Rename from *cmpqi_ext_1.
+ (*cmpqi_ext<mode>_2): Ditto. Rename from *cmpqi_ext_2.
+ (*cmpqi_ext<mode>_3): Ditto. Rename from *cmpqi_ext_3.
+ (*cmpqi_ext<mode>_4): Ditto. Rename from *cmpqi_ext_4.
+ (cmpi_ext_3): Use HImode instead of SImode for ZERO_EXTRACT RTX.
+ (*extv<mode>): Use SWI24 mode iterator for the first operand
+ of ZERO_EXTRACT RTX. Change ext_register_operand predicate
+ to register_operand.
+ (*extzv<mode>): Use SWI248 mode iterator for the first operand
+ of ZERO_EXTRACT RTX. Change ext_register_operand predicate
+ to register_operand.
+ (*extzvqi): Use SWI248 mode iterator instead of SImode for
+ ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first operand
+ of ZERO_EXTRACT RTX. Change ext_register_operand predicate to
+ register_operand.
+ (*extzvqi_mem_rex64 and corresponding peephole2): Use SWI248 mode
+ iterator instead of SImode for ZERO_EXTRACT RTX. Use SWI248
+ mode iterator for the first operand of ZERO_EXTRACT RTX.
+ Change ext_register_operand predicate to register_operand.
+ (@insv<mode>_1): Use SWI248 mode iterator for the first operand
+ of ZERO_EXTRACT RTX. Change ext_register_operand predicate to
+ register_operand.
+ (*insvqi_1): Use SWI248 mode iterator instead of SImode
+ for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the
+ first operand of ZERO_EXTRACT RTX. Change ext_register_operand
+ predicate to register_operand.
+ (*insvqi_2): Ditto.
+ (*insvqi_3): Ditto.
+ (*insvqi_1_mem_rex64 and corresponding peephole2): Use SWI248 mode
+ iterator instead of SImode for ZERO_EXTRACT RTX. Use SWI248
+ mode iterator for the first operand of ZERO_EXTRACT RTX.
+ Change ext_register_operand predicate to register_operand.
+ (addqi_ext_1): New expander.
+ (*addqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
+ for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first
+ operand of ZERO_EXTRACT RTX. Change ext_register_operand predicate
+ to register_operand. Rename from *addqi_ext_1.
+ (*addqi_ext<mode>_2): Ditto. Rename from *addqi_ext_2.
+ (divmodqi4): Use HImode instead of SImode for ZERO_EXTRACT RTX.
+ (udivmodqi4): Ditto.
+ (testqi_ext_1): Use HImode instead of SImode for ZERO_EXTRACT RTX.
+ (*testqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
+ for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first
+ operand of ZERO_EXTRACT RTX. Change ext_register_operand predicate
+ to register_operand. Rename from *testqi_ext_1.
+ (*testqi_ext<mode>_2): Ditto. Rename from *testqi_ext_2.
+ (andqi_ext_1): New expander.
+ (*andqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
+ for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first
+ operand of ZERO_EXTRACT RTX. Change ext_register_operand predicate
+ to register_operand. Rename from andqi_ext_1.
+ (*andqi_ext<mode>_1_cc): Ditto. Rename from *andqi_ext_1_cc.
+ (*andqi_ext<mode>_2): Ditto. Rename from *andqi_ext_2.
+ (*<code>qi_ext<mode>_1): Ditto. Rename from *<code>qi_ext_1.
+ (*<code>qi_ext<mode>_2): Ditto. Rename from *<code>qi_ext_2.
+ (xorqi_ext_1_cc): Use HImode instead of SImode for ZERO_EXTRACT RTX.
+ (*xorqi_ext<mode>_1_cc): Use SWI248 mode iterator instead of SImode
+ for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first
+ operand of ZERO_EXTRACT RTX. Change ext_register_operand predicate
+ to register_operand. Rename from *xorqi_ext_1_cc.
+ * config/i386/i386-expand.c (ix86_split_idivmod): Emit ZERO_EXTRACT
+ in mode, matching its first operand.
+ (promote_duplicated_reg): Update for renamed insv<mode>_1.
+ * config/i386/predicates.md (ext_register_operand): Remove predicate.
+
+2020-06-18 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/95667
+ PR middle-end/92814
+ * builtins.c (compute_objsize): Remove call to
+ compute_builtin_object_size and instead compute conservative sizes
+ directly here.
+
+2020-06-18 Martin Liska <mliska@suse.cz>
+
+ * coretypes.h (struct iterator_range): New type.
+ * tree-vect-patterns.c (vect_determine_precisions): Use
+ range-based iterator.
+ (vect_pattern_recog): Likewise.
+ * tree-vect-slp.c (_bb_vec_info): Likewise.
+ (_bb_vec_info::~_bb_vec_info): Likewise.
+ (vect_slp_check_for_constructors): Likewise.
+ * tree-vectorizer.h:Add new iterators
+ and functions that use it.
+
+2020-06-18 Martin Liska <mliska@suse.cz>
+
+ * config/rs6000/rs6000-call.c (fold_build_vec_cmp):
+ Since 502d63b6d6141597bb18fd23c87736a1b384cf8f, first argument
+ of a VEC_COND_EXPR cannot be tcc_comparison and so that
+ a SSA_NAME needs to be created before we use it for the first
+ argument of the VEC_COND_EXPR.
+ (fold_compare_helper): Pass gsi to fold_build_vec_cmp.
+
+2020-06-18 Richard Biener <rguenther@suse.de>
+
+ PR middle-end/95739
+ * internal-fn.c (expand_vect_cond_optab_fn): Move the result
+ to the target if necessary.
+ (expand_vect_cond_mask_optab_fn): Likewise.
+
+2020-06-18 Martin Liska <mliska@suse.cz>
+
+ * tree-ssa-reassoc.c (ovce_extract_ops): Replace *vcond with
+ vcond as we check for NULL pointer.
+
+2020-06-18 Tobias Burnus <tobias@codesourcery.com>
+
+ * gimple-pretty-print.c (dump_binary_rhs): Use braces to
+ silence empty-body warning with gcc_fallthrough.
+
+2020-06-18 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/95699
+ * tree-ssa-phiopt.c (minmax_replacement): Treat (signed int)x < 0
+ as x > INT_MAX and (signed int)x >= 0 as x <= INT_MAX. Move variable
+ declarations to the statements that set them where possible.
+
+2020-06-18 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/95713
+ * tree-ssa-forwprop.c (simplify_vector_constructor): Don't allow
+ scalar mode halfvectype other than vector boolean for
+ VEC_PACK_TRUNC_EXPR.
+
+2020-06-18 Richard Biener <rguenther@suse.de>
+
+ * varasm.c (assemble_variable): Make sure to not
+ defer output when outputting addressed constants.
+ (output_constant_def_contents): Likewise.
+ (add_constant_to_table): Take and pass on whether to
+ defer output.
+ (output_addressed_constants): Likewise.
+ (output_constant_def): Pass on whether to defer output
+ to add_constant_to_table.
+ (tree_output_constant_def): Defer output of constants.
+
+2020-06-18 Richard Biener <rguenther@suse.de>
+
+ * tree-vectorizer.h (_slp_tree::two_operators): Remove.
+ (_slp_tree::lane_permutation): New member.
+ (_slp_tree::code): Likewise.
+ (SLP_TREE_TWO_OPERATORS): Remove.
+ (SLP_TREE_LANE_PERMUTATION): New.
+ (SLP_TREE_CODE): Likewise.
+ (vect_stmt_dominates_stmt_p): Declare.
+ * tree-vectorizer.c (vect_stmt_dominates_stmt_p): New function.
+ * tree-vect-stmts.c (vect_model_simple_cost): Remove
+ SLP_TREE_TWO_OPERATORS handling.
+ * tree-vect-slp.c (_slp_tree::_slp_tree): Amend.
+ (_slp_tree::~_slp_tree): Likewise.
+ (vect_two_operations_perm_ok_p): Remove.
+ (vect_build_slp_tree_1): Remove verification of two-operator
+ permutation here.
+ (vect_build_slp_tree_2): When we have two different operators
+ build two computation SLP nodes and a blend.
+ (vect_print_slp_tree): Print the lane permutation if it exists.
+ (slp_copy_subtree): Copy it.
+ (vect_slp_rearrange_stmts): Re-arrange it.
+ (vect_slp_analyze_node_operations_1): Handle SLP_TREE_CODE
+ VEC_PERM_EXPR explicitely.
+ (vect_schedule_slp_instance): Likewise. Remove old
+ SLP_TREE_TWO_OPERATORS code.
+ (vectorizable_slp_permutation): New function.
+
+2020-06-18 Martin Liska <mliska@suse.cz>
+
+ * tree-vect-generic.c (expand_vector_condition): Check
+ for gassign before inspecting RHS.
+
2020-06-17 Thomas Schwinge <thomas@codesourcery.com>
* gimplify.c (omp_notice_threadprivate_variable)
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index e94346fce10..bfd6abf660d 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200618
+20200619
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0ff94f9d48f..64a2d0fb95e 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,306 @@
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch4.adb (Get_Size_For_Range): Only make sure to return a
+ size lower than that of the original type if possible.
+ * libgnat/s-rannum.adb (Random_Discrete): Back out optimization
+ added for 32-bit types.
+
+2020-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_ch6.ads, sem_ch6.adb (Check_Formal_Conformance): New
+ subprogram.
+ (Check_Conformance): Move code to Check_Formal_Conformance.
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): Check for formal
+ conformance when needed.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch4.adb (Narrow_Large_Operation): New procedure to try
+ and narrow large arithmetic and comparison operations.
+ (Expand_N_In): Call it.
+ (Expand_N_Op_Abs): Likewise.
+ (Expand_N_Op_Add): Likewise.
+ (Expand_N_Op_Divide): Likewise.
+ (Expand_N_Op_Eq): Likewise.
+ (Expand_N_Op_Ge): Likewise.
+ (Expand_N_Op_Gt): Likewise.
+ (Expand_N_Op_Le): Likewise.
+ (Expand_N_Op_Lt): Likewise.
+ (Expand_N_Op_Minus): Likewise.
+ (Expand_N_Op_Mod): Likewise.
+ (Expand_N_Op_Multiply): Likewise.
+ (Expand_N_Op_Ne): Likewise.
+ (Expand_N_Op_Plus): Likewise.
+ (Expand_N_Op_Rem): Likewise.
+ (Expand_N_Op_Subtract): Likewise.
+ (Expand_N_Type_Conversion): Use Convert_To procedure.
+ * exp_ch9.adb (Is_Pure_Barrier) <N_Identifier>: Skip all
+ numeric types.
+ <N_Type_Conversion>: Use explicit criterion.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch4.adb (Expand_Allocator_Expression): Apply constraint
+ and predicate checks for the qualified expression on entry,
+ followed by constraint and predicate checks for the allocator
+ itself, and return early if this results in a static error.
+ (Expand_N_Allocator): Do not do the same here. Instead apply
+ constraint and predicate checks for arrays in the subtype
+ indication case.
+ * exp_ch5.adb (Expand_N_Assignment_Statement): Do not apply
+ range checks to allocators here.
+
+2020-06-18 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch6.adb (BIP_Suffix_Kind, Is_Build_In_Place_Entity): Move
+ declarations...
+ * exp_ch6.ads: Here.
+ * exp_util.adb (Is_Secondary_Stack_BIP_Func_Call): Do not rely
+ on the name of the scope to locate the extra formal BIPalloc
+ since they are copied when the pointer type associated with
+ dispatching calls is built; rely on routines
+ Is_Build_In_Place_Entity and BIP_Suffix_Kind.
+ * exp_disp.adb (Expand_Dispatching_Call): Set the scope of the
+ first extra formal of the internally built pointer type.
+ * sem_ch3.adb (Derive_Subprogram): Do not inherit extra formals
+ from a limited interface parent since limitedness is not
+ inherited in such case (AI-419) and this affects the extra
+ formals.
+ * sprint.adb (Write_Itype): Output extra formals of subprogram
+ types.
+
+2020-06-18 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * errout.adb (Write_Error_Summary): Display number of warnings
+ treated as errors.
+ * errutil.ads: Update comment.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_attr.adb (Analyze_Attribute) <Asm_{In,Out}put>: Alphabetize.
+ <Component_Size>: Add check for universal integer attribute.
+ <Aft>, <Bit_Order>, <Definite>, <Max_Alignment_For_Allocation>,
+ <Scalar_Storage_Order>: Raise Program_Error on them.
+ * sem_attr.adb (Eval_Attribute) <Component_Size>: Add comment on
+ the packed array case.
+
+2020-06-18 Steve Baird <baird@adacore.com>
+
+ * sem_util.adb (Object_Access_Level): Treat a 'Old attribute
+ reference like an aggregate in determining its static
+ accessibility level; after the evaluation of the relevant
+ post-condition, the implicitly declared constant associated with
+ an Old attribute reference ceases to exist. Similarly for
+ Loop_Entry attribute.
+ * exp_ch6.adb (Expand_Call_Helper): For an attribute reference
+ that is expanded into a reference to an implicitly declared
+ constant (e.g., a 'Old or 'Loop_Entry attribute), compute the
+ dynamic accessibility level of that constant by looking at the
+ declaration of the constant (as opposed to looking at the
+ attribute reference).
+
+2020-06-18 Steve Baird <baird@adacore.com>
+
+ * exp_ch3.adb (Expand_N_Object_Declaration): Do not generate a
+ default initial condition check for the declaration of an
+ imported object.
+
+2020-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * Makefile.rtl: Add s-statxd.o.
+ * bindgen.adb (Gen_Adainit): Add support for XDR_Stream.
+ * bindusg.adb (Display): Add mention of -xdr.
+ * gnatbind.adb: Process -xdr switch.
+ * init.c (__gl_xdr_stream): New.
+ * opt.ads (XDR_Stream): New.
+ * libgnat/s-stratt__xdr.adb: Rename to...
+ * libgnat/s-statxd.adb: this and adjust.
+ * libgnat/s-statxd.ads: New.
+ * libgnat/s-stratt.ads, libgnat/s-stratt.adb: Choose between
+ default and XDR implementation at runtime.
+ * libgnat/s-ststop.ads: Update comments.
+ * doc/gnat_rm/implementation_advice.rst: Update doc on XDR
+ streaming.
+ * gnat_rm.texi: Regenerate.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_attr.adb (Analyze_Attribute) <To_Address>: Use the address
+ size of the target instead of the host when checking the value of
+ a static expression. Also use standard idiom for exponentiation.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_prag.adb (Process_Convention): Give a warning on C_Variadic_n
+ being applied to a subprogram with exactly n parameters.
+
+2020-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnarl/s-osinte__linux.ads, libgnat/g-io.adb,
+ libgnat/g-socket.adb, libgnat/g-socthi.adb,
+ libgnat/g-socthi.ads, libgnat/g-socthi__vxworks.adb,
+ libgnat/g-socthi__vxworks.ads, libgnat/g-sothco.ads,
+ libgnat/s-io.adb, libgnat/a-except.adb: Fix function profile
+ mismatch with imported C functions.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Expand_Call_Helper): Remove superfluous calls
+ to Relocate_Node and merge calls to Analyze and Resolve in a
+ couple of places. Do not attempt to generate a range check
+ for an actual parameter against the formal's type of a derived
+ subprogram after generating a conversion to the formal's type
+ of the parent subprogram.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.adb (Compute_Range_For_Arithmetic_Op): New procedure to
+ compute a range for an arithmetical operation extracted from...
+ (Minimize_Eliminate_Overflows): ...here. Call it.
+ (Determine_Range_Cache_O): New cache for Original_Node nodes.
+ (Determine_Range): Call Compute_Range_For_Arithmetic_Op for all
+ arithmetic expressions. Use Attribute_Id in lieu of Attribute_Name
+ for attributes. Add handling for Range_Length alongside Length.
+ Add specific handling for Alignment, Bit, First_Bit, Last_Bit,
+ Max_Size_In_Storage_Elements, Position, Bit_Position,
+ Component_Size, Object_Size, Size, Value_Size, Descriptor_Size.
+ (Enable_Overflow_Check): Omit the check for Abs and Minus if the
+ operand cannot be the largest negative number.
+ (Selected_Length_Checks): Use Pos for Number_Dimensions.
+ * exp_attr.adb (Expand_N_Attribute_Reference): Move compile-time
+ handling of Bit_Position, Descriptor_Size, First_Bit, Last_Bit
+ and Position to...
+ * sem_attr.adb (Eval_Attribute): ...here. Move up Alignment for
+ objects and use Compile_Time_Known_Attribute in this case too.
+
+2020-06-18 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * erroutc.ads: Declare new Is_Compile_Time_Msg boolean,
+ add new Compile_Time_Pragma field to Error_Msg_Object type.
+ (Count_Compile_Time_Pragma_Warnings): New function.
+ * erroutc.adb (Count_Compile_Time_Pragma_Warnings): New
+ function.
+ (Compilation_Errors): Take Compile_Time warnings into account
+ when tallying Errors/Warnings.
+ * errout.ads (Error_Msg): New procedure.
+ * errout.adb (Error_Msg): New procedure.
+ (Error_Msg_Internal): Set new Compile_Time_Pragma field in
+ Error_Msg_Object.
+ * errutil.adb (Error_Msg): Set new Compile_Time_Pragma field in
+ Error_Msg_Object.
+ * sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Pass
+ True to new Error_Msg procedure.
+ * doc/gnat_rm/implementation_defined_pragmas.rst: Update doc for
+ the Compile_Time_Warning pragma.
+ * gnat_rm.texi: Regenerate.
+ * opt.ads: Update comment.
+
+2020-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_ch4.adb (Check_Compatible_Profiles): Add explicit
+ initialization.
+
+2020-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * checks.adb (Generate_Index_Checks): Handle
+ N_Subtype_Indication returned from Scalar_Range.
+
+2020-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * checks.adb, sem_ch3.adb: Minor refactorings.
+ * sem_eval.adb (Eval_Qualified_Expression): Fix reference to RM
+ rule in comment; only set a local variable Hex in the branch
+ where it is used.
+
+2020-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_eval.adb (Check_Non_Static_Context): Use Is_RTE.
+
+2020-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_ch4.adb (Find_Equality_Types.Check_Access_Object_Types):
+ New function, used to implement RM 4.5.2 (9.6/2).
+ (Find_Equality_Types.Check_Compatible_Profiles): New function,
+ used to implement RM 4.5.2(9.7/2).
+ (Find_Equality_Types.Reference_Anonymous_Access_Type): New
+ function.
+ (Find_Equality_Types.Try_One_Interp): Fix handling of anonymous
+ access types which was accepting both too much and too little.
+ Remove accumulated special and incomplete cases for
+ instantiations, replaced by Has_Compatible_Type.
+ (Analyze_Overloaded_Selected_Component): Use
+ Is_Anonymous_Access_Type instead of Ekind_In.
+ * sem_res.adb: Code cleanup and bug fix: use
+ Is_Anonymous_Access_Type instead of Ekind_In. Relax checking of
+ anonymous access parameter when universal_access "=" is
+ involved.
+ * sem_type.adb: Likewise.
+ (Find_Unique_Type): Move code from here...
+ (Specific_Type): ...to here. Also add missing handling of access
+ to class wide types.
+ * einfo.ads, einfo.adb (Is_Access_Object_Type): New.
+
+2020-06-18 Bob Duff <duff@adacore.com>
+
+ * libgnat/a-strsto.ads, libgnat/a-ststbo.adb,
+ libgnat/a-ststbo.ads, libgnat/a-ststun.adb,
+ libgnat/a-ststun.ads: New files, containing packages
+ Ada.Streams.Storage, Ada.Streams.Storage.Bounded, and
+ Ada.Streams.Storage.Unbounded.
+ * impunit.adb, Makefile.rtl: Add new file names.
+
+2020-06-18 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch13.adb (Has_Good_Profile): Enforce strictness in the
+ check. Required to detect wrong profiles for Input and Output.
+ (Analyze_Stream_TSS_Definition): Minor enhancement in the text
+ of the error for class-wide attributes.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_attr.adb (Get_Integer_Type): Pick an unsigned type based
+ on the Esize of the base type of the input type.
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch4.adb (Expand_Array_Equality): For the optimization of
+ the 2-element case, build new expression lists for the indices.
+
+2020-06-18 Richard Kenner <kenner@adacore.com>
+
+ * sem_util.adb (Enclosing_Subprogram): No longer need
+ Convention_Protected.
+
+2020-06-18 Claire Dross <dross@adacore.com>
+
+ * sem_util.adb (Is_OK_Volatile_Context): Return False on
+ definitions of constants declared in declare expressions.
+
+2020-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_aspects.rst
+ (Relaxed_Initialization): New implementation-defined aspect.
+ * doc/gnat_rm/implementation_defined_attributes.rst
+ (Initialized): New implementation-defined attribute.
+ * gnat_rm.texi: Regenerate.
+
+2020-06-18 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Expand_Dispatching_Call): Add missing decoration
+ of attribute Extra_Accessibility_Of_Result.
+ * freeze.adb (Check_Extra_Formals): No check required if
+ expansion is disabled; Adding check on
+ Extra_Accessibilty_Of_Result.
+ (Freeze_Subprogram): Fix decoration of
+ Extra_Accessibility_Of_Result.
+ * sem_ch3.adb (Derive_Subprogram): Fix decoration of
+ Extra_Accessibility_Of_Result
+
+2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch4.adb (Optimize_Length_Comparison): Accept 32-bit values
+ in the full unsigned range.
+
2020-06-17 Eric Botcazou <ebotcazou@adacore.com>
* checks.adb (Apply_Universal_Integer_Attribute_Checks): Do not do
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4d9759ea682..8c027b238c8 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,22 @@
+2020-06-18 Jason Merrill <jason@redhat.com>
+
+ * method.c (early_check_defaulted_comparison): Check for &&.
+ (build_comparison_op): Allow empty union. Diagnose non-category
+ type.
+ (common_comparison_type): Remove handling for non-category type.
+
+2020-06-18 Marek Polacek <polacek@redhat.com>
+
+ PR c++/95735
+ * pt.c (finish_template_variable): Return if
+ coerce_innermost_template_parms return error_mark_node.
+
+2020-06-18 Marek Polacek <polacek@redhat.com>
+
+ PR c++/95728
+ * pt.c (tsubst_copy_and_build) <case NEW_EXPR>: Return error_mark_node
+ if placement is erroneous.
+
2020-06-17 Jonathan Wakely <jwakely@redhat.com>
PR c++/66159
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index ddad8295b1a..6b3ba8b85f0 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2020-06-18 Tobias Burnus <tobias@codesourcery.com>
+
+ * openmp.c (resolve_omp_clauses): Reject vars with
+ allocatable components in OpenMP map clauses.
+
2020-06-16 Tobias Burnus <tobias@codesourcery.com>
* parse.c (decode_oacc_directive): Permit 'acc routine' also
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6d58dc81c7d..dbb9c56c888 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,63 @@
+2020-06-18 Jason Merrill <jason@redhat.com>
+
+ * g++.dg/cpp2a/spaceship-ref1.C: New test.
+ * g++.dg/cpp2a/spaceship-synth-neg4.C: New test.
+ * g++.dg/cpp2a/spaceship-union1.C: New test.
+
+2020-06-18 Uroš Bizjak <ubizjak@gmail.com>
+
+ * gcc.target/i386/pr78904-1a.c: New test.
+ * gcc.target/i386/pr78904-1b.c: Ditto.
+ * gcc.target/i386/pr78904-2a.c: Ditto.
+ * gcc.target/i386/pr78904-2b.c: Ditto.
+ * gcc.target/i386/pr78904-3a.c: Ditto.
+ * gcc.target/i386/pr78904-3b.c: Ditto.
+ * gcc.target/i386/pr78904-4a.c: Ditto.
+ * gcc.target/i386/pr78904-4b.c: Ditto.
+ * gcc.target/i386/pr78904-5a.c: Ditto.
+ * gcc.target/i386/pr78904-5b.c: Ditto.
+ * gcc.target/i386/pr78904-6a.c: Ditto.
+ * gcc.target/i386/pr78904-6b.c: Ditto.
+ * gcc.target/i386/pr78967-1a.c: Ditto.
+ * gcc.target/i386/pr78967-1b.c: Ditto.
+ * gcc.target/i386/pr78967-2a.c: Ditto.
+ * gcc.target/i386/pr78967-2b.c: Ditto.
+
+2020-06-18 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/95667
+ PR middle-end/92814
+ * gcc.dg/Wstringop-overflow-25.c: Remove xfails.
+ * gcc.dg/Wstringop-overflow-39.c: New test.
+
+2020-06-18 Marek Polacek <polacek@redhat.com>
+
+ PR c++/95735
+ * g++.dg/cpp2a/concepts-err2.C: New test.
+
+2020-06-18 Christophe Lyon <christophe.lyon@linaro.org>
+
+ * g++.target/aarch64/pr94052.C: Give z::ad public access.
+
+2020-06-18 Tobias Burnus <tobias@codesourcery.com>
+
+ * gfortran.dg/gomp/map-alloc-comp-1.f90: New test.
+
+2020-06-18 Marek Polacek <polacek@redhat.com>
+
+ PR c++/95728
+ * g++.dg/template/cast6.C: New test.
+
+2020-06-18 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/95699
+ * gcc.dg/tree-ssa/pr95699.c: New test.
+
+2020-06-18 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/95713
+ * gcc.dg/pr95713.c: New test.
+
2020-06-17 Thomas Schwinge <thomas@codesourcery.com>
* c-c++-common/gomp/default-1.c: Update.
More information about the Gcc-cvs
mailing list