[Clang][OpenMP] Return empty QualType when a negative array was created (#71552)

Fix #69198

Author: lwshanbd

clang/lib/AST/Expr.cpp

@@ -4983,10 +4983,10 @@ QualType OMPArraySectionExpr::getBaseOriginalType(const Expr *Base) {
   for (unsigned Cnt = 0; Cnt < ArraySectionCount; ++Cnt) {
     if (OriginalTy->isAnyPointerType())
       OriginalTy = OriginalTy->getPointeeType();
-    else {
-      assert (OriginalTy->isArrayType());
+    else if (OriginalTy->isArrayType())
       OriginalTy = OriginalTy->castAsArrayTypeUnsafe()->getElementType();
-    }
+    else
+      return {};
   }
   return OriginalTy;
 }

clang/lib/Sema/SemaOpenMP.cpp

@@ -21014,6 +21014,8 @@ Sema::ActOnOpenMPDependClause(const OMPDependClause::DependDataTy &Data,
           if (OASE) {
             QualType BaseType =
                 OMPArraySectionExpr::getBaseOriginalType(OASE->getBase());
+            if (BaseType.isNull())
+              return nullptr;
             if (const auto *ATy = BaseType->getAsArrayTypeUnsafe())
               ExprTy = ATy->getElementType();
             else

clang/test/OpenMP/bug69198.c

@@ -0,0 +1,10 @@
+// RUN: %clang_cc1 -verify -fsyntax-only -fopenmp -x c %s
+
+int c[-1]; // expected-error {{'c' declared as an array with a negative size}}
+
+void foo (){
+  #pragma omp task depend(inout: c[:][:])
+  {
+    c[0] = 1;
+  }
+}