https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118728
--- Comment #3 from John Paul Adrian Glaubitz <glaubitz at physik dot fu-berlin.de> --- This can no longer be reproduced with a fixed kernel: - https://buildd.debian.org/status/fetch.php?pkg=openjdk-24&arch=alpha&ver=24%7E33ea-1&stamp=1738533938&raw=0 - https://buildd.debian.org/status/fetch.php?pkg=openjdk-25&arch=alpha&ver=25%7E8ea-1&stamp=1738637725&raw=0 I think it's safe to close this bug as INVALID again.