https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67744
--- Comment #2 from Bader at lrz dot de <Bader at lrz dot de> --- The question on validity is not unjustified. The 2008 standard appears to be not fully clear on this, but the current 2015 draft has the following amended text in para 2 of section 8.1.3.3: --- The associating entity itself is a variable, but if the selector is not a definable variable, the associating entity is not definable and shall not be defined or become undefined. If the selector is not permitted to appear in a variable definition context (16.6.7), the associate name shall not appear in a variable definition context. --- The first sentence, I think, implies that my code example is valid. Cheers Reinhold