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

    <tr>
        <th>Summary</th>
        <td>
            [clang++] Assertion `!E->isValueDependent()' failed in (anonymous namespace)::ArrayExprEvaluator::VisitCXXParenListOrInitListExpr
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:frontend,
            crash-on-invalid,
            clang:frontend:fuzzer
      </td>
    </tr>

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

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

<pre>
    **This testcase is generated by a fuzzer.**

Compiler Explorer: [https://godbolt.org/z/hTxx8nrcs](https://godbolt.org/z/hTxx8nrcs)

This invalid code will crash on Clang Assertion Trunk. It seems that this goes back to clang-18:
```cpp
struct S {
  constexpr S(const int &a = ) {}
};
void foo() {
  constexpr S s[2] = {};
}
```

There is a similar assertion fail in [111378](https://github.com/llvm/llvm-project/issues/111378).

Stack dump:
```
clang++: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:16249: bool EvaluateInPlace(clang::APValue&, {anonymous}::EvalInfo&, const {anonymous}::LValue&, const clang::Expr*, bool): Assertion `!E->isValueDependent()' 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 -fno-verbose-asm -S --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics <source>
1.      <source>:5:24: current parser token ';'
2.      <source>:4:12: parsing function body 'foo'
3.      <source>:4:12: in compound statement ('{}')
 #0 0x0000000003baa6d8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3baa6d8)
 #1 0x0000000003ba839c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3ba839c)
 #2 0x0000000003af55f8 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007af65f642520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007af65f6969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007af65f642476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007af65f6287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007af65f62871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007af65f639e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x0000000007b108e7 EvaluateInPlace(clang::APValue&, (anonymous namespace)::EvalInfo&, (anonymous namespace)::LValue const&, clang::Expr const*, bool) ExprConstant.cpp:0:0
#10 0x0000000007b12332 (anonymous namespace)::ArrayExprEvaluator::VisitCXXParenListOrInitListExpr(clang::Expr const*, llvm::ArrayRef<clang::Expr*>, clang::Expr const*, clang::QualType) ExprConstant.cpp:0:0
#11 0x0000000007b48767 clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::ArrayExprEvaluator, bool>::Visit(clang::Stmt const*) ExprConstant.cpp:0:0
#12 0x0000000007b49d2d EvaluateArray(clang::Expr const*, (anonymous namespace)::LValue const&, clang::APValue&, (anonymous namespace)::EvalInfo&) ExprConstant.cpp:0:0
#13 0x0000000007b107e1 EvaluateInPlace(clang::APValue&, (anonymous namespace)::EvalInfo&, (anonymous namespace)::LValue const&, clang::Expr const*, bool) ExprConstant.cpp:0:0
#14 0x0000000007b52733 clang::Expr::EvaluateAsInitializer(clang::APValue&, clang::ASTContext const&, clang::VarDecl const*, llvm::SmallVectorImpl<std::pair<clang::SourceLocation, clang::PartialDiagnostic>>&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x7b52733)
#15 0x0000000007a1ea82 clang::VarDecl::evaluateValueImpl(llvm::SmallVectorImpl<std::pair<clang::SourceLocation, clang::PartialDiagnostic>>&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x7a1ea82)
#16 0x0000000007a1edd1 clang::VarDecl::checkForConstantInitialization(llvm::SmallVectorImpl<std::pair<clang::SourceLocation, clang::PartialDiagnostic>>&) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x7a1edd1)
#17 0x00000000069ee5de clang::Sema::CheckCompleteVariableDeclaration(clang::VarDecl*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x69ee5de)
#18 0x00000000069f4ec0 clang::Sema::AddInitializerToDecl(clang::Decl*, clang::Expr*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x69f4ec0)
#19 0x00000000066766ba clang::Parser::ParseDeclarationAfterDeclaratorAndAttributes(clang::Declarator&, clang::Parser::ParsedTemplateInfo const&, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x66766ba)
#20 0x0000000006685699 clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, clang::DeclaratorContext, clang::ParsedAttributes&, clang::Parser::ParsedTemplateInfo&, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6685699)
#21 0x000000000668dfb7 clang::Parser::ParseSimpleDeclaration(clang::DeclaratorContext, clang::SourceLocation&, clang::ParsedAttributes&, clang::ParsedAttributes&, bool, clang::Parser::ForRangeInit*, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x668dfb7)
#22 0x000000000668e479 clang::Parser::ParseDeclaration(clang::DeclaratorContext, clang::SourceLocation&, clang::ParsedAttributes&, clang::ParsedAttributes&, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x668e479)
#23 0x000000000673aaf2 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+++0x673aaf2)
#24 0x000000000673b820 clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*, 32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x673b820)
#25 0x000000000673c6f5 clang::Parser::ParseCompoundStatementBody(bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x673c6f5)
#26 0x000000000673de4a clang::Parser::ParseFunctionStatementBody(clang::Decl*, clang::Parser::ParseScope&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x673de4a)
#27 0x0000000006651383 clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&, clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6651383)
#28 0x000000000668607d clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, clang::DeclaratorContext, clang::ParsedAttributes&, clang::Parser::ParsedTemplateInfo&, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x668607d)
#29 0x00000000066450ce clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec&, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x66450ce)
#30 0x000000000664588e clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x664588e)
#31 0x000000000664d023 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x664d023)
#32 0x000000000664df0d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, clang::Sema::ModuleImportState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x664df0d)
#33 0x000000000664042a clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x664042a)
#34 0x0000000004502bd8 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4502bd8)
#35 0x00000000047bc4d9 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x47bc4d9)
#36 0x000000000473b07e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x473b07e)
#37 0x00000000048a204e clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x48a204e)
#38 0x0000000000cdb81f cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xcdb81f)
#39 0x0000000000cd352a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#40 0x00000000045468a9 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
#41 0x0000000003af5aa4 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3af5aa4)
#42 0x0000000004546e9f 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
#43 0x000000000450c7dd clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x450c7dd)
#44 0x000000000450d8cd 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+++0x450d8cd)
#45 0x00000000045151f5 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x45151f5)
#46 0x0000000000cd86ef clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xcd86ef)
#47 0x0000000000ba7c44 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xba7c44)
#48 0x00007af65f629d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#49 0x00007af65f629e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#50 0x0000000000cd2fde _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xcd2fde)
clang++: error: clang frontend command failed with exit code 134 (use -v to see invocation)
Compiler returned: 134
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsm11v47bSgH-NckPYkKjvi1w4dtw3RV5szjpY9M6gpJHNrkzqkFTW2V9_QEp2RPkjyTYOip5TpG0ikcOZZ4bDkUgRKemKAVw74Y0Tzq5Io9ZcXD_TPwkLkiC8ynjxfO3giYMnj2sqkQKpciIBUYlWwEAQBQXKnhFBZfPzJ4hx29hxZ47b_XfKNzWtQKDbbV1xAcLxJ8gJb9ZK1dLxJw6eO3i-4kXGKzXmYuXg-U8Hz9eP223CRC6dcObg5O3Ncdof3uhN2ROpaIFyXgD6QasK5YLINeIMTSvCVmgiJQhFOUOPomHfx-hOIQmwkUitiUJKC1lxkCgj-XekOMp1t5GXaI3a0SK3_cnrur0ilWhyhRbIiW_aKwjlnEkF21qghYMT8xeiTCEHRwQ5_gw5ODXt41knNp45ftf9idMClZw7ONk1OxSLpBPeYCecteJaUTsJL2J32tqoQBjXEiTphlZEILLnUhJaIcq05zzP8-PkqFuoWjfZOOcbB8-r6mn3v1Et-J-QKwfPqZQNSAfPOyk4Hfd1WCgNuGg29SHZ9k9D3sE3-kdHEp4LztXhQF27eUUzB88ni0cHz2-3tZhqVoSpsXaUP_EiHKRaUMZ5hW6fSNUQBXfsoSI5aB8ZMf7E8SeTh2-kasDBkYOnGi1hnD1veCMNY91E979jJe_atA4-2vK-L6tt1xtKK2qm0tTopWPan_SiVNPA3u3I8W-pNJJmUAMrgKk2OhwcG5dB0eF9uL-dLG6RbLINVYigrFkhATUXSofzr7sREVYgyvKqKQCpNXQzS88TJQzCKaoF1ILnICUUSPJGtJd1TyIlz6lJI6JhSOaC1mp8MhbcseOmD4KvBNkgIlbNBpiSXRzw2vi9yzcj2OWbLhZG-2CWI6VnuYPnGWUvoaJDCo1WxQ8iylGARis04louqWstvVF1o8YSjTaaBRqNtkk0InIzks9Mka3jzyhTUKFRyfjoCUTGJej7aLRAo9Eqz0eK8ypfE8ocf3ZWX91YMlLLNVdoVOa84mJUULJiXCqay3YMQ9q67PjTDq9_2wLzNDDrsj8JHX-CAw0tb4QAplBNhASBFP8ODDk41gkDx60EfESC7uxhLUH3pGyFyoblJjL1kqFFmDzVifDPiqAMaQa8YQWSiijQPkUmjOMuf-F4n9WRg30XuVt394-fERIVCTJxaiaPfJbtLw-CMmWi6LENxeSlkSA_llwqAWTTTUKq507aDvwhseTgG3fbqWfp7w30T_w0P6b_tALCmvoLW9AVI5WDk4aZFbtAFdejXEJbrYylLba0JWUYlgma6tj7Cjl_AvHcqvd_hBWVHjTpSFptppwp2O6yrmv-3Q_hd0PEpIzCMgpwiN3OtDZ9b5NoGQWjirJmO1qxpr2RjyUfR0Zx08VSO7BlplFa5qhWawGkWH7XNcC7BjD9rQHCodJBHKGVNCzeq3wQR5bsyJaNk7j0Ecl0tn6XZNPRkhwfSPayd8v0MktmYsv0U0ij98k0XSyZaT_q4sxzE4jftTzjZL_oIkY2IGvTIz26UL_Sul2s22V6t2Tbi_XuXn_JRkfKjV7g60TgDqzEvo9fU2YiBHnWojsaXLTXv1FJ1fSPPx6IAHZPpfoi7hhV-re2nEjO6fySfoz8r1A6_vRIReLfvmZ9796_GlI9PtfwNhieDSNI4ijuS1uojTJGcnFDJDj-9EXpDfkOS6PFslbiDS49QnHnObM-7YDa2LQKPWPfYhUeWJUWuNgHstHiFc_8pdj89UnxFtv84SSNwfvnTdLAtjLEse8fFOt7hY1bpZ55lFT0J4hzAPo3Fo_dGnnKhG9EzCCvTkzbxYZU1TfIFRd3m7rS5ZYq2ls1ocKezQtTid3znOiqYDDOAxFa99m-sDQz4rZTaMete7b52Pqjo_vyDI99L7TwEw9Igo9gaf-AzgMGsuHQL_r-GYxaBBajaMioKLyTjPI15N_nfB_1-1jtDP10YBcEVRSeBSrug4pSgLAAa42BDemKb01pyjd1BTqcBCVZBRoiETtORwC3q8IHG9LpaRmS2IaUAeTucUMmRdHLRo-81bOv_F7zg4w5yJUfbpdR27LLqvuiKI6ijAziSILo_d5zyaRUIHZ_czFhxUQpQbNGgTy0uG10mGYPRigeYVNXZkUr-ank3O815-IrYSvQ2C8UES2YPjns2uSSMErTV8n9JnhT22we2kd6fXdRQ35o6gu8bsE6hsJC_z7Eh-2HmWUYqp8N37C14HsD-EWZxWctXlCdWU7mk9cYD4kcJfy6Dw5btFP97XRf89Ml6Gu4Fn08oA9B_Hro_724fz5FDcmiaFXzUewTUuLzMbx7W_dFDLOwlXiP1hOD2kFtdvHk4-alkjqbNHSnt7npaMJ4v5s-3g0tZcsNwcANWYLdX3DD34X7JZhpJBazcMAsj8rwrA3T7o3znt0NL_SD-KUqnVYlS-dooHMBwflKZ969Yx_q_GoldxgxOa_hYhGtDbEstYvuKPT8xH-TpTMoqS5dh1m6V6Jcroq7JwpessA9lRcrJwwQi1gyWNAiNy7-V8tdZh3UbC34g0eQIHRzeBX-F9EL2jumQLQ7Nh9cG7zq0Emeg5T6Hi2pJnIBZIZIH5nvDpElyevIuoXKIndyun84uGHcfQ64JLHBDZ4bgsLF51Pj7bYNrZMV7KVgXQKHttbCgYc4Svd83nvk9T08QXX4UuNLTf7dwIMaFDz7RGl2OI6UOy8vTv6fF00Fd5uaC2XW3AutmK2ZFgd_wMEN8GFtYM60JEPV7ce4S9UzrUqWzlbdGoQuzoqkr_OUF_AbsImZ6rtXTJA3CrpL3bGmj9W0U8TS1KoWgzjLg8J6XJwLvRay4oiqF1Ky1cFSMrKV9DM3BhtnO-ydeYmbw3Gip626SCx3elqGWNVfkBDsBmC_ZzQqv9jztK8NknP2XiQpdfpZBljFmJsXWeKVKM-95YZQ-zGrv3W6Jr39pm7X1LqGp-iJ0-IydrRaWmakAzP8EBO0gz_1Hk2mOPvu_9CmyN6D0jION7FSVAj6BOLo7lrg2mkjiBKSGjA9ubvTRUth2Jq73Tm33WZtTqoqI_n3ZcnshN-O3cXQ1JvyzYawYjipj_pwv9fBaz06qawt54USlK26ZaR18L7Dcplvt57X_pERSfOlNM07ilZjfWGpBKFK7m4PxJGq0nOifXjv7usmvZfzk_02StvFwXFFNllBzOGpHSqc7A4O_c6z4_7whsd9CAl6rjh2qKe987VhC1JC9WzhPO-6C5xgajXuR36AhyEGaYn-m0NEQx_XRKixezYW_MGSnsdFcRKc8R05WDF3NK1kPuioG5x6JD_TdPIZ262d2VZADUudIsnfzeV3nsnTUH7n2T2V9lGA92zLmiN4b-f4aZvXHSyLpl2OhV7o2S_v-prPer9bhcORiuGUFz6R5gXKWYPH4hcNFvYkgi697SqUnf4mrUwOjo6cWrY_vCbRmlmqW7Whm5E4DwKklf7osVvR1tiDU4s4LdJ3Hjo1XSyZ6VAmBC5aLnW3pVREqGXPuDePAoE1SugOHI7LAlAr_-N9poXvR-_f9icIhDCnD9toQ2X3hIHybka0XyCgH1StEWypaj_A8fxAq9lIQKMnpDiSAIj2yv508OWQANUIBnpO6s6Dz0Kuimu_SP2UXMG1F-MkwWkQ4Kv1dUniMk_SMsqCNAkyP8_iknhhTDCkaYjjK3qNXRx4rud7AQ5cPI5CnIUlhFkYhnkUJE7gwobQaqznypiL1ZX57uHa87AXuFcVyaCS5uspjHfJYQfBwdjBU33DHNPnbNR9hfRyY9hDV0s_zYkx7ISzK3FtPrrImpV0AreiUskXRRRVlflwq--ScPZr34igNiYvcOr0qhHV9V_5SMiAfrrG_wkAAP__AC3LbQ">