On 5/28/20 7:13 PM, Mark Wielaard wrote:
Hi Martin,
On Thu, May 28, 2020 at 06:21:39PM -0600, Martin Sebor wrote:
Although few tests bother with it, since you add an option for
the existing warning where there was none before, an even more
exhaustive test than the one you added would also verify the same
option can be used to suppress it (e.g., via #pragma GCC diagnostic
ignored).
OK. How about this variant with an extra
Wbuiltin-declaration-mismatch-ignore.c test?
It FAILS with (test for excess errors) before the patch.
It PASSes with the patch.
It looks good to me but I can't formally approve it.
Martin
Thanks,
Mark
