https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71124
Giulio Benetti <giulio.benetti at micronovasrl dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |giulio.benetti@micronovasrl | |.com --- Comment #3 from Giulio Benetti <giulio.benetti at micronovasrl dot com> --- Duplicate then. *** This bug has been marked as a duplicate of https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85180 ***