Article View: comp.std.c
Article #3349Re: Struct hack one last time (one last time)
From: Mark Brader
Date: Sat, 09 Jan 1993 04:27
Date: Sat, 09 Jan 1993 04:27
24 lines
1636 bytes
1636 bytes
I said:
| In particular, it could not modify padding at the end of a struct,
| precisely *because* it would break the struct hack.
Steve Clamage replied:
> We seem to have some circular reasoning here.
> I proposed an implemention which I claimed was conforming on which
> the struct hack would not work; therefore the struct hack is illegal.
> Mark claims the struct hack is legal; therefore the proposed
> implementation is not conforming.
My reasoning only looks circular if you do not consider that statement
"the struct hack is conforming" has *already* been proven. My actual
claim, or rather statement, is that it has been. And since this *is*
established, we can then make other deductions from it, such as that
Steve's proposed implementation is non-conforming. (As it happens, this
has also been proved on other grounds in other postings.)
--
Mark Brader, SoftQuad Inc., Toronto, utzoo!sq!msb, msb@sq.com
"And just when I had you wriggling in the crushing grip of reason, too."
-- Calvin and Hobbes
(borrowed just for the occasion from a colleague's signature collection)
This article is in the public domain.
Technical Details
Message-ID:
<1993Jan9.042741.15398@sq.sq.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!uunet.ca!wildcan!sq!msbReferences:
<1993Jan7.221207.13818@leland.Stanford.EDU> <1993Jan8.065947.29719@sq.sq.com> <1993Jan8.190840.11087@taumet.com>Show Full Headers
Complete Article Headers
Newsgroups: comp.std.c Path: arc1-ca.pugleaf.net!sparky!uunet!uunet.ca!wildcan!sq!msb From: msb@sq.sq.com (Mark Brader) Subject: Re: Struct hack one last time (one last time) Message-ID: <1993Jan9.042741.15398@sq.sq.com> Summary: Claim of circular reasoning disproved Organization: SoftQuad Inc., Toronto, Canada References: <1993Jan7.221207.13818@leland.Stanford.EDU> <1993Jan8.065947.29719@sq.sq.com> <1993Jan8.190840.11087@taumet.com> Date: Sat, 9 Jan 93 04:27:41 GMT Lines: 24