https://gcc.gnu.org/g:7f0f9f83a304100404994f7dbd3693e5b6b7eeb4
commit r14-10958-g7f0f9f83a304100404994f7dbd3693e5b6b7eeb4
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Thu Nov 21 00:26:12 2024 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 72 +++++++++++++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/analyzer/ChangeLog | 43 +++++++++++++++++++++++++
gcc/testsuite/ChangeLog | 85 +++++++++++++++++++++++++++++++++++++++++++++++++
libcpp/ChangeLog | 9 ++++++
libgm2/ChangeLog | 12 +++++++
6 files changed, 222 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2d3ebab72b01..79005918ab42 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,75 @@
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-09-09 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116603
+ * diagnostic-format-sarif.cc (SARIF_SCHEMA): Update URL.
+ (sarif_builder::maybe_make_region_object): Don't create regions
+ with startLine <= 0.
+ (sarif_builder::maybe_make_region_object_for_context): Likewise.
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-06-26 David Malcolm <dmalc...@redhat.com>
+
+ PR testsuite/109360
+ * doc/install.texi (Python3 modules): Update SARIF validation
+ requirement to use check-jsonschema rather than jsonschema.
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-06-21 David Malcolm <dmalc...@redhat.com>
+
+ PR testsuite/109360
+ * doc/install.texi: Mention optional usage of "jsonschema" tool.
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-06-21 David Malcolm <dmalc...@redhat.com>
+
+ PR testsuite/109360
+ * diagnostic-format-sarif.cc
+ (sarif_builder::make_location_object): Pass any column override
+ from rich_loc to maybe_make_physical_location_object.
+ (sarif_builder::maybe_make_physical_location_object): Add
+ "column_override" param and pass it to maybe_make_region_object.
+ (sarif_builder::maybe_make_region_object): Add "column_override"
+ param and use it when the location has 0 for a column. Don't
+ add "startLine", "startColumn", "endLine", or "endColumn" if
+ the values aren't positive.
+ (sarif_builder::maybe_make_region_object_for_context): Don't
+ add "startLine" or "endLine" if the values aren't positive.
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-05-28 David Malcolm <dmalc...@redhat.com>
+
+ * config/v850/v850.opt.urls: Regenerate, with fix.
+ * config/vax/vax.opt.urls: Likewise.
+ * regenerate-opt-urls.py (TARGET_SPECIFIC_PAGES): Fix transposed
+ values for "vax" and "v850".
+
+2024-11-20 Gaius Mulley <gaiusm...@gmail.com>
+
+ Backported from master:
+ 2024-05-27 Gaius Mulley <gaiusm...@gmail.com>
+
+ * doc/gm2.texi: Replace all occurrences of xref
+ {foo, , , gm2} with xref {foo}.
+
+2024-11-20 Gaius Mulley <gaiusm...@gmail.com>
+
+ Backported from master:
+ 2024-05-24 Gaius Mulley <gaiusm...@gmail.com>
+
+ * doc/gm2.texi: Replace all occurrences of xref {, , , gm2}
+ with xref {, , , m2}.
+
2024-11-18 Uros Bizjak <ubiz...@gmail.com>
Backported from master:
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 837c38496957..5116abdc66f4 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20241120
+20241121
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index d22350f9cffb..48060c31b178 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,46 @@
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-07-04 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/115724
+ * kf.cc (register_known_functions): Add __error_alias and
+ __error_at_line_alias.
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-05-03 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/111475
+ * analyzer.cc (is_special_named_call_p): Add "look_in_std" param.
+ (is_std_function_p): Make non-static.
+ * analyzer.h (is_special_named_call_p): Add optional "look_in_std"
+ param.
+ (is_std_function_p): New decl.
+ * engine.cc (stmt_requires_new_enode_p): Look for both "signal"
+ and "std::signal".
+ * kf.cc (register_known_functions): Add various "std::" copies
+ of the known functions.
+ * known-function-manager.cc
+ (known_function_manager::~known_function_manager): Clean up
+ m_std_ns_map_id_to_kf.
+ (known_function_manager::add_std_ns): New.
+ (known_function_manager::get_match): Also look for known "std::"
+ functions.
+ (known_function_manager::get_by_identifier_in_std_ns): New.
+ * known-function-manager.h
+ (known_function_manager::add_std_ns): New decl.
+ (known_function_manager::get_by_identifier_in_std_ns): New decl.
+ (known_function_manager::m_std_ns_map_id_to_kf): New field.
+ * sm-file.cc (register_known_file_functions): Add various "std::"
+ copies of the known functions.
+ * sm-malloc.cc (malloc_state_machine::on_stmt): Handle
+ "std::realloc".
+ * sm-signal.cc (signal_unsafe_p): Consider "std::" copies of the
+ functions as also being async-signal-unsafe.
+ (signal_state_machine::on_stmt): Consider "std::signal".
+
2024-08-01 Release Manager
* GCC 14.2.0 released.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f102f04379ca..d861eb1e44d2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,88 @@
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-09-09 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116603
+ * lib/sarif-schema-2.1.0.json: Update with copy downloaded from
+
https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-07-04 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/115724
+ * c-c++-common/analyzer/error-pr115724.c: New test.
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-06-26 David Malcolm <dmalc...@redhat.com>
+
+ PR testsuite/109360
+ * lib/scansarif.exp (verify-sarif-file): Use check-jsonschema
+ rather than jsonschema, updating the invocation accordingly.
+ * lib/target-supports.exp (check_effective_target_jsonschema): Convert
+ to...
+ (check_effective_target_check_jsonschema): ...this.
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-06-21 David Malcolm <dmalc...@redhat.com>
+
+ PR testsuite/109360
+ * lib/sarif-schema-2.1.0.json: New file, downloaded from
+
https://docs.oasis-open.org/sarif/sarif/v2.1.0/os/schemas/sarif-schema-2.1.0.json
+ Licensing information can be seen at
+ https://github.com/oasis-tcs/sarif-spec/issues/583
+ which states "They are free to incorporate it into their
+ implementation. No need for special permission or paperwork from
+ OASIS."
+ * lib/scansarif.exp (verify-sarif-file): If "jsonschema" is
+ available, use it to verify that the .sarif file complies with the
+ SARIF schema.
+ * lib/target-supports.exp (check_effective_target_jsonschema):
+ New.
+
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-05-03 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/111475
+ * c-c++-common/analyzer/fd-glibc-byte-stream-socket.c: Add
+ -fno-exceptions for now.
+ * c-c++-common/analyzer/fd-manpage-getaddrinfo-client.c: Likewise.
+ * c-c++-common/analyzer/fd-mappage-getaddrinfo-server.c: Rename to...
+ * c-c++-common/analyzer/fd-manpage-getaddrinfo-server.c: ...this, and
+ add -fno-exceptions for now.
+ * c-c++-common/analyzer/fd-socket-meaning.c: Add -fno-exceptions
+ for now.
+ * c-c++-common/analyzer/fd-symbolic-socket.c: Likewise.
+ * c-c++-common/analyzer/flexible-array-member-1.c: Use regexp to
+ handle C vs C++ differences in spelling of function name, which
+ could have a "std::" prefix on some targets.
+ * c-c++-common/analyzer/pr106539.c: Likewise.
+ * c-c++-common/analyzer/malloc-ipa-8-unchecked.c: Move back to...
+ * gcc.dg/analyzer/malloc-ipa-8-unchecked.c: ...here, dropping
+ attempt to generalize output for C vs C++.
+ * c-c++-common/analyzer/signal-4a.c: Move back to...
+ * gcc.dg/analyzer/signal-4a.c: ...here, dropping attempt to
+ generalize output for C vs C++.
+ * c-c++-common/analyzer/signal-4b.c: Move back to...
+ * gcc.dg/analyzer/signal-4b.c: ...here, dropping attempt to
+ generalize output for C vs C++.
+
+2024-11-20 Gaius Mulley <gaiusm...@gmail.com>
+
+ Backported from master:
+ 2024-05-29 Gaius Mulley <gaiusm...@gmail.com>
+
+ PR modula2/115276
+ * gm2/isolib/run/pass/testinittm.mod: New test.
+
2024-11-19 Gaius Mulley <gaiusm...@gmail.com>
Backported from master:
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 470cea699598..6a650999eb0e 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,12 @@
+2024-11-20 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-06-21 David Malcolm <dmalc...@redhat.com>
+
+ PR testsuite/109360
+ * include/rich-location.h (rich_location::get_column_override):
+ New accessor.
+
2024-08-01 Release Manager
* GCC 14.2.0 released.
diff --git a/libgm2/ChangeLog b/libgm2/ChangeLog
index c2ddcf6df66b..1963087068df 100644
--- a/libgm2/ChangeLog
+++ b/libgm2/ChangeLog
@@ -1,3 +1,15 @@
+2024-11-20 Gaius Mulley <gaiusm...@gmail.com>
+
+ Backported from master:
+ 2024-05-29 Gaius Mulley <gaiusm...@gmail.com>
+
+ PR modula2/115276
+ * config.h.in: Regenerate.
+ * configure: Regenerate.
+ * configure.ac: Use AC_HEADER_TIME.
+ * libm2iso/wraptime.cc (InitTM): Check HAVE_SYS_TIME_H
+ before using struct tm to obtain the size.
+
2024-08-01 Release Manager
* GCC 14.2.0 released.
