Date: Sun Oct 24 2010 - 04:13:57 PDT
I agree with Dave's suggestion.
Shalom
From: Rich, Dave [mailto:Dave_Rich@mentor.com]
Sent: Friday, October 22, 2010 8:57 PM
To: Havlicek John-R8AAAU; Eduard Cerny; Bresticker, Shalom
Cc: sv-ac@server.eda.org
Subject: RE: [sv-ac] RE: lvalue
'target of the assignment', or simply 'target'
Dave Rich
Verification Technologist
Mentor Graphics Corporation
New Office Number: 510-354-7439
[cid:image001.png@01CB737D.50A83BE0]<http://www.twitter.com/dave_59> [cid:image002.png@01CB737D.50A83BE0] <http://go.mentor.com/drich>
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Havlicek John-R8AAAU
Sent: Friday, October 22, 2010 7:23 AM
To: Eduard Cerny; Bresticker, Shalom
Cc: sv-ac@server.eda.org
Subject: RE: [sv-ac] RE: lvalue
Hi Folks:
I think we need the concept. I don't care much about the term. "lvalue" seemed like the best term, but it could be changed to "X" for all I really care.
There are subtleties involving assignment to components of local variables of aggregate types that are probably not well specified in the LRM and may become worse specified depending on how this concern is addressed.
J.H.
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Eduard Cerny
Sent: Friday, October 22, 2010 8:07 AM
To: Bresticker, Shalom
Cc: sv-ac@server.eda.org
Subject: [sv-ac] RE: lvalue
Hi,
should we then add something along the line as it is defined for C++?
The lvalue expression designates (refers to) an object. A non-modifiable lvalue is addressable, but not assignable. A modifiable lvalue allows the designated object to be changed as well as examined.
Best...
ed
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bresticker, Shalom
Sent: Friday, October 22, 2010 5:46 AM
To: sv-ac@eda.org
Subject: [sv-ac] lvalue
Hi,
While looking at Mantis 2839, I found the following text in 16.14.6:
" A sequence treats its formal argument as a local variable if the formal argument is used as an lvalue in operator_assignment or inc_or_dec_expression in sequence_match_item."
As far as I could see, this is the only place in the LRM where "lvalue" is used as a word and not as a part of a syntax construct such as variable_lvalue. In particular, it is not defined anywhere, and it is not a word in the English language. Since it is not used this way anywhere else, I think it should be replaced by something else.
Regards,
Shalom
Shalom Bresticker
Intel LAD DA, Jerusalem, Israel
+972 2 589 6582 (office)
+972 54 721 1033 (cell)
http://www.linkedin.com/in/shalombresticker
---------------------------------------------------------------------
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<http://www.mailscanner.info/>, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, 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.
