Path: csiph.com!weretis.net!feeder8.news.weretis.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Tim Rentsch Newsgroups: comp.lang.c Subject: Re: "Catch-23: The New C Standard,Sets the World on Fire" by Terence Kelly with Special Guest Borer Yekai Pan Date: Thu, 20 Jul 2023 09:07:25 -0700 Organization: A noiseless patient Spider Lines: 26 Message-ID: <86a5vq1s8y.fsf@linuxsc.com> References: <86cz4i5cn1.fsf@linuxsc.com> <86v8i54yk5.fsf@linuxsc.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: dont-email.me; posting-host="3857442d865f8a7bff3454fde02b814b"; logging-data="2934137"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19McPV5vnVhx+BRcPdl/rm0Oa5i+3RKJHo=" User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux) Cancel-Lock: sha1:2T4ipJWuCwFneOL1/RJnijgy+XY= sha1:a1BA/Q9jnqqZTgrwrwbZwhLhIb4= Xref: csiph.com comp.lang.c:170969 cross@spitfire.i.gajendra.net (Dan Cross) writes: > In article <86v8i54yk5.fsf@linuxsc.com>, > Tim Rentsch wrote: > >> I think you misunderstood my comment. I didn't mean to say >> anything about what the authors say about the evolution of >> realloc(). I meant only that the code they gave works just fine >> (not counting the problem when 'sizeof (int) == 1' that Ben B >> pointed out) -- importantly, under the assumptions that the >> authors explicitly stated -- and that they didn't say anything >> about whether the code is portable or well-defined if considered >> outside of those assumptions. The authors may have some opinions >> about whether the code /should/ work in general, but they don't >> make any claims about whether it /does/ work in general, and that >> point is the only one I mean to address. > > No, I understood that, but I disagree: I believe that they were > trying to make a more general statement, beyond simply the > circumstances they outlined. Then I think that either you are misreading what they say or you are seeing something that isn't there. I went back and thoroughly reviewed the paper, carefully reading each sentence. In no case did any statement fall outside the bounds I outlined above.