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.