[sv-bc] RE: [sv-ec] Jeda SV-EC errata: #3 Incorrect for_initialization definition

This is an SV-BC issue and is resolved.

For the current syntax, see erratum 116, specifically

    http://www.eda.org/sv-bc/hm/att-1744/for_loop_initialization.htm

For the current interpretation, see erratum 114

    http://www.eda.org/svdb/bug_view_page.php?bug_id=0000114

-- Brad

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org]On Behalf Of
eugene zhang
Sent: Tuesday, August 31, 2004 12:17 AM
To: sv-ec@eda.org
Subject: [sv-ec] Jeda SV-EC errata: #3 Incorrect for_initialization
definition

Title:
   Incorrect for_initialization definition

Description:
   The following for_initialization definition does not allow to have
mixture of regular variable assignemt and variable assignment with
data_type. Thus, the last example code in 8.5.2 won't compile.

   for( int count = 0, done = 0, int j = 0 ; j * count < 125 ; j++ )
     ..

   <BNF>
     for_initalization ::=
       list_of_variable_assigments
       |
       data_type list_of_variable_assignments
         { ',' data_type list_of_variable_assignments }

Possible correction would be:

   <BNF>
     for_initialization ::=
       for_init_item { ',' for_init_item }

     for_init_item ::=
       variable_assigment
       |
       data_type list_of_variable_assigment

Note: non-terminal symbol in BNF is encapsulated in ' ' (single quote),
as bold characters can not be used in plain text.
Received on Tue Aug 31 09:06:42 2004