Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.lang.c
Subject: Re: Fixing a sample from K&R book using cake static analyser
Date: Mon, 24 Jun 2024 23:00:10 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <v5ctpq$15hrn$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 25 Jun 2024 01:00:11 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="250b38e1e4730787d8a829a06e323428";
	logging-data="1230711"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18vcuJxrCGBJx5W91/K6L1C"
User-Agent: Pan/0.158 (Avdiivka; )
Cancel-Lock: sha1:Rb9WXNvX1G9SnkmnTZRf/561f1s=
Bytes: 1416

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.