https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124482
Christopher Albert <albert at tugraz dot at> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |albert at tugraz dot at
--- Comment #4 from Christopher Albert <albert at tugraz dot at> ---
I'm on it. Valgrind already found some problems also on x86_64 and I think the
patch is very easy. Now I check if I can reproduce with QEMU locally and will
post the fix soon.
