[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 00:16:47 2004