https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67496
--- Comment #2 from Vittorio Zecca <zeccav at gmail dot com> --- I am traveling now, I cannot check the patch
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67496
--- Comment #2 from Vittorio Zecca <zeccav at gmail dot com> --- I am traveling now, I cannot check the patch