Daily bump.

5 files changed, 166 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bdcb387..949ffa7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,97 @@
+2024-07-27  Roger Sayle  <roger@nextmovesoftware.com>
+	    Andrew Pinski  <quic_apinski@quicinc.com>
+
+	* match.pd (ctz (-X) => ctz (X)): New simplification.
+	(ctz (abs (X)) => ctz (X)): Likewise.
+
+2024-07-27  Pan Li  <pan2.li@intel.com>
+
+	* match.pd: Add case 9 and case 10 for .SAT_SUB when one
+	of the op is IMM.
+
+2024-07-27  David Malcolm  <dmalcolm@redhat.com>
+
+	PR middle-end/107941
+	* diagnostic-format-sarif.cc: Define INCLUDE_LIST and INCLUDE_MAP.
+	(enum class location_relationship_kind): New.
+	(diagnostic_artifact_role::scanned_file): New value.
+	(class sarif_location_manager): New.
+	(class sarif_result): Derive from sarif_location_manager rather
+	than directly from sarif_object.
+	(sarif_result::add_related_location): Convert to vfunc
+	implementation.
+	(sarif_location::m_relationships_map): New field.
+	(class sarif_location_relationship): New.
+	(class sarif_ice_notification): Derive from sarif_location_manager
+	rather than directly from sarif_object.
+	(sarif_builder::take_current_result): New.
+	(sarif_builder::m_line_maps): New field.
+	(sarif_builder::m_cur_group_result): Convert to std::unique_ptr.
+	(sarif_artifact::add_role): Skip scanned_file.
+	(get_artifact_role_string): Handle scanned_file.
+	(sarif_location_manager::add_relationship_to_worklist): New.
+	(sarif_location_manager::process_worklist): New.
+	(sarif_location_manager::process_worklist_item): New.
+	(sarif_result::on_nested_diagnostic): Pass *this to
+	make_location_object.
+	(sarif_location::lazily_add_id): New.
+	(sarif_location::get_id): New.
+	(get_string_for_location_relationship_kind): New.
+	(sarif_location::lazily_add_relationship): New.
+	(sarif_location::lazily_add_relationship_object): New.
+	(sarif_location::lazily_add_relationships_array): New.
+	(sarif_ice_notification::sarif_ice_notification): Fix overlong line.
+	Pass *this to make_locations_arr.
+	(sarif_ice_notification::add_related_location): New.
+	(sarif_location_relationship::sarif_location_relationship): New.
+	(sarif_location_relationship::get_target_id): New.
+	(sarif_location_relationship::lazily_add_kind): New.
+	(sarif_builder::sarif_builder): Add "line_maps" param and use it
+	to initialize m_line_maps.
+	(sarif_builder::end_diagnostic): Update for m_cur_group_result
+	becoming a std::unique_ptr.  Don't append to m_results_array yet.
+	(sarif_builder::end_group): Append m_cur_group_result to
+	m_results_array here, rather than in end_diagnostic.
+	(sarif_builder::make_result_object): Pass result_obj to
+	make_locations_arr and to make_code_flow_object.
+	(sarif_builder::make_locations_arr): Add "loc_mgr" param and pass
+	it to make_location_object.
+	(sarif_builder::make_location_object): For two overloads, add
+	"loc_mgr" param and call add_any_include_chain on the location.
+	(sarif_builder::add_any_include_chain): New.
+	(sarif_builder::make_location_object): New overload.
+	(sarif_builder::make_code_flow_object): Add "result" param and
+	pass it to make_thread_flow_location_object.
+	(sarif_builder::make_thread_flow_location_object): Add "result"
+	param and pass it to make_location_object.
+	(sarif_builder::get_or_create_artifact): Handle scanned_file.
+	(sarif_output_format::~sarif_output_format): Assert that there
+	isn't a pending result.
+	(sarif_output_format::sarif_output_format): Add "line_maps" param
+	and pass it to m_builder's ctor.
+	(sarif_stream_output_format::sarif_stream_output_format): Add
+	"line_maps" param and pass it to base class ctor.
+	(sarif_file_output_format::sarif_file_output_format): Likewise.
+	(diagnostic_output_format_init_sarif_stderr): Pass "line_table"
+	global to format.
+	(diagnostic_output_format_init_sarif_file): Likewise.
+	(diagnostic_output_format_init_sarif_stream): Likewise.
+	(test_sarif_diagnostic_context::test_sarif_diagnostic_context):
+	Likewise.
+	(buffered_output_format::buffered_output_format): Likewise.
+	(selftest::test_make_location_object): Likewise.
+	(selftest::test_make_location_object): Create a sarif_result for
+	use when calling make_location_object.
+	* diagnostic.cc (diagnostic_context::finish): End any active
+	diagnostic groups.
+	(diagnostic_context::report_diagnostic): Assert that we're within
+	a diagnostic group.
+	* diagnostic.h (diagnostic_report_diagnostic): Add
+	begin_group/end_group pair around call to
+	diagnostic_context::report_diagnostic.
+	* selftest-diagnostic.cc (test_diagnostic_context::report): Add
+	begin_group/end_group pair around diagnostic_impl call.
+
 2024-07-26  Jeff Law  <jlaw@ventanamicro.com>
 
 	PR target/116085
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 3eff065..65b8ef1 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240727
+20240728
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index ced9239..313ea7c 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,14 @@
+2024-07-27  Jason Merrill  <jason@redhat.com>
+
+	PR c++/115986
+	* cp-gimplify.cc (remember_escalating_expr): Skip function
+	templates.
+
+2024-07-27  Jason Merrill  <jason@redhat.com>
+
+	PR c++/115561
+	* semantics.cc (finish_call_expr): Check cp_unevaluated_operand.
+
 2024-07-26  Jason Merrill  <jason@redhat.com>
 
 	PR c++/116052
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ccfc4cb8..0fff05e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,43 @@
+2024-07-27  Jason Merrill  <jason@redhat.com>
+
+	PR c++/115986
+	* g++.dg/cpp2a/consteval-prop21.C: New test.
+
+2024-07-27  Jason Merrill  <jason@redhat.com>
+
+	PR c++/115561
+	* g++.dg/cpp2a/concepts-lambda21.C: New test.
+
+2024-07-27  Jason Merrill  <jason@redhat.com>
+
+	* lib/gcc-dg.exp (get_matching_lines): New.
+	* lib/g++-dg.exp: Improve std_list selection.
+
+2024-07-27  Roger Sayle  <roger@nextmovesoftware.com>
+	    Andrew Pinski  <quic_apinski@quicinc.com>
+
+	* gcc.dg/fold-ctz-1.c: New test case.
+	* gcc.dg/fold-ctz-2.c: Likewise.
+
+2024-07-27  David Malcolm  <dmalcolm@redhat.com>
+
+	PR middle-end/107941
+	* gcc.dg/sarif-output/include-chain-1-1.h: New test.
+	* gcc.dg/sarif-output/include-chain-1-2.h: New test.
+	* gcc.dg/sarif-output/include-chain-1.c: New test.
+	* gcc.dg/sarif-output/include-chain-1.h: New test.
+	* gcc.dg/sarif-output/include-chain-2.c: New test.
+	* gcc.dg/sarif-output/include-chain-2.h: New test.
+	* gcc.dg/sarif-output/sarif-output.exp: New file.
+	* gcc.dg/sarif-output/sarif.py: New test, adapted from
+	g++.dg/gcov/gcov.py.
+	* gcc.dg/sarif-output/test-include-chain-1.py: New test.
+	* gcc.dg/sarif-output/test-include-chain-2.py: New test.
+	* lib/scansarif.exp (sarif-pytest-format-line): New, taken
+	from lib/gcov.exp.
+	(run-sarif-pytest): New, adapted from run-gcov-pytest in
+	lib/gcov.exp.
+
 2024-07-26  Jeff Law  <jlaw@ventanamicro.com>
 
 	PR target/116085
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 74bda47..8077544 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,23 @@
+2024-07-27  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/charconv (__to_chars_16, __to_chars_10)
+	(__to_chars_8, __to_chars_2, __to_chars): Cast ptrdiff_t to
+	size_t for comparison.
+	(__to_chars_i): Check for first >= last instead of first == last
+	for initial sanity check.
+
+2024-07-27  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/std_function.h: Add comment about LWG 3617 being
+	supported.
+
+2024-07-27  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/stl_algobase.h (__find_if): Remove overloads for
+	dispatching on iterator_category. Do not unroll loop manually.
+	* include/bits/stl_algo.h (__find_if_not): Remove
+	iterator_category argument from __find_if call.
+
 2024-07-25  Jonathan Wakely  <jwakely@redhat.com>
 
 	* include/std/expected (expected::value): Add assertions for LWG