On Wed, May 27, 2026 at 08:29:51PM +0000, Joseph Myers wrote:
> I think there should be a testcase that bit-fields of bit-precise enum
> type get promoted to their declared type by the integer promotions, like
> _BitInt bit-fields do. (And then from the enum type to the underlying
> bit-precise type - conversion to the underlying type is what GCC does with
> enums in the integer promotions and is the expressed preference of WG14 in
> C23 issue 1021 for what should be done with enums in integer promotions in
> general.)
I even started adding those when writing the patch, but then gave up because
_Generic on the bit-fields themselves gives unpromoted types.
So, for testing this, shall I test using _Generic (object.bit_field + 0wb,
...) or something similar (or _Generic (+object.bit_field, ...))?
Jakub
