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

    <tr>
        <th>Summary</th>
        <td>
            [clang] Assertion `SI.isSigned() == E->getType()->isSignedIntegerOrEnumerationType() && "Invalid evaluation result."' failed.
        </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/a7EjYrb14](https://godbolt.org/z/a7EjYrb14)

This invalid code will crash on Clang Assertion Trunk.
```cpp
template<typename T>
class X {
public:
  static const T value = 0 / 0; 
};
X<int> x = y;
namespace std {
  class type_info{};
}
template <typename T>
struct Y {
  static const int value = sizeof(typeid(T));
  const int value_1 = value * 1;
};
```

It seems that this goes back to clang-12.

Stack dump:
```
clang++: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:11795: bool {anonymous}::IntExprEvaluator::Success(const llvm::APSInt&, const clang::Expr*, clang::APValue&): Assertion `SI.isSigned() == E->getType()->isSignedIntegerOrEnumerationType() && "Invalid evaluation result."' 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.      <eof> parser at end of file
2.      <source>:11:1: parsing struct/union/class body 'Y'
 #0 0x0000000003bd3788 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3bd3788)
 #1 0x0000000003bd148c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3bd148c)
 #2 0x0000000003b1ee18 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007ed9c6e42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007ed9c6e969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007ed9c6e42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007ed9c6e287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007ed9c6e2871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007ed9c6e39e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x0000000007b3516c (anonymous namespace)::IntExprEvaluator::Success(clang::APValue const&, clang::Expr const*) ExprConstant.cpp:0:0
#10 0x0000000007b9f92f (anonymous namespace)::IntExprEvaluator::VisitCastExpr(clang::CastExpr const*) ExprConstant.cpp:0:0
#11 0x0000000007b6625c clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::IntExprEvaluator, bool>::Visit(clang::Stmt const*) ExprConstant.cpp:0:0
#12 0x0000000007b56336 Evaluate(clang::APValue&, (anonymous namespace)::EvalInfo&, clang::Expr const*) ExprConstant.cpp:0:0
#13 0x0000000007b58bcf (anonymous namespace)::DataRecursiveIntBinOpEvaluator::process((anonymous namespace)::DataRecursiveIntBinOpEvaluator::EvalResult&) ExprConstant.cpp:0:0
#14 0x0000000007bba543 (anonymous namespace)::IntExprEvaluator::VisitBinaryOperator(clang::BinaryOperator const*) ExprConstant.cpp:0:0
#15 0x0000000007b672fd clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::IntExprEvaluator, bool>::Visit(clang::Stmt const*) ExprConstant.cpp:0:0
#16 0x0000000007b56336 Evaluate(clang::APValue&, (anonymous namespace)::EvalInfo&, clang::Expr const*) ExprConstant.cpp:0:0
#17 0x0000000007b5e8ab EvaluateAsRValue((anonymous namespace)::EvalInfo&, clang::Expr const*, clang::APValue&) ExprConstant.cpp:0:0
#18 0x0000000007b600bc clang::Expr::EvaluateForOverflow(clang::ASTContext const&) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x7b600bc)
#19 0x00000000068cc4c4 clang::Sema::CheckForIntOverflow(clang::Expr const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x68cc4c4)
#20 0x00000000068f985d clang::Sema::CheckCompletedExpr(clang::Expr*, clang::SourceLocation, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x68f985d)
#21 0x0000000006dc89dc clang::Sema::ActOnFinishFullExpr(clang::Expr*, clang::SourceLocation, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6dc89dc)
#22 0x0000000006ae5a07 clang::Sema::ActOnFinishCXXInClassMemberInitializer(clang::Decl*, clang::SourceLocation, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6ae5a07)
#23 0x00000000066b7edd clang::Parser::ParseLexedMemberInitializer(clang::Parser::LateParsedMemberInitializer&) (.part.0) ParseCXXInlineMethods.cpp:0:0
#24 0x00000000066b93bd clang::Parser::ParseLexedMemberInitializers(clang::Parser::ParsingClass&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x66b93bd)
#25 0x000000000670a21b clang::Parser::ParseCXXMemberSpecification(clang::SourceLocation, clang::SourceLocation, clang::ParsedAttributes&, unsigned int, clang::Decl*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x670a21b)
#26 0x000000000670c853 clang::Parser::ParseClassSpecifier(clang::tok::TokenKind, clang::SourceLocation, clang::DeclSpec&, clang::Parser::ParsedTemplateInfo&, clang::AccessSpecifier, bool, clang::Parser::DeclSpecContext, clang::ParsedAttributes&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x670c853)
#27 0x00000000066e1050 clang::Parser::ParseDeclarationSpecifiers(clang::DeclSpec&, clang::Parser::ParsedTemplateInfo&, clang::AccessSpecifier, clang::Parser::DeclSpecContext, clang::Parser::LateParsedAttrList*, clang::ImplicitTypenameContext) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x66e1050)
#28 0x00000000067a8e3a clang::Parser::ParseDeclarationAfterTemplate(clang::DeclaratorContext, clang::Parser::ParsedTemplateInfo&, clang::ParsingDeclRAIIObject&, clang::SourceLocation&, clang::ParsedAttributes&, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x67a8e3a)
#29 0x00000000067b675c clang::Parser::ParseTemplateDeclarationOrSpecialization(clang::DeclaratorContext, clang::SourceLocation&, clang::ParsedAttributes&, clang::AccessSpecifier) (.part.0) ParseTemplate.cpp:0:0
#30 0x00000000067b6a7a clang::Parser::ParseDeclarationStartingWithTemplate(clang::DeclaratorContext, clang::SourceLocation&, clang::ParsedAttributes&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x67b6a7a)
#31 0x00000000066e7d63 clang::Parser::ParseDeclaration(clang::DeclaratorContext, clang::SourceLocation&, clang::ParsedAttributes&, clang::ParsedAttributes&, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x66e7d63)
#32 0x00000000066a6d77 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x66a6d77)
#33 0x00000000066a7c1d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, clang::Sema::ModuleImportState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x66a7c1d)
#34 0x000000000669a13a clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x669a13a)
#35 0x000000000454b258 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x454b258)
#36 0x00000000048053c9 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x48053c9)
#37 0x000000000478458e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x478458e)
#38 0x00000000048eadee clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x48eadee)
#39 0x0000000000ce38ff cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xce38ff)
#40 0x0000000000cdb5ca ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#41 0x000000000458e709 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
#42 0x0000000003b1f2c4 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3b1f2c4)
#43 0x000000000458ecff 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
#44 0x0000000004554d2d clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4554d2d)
#45 0x0000000004555e1d 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+++0x4555e1d)
#46 0x000000000455d205 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x455d205)
#47 0x0000000000ce07a9 clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xce07a9)
#48 0x0000000000bae254 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xbae254)
#49 0x00007ed9c6e29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#50 0x00007ed9c6e29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#51 0x0000000000cdb07e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xcdb07e)
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/eJzkW11z4rjS_jXOjQrKlr8vckFI2Jd9ZyupIbVn9oqS5Qa0MZKPJGeS-fWnJBuwDPmaDVtn62zNzoAltZ5-utXdkgVRiq05wKUXX3nx9QVp9EbIy2f2J-FRFsUXhSifLz088fDkfsMU0qA0JQoQU2gNHCTRUKLiGRG0an78ADluO3v-ted3f0_FtmYVSHTzVFdCgvTCCfLiq43WtfLCiYdnHp6tRVmISo-FXHt49sPDM5Le_PmHLILIi689nL2_O87701vcjD-SipWIihLQd1ZViEqiNkhwNK0IX6OJUiA1Exzdy4Y_jDsJid_-oXXdPtGwrSuiwQun-rkGTraA7r3wpm2lFVEKfUNeetU-qJuiYtSgtl8RUppoRhEVXGl0jx5J1QDywmvkIw_PkO-FV6ibO732wk7MNy-cMq698AY92d7P-yaDQNWEAlK6PEyMUIvFgFwyvhKmpSfRfHYUQqc1Ulo2VKM_-pIdHRjXPS0U-wFi5eHMiGKlh7N7Yw6c7ydGw3HLwI7sZOAJChyQ-887U_RtO9dIAWwV0huikTaWXgtQqCD0AWlhOODrUYDH_UELbVrLZlvv7TIQbod5-Mr8Mb6KZ1II7eFZVT1uR7UUfwI1X7t-s4oVHp5NFvcent081XJqNCRcj43bhJMgSPPYCCqEqAyRhAv-vBWNsgpOvHAy59oMvDEsEC1k-3TRUApKeThrOTPTty2Tu8Wcaw8nHp52hLZgbKsRZdfhtP90cve74dgOyg2cg897ib-Yj5lamGhgrObh3FjFGOZm5IU3a9D3zzW0LebBru-ca1iDvJU3vNmacMAEP_REdrIEeRjPuxUIrYpmVgmqqfTYw9jDKVoRVkHZWeruy81kcYNUU2yZRgQVzRpJqIXUxqyDUMD0pinGVGw7Cx0biinVgDILjPASMU6rpgSkN9CFAeMvWhIKhrJaQi2FIR5KpEQj28dmJFFKUGZjnmw4UlSyWo9fdCt_7Pn5nRRrSbaIyHWzBa5V51Kiti7UBccR7IJj51YjsrOOGmkTkjw8Kxg_eJ3xTjRal9-JXI0iNFqjkTBySV0b6Y2uGz1WaLQ1XKDR6ClLRkRtR-qZa_LkhdeMa6jQaMXF6BFkIRSYdjRaoNFoTelIC1HRDWHcOMJreE1nxUmtNkKj0YqKSshRyciaC6UZVe0clmnnsRdOO3p30SYwhHnh1MSQ8AbVRCqQiGgEvERihVasgrYn7noeBJh1Zv4y9JqBjK9RG708PGs4Ex13SiGT1ZCH0z88nHZRycOhj_wnf_dfWJRhmmW9JaeeVfvhTjKurbXvW5fJDp0k-b4USksg225xmrBtF0L2STb38JX_1MHbpzqDPxjgD6KMnsI_rYDwpr7lZgWTysNZw20ZUKJKmFnOgdaAcdBiF20AEGRoanzkK1DxCPK5hfd_hJeVmTTrmHT6TAXX8LQLtL79fz9F2E2RQpnTBCIcY79TrY3YT1myTKJRxXjzNFrzpm2gYyXGiQVuhziwI1dmnuQrimq9kUDK5YMpLD40gR3vTBAPQUdpgtbKcvFR8FGaOLITVzbO0lWISGGi6ock24GO5PRIclB8WGZQODIzV2aYQ558TKYd4sjM-16XFmEcJNTI3GdktK-n2iT5ntx8lGLbjLzLzm5e3rVNjC-fKBZ6PmzWtO8Czlc5Xv0c4N-ZYnpKlG6rgz7s3dMPYgtcbEmCY9pXd6G32s4q5BVRpmQ-RKMteYClnW5Za2l4-qhSeGrrqTb07_Rz9TIAPqgTdnWKkzBMUDcpnDR2Z-Y34BsRc1OGf4ZThAOQWUHfdIproslXoI1U7BHmXF8xflsPXKQre-wa-8vCzNevtsJrK8536BW5ehUkjsK_4OxXjBP5fFubslQMXN5t-yD_8cDxU7wq_-mOn_wTHD8dgISMFHuQE_W1w_WW-74b08v7p3eAzQZe4vsFPdql7fEYDWZC3j6CXFXi-4DxxX1X6fRSS95t_D65WOuQHk5RcBg4aTPJKI1o5Dg8bEmXSjZAH2ZCzrk-rcqR1T8ZfoeuDx_7LvxVnsXlK_CnYltXoKE8zpSnd9YLuwn5Iqjd1-4X6DmUs9gd5ZwsnJQ0y0t6WrkJ1bd8xjhTm1lTVX9Vu-G_n69tq4yjrZOfEwIx8dM3tZ1--zbnU7P1-w22Bcg5Z5qRiv2AAQHXQKv3EHCKs89Xv9XOUd_J_ElSpFA6nnxnd8y9z1_gCco3tO4P-kI02O-nBiWdluOaSD02GyNk-1p-K8bhN9AbUaqT8RBHA-x5WPwMdvUy-Lt2228tfUD7qTZpYTs2caqBJPUJDopX9Zp--9ZqtaiBshXb-VX2Xp97tbG13kRryYpGg-qS3H6Pb7fRzoi9138-XS0bDl3JgC6axeHrdBlzdlQNXVeLh_bDvXgA_v-Mlx-hyihuBB_XAUcgyvvunPx03TCxm8EeyENwfEHqbu4ur7_HiOcwj2HfMU_qrlII_Nh_lRmjCGkPfvf6q-Owejaef57fo5Bn-P7CTtV-821dMcrsIbipJ_dSzxBhLOWOTTJ3yZAMQvJem0xWGuSO1GOzELv_eZuk9xinC79G7NfJfH5btKfvw27DJXnSJ44D2GtecIaVYUl2rOAWwWbb5x53HNG1Y6tnjds25ptMdiLov2WQczE3zOc74CfzuHtObngg6bu9caGJ1Iyv_8X05uec8qc4OIN_WLX7_uGevycJpGXyemLr8fJ3-8HbPYZznKU8aElyWHQL_IQkZZq-yuLNkwbJSfUim5_BRi-0tYnsPHRYbR06BgU_SWnwetF8L-ov8AhVW9T1ebityb8buNPSC6cDZ_tFiqb-CisvvDnhCfst1W-ibCqYb2sh9ULbpXueItuq6fAw2DzkJDiRAu0b-GwIvVXo3HvVFpKD2dkYRHFU4DjrY56KEn4BPqHWZ7vdJNBGQ_do9w79U5F2QBykTk0eZX4c0ryPdCZNHOLlCahnAtlicEA6lWmUZlGcgUtnO-3cHspROM3oy1qdxZc7nI4imcs2kBLAPVKwkA_6PIpTW8Qjfc8SlDp8jgJOJeRTCLPVClEaLLfEyOi9D59ISZ5tYJnSDekd_JlAM0XuMzxFj4KV59GjRdlXI_JdNcoipgTtyJ8G9zZS9JRZbElV_Q5UC2n2Ayd1srHmMMTIOHVyW0r2CPJkfRUFbtjIIPVzS0xP7qrh1mmX0nJrW9uVuH8tQElVFYQ-LFfcDfjt3J0PTYOp2G4JL4eL-qQNle76idrMTirn1cZCS8bXXRppDbwfsFzSpyd7QcMLJwVRjC6V7d6x6HQ2D5ZaEqbVrnkgjlSVWRNC9tpNl8khxE_2J-TtEA-nFdkWJfFweqAKZ7s7D7-K4rQ9hjcVVphGPVOcuo_Qtnxt-IKsoHp26HzddOe4fGERO54fDl2MmgX8P-wig13Qi74QucTFUYnLF4mztiNHGXPHphPMBwNNh5duEbzSdeIUO2d6QdSp7TjUoNSJYwg-zMuvolAvk_KrKL4wpR1SXgvNez-oCZPd9dkP8Ng5y9_CpiHLYTMZsFliP34J-XXvs1M4nKgYXrLC38jmGcpZS4_DXzqoT_yUdOXsrkLZ4bdhZdIFhbfT9qfXJAaZA92pDf2CAI4jZEB_9tytaGfufHCJKy_zD96Xs0P6MmN_KBMiHy2XZthSaSL1sqfcu2eByJ0lGFZyfgqolf_pNrPC97P3m8MJAintFZTW29Cq22Eg2q2I9pIz-s70BsET0-0PEoIwMjAbBWj0iLRACgCxXtmfD35JIUE3koNZk2bw4BL7RXkZlnmYkwu4DNLQx3GWB8nF5rIISFjgNCoiGtIs8EkMcQolAYiS0i_xBbvEPo4CP_T9EGdhMo6SEsdklWcExyRLsRf5sCWsGpu1MhZyfWGvVl8GQRSk0UVFCqiU_TUJxrvgsCPB3vOemgZ7E1jwUferjEPDcISpln7YV4_Yi68v5KW91100a-VFfsWUVgcgmunK_pCllRJf_3feb79oZHX58xfYO6IfL_F_AgAA__-c-uGa">