[clang] [OpenACC] Private Clause on Compute Constructs (PR #90521)

[Erich Keane via cfe-commits]

================
@@ -423,6 +450,52 @@ ExprResult SemaOpenACC::ActOnIntExpr(OpenACCDirectiveKind DK,
   return IntExpr;
 }
 
+ExprResult SemaOpenACC::ActOnVar(Expr *VarExpr) {
+  // We still need to retain the array subscript/subarray exprs, so work on a
+  // copy.
+  Expr *CurVarExpr = VarExpr->IgnoreParenImpCasts();
+
+  // Sub-arrays/subscript-exprs are fine as long as the base is a
+  // VarExpr/MemberExpr. So strip all of those off.
+  while (isa<ArraySectionExpr, ArraySubscriptExpr>(CurVarExpr)) {
+    if (auto *SubScrpt = dyn_cast<ArraySubscriptExpr>(CurVarExpr))
+      CurVarExpr = SubScrpt->getBase()->IgnoreParenImpCasts();
+    else
+      CurVarExpr =
+          cast<ArraySectionExpr>(CurVarExpr)->getBase()->IgnoreParenImpCasts();
+  }
----------------
erichkeane wrote:

>I don't know, just asking, since it is very similar to what we have in OpenMP :)

Yeah, so far I've realized that the OpenACC spec is a very under-specified version of OpenMP in a lot of situations :)  I figure I can always loosen these restrictions when/if someone complains.

https://github.com/llvm/llvm-project/pull/90521