Hi,
In SV 2009 LRM section 16.11 it is mentioned:
An automatic variable shall not be passed as an argument to a
subroutine call either as input or ref type. An automatic variable may
be used as a constant input for a subroutine call from an assertion
statement in procedural code (see 16.15.5).
Now as per Mantis 2557, proposed change will be:
An automatic variable may be passed as a constant input (see 6.24)
for a subroutine call from an assertion statement in procedural code
(see 16.15.6.1). An automatic variable shall not be passed by reference
or passed as a non-constant input to a subroutine call from an
assertion statement in procedural code.
But I could not write an example at all, where an automatic variable
can be passed to the subroutine call (if I try to do so, hierarchical
reference of automatic variable is required which is anyway not
possible). Am I missing anything?
--
Regards
Surya
--
This message has been scanned for viruses and
dangerous content by
MailScanner, and is
believed to be clean.
Received on Mon Jul 26 00:27:28 2010