From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 30CCE3857402; Tue, 13 Jul 2021 00:17:06 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 30CCE3857402 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-2263] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 9693ecdf7ed5dde9618d06560697ff8ee5e1e6b7 X-Git-Newrev: 07bcbf9cc2a031ba5abcff368b452bfc99bf707e Message-Id: <20210713001706.30CCE3857402@sourceware.org> Date: Tue, 13 Jul 2021 00:17:06 +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: Tue, 13 Jul 2021 00:17:06 -0000 https://gcc.gnu.org/g:07bcbf9cc2a031ba5abcff368b452bfc99bf707e commit r12-2263-g07bcbf9cc2a031ba5abcff368b452bfc99bf707e Author: GCC Administrator Date: Tue Jul 13 00:16:30 2021 +0000 Daily bump. Diff: --- gcc/ChangeLog | 121 ++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 138 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 11 ++++ gcc/testsuite/ChangeLog | 59 +++++++++++++++++++++ libstdc++-v3/ChangeLog | 6 +++ 6 files changed, 336 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6e6aaf0c891..98570fe405c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,124 @@ +2021-07-12 Andrew MacLeod + + * gimple-range-fold.cc (fold_using_range::range_of_builtin_ubsan_call): + Query relation between the 2 operands and use it. + +2021-07-12 Sergei Trofimovich + + * doc/cfg.texi: Fix s/ei_safe_safe/ei_safe_edge/ typo. + +2021-07-12 Uroš Bizjak + + PR target/101424 + * config/i386/predicates.md (vec_setm_sse41_operand): + Rename from vec_setm_operand. + (vec_setm_avx2_operand): New predicate. + * config/i386/sse.md (vec_set): Use V_128 mode iterator. + Use vec_setm_sse41_operand as operand 2 predicate. + (vec_set + + PR tree-optimization/101335 + * range-op.cc (operator_cast::lhs_op1_relation): Delete. + +2021-07-12 Andrew Pinski + + * tree-ssa-phiopt.c (match_simplify_replacement): Move + insert of the sequence before the movement of the + statement. Check if to see if the statement is used + outside of the original phi to see if we should move it. + +2021-07-12 Richard Biener + + * dump-context.h (debug_dump_context::debug_dump_context): + Add FILE * parameter defaulted to stderr. + * dumpfile.c (debug_dump_context::debug_dump_context): Adjust. + * tree-vect-slp.c (dot_slp_tree): New functions. + +2021-07-12 Richard Biener + + PR tree-optimization/101373 + * tree-ssa-pre.c (prune_clobbered_mems): Also prune trapping + references when the BB may not return. + (compute_avail): Pass in the function we're working on and + replace cfun references with it. Externally throwing + const calls also possibly terminate the function. + (pass_pre::execute): Pass down the function we're working on. + * gcse.c (compute_hash_table_work): Externally throwing + const/pure calls also need record_last_mem_set_info. + * postreload-gcse.c (record_opr_changes): Looping or externally + throwing const/pure calls also need record_last_mem_set_info. + +2021-07-12 Uroš Bizjak + + * recog.c (memory_address_addr_space_p): Change the type to bool. + Return true/false instead of 1/0. + (offsettable_memref_p): Ditto. + (offsettable_nonstrict_memref_p): Ditto. + (offsettable_address_addr_space_p): Ditto. + Change the type of addressp indirect function to bool. + * recog.h (memory_address_addr_space_p): Change the type to bool. + (strict_memory_address_addr_space_p): Ditto. + (offsettable_memref_p): Ditto. + (offsettable_nonstrict_memref_p): Ditto. + (offsettable_address_addr_space_p): Ditto. + * reload.c (maybe_memory_address_addr_space_p): Ditto. + (strict_memory_address_addr_space_p): Change the type to bool. + Return true/false instead of 1/0. + (maybe_memory_address_addr_space_p): Change the type to bool. + +2021-07-12 Richard Biener + + * tree-vect-slp.c (vect_slp_region): Show the number of + SLP graph entries in the optimization message. + +2021-07-12 Richard Biener + + PR tree-optimization/101394 + * tree-ssa-pre.c (do_pre_regular_insertion): Avoid inserting + copies from abnormals for a full redundancy. + +2021-07-12 Richard Biener + + PR middle-end/101423 + * gimple.c (gimple_could_trap_p_1): Internal function calls + do not trap. + * tree-eh.c (tree_could_trap_p): Likewise. + +2021-07-12 prathamesh.kulkarni + + PR target/66791 + * config/arm/arm_neon.h (vmul_n_u32): Replace call to builtin with + __a * __b. + (vmulq_n_u32): Likewise. + (vmul_n_f32): Gate __a * __b on __FAST_MATH__. + (vmulq_n_f32): Likewise. + (vmul_n_f16): Likewise. + (vmulq_n_f16): Likewise. + +2021-07-12 Martin Liska + + PR sanitizer/101425 + * gcc.c (check_offload_target_name): Call + candidates_list_and_hint only if we have a candidate. + +2021-07-12 prathamesh.kulkarni + + PR target/98435 + * config/arm/neon.md (vec_init): Move to ... + * config/arm/vec-common.md (vec_init): ... here. + Change the pattern's mode to VDQX and gate it on VALID_MVE_MODE. + +2021-07-12 Roger Sayle + + PR tree-optimization/101403 + * match.pd ((T)bswap(X)>>C): Correctly handle cases where + signedness of the shift is not the same as the signedness of + the type extension. + 2021-07-09 Roger Sayle Uroš Bizjak diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index d01e523f1fc..12fd5d42259 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210712 +20210713 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9b5629c2cf7..a60b02a8d9a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,141 @@ +2021-07-12 Pierre-Marie de Rodat + + * adaint.c (__gnat_number_of_cpus): Replace "#ifdef" by "#if + defined". + +2021-07-12 Eric Botcazou + + * gcc-interface/decl.c (gnat_to_gnu_entity) : Add a + parallel type only when -fgnat-encodings=all is specified. + : Use the PAT name and special suffixes only when + -fgnat-encodings=all is specified. + : Build a special type for debugging purposes only + when -fgnat-encodings=all is specified. Add a parallel type or use + the PAT name only when -fgnat-encodings=all is specified. + : Generate debug info for the inner record types only + when -fgnat-encodings=all is specified. + : Use a debug type for an artificial subtype only + except when -fgnat-encodings=all is specified. + (elaborate_expression_1): Reset need_for_debug when possible only + except when -fgnat-encodings=all is specified. + (components_to_record): Use XV encodings for variable size only + when -fgnat-encodings=all is specified. + (associate_original_type_to_packed_array): Add a parallel type only + when -fgnat-encodings=all is specified. + * gcc-interface/misc.c (gnat_get_array_descr_info): Do not return + full information only when -fgnat-encodings=all is specified. + * gcc-interface/utils.c (make_packable_type): Add a parallel type + only when -fgnat-encodings=all is specified. + (maybe_pad_type): Make the inner type a debug type only except when + -fgnat-encodings=all is specified. Create an XVS type for variable + size only when -fgnat-encodings=all is specified. + (rest_of_record_type_compilation): Add a parallel type only when + -fgnat-encodings=all is specified. + +2021-07-12 Eric Botcazou + + * gcc-interface/decl.c (gnat_to_gnu_entity) : Use a + fixed lower bound if the index subtype is marked so, as well as a + more efficient formula for the upper bound if the array cannot be + superflat. + (flb_cannot_be_superflat): New predicate. + (cannot_be_superflat): Rename into... + (range_cannot_be_superfla): ...this. Minor tweak. + +2021-07-12 Bob Duff + + * uintp.ads, types.h: New subtypes of Uint: Valid_Uint, Unat, + Upos, Nonzero_Uint with predicates. These correspond to new + field types in Gen_IL. + * gen_il-types.ads (Valid_Uint, Unat, Upos, Nonzero_Uint): New + field types. + * einfo-utils.ads, einfo-utils.adb, fe.h (Known_Alignment, + Init_Alignment): Use the initial zero value to represent + "unknown". This will ensure that if Alignment is called before + Set_Alignment, the compiler will blow up (if assertions are + enabled). + * atree.ads, atree.adb, atree.h, gen_il-gen.adb + (Get_Valid_32_Bit_Field): New generic low-level getter for + subtypes of Uint. + (Copy_Alignment): New procedure to copy Alignment field even + when Unknown. + (Init_Object_Size_Align, Init_Size_Align): Do not bypass the + Init_ procedures. + * exp_pakd.adb, freeze.adb, layout.adb, repinfo.adb, + sem_util.adb: Protect calls to Alignment with Known_Alignment. + Use Copy_Alignment when it might be unknown. + * gen_il-gen-gen_entities.adb (Alignment, + String_Literal_Length): Use type Unat instead of Uint, to ensure + that the field is always Set_ before we get it, and that it is + set to a nonnegative value. + (Enumeration_Pos): Unat. + (Enumeration_Rep): Valid_Uint. Can be negative, but must be + valid before fetching. + (Discriminant_Number): Upos. + (Renaming_Map): Remove. + * gen_il-gen-gen_nodes.adb (Char_Literal_Value, Reason): Unat. + (Intval, Corresponding_Integer_Value): Valid_Uint. + * gen_il-internals.ads: New functions for dealing with special + defaults and new subtypes of Uint. + * scans.ads: Correct comments. + * scn.adb (Post_Scan): Do not set Intval to No_Uint; that is no + longer allowed. + * sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Do + not set Enumeration_Rep to No_Uint; that is no longer allowed. + (Offset_Value): Protect calls to Alignment with Known_Alignment. + * sem_prag.adb (Set_Atomic_VFA): Do not use Uint_0 to mean + "unknown"; call Init_Alignment instead. + * sinfo.ads: Minor comment fix. + * treepr.adb: Deal with printing of new field types. + * einfo.ads, gen_il-fields.ads (Renaming_Map): Remove. + * gcc-interface/decl.c (gnat_to_gnu_entity): Use Known_Alignment + before calling Alignment. This preserve some probably buggy + behavior: if the alignment is not set, it previously defaulted + to Uint_0; we now make that explicit. Use Copy_Alignment, + because "Set_Alignment (Y, Alignment (X));" no longer works when + the Alignment of X has not yet been set. + * gcc-interface/trans.c (process_freeze_entity): Use + Copy_Alignment. + +2021-07-12 Eric Botcazou + + * libgnat/s-dwalin.ads: Adjust a few comments left and right. + (Line_Info_Register): Comment out unused components. + (Line_Info_Header): Add DWARF 5 support. + (Dwarf_Context): Likewise. Rename "prologue" into "header". + * libgnat/s-dwalin.adb: Alphabetize "with" clauses. + (DWARF constants): Add DWARF 5 support and reorder. + (For_Each_Row): Adjust. + (Initialize_Pass): Likewise. + (Initialize_State_Machine): Likewise and fix typo. + (Open): Add DWARF 5 support. + (Parse_Prologue): Rename into... + (Parse_Header): ...this and add DWARF 5 support. + (Read_And_Execute_Isn): Rename into... + (Read_And_Execute_Insn): ...this and adjust. + (To_File_Name): Change parameter name and add DWARF 5 support. + (Read_Entry_Format_Array): New procedure. + (Skip_Form): Add DWARF 5 support and reorder. + (Seek_Abbrev): Do not count entries and add DWARF 5 support. + (Debug_Info_Lookup): Add DWARF 5 support. + (Symbolic_Address.Set_Result): Likewise. + (Symbolic_Address): Adjust. + +2021-07-12 Bob Duff + + * sem_ch13.adb (Duplicate_Clause): Add a helper routine + Check_One_Attr, with a parameter for the attribute_designator we + are looking for, and one for the attribute_designator of the + current node (which are usually the same). For Size and + Value_Size, call it twice, once for each. + * errout.ads: Fix a typo. + +2021-07-12 Piotr Trojanek + + * exp_imgv.adb (Expand_Image_Attribute): Move rewriting to + attribute Put_Image to the beginning of expansion of attribute + Image. + 2021-07-09 Eric Botcazou * gcc-interface/utils.c (finish_subprog_decl): Remove obsolete line. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 39e5ec335ce..dc57991aea1 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,14 @@ +2021-07-12 Patrick Palka + + PR c++/79501 + PR c++/100983 + * decl.c (grokfndecl): Don't require that deduction guides are + declared at namespace scope. Check that class-scope deduction + guides have the same access as the member class template. + (grokdeclarator): Pretend class-scope deduction guides are static. + * search.c (lookup_member): Don't use a BASELINK for (class-scope) + deduction guides. + 2021-07-10 Patrick Palka PR c++/82110 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index cac49952fdf..6eacfd028e0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,62 @@ +2021-07-12 Patrick Palka + + PR c++/79501 + PR c++/100983 + * g++.dg/cpp1z/class-deduction92.C: New test. + * g++.dg/cpp1z/class-deduction93.C: New test. + * g++.dg/cpp1z/class-deduction94.C: New test. + * g++.dg/cpp1z/class-deduction95.C: New test. + +2021-07-12 Uroš Bizjak + + PR target/101424 + * gcc.target/i386/pr101424.c: New test. + +2021-07-12 Andrew MacLeod + + * gcc.dg/tree-ssa/pr101335.c: New. + +2021-07-12 Andrew Pinski + + * gcc.dg/tree-ssa/pr96928-1.c: Update to similar as pr96928.c. + +2021-07-12 Richard Biener + + PR tree-optimization/101373 + * g++.dg/torture/pr101373.C: New testcase, XFAILed. + * gnat.dg/opt95.adb: Likewise. + +2021-07-12 Richard Biener + + * g++.dg/vect/slp-pr87105.cc: Adjust. + * gcc.dg/vect/bb-slp-pr54400.c: Likewise. + +2021-07-12 Richard Biener + + PR tree-optimization/101394 + * gcc.dg/torture/pr101394.c: New testcase. + +2021-07-12 Roger Sayle + Jakub Jelinek + + PR tree-optimization/101403 + * gcc.dg/pr101403.c: Avoid (unimportant) uninitialized variable. + +2021-07-12 prathamesh.kulkarni + + PR target/66791 + * gcc.target/arm/armv8_2-fp16-neon-2.c: Adjust. + +2021-07-12 prathamesh.kulkarni + + PR target/98435 + * gcc.target/arm/simd/pr98435.c: New test. + +2021-07-12 Roger Sayle + + PR tree-optimization/101403 + * gcc.dg/pr101403.c: New test case. + 2021-07-10 John David Anglin * gcc.dg/torture/pr100329.c: Require target lra. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index baa4ed84bca..d676ed3b91f 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,9 @@ +2021-07-12 Jonathan Wakely + + PR libstdc++/101411 + * include/std/span (as_writable_bytes): Add requires-clause. + * testsuite/23_containers/span/101411.cc: New test. + 2021-07-09 Matheus Castanho * include/std/mutex (__lock_impl): Check