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

    <tr>
        <th>Summary</th>
        <td>
            clang++ crashes on nested templated class with template function call
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    The smallest example I was able to produce https://godbolt.org/z/z69PeWETo


## Code
```
#include <array>

struct tag;

template <typename _tag>
struct BaseClass {
    struct Pimpl;
};


template <>
struct BaseClass<tag>::Pimpl {
    template <int ct>
    auto do_something() -> std::array<int ,ct> {
        return std::array<int, ct>{}; // crashes clang 15
        //return {}; // doesn' crash
 }
};


void f() {
 BaseClass<tag>::Pimpl{}.do_something<11>();
}
```



## Dump
```
clang++: /root/llvm-project/clang/lib/Sema/SemaTemplate.cpp:7901: clang::ExprResult clang::Sema::BuildExpressionFromIntegralTemplateArgument(const clang::TemplateArgument&, clang::SourceLocation): Assertion `Arg.getKind() == TemplateArgument::Integral && "Operation is only valid for integral template arguments"' 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-snapshot -fcolor-diagnostics -fno-crash-diagnostics -std=c++20 -Wall <source>
1.      <eof> parser at end of file
2.      <source>:14:10: instantiating function definition 'BaseClass<tag>::Pimpl::do_something<11>'
 #0 0x000055e121dedfff llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4075fff)
 #1 0x000055e121debd3c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4073d3c)
 #2 0x000055e121d396e8 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007fc6a61c9420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007fc6a5c9600b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #5 0x00007fc6a5c75859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #6 0x00007fc6a5c75729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #7 0x00007fc6a5c86fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x000055e124e29585 clang::Sema::BuildExpressionFromIntegralTemplateArgument(clang::TemplateArgument const&, clang::SourceLocation) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x70b1585)
 #9 0x000055e124fad35a (anonymous namespace)::TemplateInstantiator::transformNonTypeTemplateParmRef(clang::Decl*, clang::NonTypeTemplateParmDecl const*, clang::SourceLocation, clang::TemplateArgument, std::optional<unsigned int>) SemaTemplateInstantiate.cpp:0:0
#10 0x000055e124fba24a (anonymous namespace)::TemplateInstantiator::TransformDeclRefExpr(clang::DeclRefExpr*) SemaTemplateInstantiate.cpp:0:0
#11 0x000055e124f96251 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformExpr(clang::Expr*) SemaTemplateInstantiate.cpp:0:0
#12 0x000055e124f962a4 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformExpr(clang::Expr*) SemaTemplateInstantiate.cpp:0:0
#13 0x000055e124faf8f3 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformTemplateArgument(clang::TemplateArgumentLoc const&, clang::TemplateArgumentLoc&, bool) SemaTemplateInstantiate.cpp:0:0
#14 0x000055e124fb2f28 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformTemplateSpecializationType(clang::TypeLocBuilder&, clang::TemplateSpecializationTypeLoc, clang::TemplateName) SemaTemplateInstantiate.cpp:0:0
#15 0x000055e124fa659b clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformType(clang::TypeLocBuilder&, clang::TypeLoc) SemaTemplateInstantiate.cpp:0:0
#16 0x000055e124fbb100 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformElaboratedType(clang::TypeLocBuilder&, clang::ElaboratedTypeLoc) SemaTemplateInstantiate.cpp:0:0
#17 0x000055e124fa62b0 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformType(clang::TypeLocBuilder&, clang::TypeLoc) SemaTemplateInstantiate.cpp:0:0
#18 0x000055e124fab54f clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformType(clang::TypeSourceInfo*) SemaTemplateInstantiate.cpp:0:0
#19 0x000055e124fb3ab5 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformTypeWithDeducedTST(clang::TypeSourceInfo*) SemaTemplateInstantiate.cpp:0:0
#20 0x000055e124fb7431 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformCXXUnresolvedConstructExpr(clang::CXXUnresolvedConstructExpr*) SemaTemplateInstantiate.cpp:0:0
#21 0x000055e124f96344 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformExpr(clang::Expr*) SemaTemplateInstantiate.cpp:0:0
#22 0x000055e124f96c38 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformInitializer(clang::Expr*, bool) (.part.0) SemaTemplateInstantiate.cpp:0:0
#23 0x000055e124f96fbc clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformReturnStmt(clang::ReturnStmt*) SemaTemplateInstantiate.cpp:0:0
#24 0x000055e124fcc299 clang::TreeTransform<(anonymous namespace)::TemplateInstantiator>::TransformCompoundStmt(clang::CompoundStmt*, bool) SemaTemplateInstantiate.cpp:0:0
#25 0x000055e124fd18de clang::Sema::SubstStmt(clang::Stmt*, clang::MultiLevelTemplateArgumentList const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x72598de)
#26 0x000055e12502040a clang::Sema::InstantiateFunctionDefinition(clang::SourceLocation, clang::FunctionDecl*, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x72a840a)
#27 0x000055e12501e75f clang::Sema::PerformPendingInstantiations(bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x72a675f)
#28 0x000055e12461d7a0 clang::Sema::ActOnEndOfTranslationUnitFragment(clang::Sema::TUFragmentKind) (.part.0) Sema.cpp:0:0
#29 0x000055e12461de8a clang::Sema::ActOnEndOfTranslationUnit() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x68a5e8a)
#30 0x000055e1244b9cb3 clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, clang::Sema::ModuleImportState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6741cb3)
#31 0x000055e1244ad80a clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x673580a)
#32 0x000055e123151938 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x53d9938)
#33 0x000055e1229b9da9 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4c41da9)
#34 0x000055e12293dd36 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4bc5d36)
#35 0x000055e122a9d6e7 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4d256e7)
#36 0x000055e11f2e0836 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x1568836)
#37 0x000055e11f2dc34a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#38 0x000055e1227a4e9d 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
#39 0x000055e121d39bd0 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3fc1bd0)
#40 0x000055e1227a575f 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
#41 0x000055e12276d46c clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x49f546c)
#42 0x000055e12276df0d 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+++0x49f5f0d)
#43 0x000055e122775bdd clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x49fdbdd)
#44 0x000055e11f2debec clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x1566bec)
#45 0x000055e11f1eb475 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x1473475)
#46 0x00007fc6a5c77083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#47 0x000055e11f2d6f7e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x155ef7e)
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/eJzkWk1z2ziT_jX0BSUXCfDz4IMi29nM5p24Ys_O3FQg0JS5IQEuADr2_PotgJREUJI3zlrZmtpUbEtko9HP041G44NqXW8EwFWQfAiS6wvam0epru4_3t9_BAEXpeQvVw-PgHRLmwa0QfBM264B9Al9pxrRsgFkJOqU5D0D9GhMpwOyDPBtgG83kpeyMZdSbQJ8-7f9SYs7-PPmQQbhdRAuvd-YBJigleQwPkjD8f_2fS1Y03NAAVlRpehLQG6mGrRRPTPI0E1APkxfGGi7hhrX0Lx0IGgLaO3kbrymH6iGVUO1RkE2akAIofHtXd12zV51dj3r5rCzk_qtIUP3ZBmQpdPs9zlVUwuDmNkps69pbyTicq1lC-axFpsA5wEu0CIgN0gbPugdWXIKArxyOvxu7D8FplfiaKsAr8aesw8DYDS4FjFF9SNoxBoqNihKfJWD0Kj4oC2XoEWAs0HJ2NKKvErsk6w5qkacexCvcjp0fekRRVZRZKWcIs-dR8PuVKBe9213tIVjJMAf7H-ytJiVlCbAt03z1C46Jf8TmP06yt02dRng23to6fjnYXT9Jeu6gCyzIoysokHeYbt57tRX0H1jpk-dCvfpQ1833AqB1rUUt0q2n4SBjaLNVvlSbfoWrIdzJoX2FB3KpC4QJl3JXjH4LBk1tRSOxyVaag3KfkdBGi7V5nID5t9rwbcuI9cBuUYHyp3CrXnI9ZWiAOMvHSinHtUaSdG8oCfa2BCQCtVb8d0woaM6HWBsQ6uidQP8cnDJ3eeb5f0N0n3Z1gZRVPYbpKCTytjkNUtatXnsy0sm29Flh56rte5B20imgqNtVjKPMAQ0Kin7ZhRlYFnrFHRKMtAaONKON_vYtqRaS1ZTAxypXiDNVN2Z0eR7Q9k3xG2QkTHwwssgLO6U3CjaTvAOMSY7F1Oy7eoG1AKeu0YqUNs4W9Ctc_TCqF58C_BtWYt9GNpwRYsN_05VtYjRYoMW0uqlXWe196brzaVGi9ZygRaL5zxdUN0u9Isw9Dkg19YlDVrco8Viw9jCSNmwR1oL6_bXzLPCWtBOP0qDFhWTjVQLXtONkNrUTKNFJeTCEes_dvnqmg2m4xAt_qRNY9PlSPI2XUaWtoCsQFY2_XVUaVCIGgSCI1mhqm7GGQePknsFZBnF9ldoWa6FNlSYmppabFDVC-aik0NVi3qIe5y9no7cx-PZKNvmQUxCFD6HYRgmCUQ44sCrqkIuFF17_aJHnaoWxgXKwxBt-V5I0e9rqY0C2o7D16XzArnR-C7hEuAP4XMcZklVVTYF7OyPZvaXnLBj9q8aoKLvvoj7eiNoE-C8F64e4aiRtpdzWEs4YZ612LeWFCnkaGXj7Ssw-QTqZTDv36jgje00H5n0ZFZSGHg2Y84O3c-uCzJ2kVUspWnEihiHaL1WoI1UsFZmxDlMBc95uk7jRVOL_nmxEf3wojOPCii_1PIydFiiOMahhySedpOwIg3DEilaa_gB_cxqTgeWSBiWnubE15wleVIgWsofsnyiGeM8KTzN6VxztvP6D-vMsK8z83XmacXTt-kkpOKppzOfRkkMuEjy5F0m39PTLnIT8w9Mvu89SrKwjJI88fAXHv6KcpJQ2y8VUry0stfIVtW6c3mo8AF92iVOqYY3RlGhK6na36V4eOlgK3lHVfsVKp-Xa2BNgJczFo60tIJb0ubic9JWrxc8q305LDvbgjYBWe3Sk80ANmkXaFqw7XHCYR6weTH0SSwpjv8XJD5sSbS4v0JlY-6Qud2L5ZvNjXxzixQnkUebAtgZYZc7P4PkZgbmEMXPmo8PzKfxP8h8MhtxVV6Rs5v_tgz1WbJTSeqI6ChUStm8mYx4NnJwhfNfRsZ9B6ymTf23yx0268xoeelsZnGJ3-bbU1wc6nGsHJX9nbbwZpaSWcikSVGen6W387FF_kZ46SwIyigMzz-gG1vn2EXa24H6bX8Gcjb3KC7PD_nXeTSfwSuTuPo_gjcUCJ9EJX8mWc_Ko5LQMvklQP6szeM18J4Bf7h_eGdYeF6wZDE5fwWw-uuvP4QCLZsn4Cs7vaiemcOJ9TW5t0M9KHZI_A-qFvBBscPI-SfIT6I2bkKDUyj2032A88uOKmNXr2_ERubYqpKdHdtXt3l9b9pZDTR9_nY3zeoYxnBRnH9AybaTveCHYPw3y58tz_Cs8OBRzuH46vi-L7U5NGRiwOTpv_rG1J_hCQ5Wzp9rPV0fv_8SGCdFzmG3BLYgvfIjCXEYh_Q4yAlft-M24fVul3AG_LV16b7xbgU8uGf-9wz4aR6H1MOf-fgjyJLqOP47UDbu7kDwWmz2bNiOA5yfz-Y0SyrPZr_ASCOe0fC4zUtmvogbwb9Ubtw0zto_RG1uFd0cLoX2DR_-2EoMhx3HUt3xUVPMjYP8RECdNG57tvK-TKY5TSD3vO9vSsdxWbDSW47euX31yecH2bmhOwTvlLsvHf2vHu6MCshqtlvxUcm--wqV21052Pja8fEvyfsGPrWdVObeUAPnyQJpFkesJB4Pfp0QU577WcBhX85LseF4L_0FIzfNSJL7I9ff4iZREhV-cbCSHD6CWLpks53BgfUGxkdnibKE8KIguWepN9Xjoiw49ebHWyWFAcGPmHoeI2MWR5wWnpGxbyThnKRoNqvabofEx-A4o6dRnSWW45IlnKQeEG_axrTgKWT-ObMzeY_naTdPzasID-9QGL03AI6TFDIPwHRKjioMYW49waJ1S62OyXnYUin64hLLij1Std8mtolmhfxneIWeZM3PgyNK0jyfOSLzcXBGYoq27K-iB5cqJmjuW9o0_wHMSPXJnSseAeWSzb6J1TEeUnmFE1f1E6ijE5R_6IEzGkPBHTMTvdtz0LVy5Lq327sVYyHKaNOUlH1bV8LP-EPfYxCtopVsWyr4fFQfdeKx7fkJP0bVYjPOI4OHdw3Wa_b8HEXDl5Lqmq21Ex9Z9ITtg7VRtDZ6-3qmjjaNHRRSTd5bkUm15qJo4Nw1CXDW0LbkNMDZniqcbw89f5PlcX8U86PKkocTVxw7kBwXLb24pxU0Lx6dr7vu_SOfVCwqeTiN_DichVgyKyr_34XIrHo8FQtx5BOX8jhlJ4lzvqMHU-aWTS-bzxpagVOb_K-ILme7_Tts7zolFFUSp8wLKDznpQr5W3n5TZb6NCm_yXK2_Jzm2cPUvIuDjtZqcq_uB3kcg-XXsFmF3GPTr8eyLCn5STavJ5-9yuFIyXDKC7-QzfcvUIqKl9znL55N7FDCOEq3JcrWfpdWlmNS-J-n7fcvStIS_JGUeLZHUMZZgqzV7955nJE4S7zO5_dCsjAnaL1u6tLmYqrMemLJj94UicPcW8zF87orrTJAg_73ZziBKtvvKM2uiYJS7lx_vFBbjSsCxMYAHu4zou-1eUTwXNtg4IAiEls7ew1o8YSMRBoA1ZMyfexsW6GPd33BDiHbeHaB9YJfEV6Qgl7AVZRmWZ6kOM4vHq_irMQ8S9IkT0lJqhInBKIiJ1EGtKqS7KK-wiEmIQnt6jKM88skpGFK8zjPyyIrChrEIbS0bi5taF9Ktblwtyiv0ihKiouGltBodwsdYwHfkXsZYBwk1xfqyt2_LPuNDuKwqbXRey2mNg1cTS8xbm8mS4EEaAN8d0nUZS6tBxJ3N0d3F_lsmXrRq-bq5y-EOjT_HQAA__-P-LL2">