https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66157
--- Comment #5 from Luca Stoppa <luca.stoppa at bbh dot com> --- I think you can close this "bug".
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66157
--- Comment #5 from Luca Stoppa <luca.stoppa at bbh dot com> --- I think you can close this "bug".