GNU bug report logs - #75451
scratch/igc: Enable CHECK_STRUCTS

Previous Next

Full log

Message #100 received at 75451 <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Stefan Kangas <stefankangas <at> gmail.com>, Pip Cet <pipcet <at> protonmail.com>
Cc: Gerd Möllmann <gerd.moellmann <at> gmail.com>,
 Gerd Moellmann <gerd <at> gnu.org>, 75451 <at> debbugs.gnu.org
Subject: Re: bug#75451: scratch/igc: Enable CHECK_STRUCTS
Date: Mon, 20 Jan 2025 12:25:20 -0800

On 2025-01-20 09:54, Stefan Kangas wrote:
> If I'm reading Paul correctly, he's saying that a static check is
> more reliable.

Yes, because a static check doesn't rely on test cases that exercise the 
dynamic check appropriately. Typically we have no such test cases.

I see Pip's point. However, I don't think it's worth coming up with a 
new macro if GCC doesn't issue the proper diagnostics. Having an 
assertion that isn't checked is not gonna maintain well.

It sounds like it'd better to get GCC fixed first, to do what we want. 
Ideally GCC would come up with something where our existing macros 
suffice or even can be reduced in number (though the macro 
implementations might need changing).

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.