Hi,
I have already sent the mail some days back, but did not get any reply,
maybe because of holiday. So I am resending it.
It is mentioned in the SV 2009 draft LRM:
The following elements from the scope enclosing the checker
declaration shall not be referenced in a checker:
— Automatic variables and members or elements of dynamic variables.
This includes dynamically sized variables and data in automatic tasks,
functions, or blocks.
— Elements of fork...join, fork...join_any, or fork...join_none blocks.
The text is little bit confusing. The checker declaration is not
possible inside a task/function scope. So referring a variable from a
task/function requires hierarchical reference. But any variable can not
be hierarchically referred from an automatic task/function. So why it
is mentioned separately here. Or does it signify something else. It
will better to understand if some proper example is shown with that
text.
--
Regards
Surya
--
This message has been scanned for viruses and
dangerous content by
MailScanner, and is
believed to be clean.
Received on Sun Jan 4 20:23:17 2009