From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id A5B0638618FC; Thu, 17 Jun 2021 00:17:30 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A5B0638618FC MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r12-1547] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 786188e8b8cab47cb31177c6f4ab1a1578a607c3 X-Git-Newrev: 9a61dfdb5ecb58bc4caea1c11e017d93bdd1d9a5 Message-Id: <20210617001730.A5B0638618FC@sourceware.org> Date: Thu, 17 Jun 2021 00:17:30 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 17 Jun 2021 00:17:30 -0000 https://gcc.gnu.org/g:9a61dfdb5ecb58bc4caea1c11e017d93bdd1d9a5 commit r12-1547-g9a61dfdb5ecb58bc4caea1c11e017d93bdd1d9a5 Author: GCC Administrator Date: Thu Jun 17 00:16:54 2021 +0000 Daily bump. Diff: --- gcc/ChangeLog | 128 +++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 186 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 6 ++ gcc/fortran/ChangeLog | 33 +++++++++ gcc/testsuite/ChangeLog | 90 +++++++++++++++++++++++ libcpp/ChangeLog | 7 ++ libffi/ChangeLog | 8 +++ libstdc++-v3/ChangeLog | 33 +++++++++ 9 files changed, 492 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 92423fdbbb2..61a714d6ec0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,131 @@ +2021-06-17 Andrew MacLeod + + * gimple-range-gori.cc (gori_compute::has_edge_range_p): Check with + may_recompute_p. + (gori_compute::may_recompute_p): New. + (gori_compute::outgoing_edge_range_p): Perform recomputations. + * gimple-range-gori.h (class gori_compute): Add prototype. + +2021-06-17 Andrew MacLeod + + * gimple-range-cache.cc (ranger_cache::range_on_edge): Always return + true when a range can be calculated. + * gimple-range.cc (gimple_ranger::dump_bb): Check has_edge_range_p. + +2021-06-16 Martin Sebor + + * doc/invoke.texi (-Wmismatched-dealloc, -Wmismatched-new-delete): + Correct documented defaults. + +2021-06-16 Andrew MacLeod + + * gimple-range-cache.cc (ranger_cache::ranger_cache): Initialize + m_new_value_p directly. + +2021-06-16 Uroš Bizjak + + PR target/89021 + * config/i386/i386-expand.c (expand_vec_perm_2perm_pblendv): + Handle 64bit modes for TARGET_SSE4_1. + (expand_vec_perm_pshufb2): Handle 64bit modes for TARGET_SSSE3. + (expand_vec_perm_even_odd_pack): Handle V4HI mode. + (expand_vec_perm_even_odd_1) : Expand via + expand_vec_perm_pshufb2 for TARGET_SSSE3 and via + expand_vec_perm_even_odd_pack for TARGET_SSE4_1. + * config/i386/mmx.md (mmx_packusdw): New insn pattern. + +2021-06-16 Jonathan Wright + + * config/aarch64/aarch64-simd.md (aarch64_hn): + Change to an expander that emits the correct instruction + depending on endianness. + (aarch64_hn_insn_le): Define. + (aarch64_hn_insn_be): Define. + +2021-06-16 Jonathan Wright + + * config/aarch64/aarch64-simd-builtins.def: Split generator + for aarch64_qmovn builtins into scalar and vector + variants. + * config/aarch64/aarch64-simd.md (aarch64_qmovn_insn_le): + Define. + (aarch64_qmovn_insn_be): Define. + (aarch64_qmovn): Split into scalar and vector + variants. Change vector variant to an expander that emits the + correct instruction depending on endianness. + +2021-06-16 Jonathan Wright + + * config/aarch64/aarch64-simd-builtins.def: Split generator + for aarch64_sqmovun builtins into scalar and vector variants. + * config/aarch64/aarch64-simd.md (aarch64_sqmovun): + Split into scalar and vector variants. Change vector variant + to an expander that emits the correct instruction depending + on endianness. + (aarch64_sqmovun_insn_le): Define. + (aarch64_sqmovun_insn_be): Define. + +2021-06-16 Jonathan Wright + + * config/aarch64/aarch64-simd.md (aarch64_xtn_insn_le): + Define - modeling zero-high-half semantics. + (aarch64_xtn): Change to an expander that emits the + appropriate instruction depending on endianness. + (aarch64_xtn_insn_be): Define - modeling zero-high-half + semantics. + (aarch64_xtn2_le): Rename to... + (aarch64_xtn2_insn_le): This. + (aarch64_xtn2_be): Rename to... + (aarch64_xtn2_insn_be): This. + (vec_pack_trunc_): Emit truncation instruction instead + of aarch64_xtn. + * config/aarch64/iterators.md (Vnarrowd): Add Vnarrowd mode + attribute iterator. + +2021-06-16 Martin Jambor + + PR tree-optimization/100453 + * tree-sra.c (create_access): Disqualify any const candidates + which are written to. + (sra_modify_expr): Do not store sub-replacements back to a const base. + (handle_unscalarized_data_in_subtree): Likewise. + (sra_modify_assign): Likewise. Earlier, use TREE_READONLy test + instead of constant_decl_p. + +2021-06-16 Jakub Jelinek + + PR middle-end/101062 + * stor-layout.c (finish_bitfield_representative): For fields in unions + assume nextf is always NULL. + (finish_bitfield_layout): Compute bit field representatives also in + unions, but handle it as if each bitfield was the only field in the + aggregate. + +2021-06-16 Richard Biener + + PR tree-optimization/101088 + * tree-ssa-loop-im.c (sm_seq_valid_bb): Only look for + supported refs on edges. Do not assert same ref but + different kind stores are unsuported but mark them so. + (hoist_memory_references): Only look for supported refs + on exits. + +2021-06-16 Roger Sayle + + PR rtl-optimization/46235 + * config/i386/i386.md: New define_split for bt followed by cmov. + (*bt_setcqi): New define_insn_and_split for bt followed by setc. + (*bt_setncqi): New define_insn_and_split for bt then setnc. + (*bt_setnc): New define_insn_and_split for bt followed + by setnc with zero extension. + +2021-06-16 Richard Biener + + PR tree-optimization/101083 + * tree-vect-slp.c (vect_slp_build_two_operator_nodes): Get + vectype as argument. + (vect_build_slp_tree_2): Adjust. + 2021-06-15 Martin Sebor PR middle-end/100876 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 052decd9611..f84fbffe108 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210616 +20210617 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 31eca3fa086..f102600bbc9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,189 @@ +2021-06-16 Piotr Trojanek + + * sem_util.adb (Is_Volatile_Function): Follow the exact wording + of SPARK (regarding volatile functions) and Ada (regarding + protected functions). + +2021-06-16 Piotr Trojanek + + * sem_util.adb (Is_OK_Volatile_Context): All references to + volatile objects are legal in preanalysis. + (Within_Volatile_Function): Previously it was wrongly called on + Empty entities; now it is only called on E_Return_Statement, + which allow the body to be greatly simplified. + +2021-06-16 Yannick Moy + + * sem_res.adb (Set_Slice_Subtype): Revert special-case + introduced previously, which is not needed as Itypes created for + slices are precisely always used. + +2021-06-16 Eric Botcazou + + * urealp.adb (Scale): Change first paramter to Uint and adjust. + (Equivalent_Decimal_Exponent): Pass U.Den directly to Scale. + * libgnat/s-exponr.adb (Negative): Rename to... + (Safe_Negative): ...this and change its lower bound. + (Exponr): Adjust to above renaming and deal with Integer'First. + +2021-06-16 Piotr Trojanek + + * sem_res.adb (Flag_Effectively_Volatile_Objects): Detect also + allocators within restricted contexts and not just entity names. + (Resolve_Actuals): Remove duplicated code for detecting + restricted contexts; it is now exclusively done in + Is_OK_Volatile_Context. + (Resolve_Entity_Name): Adapt to new parameter of + Is_OK_Volatile_Context. + * sem_util.ads, sem_util.adb (Is_OK_Volatile_Context): Adapt to + handle contexts both inside and outside of subprogram call + actual parameters. + (Within_Subprogram_Call): Remove; now handled by + Is_OK_Volatile_Context itself and its parameter. + +2021-06-16 Piotr Trojanek + + * sinput.adb (Sloc_Range): Refactor several repeated calls to + Sloc and two comparisons with No_Location. + +2021-06-16 Piotr Trojanek + + * checks.adb (Apply_Scalar_Range_Check): Fix handling of check depending + on the parameter passing mechanism. Grammar adjustment ("has" + => "have"). + (Parameter_Passing_Mechanism_Specified): Add a hyphen in a comment. + +2021-06-16 Piotr Trojanek + + * exp_ch3.adb (Build_Slice_Assignment): Remove unused + initialization. + +2021-06-16 Piotr Trojanek + + * restrict.adb, sem_attr.adb, types.ads: Fix typos in + "occuring"; refill comment as necessary. + +2021-06-16 Piotr Trojanek + + * sem_util.ads (Is_Actual_Parameter): Update comment. + * sem_util.adb (Is_Actual_Parameter): Also detect entry parameters. + +2021-06-16 Arnaud Charlet + + * rtsfind.ads, libgnarl/s-taskin.ads, exp_ch3.adb, exp_ch4.adb, + exp_ch6.adb, exp_ch9.adb, sem_ch6.adb: Move master related + entities to the expander directly. + +2021-06-16 Piotr Trojanek + + * sem_res.adb (Is_Assignment_Or_Object_Expression): Whitespace + cleanup. + (Is_Attribute_Expression): Prevent AST climbing from going to + the root of the compilation unit. + +2021-06-16 Steve Baird + + * doc/gnat_rm/implementation_advice.rst: Add a section for RM + A.18 . + * gnat_rm.texi: Regenerate. + +2021-06-16 Justin Squirek + + * sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Add + check for the mixing of entries. + +2021-06-16 Justin Squirek + + * sem_ch13.adb (Make_Aitem_Pragma): Check for static expressions + in Priority aspect arguments for restriction Static_Priorities. + +2021-06-16 Justin Squirek + + * sem_util.adb (Accessibility_Level): Take into account + renamings of loop parameters. + +2021-06-16 Matthieu Eyraud + + * par_sco.adb (Set_Statement_Entry): Change sloc for dominance + marker. + (Traverse_One): Fix typo. + (Output_Header): Fix comment. + +2021-06-16 Richard Kenner + + * exp_unst.adb (Register_Subprogram): Don't look for aliases for + subprograms that are generic. Reorder tests for efficiency. + +2021-06-16 Eric Botcazou + + * sem_util.adb (Incomplete_Or_Partial_View): Retrieve the scope of + the parameter and use it to find its incomplete view, if any. + +2021-06-16 Eric Botcazou + + * freeze.adb (Check_No_Parts_Violations): Return earlier if the + type is elementary or does not come from source. + +2021-06-16 Bob Duff + + * ghost.adb: Add another special case where full analysis is + needed. This bug is due to quirks in the way + Mark_And_Set_Ghost_Assignment works (it happens very early, + before name resolution is done). + +2021-06-16 Eric Botcazou + + * sem_util.adb (Current_Entity_In_Scope): Reimplement. + +2021-06-16 Piotr Trojanek + + * sem_ch8.adb (End_Scope): Remove extra parens. + +2021-06-16 Javier Miranda + + * exp_disp.adb (Build_Class_Wide_Check): Ensure that evaluation + of actuals is side effects free (since the check duplicates + actuals). + +2021-06-16 Ed Schonberg + + * sem_res.adb (Resolve_Raise_Expression): Apply Ada_2020 rules + concerning the need for parentheses around Raise_Expressions in + various contexts. + +2021-06-16 Piotr Trojanek + + * sem_ch13.adb (Validate_Unchecked_Conversion): Move detection + of generic types before switching to their private views; fix + style in using AND THEN. + +2021-06-16 Arnaud Charlet + + * sem_ch3.adb (Analyze_Component_Declaration): Do not special + case raise expressions. + +2021-06-16 Sergey Rybin + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: + Instead of referring to the formatting of the Ada examples in + Ada RM add use the list of checks that are actually performed. + * gnat_ugn.texi: Regenerate. + +2021-06-16 Eric Botcazou + + * initialize.c: Do not include vxWorks.h and fcntl.h from here. + (__gnat_initialize) [__MINGW32__]: Remove #ifdef and attribute + (__gnat_initialize) [init_float]: Delete. + (__gnat_initialize) [VxWorks]: Likewise. + (__gnat_initialize) [PA-RISC HP-UX 10]: Likewise. + * runtime.h: Add comment about vxWorks.h include. + +2021-06-16 Eric Botcazou + + * libgnat/s-except.ads (ZCX_By_Default): Delete. + (Require_Body): Likewise. + * libgnat/s-except.adb: Replace body with pragma No_Body. + 2021-06-15 Steve Baird * exp_util.adb (Kill_Dead_Code): Generalize the existing diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 3016da8c650..8d14d38bf77 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2021-06-16 Jason Merrill + + PR c++/101078 + PR c++/91706 + * pt.c (tsubst_baselink): Update binfos in non-dependent case. + 2021-06-15 Robin Dapp * decl.c (duplicate_decls): Likewise. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 3c7193323cf..f073f34a6f3 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,36 @@ +2021-06-16 Harald Anlauf + + PR fortran/95501 + PR fortran/95502 + * expr.c (gfc_check_pointer_assign): Avoid NULL pointer + dereference. + * match.c (gfc_match_pointer_assignment): Likewise. + * parse.c (gfc_check_do_variable): Avoid comparison with NULL + symtree. + +2021-06-16 Harald Anlauf + + Revert: + 2021-06-16 Harald Anlauf + + PR fortran/95501 + PR fortran/95502 + * expr.c (gfc_check_pointer_assign): Avoid NULL pointer + dereference. + * match.c (gfc_match_pointer_assignment): Likewise. + * parse.c (gfc_check_do_variable): Avoid comparison with NULL + symtree. + +2021-06-16 Harald Anlauf + + PR fortran/95501 + PR fortran/95502 + * expr.c (gfc_check_pointer_assign): Avoid NULL pointer + dereference. + * match.c (gfc_match_pointer_assignment): Likewise. + * parse.c (gfc_check_do_variable): Avoid comparison with NULL + symtree. + 2021-06-15 Tobias Burnus PR fortran/92568 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8b273523f1f..c6e8817fedb 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,93 @@ +2021-06-16 Jason Merrill + + PR c++/101078 + PR c++/91706 + * g++.dg/template/access39.C: New test. + +2021-06-16 Harald Anlauf + + PR fortran/95501 + PR fortran/95502 + * gfortran.dg/pr95502.f90: New test. + +2021-06-16 Harald Anlauf + + Revert: + 2021-06-16 Harald Anlauf + + PR fortran/95501 + PR fortran/95502 + * gfortran.dg/pr95502.f90: New test. + +2021-06-16 Harald Anlauf + + PR fortran/95501 + PR fortran/95502 + * gfortran.dg/pr95502.f90: New test. + +2021-06-16 Jason Merrill + + PR c++/100796 + PR preprocessor/96391 + * g++.dg/plugin/location-overflow-test-pr100796.c: New test. + * g++.dg/plugin/plugin.exp: Run it. + +2021-06-16 Jonathan Wright + + * gcc.target/aarch64/narrow_zero_high_half.c: Add new tests. + +2021-06-16 Jonathan Wright + + * gcc.target/aarch64/narrow_zero_high_half.c: Add new tests. + +2021-06-16 Jonathan Wright + + * gcc.target/aarch64/narrow_zero_high_half.c: Add new tests. + +2021-06-16 Jonathan Wright + + * gcc.target/aarch64/narrow_zero_high_half.c: Add new tests. + +2021-06-16 Jonathan Wright + + * gcc.target/aarch64/narrow_zero_high_half.c: New test. + +2021-06-16 Martin Jambor + + PR tree-optimization/100453 + * gcc.dg/tree-ssa/pr100453.c: New test. + +2021-06-16 Jakub Jelinek + + * gcc.dg/guality/pr49888.c (f): Use noipa attribute instead of + noinline, noclone. + +2021-06-16 Jakub Jelinek + + PR middle-end/101062 + * gcc.dg/pr101062.c: New test. + +2021-06-16 Richard Biener + + PR tree-optimization/101088 + * gcc.dg/torture/pr101088.c: New testcase. + +2021-06-16 Roger Sayle + + PR rtl-optimization/46235 + * gcc.target/i386/bt-5.c: New test. + * gcc.target/i386/bt-6.c: New test. + * gcc.target/i386/bt-7.c: New test. + +2021-06-16 Arnaud Charlet + + * gnat.dg/limited4.adb: Disable illegal code. + +2021-06-16 Richard Biener + + PR tree-optimization/101083 + * gcc.dg/vect/pr97832-4.c: New testcase. + 2021-06-15 Tobias Burnus PR fortran/92568 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index ea3bec88614..7b9896f3450 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,10 @@ +2021-06-16 Jason Merrill + + PR c++/100796 + PR preprocessor/96391 + * line-map.c (linemap_compare_locations): Only use comparison with + LINE_MAP_MAX_LOCATION_WITH_COLS to avoid abort. + 2021-05-20 Christophe Lyon Torbjörn Svensson diff --git a/libffi/ChangeLog b/libffi/ChangeLog index 58ce5724fe3..8ecc9de67a7 100644 --- a/libffi/ChangeLog +++ b/libffi/ChangeLog @@ -1,3 +1,11 @@ +2021-06-16 Jakub Jelinek + + * src/x86/ffi64.c (classify_argument): For FFI_TYPE_STRUCT set words + to number of words needed for type->size + byte_offset bytes rather + than just type->size bytes. Compute pos before the loop and check + total size of the structure. + * testsuite/libffi.call/nested_struct12.c: New test. + 2021-01-05 Samuel Thibault * configure: Re-generate. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index c802dac3364..eaebcea0c15 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,36 @@ +2021-06-16 Jonathan Wakely + + * include/bits/iterator_concepts.h (__decay_copy): Name type. + +2021-06-16 Jonathan Wakely + + * include/bits/ranges_base.h (ranges::begin, ranges::end) + (ranges::cbegin, ranges::cend, ranges::rbeing, ranges::rend) + (ranges::crbegin, ranges::crend, ranges::size, ranges::ssize) + (ranges::empty, ranges::data, ranges::cdata): Remove final + keywords and deleted operator& overloads. + * testsuite/24_iterators/customization_points/iter_move.cc: Use + new is_customization_point_object function. + * testsuite/24_iterators/customization_points/iter_swap.cc: + Likewise. + * testsuite/std/concepts/concepts.lang/concept.swappable/swap.cc: + Likewise. + * testsuite/std/ranges/access/begin.cc: Likewise. + * testsuite/std/ranges/access/cbegin.cc: Likewise. + * testsuite/std/ranges/access/cdata.cc: Likewise. + * testsuite/std/ranges/access/cend.cc: Likewise. + * testsuite/std/ranges/access/crbegin.cc: Likewise. + * testsuite/std/ranges/access/crend.cc: Likewise. + * testsuite/std/ranges/access/data.cc: Likewise. + * testsuite/std/ranges/access/empty.cc: Likewise. + * testsuite/std/ranges/access/end.cc: Likewise. + * testsuite/std/ranges/access/rbegin.cc: Likewise. + * testsuite/std/ranges/access/rend.cc: Likewise. + * testsuite/std/ranges/access/size.cc: Likewise. + * testsuite/std/ranges/access/ssize.cc: Likewise. + * testsuite/util/testsuite_iterators.h + (is_customization_point_object): New function. + 2021-06-15 Jonathan Wakely * include/bits/ranges_base.h (ranges::begin, ranges::end)