Defect Report #320

Previous Defect Report < - > Next Defect Report


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.

Previous Defect Report < - > Next Defect Report