On Thu, 10 Aug 2023, Jakub Jelinek via Gcc-patches wrote:
> Hi!
>
> The following patch (on top of the stdckdint.h patch and _BitInt patch
> series) adds a test for _BitInt diagnostics of ckd_{add,sub,mul} macros.
I remain unconvinced that diagnosing use with types where it's clear what
the right semantics for the operation are is a good idea (given, in the
_BitInt case, that you've already implemented the built-in functions for
_BitInt types). (Diagnosing for bool results *is* a good idea, since it's
not clear what the semantics should be. Likewise for enums with fixed
underlying type bool, whether or not it's diagnosed for other enums.)
--
Joseph S. Myers
jos...@codesourcery.com
