From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 1A0723858024; Wed, 6 Jul 2022 00:17:21 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1A0723858024 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 r13-1515] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: c70a48a8f8f6a43b35f783b5672c9a3c0a363c31 X-Git-Newrev: d1f3a3fffeb40e646ec5a643783cd753fa7def33 Message-Id: <20220706001721.1A0723858024@sourceware.org> Date: Wed, 6 Jul 2022 00:17:21 +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: Wed, 06 Jul 2022 00:17:21 -0000 https://gcc.gnu.org/g:d1f3a3fffeb40e646ec5a643783cd753fa7def33 commit r13-1515-gd1f3a3fffeb40e646ec5a643783cd753fa7def33 Author: GCC Administrator Date: Wed Jul 6 00:16:33 2022 +0000 Daily bump. Diff: --- gcc/ChangeLog | 93 +++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 242 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 6 ++ gcc/cp/ChangeLog | 27 ++++++ gcc/testsuite/ChangeLog | 72 ++++++++++++++ libstdc++-v3/ChangeLog | 10 ++ 7 files changed, 451 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 879f9e5475f..4267279b60f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,96 @@ +2022-07-05 Andrew MacLeod + + * value-relation.cc (relation_to_code): New vector. + (relation_oracle::validate_relation): New. + (set_relation): Allow ssa1 == ssa2 to be registered. + * value-relation.h (validate_relation): New prototype. + (query_relation): Make internal variant protected. + +2022-07-05 Roger Sayle + + * config/i386/i386.cc (ix86_rtx_costs) : Provide costs + for double word comparisons and tests (comparisons against zero). + * config/i386/i386.md (*test_not_doubleword): Split DWI + and;cmp into andn;cmp $0 as a pre-reload splitter. + (*andn3_doubleword_bmi): Use instead of in name. + (*3_doubleword): Likewise. + +2022-07-05 Roger Sayle + Hongtao Liu + + * config/i386/i386-builtin.def (__builtin_ia32_palignr128): Change + CODE_FOR_ssse3_palignrti to CODE_FOR_ssse3_palignrv1ti. + * config/i386/i386-expand.cc (expand_vec_perm_palignr): Use V1TImode + and gen_ssse3_palignv1ti instead of TImode. + * config/i386/sse.md (SSESCALARMODE): Delete. + (define_mode_attr ssse3_avx2): Handle V1TImode instead of TImode. + (_palignr): Use VIMAX_AVX2_AVX512BW as a mode + iterator instead of SSESCALARMODE. + (ssse3_palignrdi): Optimize cases where operands[3] is 0 or 64, + using a single move instruction (if required). + +2022-07-05 Roger Sayle + Uroš Bizjak + + PR rtl-optimization/96692 + * config/i386/i386.md (define_split): Split ((A | B) ^ C) ^ D + as (X & ~Y) ^ Z on target BMI when either C or D is A or B. + +2022-07-05 Richard Biener + + PR tree-optimization/106198 + * tree-cfgcleanup.cc (repair_loop_structures): Always do a + full LC SSA rewrite but only if any blocks changed loop + depth. + +2022-07-05 Richard Biener + + * tree-ssa-loop-manip.cc (find_uses_to_rename_def): Remove. + (find_uses_to_rename_in_loop): Likewise. + (rewrite_into_loop_closed_ssa_1): Remove loop parameter and + uses. + (rewrite_into_loop_closed_ssa): Adjust. + +2022-07-05 Richard Biener + + PR tree-optimization/106186 + * tree-ssa-propagate.cc (clean_up_loop_closed_phi): + Properly handle virtual PHI nodes. + +2022-07-05 Richard Biener + + PR tree-optimization/106196 + * tree-vect-stmts.cc (vect_finish_stmt_generation): Properly + handle aggregate returns of calls for VDEF updates. + +2022-07-05 Richard Biener + + * tree-vect-loop-manip.cc (vect_set_loop_condition_normal): + Maintain LC SSA. + +2022-07-05 Richard Sandiford + + * tree-vect-patterns.cc (vect_convert_input): Expect the input + type to be signed for optab_vector_mixed_sign. Update the vectype + at the same time as type. + (vect_recog_dot_prod_pattern): Update accordingly. If usdot isn't + available, try sdot instead. + * tree-vect-loop.cc (vect_is_emulated_mixed_dot_prod): New function. + (vect_model_reduction_cost): Model the cost of implementing usdot + using sdot. + (vectorizable_reduction): Likewise. Skip target support test + for lane reductions. + (vect_emulate_mixed_dot_prod): New function. + (vect_transform_reduction): Use it to emulate usdot via sdot. + +2022-07-05 Richard Biener + + PR tree-optimization/106182 + * loop-init.cc (fix_loop_structure): Return the number + of newly discovered plus the number of deleted loops. + * tree-cfgcleanup.cc (repair_loop_structures): Adjust + variable name. + 2022-07-04 Aldy Hernandez * gimple-range-fold.cc diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 7111af089e5..ebfebbb1842 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220705 +20220706 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 570579b3d74..3b6906482f0 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,245 @@ +2022-07-05 Piotr Trojanek + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst + (Warning Message Control): Update description of switch -gnatwj. + * gnat_ugn.texi: Regenerate. + * sem_ch10.adb (Analyze_With_Clause): Warn on WITH clauses for + obsolete renamed units; in Ada 83 mode do not consider + predefined renamings to be obsolete. + +2022-07-05 Eric Botcazou + + * exp_util.adb (Make_Subtype_From_Expr): Do not set field to Empty. + * sem_util.adb (Visit_Itype): Remove ??? comment. + +2022-07-05 Piotr Trojanek + + * sem_attr.adb (Note_Possible_Modification): Revert a + special-case for validity checks on Long_Float type. + * snames.ads-tmpl (Name_Attr_Long_Float): Remove name added + exclusively for the mentioned fix. + +2022-07-05 Piotr Trojanek + + * sem_ch6.adb (Set_Formal_Mode): Remove unnecessary setting of + Never_Set_In_Source. + +2022-07-05 Piotr Trojanek + + * sem_ch6.adb (Process_Formals): Avoid repeated calls to + Expression. + +2022-07-05 Piotr Trojanek + + * exp_code.adb (Setup_Asm_IO_Args): Remove guard against No_List. + * par_sco.adb (Process_Decisions): Likewise. + * sem_ch13.adb (Check_Component_List): Likewise. + * sem_ch6.adb (FCL): Likewise. + +2022-07-05 Doug Rupp + + * cstreams.c (__gnat_full_name) [QNX]: Remove block. + +2022-07-05 Piotr Trojanek + + * osint.adb (Locate_File): Use Name_Find with a parameter and + not with a global buffer. + +2022-07-05 Piotr Trojanek + + * exp_ch3.adb (Build_Init_Statements): Reuse Get_Pragma_Arg. + * exp_prag.adb (Arg_N): Likewise. + +2022-07-05 Yannick Moy + + * ghost.adb (Is_OK_Ghost_Context): Detect ghost type inside object + renaming. + +2022-07-05 Bob Duff + + * exp_ch7.adb: Change two constants Is_Protected_Body and + Is_Prot_Body to be Is_Protected_Subp_Body; these are not true + for protected bodies, but for protected subprogram bodies. + (Expand_Cleanup_Actions): No need to search for + Activation_Chain_Entity; just use Activation_Chain_Entity. + * sem_ch8.adb (Find_Direct_Name): Use Entyp constant. + * atree.adb, atree.ads, atree.h, nlists.adb, nlists.ads + (Parent): Provide nonoverloaded versions of Parent, so that they + can be easily found in the debugger. + * debug_a.adb, debug_a.ads: Clarify that we're talking about the + -gnatda switch; switches are case sensitive. Print out the + Chars field if appropriate, which makes it easier to find things + in the output. + (Debug_Output_Astring): Simplify. Also fix an off-by-one + bug ("for I in Vbars'Length .." should have been "for I in + Vbars'Length + 1 .."). Before, it was printing Debug_A_Depth + + 1 '|' characters if Debug_A_Depth > Vbars'Length. + +2022-07-05 Piotr Trojanek + + * sem_prag.adb (Analyze_Pragma): Remove unnecessary call to + Analyze. + +2022-07-05 Piotr Trojanek + + * libgnat/g-socket.adb (Raise_Host_Error): Add No_Return aspect. + (Raise_GAI_Error): Likewise. + * libgnat/g-socket.ads (Raise_Socket_Error): Likewise. + +2022-07-05 Piotr Trojanek + + * sem_util.adb (Aggregate_Constraint_Checks): Fix whitespace; + refactor repeated code; replace a ??? comment with an + explanation based on the comment for the routine spec. + +2022-07-05 Piotr Trojanek + + * sem_util.ads (Note_Possible_Modification): Fix occurrence of + May_Be_Modified in comment. + * sem_warn.ads (Check_Unset_Reference): Fix occurrence of + Not_Assigned in comment. + +2022-07-05 Yannick Moy + + * sem_attr.adb (Analyze_Attribute): Take into account the + possibility of homonyms. + +2022-07-05 Eric Botcazou + + * exp_ch3.adb (Expand_N_Object_Declaration): Rewrite as a renaming + for any nonaliased local object with nominal unconstrained subtype + originally initialized with the result of a function call that has + been rewritten as the dereference of a reference to the result. + * sem_ch3.adb (Analyze_Object_Declaration): Do not do it here + +2022-07-05 Arnaud Charlet + + * exp_imgv.adb (Build_Enumeration_Image_Tables): Also disable + perfect hash in GNAT_Mode. + * raise-gcc.c (__gnat_Unwind_RaiseException): Add support for + disabling exception propagation. + * sem_eval.adb (Compile_Time_Known_Value): Update comment and + remove wrong call to Check_Error_Detected. + * sem_prag.adb (Check_Loop_Pragma_Grouping, Analyze_Pragma): + Remove exception propagation during bootstrap. + +2022-07-05 Eric Botcazou + + * exp_aggr.adb (Expand_Array_Aggregate): Remove obsolete code. + Delay the expansion of aggregates initializing return objects of + build-in-place functions. + * exp_ch3.ads (Ensure_Activation_Chain_And_Master): Delete. + * exp_ch3.adb (Ensure_Activation_Chain_And_Master): Fold back to... + (Expand_N_Object_Declaration): ...here. + Perform the expansion of return objects of build-in-place functions + here instead of... + * exp_ch6.ads (Is_Build_In_Place_Return_Object): Declare. + * exp_ch6.adb (Expand_N_Extended_Return_Statement): ...here. + (Is_Build_In_Place_Result_Type): Alphabetize. + (Is_Build_In_Place_Return_Object): New predicate. + * exp_ch7.adb (Enclosing_Function): Delete. + (Process_Object_Declaration): Tidy up handling of return objects. + * sem_ch3.adb (Analyze_Object_Declaration): Do not decorate and + freeze the actual type if it is the same as the nominal type. + * sem_ch6.adb: Remove use and with clauses for Exp_Ch3. + (Analyze_Function_Return): Analyze again all return objects. + (Create_Extra_Formals): Do not force the definition of an Itype + if the subprogram is a compilation unit. + +2022-07-05 Piotr Trojanek + + * gnatls.adb (Corresponding_Sdep_Entry): Remove dead return + statement in defensive path; there is another return statement + for a normal execution of this routine, so rule Ada RM 6.5(5), + which requires function to have at least one return statement is + still satisfied. + (Gnatls): Remove dead, call to nonreturning Exit_Program after + Output_License_Information which itself does not return. + * libgnat/a-exstat.adb (Bad_EO): Remove raise statement that was + meant to please some ancient version of GNAT. + * libgnat/g-awk.adb (Raise_With_Info): Likewise. + * sem_attr.adb (Check_Reference): Remove dead return statement; + rule Ada RM 6.5(5), which requires function to have at least one + return statement is still satisfied. + (Analyze_Attribute): Remove dead exit statement. + (Check_Reference): Same as above. + * sem_ch12.adb (Instantiate_Formal_Package): Remove dead raise + statement; it was inconsistent with other calls to + Abandon_Instantiation, which are not followed by a raise + statement. + * sem_prag.adb (Process_Convention): Remove dead defensive + assignment. + (Interrupt_State): Remove dead defensive exit statement. + (Do_SPARK_Mode): Likewise. + * sfn_scan.adb (Scan_String): Remove dead defensive assignment. + +2022-07-05 Piotr Trojanek + + * sem_attr.adb, sem_prag.adb: Remove dead return statements + after calls to Error_Attr, Error_Pragma, Error_Pragma_Arg and + Placement_Error. All these calls raise exceptions that are + handled to gently recover from errors. + +2022-07-05 Doug Rupp + + * libgnat/system-vxworks-ppc-kernel.ads (Word_Size): Compute + based on Standard'Word_Size. + (Memory_Size): Compute based on Word_Size. + * libgnat/system-vxworks-ppc-rtp-smp.ads: Likewise. + * libgnat/system-vxworks-ppc-rtp.ads: Likewise. + +2022-07-05 Piotr Trojanek + + * sem_attr.adb (Analyze_Attribute): Move call to + Set_Address_Taken so that it is executed when the prefix + attribute is legal. + +2022-07-05 Piotr Trojanek + + * sem_ch5.adb (Check_Unreachable_Code): Avoid explicit use of + Sloc; this should also help when we finally use Source_Span for + prettier error messages. + +2022-07-05 Piotr Trojanek + + * sem_ch5.adb (Check_Unreachable_Code): Remove redundant guard; + the call to Present wasn't needed either. + +2022-07-05 Piotr Trojanek + + * sem_ch5.adb (Analyze_Block_Statement): Call to List_Length with + No_List is safe and will return zero. + +2022-07-05 Piotr Trojanek + + * sem_ch6.adb (Check_Missing_Return): Add reference to an RM rule. + +2022-07-05 Piotr Trojanek + + * sem_ch6.adb (Check_Missing_Return): Remove outdated comment. + +2022-07-05 Dmitriy Anisimkov + + * adaint.h (convert_addresses): Remove function declaration. + +2022-07-05 Doug Rupp + + * Makefile.rtl (*vxworks*): Remove most pre-vxworks7 code. + * vxworks-arm-link.spec: Remove. + * vxworks-e500-link.spec: Likewise. + * vxworks-smp-arm-link.spec: Likewise. + * vxworks-smp-e500-link.spec: Likewise. + * vxworks-smp-x86-link.spec: Likewise. + * libgnat/system-vxworks-arm-rtp-smp.ads: Likewise. + * libgnat/system-vxworks-arm-rtp.ads: Likewise. + * libgnat/system-vxworks-arm.ads: Likewise. + * libgnat/system-vxworks-e500-kernel.ads: Likewise. + * libgnat/system-vxworks-e500-rtp-smp.ads: Likewise. + * libgnat/system-vxworks-e500-rtp.ads: Likewise. + * libgnat/system-vxworks-x86-kernel.ads: Likewise. + * libgnat/system-vxworks-x86-rtp-smp.ads: Likewise. + * libgnat/system-vxworks-x86-rtp.ads: Likewise. + 2022-07-04 Eric Botcazou * sem_disp.adb (Check_Dispatching_Call): Merge the two special cases diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 5beb46e2306..402484bee23 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,9 @@ +2022-07-05 Marek Polacek + + PR c++/105626 + * c-format.cc (check_format_arg): Don't emit -Wformat warnings with + u8 strings. + 2022-07-01 Marek Polacek PR c++/106111 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index b0bd3b4802f..ba13cdd6aae 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,30 @@ +2022-07-05 Nathan Sidwell + + * module.cc + (struct ord_loc_info, ord_loc_traits): New. + (ord_loc_tabke, ord_loc_remap): New globals. + (struct location_map_info): Delete. + (struct module_state_config): Rename ordinary_loc_align to + loc_range_bits. + (module_for_ordinary_loc): Adjust. + (module_state::note_location): Note ordinary locations, + return bool. + (module_state::write_location): Adjust ordinary location + streaming. + (module_state::read_location): Likewise. + (module_state::write_init_maps): Allocate ord_loc_table. + (module_state::write_prepare_maps): Reimplement ordinary + map preparation. + (module_state::read_prepare_maps): Adjust. + (module_state::write_ordinary_maps): Reimplement. + (module_state::write_macro_maps): Adjust. + (module_state::read_ordinary_maps): Reimplement. + (module_state::write_macros): Adjust. + (module_state::write_config): Adjust. + (module_state::read_config): Adjust. + (module_state::write_begin): Adjust. + (module_state::read_initial): Adjust. + 2022-07-04 Tobias Burnus Chung-Lin Tang Thomas Schwinge diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0a1e58ea8ce..208590bc41f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,75 @@ +2022-07-05 Marek Polacek + + PR c++/105626 + * g++.dg/warn/Wformat-char8_t-1.C: New test. + +2022-07-05 Roger Sayle + + * gcc.target/i386/testnot-3.c: New test case. + +2022-07-05 Roger Sayle + Hongtao Liu + + * gcc.target/i386/ssse3-palignr-2.c: New test case. + +2022-07-05 Roger Sayle + Uroš Bizjak + + PR rtl-optimization/96692 + * gcc.target/i386/bmi-andn-4.c: New test case. + +2022-07-05 Nathan Sidwell + + * g++.dg/modules/loc-prune-1.C: Adjust. + * g++.dg/modules/loc-prune-4.C: New. + * g++.dg/modules/pr98718_a.C: Adjust. + * g++.dg/modules/pr98718_b.C: Adjust. + * g++.dg/modules/pr99072.H: Adjust. + +2022-07-05 Richard Biener + + PR tree-optimization/106198 + * gcc.dg/pr106198.c: New testcase. + +2022-07-05 Richard Biener + + PR tree-optimization/106196 + * gcc.dg/torture/pr106196.c: New testcase. + +2022-07-05 Alexandre Oliva + + * lib/target-supports.exp (check_effective_target_two_plus_gigs): + Fix array element type. Reported by Hans-Peter Nilsson. + +2022-07-05 Piotr Trojanek + + * gnat.dg/renaming1.adb: Update WITH clause. + * gnat.dg/renaming1.ads: Likewise. + * gnat.dg/warn29.adb: Likewise. + +2022-07-05 Richard Sandiford + + * gcc.dg/vect/vect-reduc-dot-9.c: Reduce target requirements + from i8mm to dotprod. + * gcc.dg/vect/vect-reduc-dot-10.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-11.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-12.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-13.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-14.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-15.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-16.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-17.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-18.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-19.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-20.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-21.c: Likewise. + * gcc.dg/vect/vect-reduc-dot-22.c: Likewise. + +2022-07-05 Richard Biener + + PR tree-optimization/106182 + * gcc.dg/torture/pr106182.c: New testcase. + 2022-07-05 Hans-Peter Nilsson * gcc.dg/analyzer/allocation-size-1.c, diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 90c5d78b083..3a38b0a03c6 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,13 @@ +2022-07-05 Alexandre Oliva + + * testsuite/util/testsuite_fs.h (nonexistent_path): Explain + why we need the typecast. + +2022-07-05 Alexandre Oliva + + * testsuite/util/testsuite_fs.h (nonexistent_path): Convert + the getpid result to an integral type. + 2022-07-01 Jonathan Wakely PR libstdc++/106162