https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112841

--- Comment #5 from Halalaluyafail3 <luigighiron at gmail dot com> ---
(In reply to Joseph S. Myers from comment #4)
> Fixed for GCC 15.

It seems like this patch also makes typeof_unqual(_Atomic int[2]) equivalent to
int[2] which I believe is not correct, since _Atomic int[2] is not an atomic
type (an array of atomics is not itself atomic). Should I make a separate bug
report for this? For example the following should be invalid:

typedef int x[2];
typedef typeof_unqual(_Atomic int[2])x;

GCC accepts the above code with this patch, Clang rejects it.

Reply via email to