From 3bd63e20db7cc7dd2ffbcc2f4c9105ecc69b6b43 Mon Sep 17 00:00:00 2001
From: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Sat, 10 May 2025 00:22:27 +0000
Subject: [PATCH] Daily bump.

---
 gcc/ChangeLog           | 15 +++++++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/testsuite/ChangeLog |  6 ++++++
 3 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 957d12a3030..e1b5679d485 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,18 @@
+2025-05-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* vr-values.cc (simplify_using_ranges::simplify) <BIT_AND_EXPR>:
+	Do not call simplify_bit_ops_using_ranges for boolean types whose
+	precision is not 1.
+
+2025-05-09  Richard Biener  <rguenther@suse.de>
+
+	Backported from master:
+	2024-05-14  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/120156
+	* tree-ssa-alias.cc (ptr_deref_may_alias_decl_p): Verify
+	the pointer is an SSA name.
+
 2025-05-08  Richard Sandiford  <richard.sandiford@arm.com>
 
 	Backported from master:
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 62c0f83eab1..21a86ae1c56 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250509
+20250510
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d3d41ad0968..21a10a8aa91 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2025-05-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/opt106.adb: New test.
+	* gnat.dg/opt106_pkg1.ads, gnat.dg/opt106_pkg1.adb: New helper.
+	* gnat.dg/opt106_pkg2.ads, gnat.dg/opt106_pkg2.adb: Likewise.
+
 2025-05-08  Richard Sandiford  <richard.sandiford@arm.com>
 
 	Backported from master:
-- 
2.47.2