From 50873cc588fcc20384212b6dddca74393023a0e3 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Thu, 9 Jul 2020 00:16:44 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 69 ++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 275 ++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 4 + gcc/c/ChangeLog | 6 + gcc/cp/ChangeLog | 13 ++ gcc/fortran/ChangeLog | 6 + gcc/po/ChangeLog | 4 + gcc/testsuite/ChangeLog | 31 +++++ libbacktrace/ChangeLog | 5 + libstdc++-v3/ChangeLog | 12 ++ 11 files changed, 426 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a0f028a828c..d51c124b7e0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,72 @@ +2020-07-08 Eric Botcazou + + * gimple-fold.c (gimple_fold_builtin_memory_op): Do not fold if + either type has reverse scalar storage order. + * tree-ssa-sccvn.c (vn_reference_lookup_3): Do not propagate through + a memory copy if either type has reverse scalar storage order. + +2020-07-08 Tobias Burnus + + * config/gcn/mkoffload.c (compile_native, main): Pass -fPIC/-fpic + on to the native compiler, if used. + * config/nvptx/mkoffload.c (compile_native, main): Likewise. + +2020-07-08 Will Schmidt + + * config/rs6000/altivec.h (vec_vmsumudm): New define. + * config/rs6000/altivec.md (UNSPEC_VMSUMUDM): New unspec. + (altivec_vmsumudm): New define_insn. + * config/rs6000/rs6000-builtin.def (altivec_vmsumudm): New BU_ALTIVEC_3 + entry. (vmsumudm): New BU_ALTIVEC_OVERLOAD_3 entry. + * config/rs6000/rs6000-call.c (altivec_overloaded_builtins): Add entries for + ALTIVEC_BUILTIN_VMSUMUDM variants of vec_msum. + * doc/extend.texi: Add document for vmsumudm behind vmsum. + +2020-07-08 Richard Biener + + * tree-vect-stmts.c (get_group_load_store_type): Pass + in the SLP node and the alignment support scheme output. + Set that. + (get_load_store_type): Likewise. + (vectorizable_store): Adjust. + (vectorizable_load): Likewise. + +2020-07-08 Richard Sandiford + + PR middle-end/95694 + * expr.c (expand_expr_real_2): Get the mode from the type rather + than the rtx, and assert that it is consistent with the mode of + the rtx (where known). Optimize all constant integers, not just + those that can be represented in poly_int64. + +2020-07-08 Kewen Lin + + * config/rs6000/vsx.md (len_load_v16qi): New define_expand. + (len_store_v16qi): Likewise. + +2020-07-08 Kewen Lin + + * doc/md.texi (len_load_@var{m}): Document. + (len_store_@var{m}): Likewise. + * internal-fn.c (len_load_direct): New macro. + (len_store_direct): Likewise. + (expand_len_load_optab_fn): Likewise. + (expand_len_store_optab_fn): Likewise. + (direct_len_load_optab_supported_p): Likewise. + (direct_len_store_optab_supported_p): Likewise. + (expand_mask_load_optab_fn): New macro. Original renamed to ... + (expand_partial_load_optab_fn): ... here. Add handlings for + len_load_optab. + (expand_mask_store_optab_fn): New macro. Original renamed to ... + (expand_partial_store_optab_fn): ... here. Add handlings for + len_store_optab. + (internal_load_fn_p): Handle IFN_LEN_LOAD. + (internal_store_fn_p): Handle IFN_LEN_STORE. + (internal_fn_stored_value_index): Handle IFN_LEN_STORE. + * internal-fn.def (LEN_LOAD): New internal function. + (LEN_STORE): Likewise. + * optabs.def (len_load_optab, len_store_optab): New optab. + 2020-07-07 Anton Youdkevitch * config/aarch64/aarch64.c (thunderx2t99_regmove_cost, diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index f2f90c2763f..7f5c70d7c31 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200708 +20200709 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 057d347c38e..913d84c9cb2 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,278 @@ +2020-07-08 Eric Botcazou + + * tracebak.c [generic implementation]: Add pragma GCC diagnostic + to disable warning about __builtin_frame_address. + +2020-07-08 Dmitriy Anisimkov + + * socket.c [_WIN32] (__gnat_minus_500ms): Parentheses around && + operations. Remove notes about TN in comment. + +2020-07-08 Eric Botcazou + + * adaint.h (__gnat_expect_portable_execvp): Fix prototype. + (__gnat_expect_poll): Likewise. + * expect.c [_WIN32]: Include adaint.h file. + (__gnat_waitpid): Remove useless variable. + (__gnat_expect_portable_execvp): Add ATTRIBUTE_UNUSED on parameter. + * raise-gcc.c [SEH] (__gnat_personality_v0): Add ATTRIBUTE_UNUSED. + * socket.c [_WIN32] (__gnat_getservbyport): Add ATTRIBUTE_UNUSED on + a couple of parameters. + (__gnat_gethostbyname): Likewise. + (__gnat_gethostbyaddr): Likewise. + (__gnat_getservbyname): Likewise. + (__gnat_last_socket_in_set): Use variables local to loops. + (__gnat_socket_ioctl): Cast 3rd parameter to proper type if _WIN32. + (__gnat_inet_pton): Cast 2nd parameter to proper type if _WIN32. + * sysdep.c (__gnat_localtime_tzoff): Remove superfluous test. + * terminals.c [_WIN32]: Include io.h file. + (is_gui_app): Remove useless variables and fix unsigned comparison. + (nt_spawnve): Add ATTRIBUTE_UNUSED on first parameter. Initialize a + local variable and remove others that are useless. Add missing cast + (__gnat_setup_child_communication): Remove useless variable and call + Use proper formatting string in call to sprintf. + (__gnat_setup_parent_communication): Cast to proper type. + (find_child_console): Fix prototype and remove useless variable. + (find_process_handle): Likewise. + (_gnat_interrupt_process): Move to after __gnat_interrupt_pid. + (__gnat_reset_tty): Add ATTRIBUTE_UNUSED on parameter, remove return + (__gnat_setup_winsize): Add ATTRIBUTE_UNUSED on all parameters. + +2020-07-08 Eric Botcazou + + * exp_ch4.adb (Expand_N_Allocator): In the subtype mark case, do + not apply constraint checks if the No_Initialization flag is set. + +2020-07-08 Javier Miranda + + * exp_ch9.adb + (Build_Class_Wide_Master): Insert the declaration of _Master + before its use; required to avoid assertion failure in the + backend. + +2020-07-08 Arnaud Charlet + + * libgnat/i-cexten.ads (long_long, unsigned_long_long): Now + subtypes of Interfaces.C types. + * libgnat/a-calcon.ads, libgnat/a-calcon.adb + (To_Unix_Nano_Time): Use Interfaces.C.long_long instead of + Interfaces.C.Extensions.long_long. + +2020-07-08 Vasiliy Fofanov + + * debug.adb: Document new switch. + * exp_ch6.adb (Warn_BIP): New function that warns if the switch + is on. Call it from Make_Build_In_Place_* functions. Warn_BIP + is not needed in Make_Build_In_Place_Iface_*, because those call + Make_Build_In_Place_Call_In_Object_Declaration or similar. + +2020-07-08 Piotr Trojanek + + * erroutc.adb (Matches): Fix comments. + +2020-07-08 Eric Botcazou + + * freeze.adb (Has_Decl_In_List): New predicate to check that an + entity is declared in a list of nodes. + (Freeze_Expression): Use it to deal with Expression_With_Actions, + short-circuit expression, if- and case-expression and ensure that + the freeze node is put onto their Actions list if the entity is + declared locally. + +2020-07-08 Eric Botcazou + + * freeze.adb (In_Expanded_Body): Return true for the body of a + generated predicate function. + +2020-07-08 Gary Dismukes + + * sem_attr.adb: Remove hyphens in comments, plus minor code + reformatting. + * sem_ch13.adb: Fix typo (that => than). + * sem_util.adb: Add hyphen in comment ("class-wide"). + +2020-07-08 Eric Botcazou + + * freeze.adb (Freeze_Array_Type): Add comment on implementation + choice for byte-packed array types. + +2020-07-08 Piotr Trojanek + + * sem_attr.adb (Analyze_Attribute): Correct prefix of 'Result + this prefix is a generic function but the enclosing aspect or + pragma is attached to its instance. + * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Analyze + generic subprogram formal parameters (including the implicit + result of a generic function) and only then analyse its aspects, + because with Relaxed_Initialization the aspect expression might + refer to those formal parameters. + * sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Accept + aspect on generic subprograms; install formal parameters of a + generic subprogram but not formal parameters of the generic unit + itself (the previous code was inspired by aspects Post and + Depends, where both kinds of formals are allowed). + * sem_util.ads (Enter_Name): Fix name of a subprogram referenced + in comment. + +2020-07-08 Piotr Trojanek + + * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call + Analyze_Aspect_Specifications after setting Ekind of the + analyzed entity. + * sem_ch13.adb (Analyze_Aspect_Yield): Remove minimal decoration + of generic subprograms. + +2020-07-08 Arnaud Charlet + + * sem_prag.adb (Process_Inline): Check for duplicate + pragma+aspect Inline. Minor code cleanup. + (Check_Duplicate_Pragma): Add warning for duplicate + pragma [No_]Inline under -gnatwr. + * sinfo.ads, sinfo.adb (Next_Rep_Item): Allow N_Null_Statement + which can appear when a pragma is rewritten. + * sem_util.ads, sem_util.adb, bindo-writers.adb: Fix bad + copy/paste now flagged. + * libgnat/s-mmap.ads: Remove redundant pragma Inline. + +2020-07-08 Ed Schonberg + + * sem_util.adb (Build_Class_Wide_Clone_Body): Update entities to + refer to the right spec. + +2020-07-08 Bob Duff + + * sem_ch13.adb (Predicate_Failure): Check that the type has + predicates. Remove the setting of Has_Delayed_Aspects and + Freeze_Node, because (if the code is legal) it should have + already been done by the predicate aspect. + +2020-07-08 Gary Dismukes + + * par-ch4.adb (P_Iterated_Component_Association): Typo + corrections. + +2020-07-08 Ed Schonberg + + * par.adb (P_Iterator_Specification): Make public for use in + other parser subprograms. + * par-ch4.adb (P_Iterated_Component_Association): In Ada_2020, + recognize use of Iterator_Specification in an element iterator. + To simplify disambiguation between the two iterator forms, mark + the component association as carrying an Iterator_Specification + only when the element iterator (using "OF") is used. + * par-ch5.adb (P_Loop_Parameter_Specification): In Ada_2020, + parse iterator filter when present. + (P_Iterator_Specification): Ditto. Remove declaration of + P_Iterator_Specification, now in parent unit. + * exp_ch5.adb (Expand_N_Loop_Statement): Apply Iterator filter + when present. + (Expand_Iterator_Loop_Over_Array): Ditto. + (Expand_Iterator_Loop_Over_Container): Ditto. + * sem_aggr.adb (Resolve_Array_Aggregate): Emit error nessage if + an iterated component association includes a iterator + specificcation with an element iterator, i.e. one that uses the + OF keyword. + * sem_ch5.adb (Analyze_Iterator_Specification): Analyze Iterator + filter when present. + (Analyze_Loop_Parameter_Specification): Ditto. + * sinfo.adb: Suprogram bodies for new syntactic element + Iterator_Filter. + * sinfo.ads: Add Iterator_Filter to relevant nodes. Structure + of Component_Association and Iteroted_Component_Association + nodes is modified to take into account the possible presence of + an iterator specification in the latter. + +2020-07-08 Yannick Moy + + * sem_util.ads, sem_util.adb (Is_Attribute_Loop_Entry): New + function for GNATProve. + +2020-07-08 Ghjuvan Lacambre + + * sem_ch13.adb (Analyze_Record_Representation_Clause, + Check_Record_Representation_Clause): Add expected and actual + size to error message. + +2020-07-08 Piotr Trojanek + + * sem_util.ads, sem_util.adb (Safe_To_Capture_Value): Return + True for in-parameters. + +2020-07-08 Justin Squirek + + * exp_attr.adb (Expand_Attribute): Set + Stores_Attribute_Old_Prefix to generated renamings of 'Old + constants for later use in generating finalization routines. + * exp_ch7.adb (Build_Finalizer): Minor reformatting. Use "or + else" operators. + +2020-07-08 Gary Dismukes + + * exp_ch6.adb (Expand_Simple_Function_Return): Remove ugly code + that was copying the return expression, resetting Analyzed + flags, etc. for the return expression of static expression + functions. + * inline.adb (Inline_Static_Expression_Function_Call): Set the + Parent of the copied expression to that of the call. This avoids + a blowup in Insert_Actions when GNATprove_Mode is set and there + are nested SEF calls. Add ??? comment. + * sem_ch6.adb (Analyze_Expression_Function): In the case of a + static expression function, create a new copy of the expression + and replace the function's expression with the copy; the + original expression is used in the expression function's body + and will be analyzed and rewritten, and we need to save a clean + copy for later use in processing static calls to the function. + This allows removing the kludgy code that was in + Expand_Simple_Function_Return. + * sem_eval.adb (Eval_Qualified_Expression): Return immediately + if any errors have been posted on the qualified expression, to + avoid blowups when GNATprove_Mode is enabled (or with -gnatd.F), + since illegal static expressions are handled differently in that + case and attempting to fold such expressions would fail. + +2020-07-08 Eric Botcazou + + * repinfo.adb (Compute_Max_Length): Skip hidden discriminants. + (List_Record_Layout): Likewise. + (List_Structural_Record_Layout): Use First_Discriminant instead + of First_Stored_Discriminant and Next_Discriminant instead of + Next_Stored_Discriminant to walk the list of discriminants. + +2020-07-08 Piotr Trojanek + + * sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Analyze + optional boolean expressions. + * sem_util.ads, sem_util.adb (Has_Relaxed_Initialization): Adapt + query; update comment. + +2020-07-08 Piotr Trojanek + + * einfo.ads (Current_Value): Fix typo in comment. + * exp_ch2.adb (Expand_Current_Value): Remove unnecessary "Start + of processing ..." comment. + * exp_util.adb (Set_Entity_Current_Value): Fix unbalanced paren + in comment. + (Get_Current_Value_Condition): Fix layout in comment. + * sem_ch5.adb (Analyze_Cond_Then): Replace commented condition + with pragma Assert. + +2020-07-08 Piotr Trojanek + + * exp_ch5.adb (Expand_N_If_Statement): Detect True/False + prefixed with Standard. + +2020-07-08 Bob Duff + + * sem_ch13.adb (Analyze_Aspect_Specifications): Add freeze node + for the Underlying_Full_View if it exists. The freeze node is + what triggers the generation of the predicate function. + * freeze.adb: Minor reformatting. + +2020-07-08 Eric Botcazou + + * exp_ch4.adb (Narrow_Large_Operation): Use the base type instead + of the first subtype of standard integer types as narrower type. + 2020-07-07 Eric Botcazou * freeze.adb (Freeze_Array_Type): Use Ctyp more consistently. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 5b97f416f24..89e7cd5a1d6 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,7 @@ +2020-07-08 Eric Botcazou + + * c.opt (Wscalar-storage-order): Add explicit variable. + 2020-07-07 Nathan Sidwell * c-opts.c (c_common_post_options): Add 'injecting' arg to diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 50637de081d..7ff36994931 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2020-07-08 Eric Botcazou + + * c-typeck.c (convert_for_assignment): If -Wscalar-storage-order is + set, warn for conversion between pointers that point to incompatible + scalar storage orders. + 2020-07-07 Kaipeng Zhou * c-parser.c (c_parser_statement_after_labels): Pass correct diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5598367395c..cd21caad504 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,16 @@ +2020-07-08 Patrick Palka + + PR c++/95497 + * constexpr.c (potential_constant_expression_1) : + When processing_template_decl, check COMPLETE_TYPE_P before + calling is_really_empty_class. Don't check dependent_type_p. + +2020-07-08 Marek Polacek + + PR c++/96103 + * parser.c (cp_parser_decltype): Print error about using decltype(auto) + in C++11. Check that the token following "auto" is ")". + 2020-07-07 Patrick Palka PR c++/95303 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index c7552b661cb..be08d901679 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2020-07-08 Harald Anlauf + + PR fortran/96085 + * resolve.c (gfc_resolve_code): Check whether assign target is a + parameter. + 2020-07-06 Harald Anlauf PR fortran/95980 diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog index aca2df45202..ced640580f8 100644 --- a/gcc/po/ChangeLog +++ b/gcc/po/ChangeLog @@ -1,3 +1,7 @@ +2020-07-08 Joseph Myers + + * sv.po: Update. + 2020-06-29 Joseph Myers * sv.po: Update. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ce54b0458dc..49f5b2b404d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,34 @@ +2020-07-08 Eric Botcazou + + * gcc.dg/sso-11.c: New test. + * gcc.dg/sso/sso.exp: Pass -Wno-scalar-storage-order. + * gcc.dg/sso/memcpy-1.c: New test. + +2020-07-08 Harald Anlauf + + PR fortran/96085 + * gfortran.dg/pr96085.f90: New file. + +2020-07-08 Patrick Palka + + PR c++/95497 + * g++.dg/cpp2a/concepts-pr95497.C: New test. + +2020-07-08 Will Schmidt + + * gcc.target/powerpc/builtins-msum-runnable.c: New test. + * gcc.target/powerpc/vsx-builtin-msum.c: New test. + +2020-07-08 Richard Sandiford + + PR middle-end/95694 + * gcc.dg/pr95694.c: New test. + +2020-07-08 Marek Polacek + + PR c++/96103 + * g++.dg/cpp0x/decltype77.C: New test. + 2020-07-07 Marek Polacek PR c++/92427 diff --git a/libbacktrace/ChangeLog b/libbacktrace/ChangeLog index cd33dc26d40..f02da9ed3fb 100644 --- a/libbacktrace/ChangeLog +++ b/libbacktrace/ChangeLog @@ -1,3 +1,8 @@ +2020-07-08 Ian Lance Taylor + + * configure.ac: Test linker support for DWARF5 + * configure: Regenerate + 2020-05-29 H.J. Lu PR bootstrap/95413 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index ed9947c6b37..3adcd817ede 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,15 @@ +2020-07-08 François Dumont + + * include/bits/stl_tree.h (_Rb_tree_impl(_Rb_tree_impl&&)): Add noexcept + qualification based only on _Compare one. + * testsuite/23_containers/map/cons/noexcept_move_construct.cc: Add + static asserts. + * testsuite/23_containers/multimap/cons/noexcept_move_construct.cc: + Likewise. + * testsuite/23_containers/multiset/cons/noexcept_move_construct.cc: + Likewise. + * testsuite/23_containers/set/cons/noexcept_move_construct.cc: Likewise. + 2020-07-07 Jonathan Wakely * include/std/limits: Whitespace changes. -- 2.30.2