[sv-ac] Mantis 1900. Checkers

Hi all,

 

I uploaded a new version of the checker proposal addressing the comments
of Tom and Yaniv.

 

I also found the following problem in the proposal. The proposal forbids
initializing continuous free variables, but it allows initializing
sequential free variables. In case of an unpacked array of free
variables some of them may be sequential and others continuous. The
issue is that the array assignment patterns forbid partial
initialization of the array elements (see 18.9.1). I relaxed this
requirement for unpacked arrays of free variables in the new version of
the proposal.

 

Thanks,

Dmitry

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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