https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117546
--- Comment #16 from Georg-Johann Lay <gjl at gcc dot gnu.org> --- Ok. Thanks for the pointer (though int32plus should be enough).
gjl at gcc dot gnu.org via Gcc-bugs Tue, 21 Jan 2025 07:25:52 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117546
--- Comment #16 from Georg-Johann Lay <gjl at gcc dot gnu.org> --- Ok. Thanks for the pointer (though int32plus should be enough).