[sv-ac] 1495

All:

I vote "yes" on 1495 (Ed's mail already shows it accepted,
so the voting may be closed).

I want to comment that we may want to relax this condition
later.  We had some discussion within Freescale about this,
but we are not ready to enter any proposal.

The idea behind 1495 is that the local variable flow rules 
apply to statically determined "locations", so if you dynamically
select an lvalue, e.g., the flow rules don't work.

However, there may be situations in which you want to have
the components of an aggregate local variable filled in by
separate threads of the assertion evaluation.  

Hopefully nothing in 1495 will preclude this relaxation later.

Best regards,

John H.