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

[Michael Meissner via Gcc-cvs]

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

commit d6e1affab655169a0b78e7cb54226ce72ea53e55
Merge: eb2df7b0684a 507c700c80e8
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon Dec 15 18:02:50 2025 -0500

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

Diff: