diff options
| -rw-r--r-- | gcc/ChangeLog | 128 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 186 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fortran/ChangeLog | 33 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 90 | ||||
| -rw-r--r-- | libcpp/ChangeLog | 7 | ||||
| -rw-r--r-- | libffi/ChangeLog | 8 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 33 |
9 files changed, 492 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 92423fd..61a714d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,131 @@ +2021-06-17 Andrew MacLeod <amacleod@redhat.com> + + * 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 <amacleod@redhat.com> + + * 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 <msebor@redhat.com> + + * doc/invoke.texi (-Wmismatched-dealloc, -Wmismatched-new-delete): + Correct documented defaults. + +2021-06-16 Andrew MacLeod <amacleod@redhat.com> + + * gimple-range-cache.cc (ranger_cache::ranger_cache): Initialize + m_new_value_p directly. + +2021-06-16 Uroš Bizjak <ubizjak@gmail.com> + + 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) <case E_V4HImode>: 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 <jonathan.wright@arm.com> + + * config/aarch64/aarch64-simd.md (aarch64_<sur><addsub>hn<mode>): + Change to an expander that emits the correct instruction + depending on endianness. + (aarch64_<sur><addsub>hn<mode>_insn_le): Define. + (aarch64_<sur><addsub>hn<mode>_insn_be): Define. + +2021-06-16 Jonathan Wright <jonathan.wright@arm.com> + + * config/aarch64/aarch64-simd-builtins.def: Split generator + for aarch64_<su>qmovn builtins into scalar and vector + variants. + * config/aarch64/aarch64-simd.md (aarch64_<su>qmovn<mode>_insn_le): + Define. + (aarch64_<su>qmovn<mode>_insn_be): Define. + (aarch64_<su>qmovn<mode>): 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 <jonathan.wright@arm.com> + + * config/aarch64/aarch64-simd-builtins.def: Split generator + for aarch64_sqmovun builtins into scalar and vector variants. + * config/aarch64/aarch64-simd.md (aarch64_sqmovun<mode>): + Split into scalar and vector variants. Change vector variant + to an expander that emits the correct instruction depending + on endianness. + (aarch64_sqmovun<mode>_insn_le): Define. + (aarch64_sqmovun<mode>_insn_be): Define. + +2021-06-16 Jonathan Wright <jonathan.wright@arm.com> + + * config/aarch64/aarch64-simd.md (aarch64_xtn<mode>_insn_le): + Define - modeling zero-high-half semantics. + (aarch64_xtn<mode>): Change to an expander that emits the + appropriate instruction depending on endianness. + (aarch64_xtn<mode>_insn_be): Define - modeling zero-high-half + semantics. + (aarch64_xtn2<mode>_le): Rename to... + (aarch64_xtn2<mode>_insn_le): This. + (aarch64_xtn2<mode>_be): Rename to... + (aarch64_xtn2<mode>_insn_be): This. + (vec_pack_trunc_<mode>): Emit truncation instruction instead + of aarch64_xtn. + * config/aarch64/iterators.md (Vnarrowd): Add Vnarrowd mode + attribute iterator. + +2021-06-16 Martin Jambor <mjambor@suse.cz> + + 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 <jakub@redhat.com> + + 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 <rguenther@suse.de> + + 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 <roger@nextmovesoftware.com> + + PR rtl-optimization/46235 + * config/i386/i386.md: New define_split for bt followed by cmov. + (*bt<mode>_setcqi): New define_insn_and_split for bt followed by setc. + (*bt<mode>_setncqi): New define_insn_and_split for bt then setnc. + (*bt<mode>_setnc<mode>): New define_insn_and_split for bt followed + by setnc with zero extension. + +2021-06-16 Richard Biener <rguenther@suse.de> + + 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 <msebor@redhat.com> PR middle-end/100876 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 052decd..f84fbff 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210616 +20210617 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 31eca3f..f102600 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,189 @@ +2021-06-16 Piotr Trojanek <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <moy@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * sinput.adb (Sloc_Range): Refactor several repeated calls to + Sloc and two comparisons with No_Location. + +2021-06-16 Piotr Trojanek <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * exp_ch3.adb (Build_Slice_Assignment): Remove unused + initialization. + +2021-06-16 Piotr Trojanek <trojanek@adacore.com> + + * restrict.adb, sem_attr.adb, types.ads: Fix typos in + "occuring"; refill comment as necessary. + +2021-06-16 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.ads (Is_Actual_Parameter): Update comment. + * sem_util.adb (Is_Actual_Parameter): Also detect entry parameters. + +2021-06-16 Arnaud Charlet <charlet@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <baird@adacore.com> + + * doc/gnat_rm/implementation_advice.rst: Add a section for RM + A.18 . + * gnat_rm.texi: Regenerate. + +2021-06-16 Justin Squirek <squirek@adacore.com> + + * sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Add + check for the mixing of entries. + +2021-06-16 Justin Squirek <squirek@adacore.com> + + * sem_ch13.adb (Make_Aitem_Pragma): Check for static expressions + in Priority aspect arguments for restriction Static_Priorities. + +2021-06-16 Justin Squirek <squirek@adacore.com> + + * sem_util.adb (Accessibility_Level): Take into account + renamings of loop parameters. + +2021-06-16 Matthieu Eyraud <eyraud@adacore.com> + + * par_sco.adb (Set_Statement_Entry): Change sloc for dominance + marker. + (Traverse_One): Fix typo. + (Output_Header): Fix comment. + +2021-06-16 Richard Kenner <kenner@adacore.com> + + * exp_unst.adb (Register_Subprogram): Don't look for aliases for + subprograms that are generic. Reorder tests for efficiency. + +2021-06-16 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * freeze.adb (Check_No_Parts_Violations): Return earlier if the + type is elementary or does not come from source. + +2021-06-16 Bob Duff <duff@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * sem_util.adb (Current_Entity_In_Scope): Reimplement. + +2021-06-16 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch8.adb (End_Scope): Remove extra parens. + +2021-06-16 Javier Miranda <miranda@adacore.com> + + * 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 <schonberg@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <charlet@adacore.com> + + * sem_ch3.adb (Analyze_Component_Declaration): Do not special + case raise expressions. + +2021-06-16 Sergey Rybin <rybin@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <baird@adacore.com> * exp_util.adb (Kill_Dead_Code): Generalize the existing diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 3016da8..8d14d38 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2021-06-16 Jason Merrill <jason@redhat.com> + + PR c++/101078 + PR c++/91706 + * pt.c (tsubst_baselink): Update binfos in non-dependent case. + 2021-06-15 Robin Dapp <rdapp@linux.ibm.com> * decl.c (duplicate_decls): Likewise. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 3c71933..f073f34 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,36 @@ +2021-06-16 Harald Anlauf <anlauf@gmx.de> + + 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 <anlauf@gmx.de> + + Revert: + 2021-06-16 Harald Anlauf <anlauf@gmx.de> + + 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 <anlauf@gmx.de> + + 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 <tobias@codesourcery.com> PR fortran/92568 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8b27352..c6e8817 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,93 @@ +2021-06-16 Jason Merrill <jason@redhat.com> + + PR c++/101078 + PR c++/91706 + * g++.dg/template/access39.C: New test. + +2021-06-16 Harald Anlauf <anlauf@gmx.de> + + PR fortran/95501 + PR fortran/95502 + * gfortran.dg/pr95502.f90: New test. + +2021-06-16 Harald Anlauf <anlauf@gmx.de> + + Revert: + 2021-06-16 Harald Anlauf <anlauf@gmx.de> + + PR fortran/95501 + PR fortran/95502 + * gfortran.dg/pr95502.f90: New test. + +2021-06-16 Harald Anlauf <anlauf@gmx.de> + + PR fortran/95501 + PR fortran/95502 + * gfortran.dg/pr95502.f90: New test. + +2021-06-16 Jason Merrill <jason@redhat.com> + + 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 <jonathan.wright@arm.com> + + * gcc.target/aarch64/narrow_zero_high_half.c: Add new tests. + +2021-06-16 Jonathan Wright <jonathan.wright@arm.com> + + * gcc.target/aarch64/narrow_zero_high_half.c: Add new tests. + +2021-06-16 Jonathan Wright <jonathan.wright@arm.com> + + * gcc.target/aarch64/narrow_zero_high_half.c: Add new tests. + +2021-06-16 Jonathan Wright <jonathan.wright@arm.com> + + * gcc.target/aarch64/narrow_zero_high_half.c: Add new tests. + +2021-06-16 Jonathan Wright <jonathan.wright@arm.com> + + * gcc.target/aarch64/narrow_zero_high_half.c: New test. + +2021-06-16 Martin Jambor <mjambor@suse.cz> + + PR tree-optimization/100453 + * gcc.dg/tree-ssa/pr100453.c: New test. + +2021-06-16 Jakub Jelinek <jakub@redhat.com> + + * gcc.dg/guality/pr49888.c (f): Use noipa attribute instead of + noinline, noclone. + +2021-06-16 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/101062 + * gcc.dg/pr101062.c: New test. + +2021-06-16 Richard Biener <rguenther@suse.de> + + PR tree-optimization/101088 + * gcc.dg/torture/pr101088.c: New testcase. + +2021-06-16 Roger Sayle <roger@nextmovesoftware.com> + + 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 <charlet@adacore.com> + + * gnat.dg/limited4.adb: Disable illegal code. + +2021-06-16 Richard Biener <rguenther@suse.de> + + PR tree-optimization/101083 + * gcc.dg/vect/pr97832-4.c: New testcase. + 2021-06-15 Tobias Burnus <tobias@codesourcery.com> PR fortran/92568 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index ea3bec8..7b9896f 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,10 @@ +2021-06-16 Jason Merrill <jason@redhat.com> + + 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 <christophe.lyon@linaro.org> Torbjörn Svensson <torbjorn.svensson@st.com> diff --git a/libffi/ChangeLog b/libffi/ChangeLog index 58ce572..8ecc9de 100644 --- a/libffi/ChangeLog +++ b/libffi/ChangeLog @@ -1,3 +1,11 @@ +2021-06-16 Jakub Jelinek <jakub@redhat.com> + + * 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 <samuel.thibault@ens-lyon.org> * configure: Re-generate. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index c802dac..eaebcea 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,36 @@ +2021-06-16 Jonathan Wakely <jwakely@redhat.com> + + * include/bits/iterator_concepts.h (__decay_copy): Name type. + +2021-06-16 Jonathan Wakely <jwakely@redhat.com> + + * 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 <jwakely@redhat.com> * include/bits/ranges_base.h (ranges::begin, ranges::end) |