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

[Michael Meissner]

https://gcc.gnu.org/g:272da5d19dafe8a6dea29a227b69094724f6a612

commit 272da5d19dafe8a6dea29a227b69094724f6a612
Merge: 02aaae6f1e58 c0e49da281b0
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Dec 8 19:12:07 2025 -0500

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

Diff: