https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78021
--- Comment #8 from Davide Cesari <dcesari69 at gmail dot com> --- Thanks for the quick fix!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78021
--- Comment #8 from Davide Cesari <dcesari69 at gmail dot com> --- Thanks for the quick fix!