ISAC new IR 2080: Case expression should include parenthesized expression

From: Chuck Swart <cswart_at_.....>
Date: Tue Jan 10 2006 - 12:49:43 PST
This IR is also available on the website.
We'll discuss this at our next meeting. (This Thursday!!)

Chuck Swart




VHDL Issue Number:        2080

Language_Version          VHDL-2002
Classification            Language Definition Problem
Summary                   Case expression should include parenthesized expression
Relevant_LRM_Sections     8.8, page 127, para starting "If the expression is the name of an object..."
Related_Issues            
Key_Words_and_Phrases     case statement, locally static subtype
Authors_Name              Peter Ashenden
Authors_Phone_Number      +61 414 709 106
Authors_Fax_Number        
Authors_Email_Address     peter@ashenden.com.au
Authors_Affiliation       Ashenden Designs
Authors_Address1          
Authors_Address2          
Authors_Address3          

Current Status:           Submitted

Superseded By:

------------------------
Date Submitted:           26 December 2005
Date Analyzed:
Author of Analysis:
Revision Number:          0
Date Last Revised:

Description of Problem
----------------------

Clause 8.8 specifies that the expression in a case statement must have
a locally static subtype. It lists forms of expressions that can
occur, but omits a parenthesized expression in which the contained
expression has a locally static subtype. (This omission was earlier
pointed out by John Ries, but has not formally been reported and
tracked.)

Proposed Resolution
-------------------

At the end of the paragraph, add the following to the end of the last
sentence: ", or if the expression is an expression described in this
paragraph and enclosed in parentheses".

VASG-ISAC Analysis & Rationale
------------------------------
TBD

VASG-ISAC Recommendation for IEEE Std 1076-2002
-----------------------------------------------
TBD

VASG-ISAC Recommendation for Future Revisions
---------------------------------------------
TBD


-------------END OF IR----------------
Received on Tue Jan 10 12:49:53 2006

This archive was generated by hypermail 2.1.8 : Tue Jan 10 2006 - 12:50:05 PST