c++/7503: (x <? Y) = z; // bad behavior

[moore_mn@cobra.cs.mercer.edu]

>Number:         7503
>Category:       c++
>Synopsis:       (x <? Y) = z; // bad behavior
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          wrong-code
>Submitter-Id:   net
>Arrival-Date:   Mon Aug 05 22:16:01 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Nathan Moore
>Release:        3.1.1 and some earlier
>Organization:
>Environment:
RedHat 7.1 on PentiumII
host = target
>Description:
The compiler accept
	(x <? y)
	(x >? y)
	((a)? b : c )
as l_values, but does not do assignments to them.
>How-To-Repeat:
Just compile with any options.
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="code.cpp"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="code.cpp"

ZXh0ZXJuICJDIiBpbnQgcHJpbnRmKGNvbnN0IGNoYXIgKiwgLi4uKTsKIApjb25zdCBjaGFyICog
eiA9ICIlaSAlaSAlaVxuIjsKY29uc3QgaW50IGZpcnN0ID0gMSwKICAgICAgICBzZWNvbmQgPSAy
LAogICAgICAgIHRoaXJkID0gMzsKIAppbnQgbWFpbigpCnsKICAgICAgICBpbnQgQSA9IDg7CiAg
ICAgICAgaW50IEIgPSA4OwogCiAgICAgICAgKCBBID4/IEIgKSA9IGZpcnN0IDsKIAogICAgICAg
IHByaW50Zih6LEEsQixmaXJzdCk7CiAKIAogICAgICAgIGludCBYID0gOTsKICAgICAgICBpbnQg
WSA9IDg7CiAKICAgICAgICAoWCA+PyBZKSA9IHNlY29uZDsKIAogICAgICAgIHByaW50Zih6LFgs
WSxzZWNvbmQpOwogCiAKICAgICAgICBpbnQgTSA9IDc7CiAgICAgICAgaW50IE4gPSA3OwogCiAg
ICAgICAgKChNPk4pID8gTSA6IE4pID0gdGhpcmQ7CiAKICAgICAgICBwcmludGYoeixNLE4sdGhp
cmQpOwogCiAKICAgICAgICByZXR1cm4gMDsKfQo=