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

[Michael Meissner]

https://gcc.gnu.org/g:625a072a20df6bdbfadc68e2602eb95e3aaac97c

commit 625a072a20df6bdbfadc68e2602eb95e3aaac97c
Merge: 507b4d6260f6 7b9188bc1ee5
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Jan 5 22:24:41 2026 -0500

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

Diff: