mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-14 22:43:39 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Daily bump.

Browse Source
This commit is contained in:
GCC Administrator 2020-06-06 00:16:29 +00:00
parent 5bc13e5217
commit 1a59f3db4a
10 changed files with 459 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

62
gcc/ChangeLog
View File

@ -1,3 +1,65 @@
2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
Julian Brown <julian@codesourcery.com>
* gimplify.c (gimplify_adjust_omp_clauses): Remove
'GOMP_MAP_STRUCT' mapping from OpenACC 'exit data' directives.
2020-06-05 Richard Biener <rguenther@suse.de>
PR tree-optimization/95539
* tree-vect-data-refs.c
(vect_slp_analyze_and_verify_instance_alignment): Use
SLP_TREE_REPRESENTATIVE for the data-ref check.
* tree-vect-stmts.c (vectorizable_load): Reset stmt_info
back to the first scalar stmt rather than the
SLP_TREE_REPRESENTATIVE to match previous behavior.
2020-06-05 Felix Yang <felix.yang@huawei.com>
PR target/95254
* expr.c (emit_move_insn): Check src and dest of the copy to see
if one or both of them are subregs, try to remove the subregs when
innermode and outermode are equal in size and the mode change involves
an implicit round trip through memory.
2020-06-05 Jakub Jelinek <jakub@redhat.com>
PR target/95535
* config/i386/i386.md (*ctzsi2_zext, *clzsi2_lzcnt_zext): New
define_insn_and_split patterns.
(*ctzsi2_zext_falsedep, *clzsi2_lzcnt_zext_falsedep): New
define_insn patterns.
2020-06-05 Jonathan Wakely <jwakely@redhat.com>
* alloc-pool.h (object_allocator::remove_raw): New.
* tree-ssa-math-opts.c (struct occurrence): Use NSMDI.
(occurrence::occurrence): Add.
(occurrence::~occurrence): Likewise.
(occurrence::new): Likewise.
(occurrence::delete): Likewise.
(occ_new): Remove.
(insert_bb): Use new occurence (...) instead of occ_new.
(register_division_in): Likewise.
(free_bb): Use delete occ instead of manually removing
from the pool.
2020-06-05 Richard Biener <rguenther@suse.de>
PR middle-end/95493
* cfgexpand.c (expand_debug_expr): Avoid calling
set_mem_attributes_minus_bitpos when we were expanding
an SSA name.
* emit-rtl.c (set_mem_attributes_minus_bitpos): Remove
ARRAY_REF special-casing, add CONSTRUCTOR to the set of
special-cases we do not want MEM_EXPRs for. Assert
we end up with reasonable MEM_EXPRs.
2020-06-05 Lili Cui <lili.cui@intel.com>
PR target/95525
* config/i386/i386.h (PTA_WAITPKG): Change bitmask value.
2020-06-04 Martin Sebor <msebor@redhat.com>
PR middle-end/10138

2
gcc/DATESTAMP
View File

@ -1 +1 @@
20200605
20200606

212
gcc/ada/ChangeLog
View File

@ -1,3 +1,215 @@
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Use ??.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* cstand.adb (Create_Standard): Update comments.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* scng.adb (Scan): Fix typo to take into account all future
versions of Ada.
* sem_attr.ads (Attribute_Impl_Def): Add Attribute_Reduce for
now.
* sem_attr.adb (Analyze_Attribute): Only allow 'Reduce under
-gnatX.
* snames.ads-tmpl (Name_Reduce): Update comment.
2020-06-05 Thomas Quinot <quinot@adacore.com>
* exp_disp.adb (Expand_Interface_Thunk): Add comment about
gnatcov reliance on specific name used for thunks.
2020-06-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Subtype_Declaration): For scalar types,
and for subtype declarations without a constraint, subtype
inherits Atomic flag from base type.
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
* doc/gnat_rm/implementation_defined_attributes.rst (Enum_Rep):
Remove extra colon.
* gnat_rm.texi: Regenerate.
2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
* atree.adb (New_Copy): Clear Has_Dynamic_Range_Check on
subexpression nodes.
* checks.adb (Append_Range_Checks): Assert that the node
doesn't have the Has_Dynamic_Range_Check flag set.
(Insert_Range_Checks): Likewise.
* exp_ch3.adb (Expand_N_Subtype_Indication): Do not apply
range checks for a full type or object declaration.
* sem_ch3.ads: Move with and use clauses for Nlists to...
(Process_Range_Expr_In_Decl): Change default to No_List for
the Check_List parameter.
* sem_ch3.adb: ...here.
(Process_Range_Expr_In_Decl): Likewise. When the insertion
node is a declaration, only insert on the list if is present
when the declaration involves discriminants, and only insert
on the node when there is no list otherwise.
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
* sem_aggr.adb (Resolve_Record_Aggregate): Create the
N_Aggregate node with its Expressions field set to No_List and
not to an empty list.
2020-06-05 Dmitriy Anisimkov <anisimko@adacore.com>
* libgnat/s-os_lib.adb (Is_Dirsep): Moved from Build_Path to
package level to reuse.
(Normalize_Pathname.Final_Value): Reduce 2 'if' statements to
one.
(Normalize_Pathname.Fill_Directory): New procedure instead of
function Get_Directory. Remove slash to backslash conversion and
drive letter uppercasing on Windows.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* sem.adb (Assert_Done): Relax check for main unit, as it was
overzealous in the case of the main unit itself.
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
* exp_ch3.adb, sem_ch8.adb, sem_util.adb: Use Is_Incomplete_Type
to make the code easier to read.
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
* einfo.adb: Minor reformatting.
* sem_util.adb (Has_Full_Default_Initialization,
Is_Partially_Initialized_Type, Caller_Known_Size_Record,
Large_Max_Size_Mutable): Iterate with
First_Component/Next_Component; rename Ent to Comp.
2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
* exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use
Expr_Rep_Value instead of Expr_Value to obtain the equivalent
integer value.
* sem_eval.ads (Expr_Value): Document more supported cases.
* sem_eval.adb (Expr_Rep_Value): Copy missing cases from
Exp_Value.
2020-06-05 Bob Duff <duff@adacore.com>
* rtsfind.adb, rtsfind.ads: Move subtypes of RTU_Id into package
body, because they are not needed by clients. Change "Child_" to
"Descendant", because grandchildren and great grandchildren are
involved. Replace all the repetitive comments with a single
concise one. Change the parent subtypes to be more consistent;
use the most specific parent.
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
* rtsfind.ads, rtsfind.adb (Is_Text_IO_Special_Package): Moved
from the GNATprove backend to the frontend.
2020-06-05 Yannick Moy <moy@adacore.com>
* sem_util.ads: Add comment about function only used in
CodePeer.
2020-06-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch9.adb, (Analyze_Task_Body): After analying the task
body, indicate that all local variables have no delayed aspects.
This prevents improper later calls to
Check_Aspect_At_End_Of_Declarations, that would happen when the
constructed task_procedure body (generated during expansion) is
analyzed. The legality of aspect specifications that may appear
on local declarations has already been established, and it is in
general not possible to recheck them properly during expansion,
when visibility may not be fully established.
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
* libgnat/a-cofuve.ads (First): Add Global contract.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Set_Convention_From_Pragma): Set the convention
of anonymous access array components.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* libgnat/a-calfor.ads, libgnat/a-catizo.ads,
libgnat/a-catizo.adb (Local_Time_Offset, Local_Image): New.
(UTC_Time_Offset): Now a renaming of Local_Time_Offset.
2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch3.adb (Available_Full_View): New function returning
either the full or the underlying full view.
(Build_Full_Derivation): Add guard for the full view.
(Copy_And_Build): Retrieve the underlying full view, if any,
also if deriving a completion.
(Build_Derived_Private_Type): Use Available_Full_View throughout
to decide whether a full derivation must be done.
2020-06-05 Bob Duff <duff@adacore.com>
* exp_attr.adb, exp_ch11.adb, exp_imgv.adb, exp_tss.ads,
par-ch4.adb, sem_attr.adb, sem_util.ads: Misc cleanup.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* libgnat/a-nudira.ads, libgnat/a-nudira.adb (Random): New
function.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* sem_attr.ads (Attribute_Impl_Def): Remove Enum_Rep/Val.
* sem_attr.adb (Attribute_20): New, move Enum_Rep/Val here.
(Analyze_Attribute): Take Attribute_20 into account.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* restrict.ads (Unit_Array): Add a-direct.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* libgnat/s-stopoo.ads: Mark package Pure and leave room for
Nonblocking once this aspect is supported.
2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference) <Valid_Scalars>:
Set the No_Truncation flag on the unchecked conversion built for
scalar types.
2020-06-05 Bob Duff <duff@adacore.com>
* einfo.adb, einfo.ads, exp_util.adb: Remove Invariants_Ignored
flag.
* sem_prag.adb (Invariant): Instead of setting a flag to be
checked elsewhere, remove the pragma as soon as it is analyzed
and checked for legality.
2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
* checks.ads (Apply_Length_Check): Rename Ck_Node parameter to
Expr.
(Apply_Range_Check): Likewise.
(Get_Range_Checks): Likewise.
* checks.adb (Apply_Float_Conversion_Check): Likewise.
(Apply_Selected_Length_Checks): Likewise.
(Apply_Selected_Range_Checks): Likewise.
(Guard_Access): Likewise.
(Selected_Length_Checks): Likewise. Also avoid shadowing in
child procedures.
(Selected_Range_Checks): Likewise.
2020-06-05 Arnaud Charlet <charlet@adacore.com>
* par-ch3.adb, par-ch4.adb, scng.adb, sem_aggr.adb,
sem_ch10.adb, sem_ch12.adb, sem_prag.adb: Update wording: change
Ada_2020 to Ada 2020 in comments and mention -gnat2020 instead
of -gnatX switch.
2020-06-04 Arnaud Charlet <charlet@adacore.com>
* libgnat/i-c.ads (long_long, unsigned_long_long): New

5
gcc/c-family/ChangeLog
View File

@ -1,3 +1,8 @@
2020-06-05 Jason Merrill <jason@redhat.com>
* c-pretty-print.c (pp_c_additive_expression): Handle negative
operand to POINTER_PLUS_EXPR.
2020-06-04 Martin Sebor <msebor@redhat.com>
PR middle-end/10138

7
gcc/c/ChangeLog
View File

@ -1,3 +1,10 @@
2020-06-05 Mark Wielaard <mark@klomp.org>
* c-decl.c (implicit_decl_warning): When warned and olddecl is
an undeclared builtin, then add a fixit header hint, if found.
(implicitly_declare): Add OPT_Wbuiltin_declaration_mismatch to
warning_at about implicit builtin declaration type mismatch.
2020-06-03 Mark Wielaard <mark@klomp.org>
* c-parser.c (struct c_parser): Add seen_string_literal

16
gcc/cp/ChangeLog
View File

@ -1,3 +1,19 @@
2020-06-05 Marek Polacek <polacek@redhat.com>
PR c++/95369
* call.c (build_converted_constant_expr_internal): Allow
list-initialization.
2020-06-05 Iain Sandoe <iain@sandoe.co.uk>
* cp-tree.def (CO_RETURN_EXPR): Correct the class
to use tcc_statement.
2020-06-05 Jason Merrill <jason@redhat.com>
* error.c (dump_binary_op): Handle negative operand to
POINTER_PLUS_EXPR.
2020-06-04 Jason Merrill <jason@redhat.com>
PR c++/93310

65
gcc/d/ChangeLog
View File

@ -1,3 +1,68 @@
2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
* dmd/MERGE: Merge upstream dmd 740f3d1ea.
* d-lang.cc (d_handle_option): Use new fields to save debug and
version levels passed over command-line.
(d_post_options): Add them to front-end here.
2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
* dmd/MERGE: Merge upstream dmd f5638c7b8.
* d-builtins.cc (d_init_versions): Use new CHECKENABLE enum.
* d-codegen.cc (array_bounds_check): Likewise.
(build_frame_type): Likewise.
(get_frameinfo): Likewise.
* d-lang.cc (d_init_options): Likewise.
(d_init_options_struct): Don't initialize x_flag_bounds_check.
(d_handle_option): Use new CHECKENABLE enum.
(d_post_options): Likewise. Set flag_bounds_check here.
* expr.cc (ExprVisitor::visit(AssertExp *)): Use new CHECKENABLE enum.
2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
* dmd/MERGE: Merge upstream dmd 56f0a65c4.
* d-builtins.cc (build_frontend_type): Remove static.
(d_build_builtins_module): Use target.va_listType() to get front-end
type for va_list.
(d_init_builtins): Move creation of va_list to Target::va_listType.
* d-codegen.cc (build_interface_binfo): Use new target global.
(build_vindex_ref): Likewise.
(identity_compare_p): Likewise.
* d-ctfloat.cc (CTFloat::parse): Likewise.
* d-lang.cc (d_init): Likewise.
* d-port.cc (Port::isFloat32LiteralOutOfRange): Likewise.
(Port::isFloat64LiteralOutOfRange): Likewise.
* d-target.cc (define_float_constants): Initialize constants through a
reference, instead of setting globals.
(Target::_init): Initialize new fields instead of setting globals.
(Target::va_listType): Build front-end type from va_list_type_node.
(Target::toCppMangle): Renamed to ...
(TargetCPP::toMangle): ... this.
(Target::cppTypeInfoMangle): Renamed to ...
(TargetCPP::typeInfoMangle): ... this.
(Target::cppTypeMangle): Renamed to ...
(TargetCPP::typeMangle): this.
(Target::cppParameterType): Renamed to ...
(TargetCPP::parameterType): ... this. Use target.va_listType() to get
front-end type for va_list.
(Target::cppFundamentalType): Renamed to ...
(TargetCPP::fundamentalType): ... this.
* d-tree.h (build_frontend_type): Declare.
* decl.cc (base_vtable_offset): Use new target global.
* typeinfo.cc (layout_classinfo_interfaces): Likewise.
(layout_cpp_typeinfo): Likewise.
* types.cc (valist_array_p): Use target.va_listType() to get front-end
type for va_list.
(layout_aggregate_type): Use new target global.
2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
* dmd/MERGE: Merge upstream dmd 6d5bffa54.
* d-builtins.cc (maybe_set_builtin_1): Update call to
Condition::include().
* decl.cc (DeclVisitor::visit(AttribDeclaration *)): Likewise.
* types.cc (layout_aggregate_members): Likewise.
2020-06-04 Iain Buclaw <ibuclaw@gdcproject.org>
* dmd/MERGE: Merge upstream dmd 48d704f08.

16
gcc/fortran/ChangeLog
View File

@ -1,3 +1,19 @@
2020-06-05 Harald Anlauf <anlauf@gmx.de>
PR fortran/95530
PR fortran/95537
* decl.c (gfc_match_decl_type_spec): Enlarge buffer, and enhance
string copy to detect buffer overflow.
* gfortran.h (gfc_common_head): Enlarge buffer.
* trans-common.c (finish_equivalences): Enhance string copy to
detect buffer overflow.
2020-06-05 Tom Tromey <tromey@adacore.com>
PR fortran/95509
* misc.c (gfc_closest_fuzzy_match): Update cutoff value
computation.
2020-06-04 Steven G. Kargl <kargl@gcc.gnu.org>
Harald Anlauf <anlauf@gmx.de>

58
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,61 @@
2020-06-05 Martin Sebor <msebor@redhat.com>
* g++.dg/warn/Wnonnull5.C: Temporarily remove.
2020-06-05 Marek Polacek <polacek@redhat.com>
PR c++/95369
* g++.dg/cpp2a/nontype-class38.C: New test.
2020-06-05 Mark Wielaard <mark@klomp.org>
* gcc.dg/missing-header-fixit-3.c: Add
-Wno-implicit-function-declaration.
* gcc.dg/missing-header-fixit-4.c: Add new expected output.
* gcc.dg/missing-header-fixit-5.c: New testcase.
* gcc.dg/Wbuiltin-declaration-mismatch-ignore.c: Likewise.
2020-06-05 Jason Merrill <jason@redhat.com>
* g++.dg/cpp0x/constexpr-ptrsub2.C: New test.
2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
Julian Brown <julian@codesourcery.com>
* c-c++-common/goacc/struct-enter-exit-data-1.c: New file.
2020-06-05 Martin Sebor <msebor@redhat.com>
* c-c++-common/goacc/uninit-use-device-clause.c: Adjust.
* c-c++-common/pr59223.c: Same.
* g++.dg/warn/Wnonnull5.C: Same.
* gcc.dg/pr59924.c: Same.
* gcc.dg/ubsan/pr81981.c: Same.
* gcc.dg/ubsan/pr89284.c: Same.
* gfortran.dg/goacc/uninit-use-device-clause.f95: Same.
2020-06-05 Richard Biener <rguenther@suse.de>
PR tree-optimization/95539
* gcc.dg/vect/pr95539.c: New testcase.
2020-06-05 Felix Yang <felix.yang@huawei.com>
PR target/95254
* gcc.target/aarch64/pr95254.c: New test.
* gcc.target/i386/pr67609.c: Check "movq\t%xmm0" instead of "movdqa".
2020-06-05 Jakub Jelinek <jakub@redhat.com>
PR target/95535
* gcc.target/i386/pr95535-1.c: New test.
* gcc.target/i386/pr95535-2.c: New test.
2020-06-05 Richard Biener <rguenther@suse.de>
PR middle-end/95493
* g++.dg/torture/pr95493.C: New testcase.
2020-06-04 Martin Sebor <msebor@redhat.com>
PR middle-end/10138

17
libgomp/ChangeLog
View File

@ -1,3 +1,20 @@
2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
Julian Brown <julian@codesourcery.com>
* oacc-mem.c (goacc_exit_data_internal) <GOMP_MAP_STRUCT>: Explain
special handling.
2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
Julian Brown <julian@codesourcery.com>
* oacc-mem.c (goacc_exit_data_internal) <GOMP_MAP_STRUCT>:
Simplify.
2020-06-05 Julian Brown <julian@codesourcery.com>
* testsuite/libgomp.oacc-c-c++-common/struct-copyout-1.c: New test.
* testsuite/libgomp.oacc-c-c++-common/struct-copyout-2.c: New test.
2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
* oacc-mem.c (goacc_exit_data_internal) <GOMP_MAP_STRUCT>: