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, and is
believed to be clean.