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

    <tr>
        <th>Summary</th>
        <td>
            Clang crash: Assertion `materialized_use_empty() && "Uses remain when a value is destroyed!"' failed. (since clang-15)
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          shao-hua-li
      </td>
    </tr>
</table>

<pre>
    clang at -O1 crashes on the test case.

Bisected to 702d5de4380b1e1554e5b90863093c3a57f76f70, which was committed by @nikic 

Compiler explorer: https://godbolt.org/z/xrWex8Yoj

```console
% cat a.c
int a, b, c, g;
static int *d;
static int **e = &d;
char f[2][1][2];
char h, i;
void j() {
  int **k[9];
  k[g] = &d;
  for (; h;) {
 c = 0;
    for (; c <= 0; c++) {
      char *l = &f[c + 1][0][c + 1];
      if (b)
        a = 0;
      *l = 0;
      for (; i;)
        ++**e;
    }
  }
}
int main() {}
% clang -O1 a.c
1.      <eof> parser at end of file
2.      Code generation
3. Running pass 'Function Pass Manager' on module 'reduced.c'.
4. Running pass 'CodeGen Prepare' on function '@j'
 #0 0x00007fa0eda2a414 PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x00007fa0eda27bb4 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fa0ecd91090 (/lib/x86_64-linux-gnu/libc.so.6+0x43090)
 #3 0x00007fa0ecd9100b raise /build/glibc-BHL3KM/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #4 0x00007fa0ecd70859 abort /build/glibc-BHL3KM/glibc-2.31/stdlib/abort.c:81:7
 #5 0x00007fa0ecd70729 get_sysdep_segment_value /build/glibc-BHL3KM/glibc-2.31/intl/loadmsgcat.c:509:8
 #6 0x00007fa0ecd70729 _nl_load_domain /build/glibc-BHL3KM/glibc-2.31/intl/loadmsgcat.c:970:34
 #7 0x00007fa0ecd81fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x00007fa0edc3d710 llvm::Value::~Value() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libLLVM-15git.so+0xac1710)
 #9 0x00007fa0edc3d782 llvm::Value::deleteValue() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libLLVM-15git.so+0xac1782)
#10 0x00007fa0edd3800e (anonymous namespace)::CodeGenPrepare::runOnFunction(llvm::Function&) (.part.0) CodeGenPrepare.cpp:0:0
#11 0x00007fa0edbc0df5 llvm::FPPassManager::runOnFunction(llvm::Function&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libLLVM-15git.so+0xa44df5)
#12 0x00007fa0edbc1039 llvm::FPPassManager::runOnModule(llvm::Module&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libLLVM-15git.so+0xa45039)
#13 0x00007fa0edbc1882 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libLLVM-15git.so+0xa45882)
#14 0x00007fa0f36b879a clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream> >) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libclang-cpp.so.15git+0x1ccc79a)
#15 0x00007fa0f3acf723 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libclang-cpp.so.15git+0x20e3723)
#16 0x00007fa0f23e0ad9 clang::ParseAST(clang::Sema&, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libclang-cpp.so.15git+0x9f4ad9)
#17 0x00007fa0f3ace0c8 clang::CodeGenAction::ExecuteAction() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libclang-cpp.so.15git+0x20e20c8)
#18 0x00007fa0f4608dc9 clang::FrontendAction::Execute() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libclang-cpp.so.15git+0x2c1cdc9)
#19 0x00007fa0f458f0ee clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libclang-cpp.so.15git+0x2ba30ee)
#20 0x00007fa0f4698a73 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/../lib/libclang-cpp.so.15git+0x2caca73)
#21 0x00005601bc01e182 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/clang-15+0x15182)
#22 0x00005601bc01a7b8 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&) driver.cpp:0:0
#23 0x00005601bc017381 main (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/clang-15+0xe381)
#24 0x00007fa0ecd72083 __libc_start_main /build/glibc-BHL3KM/glibc-2.31/csu/../csu/libc-start.c:342:3
#25 0x00005601bc01a32e _start (/zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin/clang-15+0x1132e)
clang-15: error: unable to execute command: Aborted
clang-15: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 702d5de4380b1e1554e5b90863093c3a57f76f70)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /zdata/shaoli/compilers/ccbuilder-compilers/clang-702d5de4380b1e1554e5b90863093c3a57f76f70/bin
clang-15: note: diagnostic msg:
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-15: note: diagnostic msg: /tmp/reduced-8597d0.c
clang-15: note: diagnostic msg: /tmp/reduced-8597d0.sh
clang-15: note: diagnostic msg:

********************
%
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzUWVtz4yj2_zTkhbILgWRJD3mwnXi665_-J9XJzNQ-uRAc2XTL4AWUTuZhP_sWSLYlJ73dqdmayaYcXQ5wLr9zAQF3Tm00wCXKFii7uuCt3xp76bbcTLYtnzTqojLy-VI0XG8w93hym2BhuduCw0ZjvwXswXksuIMpIleIzLvrQjkQHiT2BueEykxCygpSJZBkWQpZVZJixkjJBONZXuezOieILvG3rRJb_I07LMxup3xgUT1jlBKtviqBhzKWZrdXDVgMT_vGWLCIzfHW-71DbI7oCtHVxsjKNH5q7AbR1R-Irp7s7_BU_MN8GXJCM9L9hNHONNBTaYYF95hPRUdQ2mMetKzCRYTLBrFF1-g890rg0AfRufwOHdE5YMSuMKKzUx-x5RbXKFtQlF2hbJF0t_g26rMNMtWR9miUxF8QLRAtMcp7Kh4I-4qyRTlkg3EgbVB29VINjGtjcWDHFngbyCO2Io4gg-6jAaF5eegR0FnE30ix8BcNQXTeHBQIhguM6AL3dpPuNqCxEQdVB5kVouWQijF_RUF8EnXeMNBddcaO2R0siE4bjUX51eHl-Hh8CODvuNIDtxz7hIiKuRQS6RhXybQXyJZgasSu8Z5bBzZkHGiJTY1rdYhK2ndeGgl4Axos98rorpFN8edWa6U3eM-dw4jmq1aL0AHfBcInrvkGLKJ5yN-dkW0DoZcF2QqQU4Fo3idy-pJXkPkLaHxnYc8t9FzqgwREc5SSL-HWoYMoI5g8EUJIXnMCklOeJim-s0r7e8_F1wfLBdyrjebNB65lE1QrQlhH2EvcNbmp2O8Rm5P4f-SdnPHOqyrF58yU9j9kRIeMhCwTUpIYGnTVqCpUjWK2nqWTRun2abLRbdcgps5MZ4guyFPKSElOEYQoYy94kgpbrlzAe1W1qpGhQAU2k8WHG_Z_n46vdMoSRFcuqozoajoNb89Owt4humq1euoIj1EP3YbXyHoqEJtnCWLz5KRJOtYkJ0VWYl4Z639aEy87HOKoKKQIQgZ-zs6F5LTEG_DrTu-1g80OtF8_8qb9aQSU9sH-xnC5cxvBO9EZKYMCJ9mz12SvdbMOA9fShGz8cyLLPEQMS08y87HMIqnl7G0hw1gtZ6OQKUbxLJjME4Kb5nEX5jM2_y1A1z3-q3vuK0yU-ofkngdfbblpFKIr0U-PIWSEiLaDnYyooRRNfn56XlWhqnXh2BnZqOrm5rdPkyTbKD91JhrGRZIn42QoX1hW0Nctk9CAh_duXkGP5oU6NC5ykhWEhBgvuDb6eWdahzXfgdtzAWFcNLSvpYdSGmm21bf6ULARLU4InYizHpPpnls_DTDjMauXJS6oOK6VlSCyzgYeWN2F6eEwO7xZmffloDSVdTZyED2zPiGs_AnrP8X5cWT7gfROLc8IK0eWs3PLi1HmNbDh4rl7HmDwcbdvjjj8T9lfnKXmcPKr2awq8pJ3a7DOnuud8gsuvoKWt63ftx7RYtB8pfhGG-eVcNd6o3Rn-XLI4QNwCfYeuBXb233Ii_Dxop1_2bVP1B_0euB2A_4HnW643rzW5eSpe2-V3nyGekw-OHB-xrAHYd5n9hI7L7uWVqt_trDee4vY8sTI8m_r_TerPKydt8B3o0ESat42ft3V8x8MZNcYseu_P6I6JmK_D7N0jKwYVokQIi_5KK6yUVxxUeeUvQLn0mjX7g5FpVuVPliuXRNX7b9qdRZw8_uHpdEenvy7yLHvIEIJsJyyESLDVVhNGRAuyyEid-GbZn7_MLb3Hna8D93KmOZ0f6eWl3XK5bjE5mehAEQUr2R9n1ld1XkC0Xo4JNs7WOd839GUiGJk73CZWqczUkgxcvTKhgA-lpKhwe_aVJEIKcauLUemZkVNAMau7XT7qJ3nWsDr3v0-Nu85xSvOCMAQDkrGni8Lno-KXm_4CZVHI_hLEF6g1n3rv08YBBc8H1U6elhLZzOSVIIkkBQUC5Gs-22f01Q3t5Y_hymYLeO2Vz9Tz-Nst8RjGl3iwc7HX41GNyzJuhkvS8brKErPbOZ5VeCDv5fJQ6zZA8vvd7xpfgPhTb-YfAWAGPzSqkewr360UHYmNGdFgvuv-b8RHWBFMgLnfIeFkoLh9TpE1dp5bv36LVsQwrWH6OweY2PkEzcjWErD9SQ-O_cNo4A7wX9zGCWMnirIsYnNMVhr4n59q3nVAPYGQxdMceOf67CMxPPKWA_yPwzvdlPrvqoexuKaqwYklm3k3G2kBShaB3jyGGkAWA3q01BH_AjWKaNxkk3JNO4Enh0rKL9tq6kwu-CdEPPdbbK35gsIP90o_4Zjj152t-4PVvV7R63-qs03PdhD6vptLXCJd0ZC-EjDe-PUU9cUK2rTgLxSEZ6_0PUvfKRNWPfPsTx-QuGdizNAH7h_4jc4u7m7uZ7fX-P5w8N8-QE_fLjGq9ubm9vfP_7_L3j18eb6Hj_cRvLi11_w5-u7288PRx3uLOytEeAcSOxMa8NcVLhQlkIUceeMUNyDxLbV2Amr9v7YwQJuQviAxNwfWf4UAsEvfrdHdNXvu0-KrMwlORwI_Dkmbvt2Z_y3XEKzsxO1C3nJZMlKfgGXyawsinSWprOL7WVF0yKpywQSVtCMFCmd5SKhVBYsTfNUXKhLSihLEpIkLM3pbJoXMwZlJWSV8zRLGEoJ7LhqpiH1psZuLpRzLVzmpGTFRcMraFw82aS0W3xQirKrC3sZU7VqNw6lpFHOuxMHr3wDl8tYBeJBZyxDzoHtTjhmZMc9WMUb9QfIdetgDbu9fz4ubGeIzjCi9FcHDluIdf_bFjTmuNv6Vg5LcN6aZ5CIJkEpmvcFaxpKjVNa9IvMWEfLi9Y2l28rQIiuIhYhmyMc_w4AAP__TnnETg">