https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38341
Daniele Alessandrelli <daniele.alessandrelli at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |daniele.alessandrelli@gmail | |.com --- Comment #11 from Daniele Alessandrelli <daniele.alessandrelli at gmail dot com> --- Still present in 5.3.1