Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: David Brown <david.brown@hesbynett.no>
Newsgroups: comp.lang.c
Subject: Re: Fixing a sample from K&R book using cake static analyser
Date: Tue, 25 Jun 2024 10:25:28 +0200
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <v5duto$1fid4$2@dont-email.me>
References: <v53sl1$35qt7$1@dont-email.me> <v558hv$3dskb$1@dont-email.me>
 <20240623034624.135@kylheku.com> <87wmmfq4if.fsf@bsb.me.uk>
 <20240624012527.8bbe16b96f5bfca10feadb5c@gmail.moc>
 <87zfrbnsvv.fsf@bsb.me.uk> <v5aeue$j1nj$4@dont-email.me>
 <v5bet5$s3j6$1@dont-email.me> <v5ctpq$15hrn$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 25 Jun 2024 10:25:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9cf53d04b66d1800440e1f149c520af4";
	logging-data="1558948"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19NtQHpilV/4T8DLe6oyC4pHQrx34XnlI0="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.11.0
Cancel-Lock: sha1:LWiwCfaF0Jhkx3U2iwVcaRcAjz8=
Content-Language: en-GB
In-Reply-To: <v5ctpq$15hrn$2@dont-email.me>
Bytes: 1833

On 25/06/2024 01:00, Lawrence D'Oliveiro wrote:
> On Mon, 24 Jun 2024 11:39:49 +0200, David Brown wrote:
> 
>> It's much clearer (to me) to separate the cases and deal
>> with them individually.
> 
> Except it becomes difficult to ensure that you have indeed tested all
> those cases.

No, it is vastly /easier/ to test the cases when they are clear and 
distinct.  (That doesn't necessarily mean it will be /easy/, but it will 
definitely be /easier/.)