[gcc r14-12215] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:44d5743651c487bd07010683e2b37e3efc03cf5b

commit r14-12215-g44d5743651c487bd07010683e2b37e3efc03cf5b
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Tue Dec 23 00:19:40 2025 +0000

    Daily bump.

Diff:
---
 gcc/DATESTAMP     |  2 +-
 gcc/ada/ChangeLog | 11 +++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ab657eef61ff..0a6c047ea801 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20251222
+20251223
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 65978e1b4676..22f5acfcaf70 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,14 @@
+2025-12-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR ada/123060
+	* gcc-interface/utils.cc (update_pointer_to): Streamline.
+
+2025-12-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR ada/123060
+	* gcc-interface/utils.cc (update_pointer_to): Preserve the alias
+	sets present on the old pointer and old reference, if any.
+
 2025-12-15  Eric Botcazou  <ebotcazou@adacore.com>
 
 	PR ada/123138