-------------BEGINNING OF IR----------------

VHDL Issue Number:        2071

Language_Version          VHDL-2002
Classification            Language Modeling Enhancement or Deficiency
Summary                   Indexed name in case expression
Relevant_LRM_Sections     LRM 8.8 Case statement
Related_Issues            
Key_Words_and_Phrases     case, index, staticness
Authors_Name              Gingold
Authors_Phone_Number      0
Authors_Fax_Number        
Authors_Email_Address     tgingold@free.fr
Authors_Affiliation       
Authors_Address1          
Authors_Address2          
Authors_Address3          

Current Status:           VASG-Approved

Superseded By:

------------------------
Date Submitted:           16 August 2005
Date Analyzed:            17 November 2005
Author of Analysis:       Chuck Swart
Revision Number:          3
Date Last Revised:        03 February 2006

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

If the expression is a one dimensional array of character type and
the expression is an indexed name, the indexes must be locally static
expressions.
    
As far as I can see, there is no need to require the expression to be
static.  Some users want to use non-static expressions or globally
static expressions.

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

Remove
    
    "and whose indexing expressions are locally static expressions"

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

If the case expression is an indexed name, then the indexing expressions
do not need to be locally static expressions, but the element subtype
must be locally static.

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

Interpret the LRM as if the Recommendation for Future Revisions
had been incorporated.

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

Change the part of Clause 8.8 which reads:

"If the expression is of a one-dimensional character array type, then
the expression must be one of the following:

...

-- An indexed name whose prefix is one of the members of this list and
   whose indexing expressions are locally static expressions"

to

"If the expression is of a one-dimensional character array type, then
the expression must be one of the following:

...

-- An indexed name whose prefix is one of the members of this list and
   whose element subtype is locally static."



-------------END OF IR----------------