[OpenACC] Make sure 'link' gets the right node in the AST with ASE

Another miss when working through 'link', we didn't properly handle
giving the whole array-section expression or array index expression,
instead allowed it to only get the decl-ref-expr.  This patch makes
sure we don't add the wrong thing.
Signed-off-by: Hafidz Muzakky <[email protected]>

Author: erichkeane

clang/lib/Sema/SemaOpenACCClause.cpp

@@ -2249,6 +2249,8 @@ SemaOpenACC::CheckLinkClauseVarList(ArrayRef<Expr *> VarExprs) {
       continue;
     }
 
+    Expr *OrigExpr = VarExpr;
+
     while (isa<ArraySectionExpr, ArraySubscriptExpr>(VarExpr)) {
       if (auto *ASE = dyn_cast<ArraySectionExpr>(VarExpr))
         VarExpr = ASE->getBase()->IgnoreParenImpCasts();
@@ -2263,7 +2265,7 @@ SemaOpenACC::CheckLinkClauseVarList(ArrayRef<Expr *> VarExprs) {
     if (!Var || !Var->hasExternalStorage())
       Diag(VarExpr->getBeginLoc(), diag::err_acc_link_not_extern);
     else
-      NewVarList.push_back(VarExpr);
+      NewVarList.push_back(OrigExpr);
   }
 
   return NewVarList;

clang/test/SemaOpenACC/declare-construct-ast.cpp

@@ -49,6 +49,12 @@ int GlobalArray3[5];
 // CHECK-NEXT: DeclRefExpr{{.*}}'Global3' 'int'
 // CHECK-NEXT: device_resident clause
 // CHECK-NEXT: DeclRefExpr{{.*}}'GlobalArray3' 'int[5]'
+int GlobalArray4[5];
+// CHECK-NEXT: VarDecl{{.*}}GlobalArray4 'int[5]'
+#pragma acc declare link(GlobalArray4[1:1])
+// CHECK-NEXT: OpenACCDeclareDecl
+// CHECK-NEXT: link clause
+// CHECK-NEXT: ArraySectionExpr
 
 namespace NS {
 int NSVar;