RE: [sv-ec] RE: [sv-bc] Array assignment (copy) - overlapping source and target

The LRM says this about blocking assignments: "The expression [referring
to the BNF] is the right-hand side value that shall be assigned to the
left-hand side." 

To say that an assignment is done in an implementation specific
non-atomic manor would have to be explicit in the LRM, which is not the
case.

> -----Original Message-----
> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org]
On
> Behalf Of Bresticker, Shalom
> Sent: Tuesday, June 09, 2009 3:20 AM
> To: Jonathan Bromley; sv-ec@server.eda.org; sv-bc@server.eda.org
> Subject: [sv-ec] RE: [sv-bc] Array assignment (copy) - overlapping
source
> and target
> 
> I have always thought it obvious.
> 
> Packed arrays, i.e., vectors, have always done this correctly.
> 
> 1800 laid doubt in some minds due to mention of element by element
copying,
> but it seems to be a theoretical doubt only.
> 
> Mantis 2433 mentions this.
> 
> Regards,
> Shalom
> 
> 
> > -----Original Message-----
> > From: owner-sv-bc@server.eda.org
> > [mailto:owner-sv-bc@server.eda.org] On Behalf Of
> > jonathan.bromley@doulos.com
> > Sent: Tuesday, June 09, 2009 1:03 PM
> > To: sv-ec@server.eda.org; sv-bc@server.eda.org
> > Subject: [sv-bc] Array assignment (copy) - overlapping source
> > and target
> >
> > Thinking again about the 2380 proposal... is it desirable to
> > add something saying what happens when you copy an
> > array on to itself?  I know that all tools currently do
> > The Right Thing (tm) with this:
> >
> >   A[1:7] = A[0:6];
> >
> > but I'm not sure that the LRM anywhere specifies that
> > the RHS should be fully evaluated before any writes
> > to the LHS take place.  I don't want some implementation
> > giving me seven copies of A[0] in A[1:7] because
> > of "left-to-right copying"!
> >
> > thanks
> > --
> > Jonathan Bromley
> >
> >
> > --
> > 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.
> 


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