https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63620 --- Comment #23 from Jeffrey A. Law <law at redhat dot com> --- The inline XXX comment approach is fine with me, let's go with that. I'll let you do the honors ;-)