[clang] [Clang] allow restrict qualifier for array types with pointer types as element types (PR #120896)

[Eli Friedman via cfe-commits]

================
@@ -1596,12 +1596,14 @@ QualType Sema::BuildQualifiedType(QualType T, 
SourceLocation Loc,
     QualType ProblemTy;
 
     if (T->isAnyPointerType() || T->isReferenceType() ||
-        T->isMemberPointerType()) {
+        T->isMemberPointerType() || T->isArrayType()) {
----------------
efriedma-quic wrote:

Don't you need some kind of recursion to check that the base element type ?  We 
don't want to allow `typedef int x[2]; typedef x restrict x2;`.  Or `typedef 
int (*x)(); typedef x x2[2]; typedef x2 restrict x3;`

https://github.com/llvm/llvm-project/pull/120896
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits