https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123252
--- Comment #4 from Christopher Albert <albert at tugraz dot at> --- Tobias, could you also have a look at this one (no hurry)?
albert at tugraz dot at via Gcc-bugs Tue, 23 Dec 2025 03:39:15 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123252
--- Comment #4 from Christopher Albert <albert at tugraz dot at> --- Tobias, could you also have a look at this one (no hurry)?