diff --git a/clang/lib/AST/Expr.cpp b/clang/lib/AST/Expr.cpp index 74a9c49a795b4..55c6b732b7081 100644 --- a/clang/lib/AST/Expr.cpp +++ b/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; } diff --git a/clang/lib/Sema/SemaOpenMP.cpp b/clang/lib/Sema/SemaOpenMP.cpp index e05fa54d81183..dcdd6e7a3f5c7 100644 --- a/clang/lib/Sema/SemaOpenMP.cpp +++ b/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 diff --git a/clang/test/OpenMP/bug69198.c b/clang/test/OpenMP/bug69198.c new file mode 100644 index 0000000000000..ee88cf15a1238 --- /dev/null +++ b/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; + } +}