[sv-bc] Const cast of Mantis 2398

As I understand the new const'() cast of

 

   http://www.eda-stds.org/svdb/view.php?id=2398

 

the following part-select would be illegal

 

       for (int i = 3; i >= 0; i--) begin

      y[ const'(i)*2 + 1 : const'(i)*2 ] = i;

   end

 

because const'(i) would be like a simulation-time const variable, not
like an elaboration-time constant expression.

 

An expression may be changed to a constant with a const cast.

 

             const'(x)

 

When casting an expression as a constant, the type of the expression to
be cast shall pass through unchanged. The only effect is to treat the
value as though it had been used to define a const variable of the type
of the expression.

 

Correct understanding?

 

n  Brad


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.