[PATCH] D18698: [C11] PR24451: Allow restrict _Atomic pointers

Richard Smith via cfe-commits cfe-commits at lists.llvm.org
Fri Apr 1 11:29:10 PDT 2016


rsmith added a comment.

I'm not convinced this change is correct. There are two possibilities for what `int *_Atomic restrict` could mean:

1. `_Atomic(int *restrict)`: this seems to be ill-formed by 6.7.2.4/3, because the type name in an atomic type specifier cannot be a qualified type
2. `_Atomic(int *) restrict`: this seems to be ill-formed by 6.7.3/2, because (by 6.2.5) an atomic type is not a pointer type

If you're trying to simulate a GCC extension, this should at least have a corresponding `ExtWarn`, but you'll also need to make the case that the extension is useful.


http://reviews.llvm.org/D18698





More information about the cfe-commits mailing list