https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91591
--- Comment #1 from Giulio Benetti <giulio.benetti at micronovasrl dot com> --- It's gcc 8.2.1 not 7.3.1, sorry for the noise.
giulio.benetti at micronovasrl dot com Wed, 28 Aug 2019 15:15:08 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91591
--- Comment #1 from Giulio Benetti <giulio.benetti at micronovasrl dot com> --- It's gcc 8.2.1 not 7.3.1, sorry for the noise.