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

    <tr>
        <th>Summary</th>
        <td>
            [clang++] Assertion `!VD->mightBeUsableInConstantExpressions(Info.Ctx)' 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/5T1EYWxcv](https://godbolt.org/z/5T1EYWxcv)

This invalid code will crash on Clang Assertion Trunk. It seems that this goes back to clang-11:
```cpp
struct S {
  static const int sdm = sdm = 42;
};
extern S *s;
constexpr int e4 = s->sdm;
```

Stack dump:
```
clang++: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:3079: bool evaluateVarDeclInit({anonymous}::EvalInfo&, const clang::Expr*, const clang::VarDecl*, {anonymous}::CallStackFrame*, clang::APValue*&, const {anonymous}::LValue*): Assertion `!VD->mightBeUsableInConstantExpressions(Info.Ctx)' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-11.0.0/bin/clang++ -gdwarf-4 -g -o /app/output.s -mllvm --x86-asm-syntax=intel -fno-verbose-asm -S --gcc-toolchain=/opt/compiler-explorer/gcc-10.2.0 -fcolor-diagnostics -fno-crash-diagnostics -O3 <source> 
1.      <source>:5:26: current parser token ';'
 #0 0x00005942a8e23f7e llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x31d6f7e)
 #1 0x00005942a8e21d54 llvm::sys::RunSignalHandlers() (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x31d4d54)
 #2 0x00005942a8e21fd1 llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x31d4fd1)
 #3 0x00005942a8d8d9b8 CrashRecoverySignalHandler(int) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x31409b8)
 #4 0x00007f5383a42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #5 0x00007f5383a969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #6 0x00007f5383a42476 raise (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #7 0x00007f5383a287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #8 0x00007f5383a2871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #9 0x00007f5383a39e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#10 0x00005942aba82f02 (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5e35f02)
#11 0x00005942aba838da findCompleteObject((anonymous namespace)::EvalInfo&, clang::Expr const*, clang::AccessKinds, (anonymous namespace)::LValue const&, clang::QualType) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5e368da)
#12 0x00005942abaa68d7 handleLValueToRValueConversion((anonymous namespace)::EvalInfo&, clang::Expr const*, clang::QualType, (anonymous namespace)::LValue const&, clang::APValue&, bool) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5e598d7)
#13 0x00005942abadb0e5 (anonymous namespace)::IntExprEvaluator::VisitCastExpr(clang::CastExpr const*) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5e8e0e5)
#14 0x00005942abaadc3e clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::IntExprEvaluator, bool>::Visit(clang::Stmt const*) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5e60c3e)
#15 0x00005942aba9cf9e Evaluate(clang::APValue&, (anonymous namespace)::EvalInfo&, clang::Expr const*) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5e4ff9e)
#16 0x00005942abab53e2 EvaluateInPlace(clang::APValue&, (anonymous namespace)::EvalInfo&, (anonymous namespace)::LValue const&, clang::Expr const*, bool) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5e683e2)
#17 0x00005942ababff34 clang::Expr::EvaluateAsInitializer(clang::APValue&, clang::ASTContext const&, clang::VarDecl const*, llvm::SmallVectorImpl<std::pair<clang::SourceLocation, clang::PartialDiagnostic> >&) const (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5e72f34)
#18 0x00005942ab9cac6a clang::VarDecl::evaluateValue(llvm::SmallVectorImpl<std::pair<clang::SourceLocation, clang::PartialDiagnostic> >&) const (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5d7dc6a)
#19 0x00005942aafb5f5a clang::Sema::CheckCompleteVariableDeclaration(clang::VarDecl*) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5368f5a)
#20 0x00005942aafb7634 clang::Sema::AddInitializerToDecl(clang::Decl*, clang::Expr*, bool) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x536a634)
#21 0x00005942aad686eb clang::Parser::ParseDeclarationAfterDeclaratorAndAttributes(clang::Declarator&, clang::Parser::ParsedTemplateInfo const&, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x511b6eb)
#22 0x00005942aad7b9ec clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, clang::DeclaratorContext, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x512e9ec)
#23 0x00005942aad52576 clang::Parser::ParseDeclOrFunctionDefInternal(clang::Parser::ParsedAttributesWithRange&, clang::ParsingDeclSpec&, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5105576)
#24 0x00005942aad52c11 clang::Parser::ParseDeclarationOrFunctionDefinition(clang::Parser::ParsedAttributesWithRange&, clang::ParsingDeclSpec*, clang::AccessSpecifier) (.part.0) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x5105c11)
#25 0x00005942aad572a7 clang::Parser::ParseExternalDeclaration(clang::Parser::ParsedAttributesWithRange&, clang::ParsingDeclSpec*) (.localalias) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x510a2a7)
#26 0x00005942aad57c78 clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, bool) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x510ac78)
#27 0x00005942aad4c9e9 clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x50ff9e9)
#28 0x00005942a9dddd38 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x4190d38)
#29 0x00005942a970ae79 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x3abde79)
#30 0x00005942a96c1846 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x3a74846)
#31 0x00005942a97df790 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x3b92790)
#32 0x00005942a6b92c5c cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0xf45c5c)
#33 0x00005942a6b8fd98 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0xf42d98)
#34 0x00005942a9581219 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef> >, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*, bool*) const::'lambda'()>(long) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x3934219)
#35 0x00005942a8d8db3c llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x3140b3c)
#36 0x00005942a9581b36 clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef> >, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*, bool*) const (.part.0) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x3934b36)
#37 0x00005942a955910c clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&) const (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x390c10c)
#38 0x00005942a9559a46 clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) const (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x390ca46)
#39 0x00005942a9562d49 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0x3915d49)
#40 0x00005942a6adc599 main (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0xe8f599)
#41 0x00007f5383a29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#42 0x00007f5383a29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#43 0x00005942a6b8f8ee _start (/opt/compiler-explorer/clang-assertions-11.0.0/bin/clang+++0xf428ee)
clang-11: error: clang frontend command failed due to signal (use -v to see invocation)
Compiler returned: 254
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkWklv4zj2_zTKhbAhkVoPOThO0v_0v4CqqWSqMSeDIp9sdsmihqTSTn36ASl5oeykK-ioDzNAENtc3vLj41tIUq3FugG4DpKbILm9op3ZSHX9In6nTZzHyVUp-ct1gBcBXjxthEYGtGFUAxIaraEBRQ1wVL4giqruxw9Q835wEN4G4fB_KbetqEGhu11bSwUqIAsUJDcbY1odkEWA7wN8v5a8lLWZS7UO8P2PAN8nT9Hdv37bsecguQ1w_vPDcXHK3sktmmdaC46Y5ID-EHWNmKJ6g2SDljVt1mihNSgjZIOeVNd8n6MHgzTAViOzoQYZS2QtQaOSsu_ISMTstFkUWYl6bmnY_7G27Vu0UR0z6BEF2U3fgpA21AiGmGy0QaIxSPMtCsjt4TPGARlGB9nt4TvsDKjG0sILfWh1ZGDXKkcK4p7SLCB3mm-PdPaSncLyaKwivNu25xoMxK2GAb6xf3bF8L2S0gT4vq6ft7NWyd-B2Z_DuPtalAG-Xzw-Bfj-bteqpRWONmZuASELEmaFpVNKWSN4pnVHDXyj6hZY_dAIE-A8yG5oI5uXrey0U34RkMXdM60fmkoGOA3wckCu59n371rljO5C30B-6L5Ifknr2mFxr-gW9oSOJBZfvtG66ztOBLhI69NxqFP1aFQWVBx9u7VLsxXrjbmBf2pa1vDQ7GGyeoDWQjY6wLnVeL40O0sJZ6iiogY-7xfmy6e7xeMd0l25FQZRVHZrpKCVyljD9PdJ2a313C7YsFMQbTgSDas7DshsYNgH1qqNogyshq2CVkkGWgNHWnaqb7YzqdaSCbfpVdcgzZRozfxViwrnQVh8UXKt6BZRte620Bg9WJNsnfUM3mEGe-8wWNSM7tHTsyiah_PQqiOao8VZy0SzNf-DqmoWo9kazaQlTNvWku9M25m5RrOt1R_NZrs8nVG9nemXxtBdQG5FY6BGs6qRs2dQpdRg-9HsEc1ma8ZmRsqabahoAnL7psB2cBTO8TxEs4rJWqoZF3TdSG0E0z0HB7Tf_JmggCwHhMkd6kGLLGin7QFZJAFZ4NQCxzqloDGopUqDQkZ-hwYFOLO7HWeDmwkwCVG4C8MwTIoY0xwwqTJAFojeVPWL7r98UaIxbume-vXPj4MU_WMltVFAt874C2Q36QetXIBvwh2JeFplcHDZVvJoJHnEk_iS5F-75lGsG1r_H214DUo74SaRMeZJ7MmIxzJWPLok47IG2nTt50HSAOdd40IuR7W0XKYRt-KRJy7xxOU5L8ocLa1BfgUmn0G9eEgGOBeNmUa4OCzK3BMuHoTLqoTkhMY4weHAuA8puzxdpfGsFk23m62bru9gcy3nqaPqpng0E59mkRYVQ63ZKKB89d3G_3cxcPM9BulY6DhLkaJCw3tFj7PUo5z5lHGeVQTR0nr3d1F2Ez3K-RnlqHw3zaj0aBY-TVJAkb6PpptyzNkwiTzXVdIcVyH-cEtMgCRViD3G0YgxyTlFlWi4TWFrMPC57HOePMD5Ifyjhm5Bt855FpdzFj9b6VOIC6kGszH3_0XDtUtX3ubRJxt7WmM-_-ho_fTSwhSbOAGS5px60GEfOprmPEMb5056QZ_kV_e5lM0zKJvmTAXjUfW_iOEh9XMdNm-dBs2kyHnmoUl8NHkZQvJnujz0KeRdn1lLNWTAQguzpNr0aXJ-ot6-9QTHKbTLIYTE0y4e2QpnBE5xfzRb4-SW6oZqCMjyGFm39DusnMCr1qifWOIzWPZL6fKqPUI-MlaAiVFJQ0bAQyXxUSlYVQAaxAZfPt8wP2oTTaFmXFWFr2bqq1kmBPBBzYfmS90noR-k7V_a_2dOZjoXkOYE_FiUjXCqKhKflb0HlS14C23LaEFr8QPUWxCedjw-LWVjYGdeA2EooT0cjtvxcUvr-hswI9XDtq1t1WJ439VSoQKyPN1WrqD5JBk1zv17fL5QZWW_PdRHriAid0PhMVTdHw58hisSe8DnHvAFoyyll84U3I_jOYaDN__vQYZnnKV-jC9OkaFVmVSJh8wjbOkQWjbAvu-Tpm9UCVrWYFGjatAwf-WUZoLNRdK8SjxNcDjSJEv9zXXUZMH5ya56kr2gp9KfHDBdPpWazGuQlKa-8WIvg6U8zVMoR7akQZ18P1mURWVA7X9LtWj4whglys6APle5H3TuL8448CfYtrVz7pV8zcuczrqX6itt1tAfCk5jE1FUplB60GEfuqwsgP0pdL8o2bU-OLZPNGvb-9gCO9f1iN7gekf9Y2cwNq2_HSsMBTAPK-JjleAkS_8Uq8_qvmuY5XkL1UNjQPUnIm8az9EEfxNm43S9bD1vQt5XVrZPVMKiMAVMYZJkXiGL4zFMLIp-djd6aAnrgsZu86PAulyGjsGat1QZq_800LEo8qBLRtBlmGZvQne36w3q1SjzgXD1gNSS0ZrWguqJQKGYemUhTsegsCx_E5Qn2X6CZ6jPo9bnlv67gy9mlIgcfNpXqPYpxoQRLAopy3JPx8zXMWYFFGc6ukumfBywT4WdUOjQ1jSFJ7SXMxacc068hVlKDr9As3D7eZ8gAOsMDE3TnFzHURFy4uPrJXFFFlLIPHzvlQ1KDb8g61Tn67TkkHmA-rcXRcqiPE59QHu-D-7ujMFlTF9Xa6LbDJrFeezFAP82o8h4lRWhnyg6mY8KPR8Cf_6WwtMEe1IWOCtCTwMvMUrLArOEIcai1ZZaGic1z0Ip-uI8x5Jt6EntbD3JEvlteImepeATKVLFCUu8pMW_BEnLvOJFjvbwL6Mn5y_erODOlZrEjKoY88LbtcTLJIokj3BUOPhOavFqyBdWyq2A6-237OGsi9G6Lin7vqoa3-9zJZ73kWO5jJZyu6UNH-_-iyt9bPzcWva09hofjRLNug8naDCEQyW8WrHdrn9DQRYl1YKttBs_gO0Ntg0ro6gwet89IkdrG5Pd2ee-v2d5UoctDjVzPyfAWU23JacBzo5o4Xyy67mCxDjyvV0yvp4rCTtZWO-ibl8zHK5AaQX1i7c4bxvCRLd6JfF3Wzq22JJ4Hvx_0eImzqOtaZXEDz-ZvwxJEYXs1WVwMtCzuL9fGy8gjSbaAa8V928MXUx6iEWKkEWhb5f5GBAav26XrwDyqyz162j8KstPQvsHqu85F3RX7z8P4N9wGGhxpKO8xs8jkxTzuHhN5tuT716-cyHReQ3_vxfHj0cwSnjsef3Yy3FTyllSFMjmVB_OHfIqKXzm0egtQMGLdz66cFM8mnhME-IQrVZ22kobqszqRLuf5gKxz-UsjcsBUE9_ikwsh-P9VT_dRQ8ESrk71t6-UDXUF4gNdtW_2EO8A2Qk0u55jZWv04Bmz64NAImTdL8YPZdVYDrVgDVqhJN49Ebzil8TXpCCXsF1lOE8x1mS51eb65AUEUCWJ4RHBedVmocZFDjhYcaSjOMrcY1DHEdhRCKSkDCfs5SmOM-rHBd5kZMkiEPYUlEf3g1eCa07uI4iHJHsqqYl1No9GcZ4v7v2-gcYB3hpO9xzN9nMhqe3x47xDJuw_HBXVjhIbq_UtXtfWnZrHcRhLbQ5PmC8MsLU7rXy6Uoltx__0vKqU_X16MmxMJuunDO5Hd7Anj-FdTjpAN8PUD1f4_8EAAD__4XPwY0">