Path: csiph.com!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.c
Subject: Re: lvalues from the ternary op
Date: Tue, 31 Jan 2017 09:13:03 -0800
Organization: None to speak of
Lines: 21
Message-ID: <lnr33j8868.fsf@kst-u.example.com>
References: <c8677aed-7589-4ba4-9aa0-8b20b00c0981@googlegroups.com> <o4jftg$vqf$1@gioia.aioe.org> <877f6alefh.fsf@bsb.me.uk> <kfn1sw6phwa.fsf@x-alumni2.alumni.caltech.edu> <37926c90-a12c-4854-8daf-bbbb6fb36dc0@googlegroups.com> <o5nrs2$1r99$1@gioia.aioe.org> <lnfukgi701.fsf@kst-u.example.com> <5ff45dfe-0bd4-479b-a017-64da7de9ae0d@googlegroups.com> <ln4m0whzbs.fsf@kst-u.example.com> <5e9cc790-7d79-4ce3-8101-0d423e8f2a46@googlegroups.com> <lnziiogffd.fsf@kst-u.example.com> <cff83e51-e23c-417d-a719-610db57062d6@googlegroups.com> <lnmvenhkck.fsf@kst-u.example.com> <09829387-6df4-4cc8-a044-e71b7f8d44dd@googlegroups.com> <lninpbgfz8.fsf@kst-u.example.com> <734bc6bf-9879-4e71-9f54-f27ec92fb50e@googlegroups.com> <ln8tq5hfmj.fsf@kst-u.example.com> <2f20253f-9ce6-4dcd-82e7-2fcdc2eae5b0@googlegroups.com> <ln1svxh6i1.fsf@kst-u.example.com> <aa4dec3a-ebfc-495a-9160-e260037473f5@googlegroups.com> <kfnlgtrdvq3.fsf@x-alumni2.alumni.caltech.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx02.eternal-september.org; posting-host="cca5ec70fa32bd72c3a8e20925c507dd"; logging-data="29466"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18hPe3g6BotVnZqusXRa6oN"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:YR2Mwke4hstCyZ5aOjjNzCEUBYU= sha1:vhU9/9IrShBwr4hPoSrAD25XQH0=
Xref: csiph.com comp.lang.c:102851

Tim Rentsch <txr@alumni.caltech.edu> writes:
[...]
> The Standard is quite clear that unions (that have more than one
> member) hold multiple overlapping objects (6.2.5 p20).  Here u.x
> and u.y are two distinct objects, and they overlap.  If you think
> that doesn't make sense then you're confused about something.

Agreed.  6.2.5p20 says:

    A *union type* describes an overlapping nonempty set of member
    objects, each of which has an optionally specified name and possibly
    distinct type.

The phrase "union type" is in italics, indicating that this is the
definition of the term.

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Working, but not speaking, for JetHead Development, Inc.
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"