https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71612
Jürgen Reuter <juergen.reuter at desy dot de> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |juergen.reuter at desy dot de --- Comment #3 from Jürgen Reuter <juergen.reuter at desy dot de> --- This is still not resolved. I don't know whether the snippet provided by Tobias is only a proof-of-principle way how a solution could look like or whether this is a definite proposal for a fix.