https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82380
Avi Kivity <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #1 from Avi Kivity <[email protected]> --- Suffering from the same problem (but with [[deprecated]] instead).
