Hi!
On Fri, Jul 28, 2023 at 06:37:23PM +, Joseph Myers wrote:
> Yes, the type used in _Generic isn't fully specified, just the type after
> integer promotions in contexts where those occur.
Ok. I've removed those static_asserts from the test then, no need to test
what isn't fully specified.
On Fri, 28 Jul 2023, Jakub Jelinek via Gcc-patches wrote:
> But I ran into a compiler divergence on _Generic with bit-field expressions.
> My understanding is that _Generic controlling expression undergoes array
> to pointer and function to pointer conversions, but not integral promotions
> (other
On Fri, Jul 28, 2023 at 11:05:42AM +0200, Jakub Jelinek via Gcc-patches wrote:
> On Thu, Jul 27, 2023 at 06:41:44PM +, Joseph Myers wrote:
> > On Thu, 27 Jul 2023, Jakub Jelinek via Gcc-patches wrote:
> >
> > > - _BitInt(N) bit-fields aren't supported yet (the patch rejects them);
> > > I'd l
