RE: [sv-ac] Review of Mantis 1995 Proposal

Why not?

Shalom 

> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Bustan, Doron
> Sent: Sunday, September 23, 2007 9:14 AM
> To: Seligman, Erik; Thomas.Thatcher@sun.com; sv-ac@server.eda-stds.org
> Subject: RE: [sv-ac] Review of Mantis 1995 Proposal
> 
> If you allow any variable as the control variable, then you 
> may not be able to extract a compile time range/ for example 
> if you have something like
> 
> int i ;
> 
> for (i = 0 ; i < 3 ; i++)
>     assert property (a(i));
> 
> 
> for (i = 0 ; i < 3 ; i++)
>     assert property (b(i));
> 
> then you are not guaranteed to have a(0), in the code.
> 
> Doron
> 
> -----Original Message-----
> From: Seligman, Erik
> Sent: Thursday, September 20, 2007 7:26 PM
> To: Bustan, Doron; Thomas.Thatcher@sun.com; sv-ac@server.eda-stds.org
> Subject: RE: [sv-ac] Review of Mantis 1995 Proposal
> 
> Hi Doron-- what is the motivation for this restriction?   
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Bustan, Doron
> Sent: Sunday, September 16, 2007 4:24 AM
> To: Thomas.Thatcher@sun.com; sv-ac@server.eda-stds.org
> Subject: RE: [sv-ac] Review of Mantis 1995 Proposal
> 
> I also think that it in a good condition. One comment:
> 
> I would add to the items list on 16.14.5:
> 
> "The variables used to control a for-loop shall be declared 
> within the loop, as part of the for_initialization assignments."
> 
> Doron
> 
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Thomas Thatcher
> Sent: Saturday, September 15, 2007 3:25 AM
> To: sv-ac@server.eda-stds.org
> Subject: [sv-ac] Review of Mantis 1995 Proposal
> 
> Hello Everyone,
> 
> I have reviewed Mantis 1995.  It looks fairly 
> straightforward.  I didn't find anything wrong with it.
> 
> Tom
> --
> ------------------
> Thomas J. Thatcher
> Sun Microsystems
> 408-616-5589
> ------------------
> 
> --
> This message has been scanned for viruses and dangerous 
> content by MailScanner, and is believed to be clean.
> ---------------------------------------------------------------------
> 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.
> ---------------------------------------------------------------------
> 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.
> 
---------------------------------------------------------------------
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.