[gcc(refs/users/meissner/heads/work230-orig)] Merge commit 'refs/users/meissner/heads/work230-orig' of git+ssh://gcc.gnu.org/git/gcc into me/work2

[Michael Meissner]

https://gcc.gnu.org/g:f58973b01f5c56f96172728e29fb07cffdac48bb

commit f58973b01f5c56f96172728e29fb07cffdac48bb
Merge: 279bd893c600 83fdf753ece7
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Dec 8 18:31:08 2025 -0500

    Merge commit 'refs/users/meissner/heads/work230-orig' of git+ssh://gcc.gnu.org/git/gcc into me/work230-orig

Diff: