https://gcc.gnu.org/g:44d5743651c487bd07010683e2b37e3efc03cf5b
commit r14-12215-g44d5743651c487bd07010683e2b37e3efc03cf5b Author: GCC Administrator <[email protected]> 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 <[email protected]> + + PR ada/123060 + * gcc-interface/utils.cc (update_pointer_to): Streamline. + +2025-12-22 Eric Botcazou <[email protected]> + + 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 <[email protected]> PR ada/123138
