On Wed, 27 May 2026, Jakub Jelinek wrote: > 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, ...))?
Yes, something like that. I think bitint-17.c has the corresponding tests for bit-fields declared with _BitInt. -- Joseph S. Myers [email protected]
