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