https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127210
--- Comment #3 from Raphael Monod <raphael.monod at wanadoo dot fr> --- Hi, Thank you very much for analyzing this issue and for providing a workaround. I completely understand that an ABI change is not something to be taken lightly. In any case, thank you again for this very quick response. Raphaƫl
