https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62011
--- Comment #8 from finis at in dot tum.de --- @Yuri: Note however, that the result of your fixed u32 version seems to be wrong.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62011
--- Comment #8 from finis at in dot tum.de --- @Yuri: Note however, that the result of your fixed u32 version seems to be wrong.