<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/69198>69198</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            clang: Assertion `OriginalTy->isArrayType()' failed.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          connglli
      </td>
    </tr>
</table>

<pre>
    Compiler explorer: https://godbolt.org/z/9Gx84v4W5.

The following program `small.c` triggers a crash in clang-18:

``` sh
% cat small.c
int c[-1];

void foo (){
  #pragma omp task depend(inout: c[:][:])
}



% clang -O0 -fopenmp-simd small.c
<source>:1:7: error: 'c' declared as an array with a negative size
    1 | int c[-1];
      |       ^~
clang: /root/llvm-project/clang/lib/AST/Expr.cpp:4971: static clang::QualType clang::OMPArraySectionExpr::getBaseOriginalType(const clang::Expr*): Assertion `OriginalTy->isArrayType()' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.  Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/clang -gdwarf-4 -g -o /app/output.s -mllvm --x86-asm-syntax=intel -S --gcc-toolchain=/opt/compiler-explorer/gcc-9.2.0 -fcolor-diagnostics -fno-crash-diagnostics -O0 -fopenmp-simd <source>
1.  <source>:4:42: at annotation token
2.  <source>:3:12: parsing function body 'foo'
3. <source>:3:12: in compound statement ('{}')
 #0 0x000000000372f498 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x372f498)
 #1 0x000000000372d15c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x372d15c)
 #2 0x0000000003675a78 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007f10a67c4420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007f10a628700b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #5 0x00007f10a6266859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #6 0x00007f10a6266729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #7 0x00007f10a6277fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x0000000006f9f8d5 clang::OMPArraySectionExpr::getBaseOriginalType(clang::Expr const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x6f9f8d5)
 #9 0x00000000066bacd5 clang::Sema::ActOnOpenMPDependClause(clang::OMPDependClause::DependDataTy const&, clang::Expr*, llvm::ArrayRef<clang::Expr*>, clang::SourceLocation, clang::SourceLocation, clang::SourceLocation) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x66bacd5)
#10 0x00000000067080f0 clang::Sema::ActOnOpenMPVarListClause(llvm::omp::Clause, llvm::ArrayRef<clang::Expr*>, clang::OMPVarListLocTy const&, clang::Sema::OpenMPVarListDataTy&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x67080f0)
#11 0x0000000005f5620f clang::Parser::ParseOpenMPVarListClause(llvm::omp::Directive, llvm::omp::Clause, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f5620f)
#12 0x0000000005f564a8 clang::Parser::ParseOpenMPClause(llvm::omp::Directive, llvm::omp::Clause, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f564a8)
#13 0x0000000005f625b8 clang::Parser::ParseOpenMPDeclarativeOrExecutableDirective(clang::Parser::ParsedStmtContext, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f625b8)
#14 0x0000000005f7f0e4 clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*, 32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*, clang::ParsedAttributes&, clang::ParsedAttributes&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f7f0e4)
#15 0x0000000005f80f88 clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*, 32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f80f88)
#16 0x0000000005f81ec9 clang::Parser::ParseCompoundStatementBody(bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f81ec9)
#17 0x0000000005f837ea clang::Parser::ParseFunctionStatementBody(clang::Decl*, clang::Parser::ParseScope&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f837ea)
#18 0x0000000005eb1501 clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&, clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5eb1501)
#19 0x0000000005ed8a18 clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, clang::DeclaratorContext, clang::ParsedAttributes&, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5ed8a18)
#20 0x0000000005ea596b clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec&, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5ea596b)
#21 0x0000000005ea609f clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*, clang::AccessSpecifier) (.part.0) Parser.cpp:0:0
#22 0x0000000005eada44 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5eada44)
#23 0x0000000005eae26d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, clang::Sema::ModuleImportState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5eae26d)
#24 0x0000000005ea131a clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5ea131a)
#25 0x000000000499b538 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x499b538)
#26 0x00000000041fefa9 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x41fefa9)
#27 0x000000000418044e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x418044e)
#28 0x00000000042de12e clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x42de12e)
#29 0x0000000000befa56 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0xbefa56)
#30 0x0000000000be731a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#31 0x0000000003fdc649 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::'lambda'()>(long) Job.cpp:0:0
#32 0x0000000003675f24 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x3675f24)
#33 0x0000000003fdcc3f clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const (.part.0) Job.cpp:0:0
#34 0x0000000003fa4e05 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x3fa4e05)
#35 0x0000000003fa586d clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x3fa586d)
#36 0x0000000003fad795 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x3fad795)
#37 0x0000000000becefc clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0xbecefc)
#38 0x0000000000ae7091 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0xae7091)
#39 0x00007f10a6268083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#40 0x0000000000be6dfe _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0xbe6dfe)
clang: error: clang frontend command failed with exit code 134 (use -v to see invocation)
```

Clang version:

```
clang version 18.0.0 (https://github.com/llvm/llvm-project.git ab737a86993bc7bf92cbb9d51f47f8825a717333)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /opt/compiler-explorer/clang-assertions-trunk/bin
Compiler returned: 0
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkWt1y46i2fhpyQ8klof-LXLjteE5P9VRyOqk5ly6EkMKJBNqA0s5c7GffBZJtodjuzLR7aqp2VyelCFh861s_LARYKVZzSm9B_AnE6xvc62chb4ngvG4adlOI8u12JdqONVRCuusaIakE4RI-a90pEC4B2gC0qUVZiEYvhKwB2vwB0Cb_ZZdFr9H_xQvgr4G_HH4_PVNYiaYR3xivYSdFLXELQeKrFjfNgoDEh1qyuqZSQQyJxOoZMg5Jg3ntBZmZcCIOJP7wH6rn8Q2KIcEa7uXZl4xrSED8yQtAvAbhp6mIV8FKWAkBAcoAykE6tkIIUNhJXLcYiraDGqsXWNKO8hKgjHHRa0ODEWtAxevjA8rHCdK1A3b628A0OkHv3odeJTrK285TrC1d6CBcKdFLQkF4B8JlAMJlaualUgprB4BSAlAKS0oaLGkJsYKYQywlfoPfmH6GGHJaY81eKVTsD7pXD8IAgnQFT5MD7T_TPj7Fd_8eWizsYeaNFEIDtGma19brpPh_SsyfQw-0aVgB0Gb5-ATQ5m7XyQXpOhAuozw1akClsWYE7uWBcPm_PW6e3jo6fXf_28PS6PJIiWaCGzlDQ031J6zovWQ148M4gDIiuNLT8XYAWhqjhEu4VIpKI8f43HGoB8I7puw8oxzTH6Wwwqyh5ejCD1_ulo93UPVFyzTEsOhrKGknpIZazAOC6ee-WBDRjvy8p4kp1VMF0AZiXkLGSdOXFOpnOrp9gcmLlphQgFawk7STglClaAlHj0ArOxIrJQjDmpZQ9hwqIlmnR8iPGpMXWPZtd4gcfwHhwxh4WNZ9S7lWoz1FZ-03xrt3iPfRph7e06c8LXv-AtCmYHzfDL26_IZl5UXQq6FnQmqDu87I7XXX64WCXmtIgJ63yxIPq9ZTb1zjHQjXjGvaQO8Rel5NiKeFaMgzZhyE64vATOd8gRYmiohohPRKhmsulGZEQa_iwrN0uq_fBZ0TZ5anYAHhLPoi84MMV1hDzLkwHiw41OKF8mEUej8qNHFrR3VYKpP3qp5bZ4YmvZoIroQAKB0khIvzAkwmFG0nel7a8KHGeEPmSk3mStfmYZ9_TAbzob_z9__CFFVRnkHrjzY61JsaHh4k49p6y9Pgctmxk8TftkJpSXELUGLcjnENUD5M_INOA9AnfzcCc5AHM-RlEJNTyFcNxbzv7vkjqzluAMp6bhe1EjbCyL8uTgPDwYkcnEka4zSDK-NyXykRr1S-DcD-B_OyMdNlI3tOn5Xgmu70mCJ9-3OYIhynSKvAx0lKogj5cLuVVGkh6VaOLjAm3F2WbJPIaxjvd17N-6Gh08-S4nKhxMK3ugRGiqNJ5EyDstT3CygxU_QD8omRnFjJUej7hSM5diUnSRbnEBfiQ8gnkhHK4tyRnMwlpwd7f1hmilyZqSszTasy-XMyw7AqE0dmNvWSpMqrrIx_ZJlzFzhol71hmbuet48wHT1yR4-kwMTV45G2eHhaEn3P7zvKf3tY27Jp1eBezcDfzxrty-HNGmv89LbXzKadU8v6apITLINfaQXC1Ymu4d1MxqPNsV8EsVn8RxqvSfrA6bGIRGHgJPEk9TO_8r9L-u9YfmFKH1g_0iSGasCkzqHtBzi8P0z0RZDz5joidMANNrbdr0nhwJBDobOaxFWcIL-aAnzAUlE5ef4wiWsmTcy-zng8QXIhRHNVRUc9HEXRXNEIZx9Q9B-sYYQzR8PQ1TBBcfERDdd2g2T3QffybkdJr3HR0Ily2SUh5aNu9bhK_yRVrSaOqpGralr5NLqo6uO-KLyXB30FX1aayqXWkhW9NluOiZUfzW7zd0q02U5OQ97oO2bYEPU28udR_V2SLqTM5SlZ5RTkydnmPa5qAMuvY4DYNUDmV9llXzttgH8K41dly5LhsJXM2AooyS-iX42bmQNrn0T5BlD2E4LLgnHQpjO0YUrxRbSbcds2RzsZY2x-xrcdLyHClHHX9l-rgqOjU3bGtAhiP_iQjmtaMc5G350NYLze-7aQH_HRJ9p2Ddb0M6_EuQphOuoL1vQY7WYBvrr3DlQ4XOUuV2WGg8uxbkj4RYq-O0vRY0fJe1WP5J0O3O-nwg8l0xHqRsivmNf0M2c_gUbL0pRG5Ls04jhPiu_SeC8njveZayqHrfyPLxDvelw0zZIQqpRpYxUzXFyVLMuFQ1YwIyvx88tl6WRRcTg7G6xXp2zua6cpW3RY6oWpweGgw_svG0Z_NNO_xNHlAuduN_iGu7j-DTpf1xGMno4jhDMiKErKi0Q8ie4LfaXNsOI4e-oO_6unD3pWXRyyld3cnagtjnu030TZN_Rz2wmp7WJ39aVqUNBhIJoxEITB--XYHiZkc9CDKkPR8DMq8wGMg9YpDKM8L-LQWSxWoqS_UL608bnfQ5s9Bx1f2SOG62EcITgYnXIsCipaYacc20iz_PDyBMirwxtmd-ClLrzMjyLqUjhM-JkrjTmhp1k8r8-VfXZE6KjglFcRKmmAqPuVyoI9avJ6WLKzS5peOeGMyBzoTrXjF7TCcQIJCbYtZu5-ZfpF6BlPvjWOH4Ocd2gFXwUrr63BgG-qgHuy4Rc0NfliT_gqeLJZ4PS263PbNSe1SdwvHEbGWKJNytYclpK9nlnRZscWVUmSKLeUTOTuz3-20rJqW8czR3vgA8IlwU1TYPKyrbibxoe5R79ZBSvRtpiX8-A9aT2lx36iM7Njw8GEHy0Zr8fFYTDtYcB2S3a7IBj-KLBiZKts95FFp7N5sdUSM632zTNxuGlMHAz737HddFke07d1n4FzOwSgtMFtUWJ7wLWnCmX7I55fRXHaHu-OZyoUTUxx6hBmaPna80dc0ebNofOy6a561jRgdXw-nDsXCZ1y8b_OOWal5lkviFzicET9-Cxx1mr43Zq4Z9NJ3bOBpsO5He6FrkunhJnodiVXGhR2XCmeMRJnbsH5EUZ-FYU6T8evojBbd4eOS-n44AEdZsb49pj04wyObvKTeTQ0OTwmMx7LND_rWevJs1ManKgJzvH_N_J4zWQ2EOMwl84WcEKr8TbQvgbZI7dJZPnuuO_c8nzFqsNgckA7FZ-PaernATRwrzfrINSZNZ-dcmd-FsLttmGFybVY6u0EwkfPvSM_C6ezRPOKKikrCgf51-TUiD3Mu_fK44U2-wZWYy0Pyeifw02s4UYb3TFj8ZLCIIwMtF5R6L1CLaCiFLJJmZ3PLgpOL-Gt7EyvVKoxsZ26WTiBue8Kg2zhL3wz8Z-79LWomYa4SMMUZ0mehwVJiypHpCjyMg6qKK2yDMU4DdIwPJrmCcua2suGo017_sLFNz6x7Xi3UlJcwlaUtLG3jYRiu6HJbiyahpZrJn_sqtdA3P5CqKS6l5yafAP9GXE35W1Y5mGOb-htkORplKA0QjfPt0FA_LSKgjTP_TTHxg-TMo5QVuAIZVV8w26Rj8LAD5IgRHGEFhhVJQ2qhNKAFGlYgsinLWbNwpC7ELK-sXfpbpM8yLObBhe0UfZGK0Kj4yEQr2_krTVG0dcKRH7DlFZHCZrpht4e3PEvXhS86WVz-9dvAloF_hMAAP__VMptDQ">