http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57691
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- Yes it is, a huge abomination, I had no idea we had something like that. Then, I don't know, I don't think it's going away any time soon, probably we should bite the bullet and add those <void> with a big comment for the time being?
