RE: [sv-ac] call to vote on 1995

I think I see a potential issue related to Manisha's question below.
The LRM does contain an odd example where the 'iterators' of a loop are
actually a set of local variables with complex relationships:
	for ( int count = 0, done = 0, j = 0; j * count < 125; j++,
count++)

Reading 1995 as-is, I don't think we've explicitly disallowed such
cases. I've posted a new version that tightens up the language on loop
restrictions a bit (and fixes that semicolon issue):
"In a for loop, there shall be a single loop iterator variable.  The
loop iteration assignment shall modify the iterator by a constant
nonzero value, and this assignment shall not change any other variables
or have side effects.  The loop iterator may not be modified within the
body of the loop."

Manisha, does this cover your concern?

I suppose we may have to hold another vote.
 

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Kulshrestha, Manisha
Sent: Monday, December 17, 2007 12:11 AM
To: john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 1995

I vote yes on 1995, with the same friendly amendments Yaniv has
mentioned about null statement being used as pass statement (';' after
assert). 

I also have a question about the statement about sampling everything
except loop indicies. Shouldn't the statement mention that local
variables are also not sampled ?

Thanks.
Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Thursday, December 13, 2007 6:26 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 1995

Hi Folks:

This is the call to vote on the proposal for Mantis 1995.

This ballot will close on 2007-12-17 as we discussed in our meeting on
2007-12-11.

The proposal on Mantis is

   assertinloop_1210es.pdf

Please vote if you are eligible.  See the details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1995

- Called on 2007-12-12, final ballots due by 2007-12-17 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
v[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[-------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[x--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx]
Dmitry Korchemny (Intel - Co-Chair)
v[xx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha
(Mentor Graphics)  n[---------------------------xxxxx-------x-xx-x-]
Jiang Long (Mentor
Graphics)
 n[------x------------x--xxx.....................] Joseph Lu (Altera)
v[xxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
v[xxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
n[----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
 v[xxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
 v[xxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |--------------------------------------------- attendance on
2007-12-11
 |----------------------------------------------- voting eligibility for
this ballot
|------------------------------------------------ email ballots received

        Legend:
                x = attended
                - = missed
                r = represented
                . = not yet a member
                v = valid voter (2 out of last 3 or 3/4 overall)
                n = not a valid voter
                t = chair eligible to vote only to make or break a tie


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


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



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