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.

Reply via email to