https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48665
David Blaikie <dblaikie at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dblaikie at gmail dot com, | |richard-gccbugzilla@metafoo | |.co.uk --- Comment #15 from David Blaikie <dblaikie at gmail dot com> --- (jumping in here from https://bugs.llvm.org/show_bug.cgi?id=37846 ) Rejecting 'typeid(void() const)' seems like rejecting valid (if uncommon) code. Perhaps this should be fixed to accept the code, rather than reject it? "The compiler still reuses the same representation for const/volatile and for some attributes, sometimes misinterpreting one for the other." - sounds like rejecting this valid code is a workaround for that choice of representation?