aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--contrib/ChangeLog8
-rw-r--r--gcc/ChangeLog79
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/ada/ChangeLog124
-rw-r--r--gcc/analyzer/ChangeLog24
-rw-r--r--gcc/testsuite/ChangeLog84
-rw-r--r--libcpp/ChangeLog13
-rw-r--r--libgomp/ChangeLog9
-rw-r--r--libstdc++-v3/ChangeLog21
9 files changed, 363 insertions, 1 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index bec3739..57ea580 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,11 @@
+2022-11-21 Martin Liska <mliska@suse.cz>
+
+ Revert:
+ 2022-11-20 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_commit.py: Temporarily disable
+ check_line.start.
+
2022-11-20 Martin Liska <mliska@suse.cz>
* gcc-changelog/git_commit.py: Temporarily disable
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4f693ab..9d14da7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,82 @@
+2022-11-21 Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+ * config/rtems.h (SUBTARGET_CC1_SPEC): Undef and define.
+
+2022-11-21 Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+ * gcc.cc (SUBTARGET_CC1_SPEC): Define if not defined.
+ (cc1_spec): Append SUBTARGET_CC1_SPEC.
+
+2022-11-21 Dimitar Dimitrov <dimitar@dinux.eu>
+
+ * doc/sourcebuild.texi (sockets): Document new check.
+
+2022-11-21 Andrew Carlotti <andrew.carlotti@arm.com>
+
+ * tree-ssa-loop.h (tree_niter_desc): Update comment.
+
+2022-11-21 Andrew Carlotti <andrew.carlotti@arm.com>
+
+ * 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 <andrew.carlotti@arm.com>
+
+ * 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 <andrew.carlotti@arm.com>
+
+ * tree-ssa-loop-niter.cc (number_of_iterations_exit_assumptions):
+ Move at_stmt assignment.
+
+2022-11-21 Christophe Lyon <christophe.lyon@arm.com>
+
+ * genmultilib: Fix options and dirnames/osdirnames sanity check.
+
+2022-11-21 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ PR target/107786
+ * config/riscv/riscv.md
+ (*branch<ANYI:mode>_shiftedarith_equals_zero): Wrap ANYI
+ in a subreg, as our branch instructions only supports X.
+
+2022-11-21 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <christophe.lyon@arm.com>
+
+ * genmultilib: Add sanity check.
+
+2022-11-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * config/arm/arm.cc (arm_attribute_table) <cmse_nonsecure_call>:
+ Change decl_required field to false.
+ (arm_handle_cmse_nonsecure_call): Deal with a TYPE node.
+
+2022-11-21 Andrew Pinski <apinski@marvell.com>
+
+ * gimplify.cc (gimplify_modify_expr): If
+ either *from_p or *to_p were error_operand
+ return early.
+
+2022-11-21 liuhongt <hongtao.liu@intel.com>
+
+ * config/i386/i386-builtins.cc (def_builtin): Handle "shared"
+ avx512bf16vl-avxneconvert builtins.
+
2022-11-20 Jakub Jelinek <jakub@redhat.com>
PR target/107183
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index b4f44f4..00ec7ae 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221121
+20221122
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d3a7d08..e4adff4 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,127 @@
+2022-11-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Constant>: Revert
+ latest change.
+ * gcc-interface/trans.cc (gnat_to_gnu) <N_Object_Declaration>:
+ Tweak latest change.
+
+2022-11-21 Marc Poulhiès <poulhies@adacore.com>
+
+ * exp_pakd.adb (Create_Packed_Array_Impl_Type): Do not share PAT
+ if sizes of types differ.
+
+2022-11-21 Ronan Desplanques <desplanques@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_pragmas.rst: Restore
+ alphabetical ordering.
+ * gnat_rm.texi: Regenerate.
+ * gnat_ugn.texi: Regenerate.
+
+2022-11-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_util.adb (Needs_Secondary_Stack): Test Is_Constrained
+ directly instead of Is_Definite_Subtype for an array subtype.
+
+2022-11-21 Steve Baird <baird@adacore.com>
+
+ * 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 <ebotcazou@adacore.com>
+
+ * 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 <baird@adacore.com>
+
+ * 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 <lacambre@adacore.com>
+
+ * frontend.adb (Frontend): Disable subprogram call validation.
+
+2022-11-21 Bob Duff <duff@adacore.com>
+
+ * 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 <baird@adacore.com>
+
+ * 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 <poulhies@adacore.com>
+
+ * 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 <desplanques@adacore.com>
+
+ * sfn_scan.adb (Scan_SFN_Pragmas): Improve handling of comments.
+
+2022-11-21 Ronan Desplanques <desplanques@adacore.com>
+
+ * par-ch3.adb (P_Declarative_Item): Tweak handling of with keyword.
+
2022-11-14 Boris Yakobowski <yakobowski@adacore.com>
* sem_case.adb: silence false positive warning emitted by CodePeer
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 684653d..bc92a13 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,27 @@
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ 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 <dmalcolm@redhat.com>
+
+ 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 <dmalcolm@redhat.com>
+
+ 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 <dmalcolm@redhat.com>
PR analyzer/107582
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 13ef929..476f4b0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,87 @@
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107788
+ * g++.dg/analyzer/fd-bind-pr107783.C: New test.
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107783
+ * gcc.dg/analyzer/fd-bind-pr107783.c: New test.
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ 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 <dmalcolm@redhat.com>
+
+ * 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 <lhyatt@gmail.com>
+
+ * c-c++-common/gomp/pragma-omp-unknown.c: New test.
+
+2022-11-21 Dimitar Dimitrov <dimitar@dinux.eu>
+
+ * 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 <andrew.carlotti@arm.com>
+
+ * gcc.dg/pr77975.c: Make tests more robust.
+
+2022-11-21 Andrew Carlotti <andrew.carlotti@arm.com>
+
+ * gcc.dg/tree-ssa/popcount-max.c: New test.
+
+2022-11-21 Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
+ Yvan ROUX <yvan.roux@foss.st.com>
+
+ * g++.dg/modules/pr99023_b.X: Match Windows paths too.
+
+2022-11-21 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * gcc.target/riscv/pr107786-2.c: New test.
+ * gcc.target/riscv/pr107786.c: New test.
+
+2022-11-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/machine_attr2.ads, gnat.dg/machine_attr2.adb: New test.
+
+2022-11-21 Andrew Pinski <apinski@marvell.com>
+
+ * 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 <hongtao.liu@intel.com>
+
+ * gcc.target/i386/avxneconvert-1.c: New test.
+
2022-11-20 Jakub Jelinek <jakub@redhat.com>
PR target/107183
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 9236b44..a2db376 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,16 @@
+2022-11-21 Lewis Hyatt <lhyatt@gmail.com>
+
+ * directives.cc (do_pragma): Fix memory leak in token buffer. Fix
+ unwanted paste between two tokens.
+
+2022-11-21 Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
+
+ * files.cc: Ensure pattern matches before use.
+
+2022-11-21 Martin Liska <mliska@suse.cz>
+
+ * config.in: Re-configure.
+
2022-11-19 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
PR preprocessor/107691
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index d8e849c..490f093 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,12 @@
+2022-11-21 Tobias Burnus <tobias@codesourcery.com>
+
+ * 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 <tobias@codesourcery.com>
* config/gcn/libgomp-gcn.h: New file; contains
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 98dbad7..7a0a6f3 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,24 @@
+2022-11-21 Jonathan Wakely <jwakely@redhat.com>
+
+ * 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 <jwakely@redhat.com>
+
+ * include/bits/chrono.h (duration): Check preconditions on
+ template arguments before using them.
+
+2022-11-21 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/std/tuple: Add better Doxygen comments.
+
+2022-11-21 Martin Liska <mliska@suse.cz>
+
+ * src/experimental/Makefile.in: Re-configure.
+
2022-11-20 François Dumont <fdumont@gcc.gnu.org>
* include/std/format: Add std qualification on isxdigit calls.