Submitter: Willem Wakker
Submission Date: 2005-05-02
Source:
Reference Document: N/A
Version: 1.2
Date: 2006-04-04
Subject: Scope of variably modified type.
Summary
The first sentence of 6.7.5.2p2 seems to suggest that any ordinary identifier both block scope or function prototype scope and no linkage has a variably modified type. This is clearly wrong.
Suggested Technical Corrigendum
Rewrite the first sentence of 6.7.5.2p2 to read:An ordinary identifier (as defined in 6.2.3) that has a variably modified type shall have either block scope or function prototype scope, and no linkage.
Technical Corrigendum
Change the first sentence of 6.7.5.2p2 to:An ordinary identifier (as defined in 6.2.3) that has a variably modified type shall have either block scope and no linkage or function prototype scope.