From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 277B03852C5F; Tue, 22 Nov 2022 00:18:51 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 277B03852C5F DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1669076331; bh=3eslxfKjfUNS/CflpaCVNskBsmqu8gRBw4cVTrr7cJE=; h=From:To:Subject:Date:From; b=ic0bgRLLxgwjvsIcX7c7LjMXvplQTGjNVFzRD3KuIGSWq5s45GlTwiovWrXGgQWxT nkNOm3sc1iabTFHrlL3i/JPfoe/Q5I1aq2wL3pPcbIczwV9R7d3ZGYIZs1jjjaWPP1 3AQLhHgM/AW9kBZBsuOiMp9yHCe9iC6VwnPgwQC0= 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-4222] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 4e4e45a4fd341174d8231ee6a99e6fe308904f8f X-Git-Newrev: 8b7fee1de9a723ccc24d2de1c89d233f27b16a0a Message-Id: <20221122001851.277B03852C5F@sourceware.org> Date: Tue, 22 Nov 2022 00:18:51 +0000 (GMT) List-Id: https://gcc.gnu.org/g:8b7fee1de9a723ccc24d2de1c89d233f27b16a0a commit r13-4222-g8b7fee1de9a723ccc24d2de1c89d233f27b16a0a Author: GCC Administrator Date: Tue Nov 22 00:17:49 2022 +0000 Daily bump. Diff: --- contrib/ChangeLog | 8 ++++ gcc/ChangeLog | 79 ++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 124 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/analyzer/ChangeLog | 24 ++++++++++ gcc/testsuite/ChangeLog | 84 ++++++++++++++++++++++++++++++++ libcpp/ChangeLog | 13 +++++ libgomp/ChangeLog | 9 ++++ libstdc++-v3/ChangeLog | 21 ++++++++ 9 files changed, 363 insertions(+), 1 deletion(-) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index bec3739fb4f..57ea5808120 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,11 @@ +2022-11-21 Martin Liska + + Revert: + 2022-11-20 Martin Liska + + * gcc-changelog/git_commit.py: Temporarily disable + check_line.start. + 2022-11-20 Martin Liska * gcc-changelog/git_commit.py: Temporarily disable diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4f693ab18f2..9d14da72dff 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,82 @@ +2022-11-21 Sebastian Huber + + * config/rtems.h (SUBTARGET_CC1_SPEC): Undef and define. + +2022-11-21 Sebastian Huber + + * gcc.cc (SUBTARGET_CC1_SPEC): Define if not defined. + (cc1_spec): Append SUBTARGET_CC1_SPEC. + +2022-11-21 Dimitar Dimitrov + + * doc/sourcebuild.texi (sockets): Document new check. + +2022-11-21 Andrew Carlotti + + * tree-ssa-loop.h (tree_niter_desc): Update comment. + +2022-11-21 Andrew Carlotti + + * tree-ssa-loop-niter.cc + (number_of_iterations_exit_assumptions): Modify to call... + (number_of_iterations_bitcount): ...this new function. + (number_of_iterations_popcount): Now called by the above. + Refactor, and extract popcount expression builder to... + (build_popcount_expr): this new function. + +2022-11-21 Andrew Carlotti + + * tree-ssa-loop-niter.cc (ssa_defined_by_minus_one_stmt_p): Move + (number_of_iterations_popcount): Move, and remove separate prototype. + +2022-11-21 Andrew Carlotti + + * tree-ssa-loop-niter.cc (number_of_iterations_exit_assumptions): + Move at_stmt assignment. + +2022-11-21 Christophe Lyon + + * genmultilib: Fix options and dirnames/osdirnames sanity check. + +2022-11-21 Philipp Tomsich + + PR target/107786 + * config/riscv/riscv.md + (*branch_shiftedarith_equals_zero): Wrap ANYI + in a subreg, as our branch instructions only supports X. + +2022-11-21 Jakub Jelinek + + PR target/107748 + * config/i386/avx512fp16intrin.h (_mm512_castph512_ph128, + _mm512_castph512_ph256, _mm512_castph128_ph512, + _mm512_castph256_ph512, _mm512_set1_pch): Uglify names of local + variables and union members. + * config/i386/avx512fp16vlintrin.h (_mm256_castph256_ph128, + _mm256_castph128_ph256, _mm256_set1_pch, _mm_set1_pch): Likewise. + * config/i386/smmintrin.h (_mm_extract_ps): Likewise. + +2022-11-21 Christophe Lyon + + * genmultilib: Add sanity check. + +2022-11-21 Eric Botcazou + + * config/arm/arm.cc (arm_attribute_table) : + Change decl_required field to false. + (arm_handle_cmse_nonsecure_call): Deal with a TYPE node. + +2022-11-21 Andrew Pinski + + * gimplify.cc (gimplify_modify_expr): If + either *from_p or *to_p were error_operand + return early. + +2022-11-21 liuhongt + + * config/i386/i386-builtins.cc (def_builtin): Handle "shared" + avx512bf16vl-avxneconvert builtins. + 2022-11-20 Jakub Jelinek PR target/107183 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index b4f44f494dc..00ec7aeeb71 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221121 +20221122 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d3a7d08ab61..e4adff45f44 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,127 @@ +2022-11-21 Eric Botcazou + + * gcc-interface/decl.cc (gnat_to_gnu_entity) : Revert + latest change. + * gcc-interface/trans.cc (gnat_to_gnu) : + Tweak latest change. + +2022-11-21 Marc Poulhiès + + * exp_pakd.adb (Create_Packed_Array_Impl_Type): Do not share PAT + if sizes of types differ. + +2022-11-21 Ronan Desplanques + + * doc/gnat_rm/implementation_defined_pragmas.rst: Restore + alphabetical ordering. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2022-11-21 Eric Botcazou + + * sem_util.adb (Needs_Secondary_Stack): Test Is_Constrained + directly instead of Is_Definite_Subtype for an array subtype. + +2022-11-21 Steve Baird + + * libgnat/s-rident.ads: Define a new restriction, + No_Task_Hierarchy_Implicit. This is like the No_Task_Hierarchy + restriction, but with the difference that setting this restriction + does not mean the H.6(6) post-compilation check is satisified. + * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): If it is + known that the function result cannot have tasks, then pass in a + null literal for the activation chain actual parameter. This + avoids generating a reference to an entity that + Build_Activation_Chain_Entity may have chosen not to generate a + declaration for. + * gnatbind.adb (List_Applicable_Restrictions): Do not list the + No_Task_Hierarchy_Implicit restriction. + * restrict.adb: Special treatment for the + No_Task_Hierarchy_Implicit restriction in functions + Get_Restriction_Id and Restriction_Active. The former is needed to + disallow the (unlikely) case that a user tries to explicitly + reference the No_Task_Hierarchy_Implicit restriction. + * sem_prag.adb (Analyze_Pragma): If a Sequential + Partition_Elaboration_Policy is specified (and the + No_Task_Hierarchy restriction is not already enabled), then enable + the No_Task_Hierarchy_Implicit restriction. + +2022-11-21 Eric Botcazou + + * exp_ch3.adb (Expand_N_Object_Declaration): Use Typ local + constant throughout, remove Ret_Obj_Typ local constant, rename + Ref_Type into Acc_Typ in a couple of places, remove a useless call + to Set_Etype, use a consistent checks suppression scheme, adjust + comments for the sake of consistencty and alphabetize some local + declarations. + * exp_ch6.adb (Expand_Simple_Function_Return): Remove a couple of + redundant local constants. + +2022-11-21 Steve Baird + + * libgnat/a-sttebu.adb (Put): Add missing call to Encode. + * libgnat/a-strsup.ads: Declare new Put_Image procedure and add + Put_Image aspect specification for type Super_String. + * libgnat/a-strsup.adb (Put_Image): New procedure. + * libgnat/a-stwisu.ads: Declare new Put_Image procedure and add + Put_Image aspect specification for type Super_String. + * libgnat/a-stwisu.adb (Put_Image): New procedure. + * libgnat/a-stzsup.ads: Declare new Put_Image procedure and add + Put_Image aspect specification for type Super_String. + * libgnat/a-stzsup.adb (Put_Image): New procedure. + +2022-11-21 Ghjuvan Lacambre + + * frontend.adb (Frontend): Disable subprogram call validation. + +2022-11-21 Bob Duff + + * warnsw.ads, warnsw.adb: Move warning flags here from package + Opt. Rename Warning_Record to be Warnings_State. Use an array + instead of a record; this simplifies the code. Add renamings of + all the array components for easy reference outside this package. + Pass the "Family" to Set_Warning_Switch. Use more table-driven + code. Misc cleanup and comment fixes. + * opt.ads: Move warning switches to Warnsw. + * gnat1drv.adb + (Adjust_Global_Switches): Expanded names needed. + * inline.ads: Rename Warning_Record to be Warnings_State. + * sem_ch12.adb: Likewise. + * sem_prag.adb: Use new Set_Warning_Switch. + * contracts.adb, errout.adb, exp_aggr.adb, exp_ch11.adb: Adjust + imports for move to Warnsw. + * exp_ch5.adb, exp_prag.adb, exp_util.adb, frontend.adb: Likewise. + * layout.adb, lib-xref.adb, restrict.adb, scn.adb, sem_aggr.adb: + Likewise. + * sem_attr.adb, sem_case.adb, sem_ch10.adb, sem_ch11.adb: + Likewise. + * sem_ch13.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb: Likewise. + * sem_ch6.adb, sem_ch7.adb, sem_ch8.adb, sem_elab.adb: Likewise. + * sem_eval.adb, sem_res.adb, sem_util.adb, sem_warn.adb: Likewise. + * switch-c.adb: Likewise. + +2022-11-21 Steve Baird + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Improve + the description of how the -gnatw.h switch interacts with + "partial" record layout specifications (i.e., specifications where + the locations of some components are left unspecified). + * gnat_ugn.texi: Regenerate. + +2022-11-21 Marc Poulhiès + + * sem_ch13.adb (Check_One_Attr): produce error when Size attribute + used on aliased object of elementary types with nonconfirming + value. + +2022-11-21 Ronan Desplanques + + * sfn_scan.adb (Scan_SFN_Pragmas): Improve handling of comments. + +2022-11-21 Ronan Desplanques + + * par-ch3.adb (P_Declarative_Item): Tweak handling of with keyword. + 2022-11-14 Boris Yakobowski * sem_case.adb: silence false positive warning emitted by CodePeer diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 684653d7f5c..bc92a132b7b 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,27 @@ +2022-11-22 David Malcolm + + PR analyzer/107788 + * region-model.cc (region_model::update_for_int_cst_return): + Require that the return type be an integer type. + (region_model::update_for_nonzero_return): Likewise. + +2022-11-22 David Malcolm + + PR analyzer/107783 + * region-model-impl-calls.cc (kf_accept::matches_call_types_p): + Require that args 1 and 2 be pointers. + (kf_bind::matches_call_types_p): Require that arg 1 be a pointer. + * region-model.h (call_details::arg_is_pointer_p): New + +2022-11-22 David Malcolm + + PR analyzer/107777 + * call-summary.cc + (call_summary_replay::convert_region_from_summary_1): Handle + RK_THREAD_LOCAL and RK_ERRNO in switch. + * region-model.cc (region_model::get_representative_path_var_1): + Likewise. + 2022-11-19 David Malcolm PR analyzer/107582 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 13ef929ae3f..476f4b03032 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,87 @@ +2022-11-22 David Malcolm + + PR analyzer/107788 + * g++.dg/analyzer/fd-bind-pr107783.C: New test. + +2022-11-22 David Malcolm + + PR analyzer/107783 + * gcc.dg/analyzer/fd-bind-pr107783.c: New test. + +2022-11-22 David Malcolm + + PR analyzer/107777 + * gcc.dg/analyzer/call-summaries-errno.c: New test. + * gcc.dg/analyzer/errno-pr107777.c: New test. + +2022-11-22 David Malcolm + + * gcc.dg/analyzer/CWE-131-examples.c: New test. + * gcc.dg/analyzer/file-CWE-1341-example.c: New test. + * gcc.dg/analyzer/malloc-CWE-401-example.c: New test. + * gcc.dg/analyzer/malloc-CWE-415-examples.c: New test. + * gcc.dg/analyzer/malloc-CWE-416-examples.c: New test. + * gcc.dg/analyzer/malloc-CWE-590-examples.c: New test. + +2022-11-21 Lewis Hyatt + + * c-c++-common/gomp/pragma-omp-unknown.c: New test. + +2022-11-21 Dimitar Dimitrov + + * gcc.dg/analyzer/fd-accept.c: Require sockets. + * gcc.dg/analyzer/fd-bind.c: Ditto. + * gcc.dg/analyzer/fd-connect.c: Ditto. + * gcc.dg/analyzer/fd-datagram-socket.c: Ditto. + * gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c: + Ditto. + * gcc.dg/analyzer/fd-glibc-byte-stream-socket.c: Ditto. + * gcc.dg/analyzer/fd-glibc-datagram-client.c: Ditto. + * gcc.dg/analyzer/fd-glibc-datagram-socket.c: Ditto. + * gcc.dg/analyzer/fd-listen.c: Ditto. + * gcc.dg/analyzer/fd-manpage-getaddrinfo-client.c: Ditto. + * gcc.dg/analyzer/fd-mappage-getaddrinfo-server.c: Ditto. + * gcc.dg/analyzer/fd-socket-meaning.c: Ditto. + * gcc.dg/analyzer/fd-socket-misuse.c: Ditto. + * gcc.dg/analyzer/fd-stream-socket-active-open.c: Ditto. + * gcc.dg/analyzer/fd-stream-socket-passive-open.c: Ditto. + * gcc.dg/analyzer/fd-stream-socket.c: Ditto. + * gcc.dg/analyzer/fd-symbolic-socket.c: Ditto. + * lib/target-supports.exp (check_effective_target_sockets): New + check. + +2022-11-21 Andrew Carlotti + + * gcc.dg/pr77975.c: Make tests more robust. + +2022-11-21 Andrew Carlotti + + * gcc.dg/tree-ssa/popcount-max.c: New test. + +2022-11-21 Torbjörn SVENSSON + Yvan ROUX + + * g++.dg/modules/pr99023_b.X: Match Windows paths too. + +2022-11-21 Philipp Tomsich + + * gcc.target/riscv/pr107786-2.c: New test. + * gcc.target/riscv/pr107786.c: New test. + +2022-11-21 Eric Botcazou + + * gnat.dg/machine_attr2.ads, gnat.dg/machine_attr2.adb: New test. + +2022-11-21 Andrew Pinski + + * gcc.dg/redecl-23.c: New test. + * gcc.dg/redecl-24.c: New test. + * gcc.dg/redecl-25.c: New test. + +2022-11-21 liuhongt + + * gcc.target/i386/avxneconvert-1.c: New test. + 2022-11-20 Jakub Jelinek PR target/107183 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index 9236b440703..a2db376314f 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,16 @@ +2022-11-21 Lewis Hyatt + + * directives.cc (do_pragma): Fix memory leak in token buffer. Fix + unwanted paste between two tokens. + +2022-11-21 Torbjörn SVENSSON + + * files.cc: Ensure pattern matches before use. + +2022-11-21 Martin Liska + + * config.in: Re-configure. + 2022-11-19 Bernhard Reutner-Fischer PR preprocessor/107691 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index d8e849ccbba..490f093dbce 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,12 @@ +2022-11-21 Tobias Burnus + + * config/gcn/libgomp-gcn.h (struct output): + Remove 'msg_u64' from the union, change + value_u64[2] to value_u64[6]. + * config/gcn/target.c (GOMP_target_ext): Update accordingly. + * plugin/plugin-gcn.c (process_reverse_offload, console_output): + Likewise. + 2022-11-19 Tobias Burnus * config/gcn/libgomp-gcn.h: New file; contains diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 98dbad742f1..7a0a6f3dbdc 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,24 @@ +2022-11-21 Jonathan Wakely + + * include/std/functional (_Bind_front0): New class template. + (_Bind_front_t): Use _Bind_front0 when there are no bound + arguments. + * testsuite/20_util/function_objects/bind_front/107784.cc: + New test. + +2022-11-21 Jonathan Wakely + + * include/bits/chrono.h (duration): Check preconditions on + template arguments before using them. + +2022-11-21 Jonathan Wakely + + * include/std/tuple: Add better Doxygen comments. + +2022-11-21 Martin Liska + + * src/experimental/Makefile.in: Re-configure. + 2022-11-20 François Dumont * include/std/format: Add std qualification on isxdigit calls.