Path: csiph.com!news.mixmin.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Tim Rentsch Newsgroups: comp.lang.c Subject: Re: [RFC] _Optional: a type qualifier to indicate pointer nullability Date: Wed, 05 Apr 2023 08:30:35 -0700 Organization: A noiseless patient Spider Lines: 32 Message-ID: <86pm8i5otg.fsf@linuxsc.com> References: <86o7qeem30.fsf@linuxsc.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: dont-email.me; posting-host="3e40893fec19eeb2f5d61a30b72606e6"; logging-data="4148311"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+EK2lTY+kIjqMPyOLAw6T4VOAKMzzga2k=" User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux) Cancel-Lock: sha1:KEF8AWBtcJOR1dP9G1wK6aTDNc0= sha1:RV7vMDt1/4dgZqdppX+DcgoFtHQ= Xref: csiph.com comp.lang.c:169833 Christopher Bazley writes: > On Tuesday, 31 January 2023 at 15:54:44 UTC, Tim Rentsch wrote: > >> rejected. Breaking existing code is an absolute deal breaker. But >> the other alternative is useless, because there are no consequences; >> any warnings produced can be safely ignored, and that's what people >> will do, and compilers will have an option to suppress the warnings. > > Nobody ignores warnings at my place of employment because the > compiler (either gcc or clang) is invoked with -Werror. I don't > think that is particularly unusual either. I've never seen anyone > (until you) advocating ignoring warnings, I'm not advocating anything. I am simply stating what people will do, based on my own empirical experience. > so if that's the basis of your argument then I'm not inclined to > give the rest of it much credence. There is a point that you may want to consider, namely, since you are the one who is proposing a language change, it is up to you to convince other people of the value of said change, not the other way around. > Presumably you also dismiss the value of any static analysis > tools, since their use is not mandated by the C standard. [...] Your logic here is faulty, and the conclusion given is wrong. I suggest that it is worth your while to put more effort into discovering what other people actually think, before moving ahead to any conclusions.