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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR]`-test-ir-visitors` triggers Assertion Failure `use_empty() && "Cannot destroy a value that still has uses!"'
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </td>
    </tr>

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

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

<pre>
    Test on commit: https://github.com/llvm/llvm-project/commit/a9882bda96228ca23e166a817f93a7dbc99763cb
steps to reproduce:
```
mlir-opt test.mlir -test-ir-visitors
```
test case:
```
module {
  func.func @ifElseNested(%arg0: i1, %arg1: memref<2xf32>, %arg2: memref<2xf32>) {
    %0 = memref.alloc() : memref<2xf32>
    test.buffer_based in(%arg1: memref<2xf32>) out(%0: memref<2xf32>)
    cf.cond_br %arg0,
      ^bb1(%arg1, %0 : memref<2xf32>, memref<2xf32>),
      ^bb2(%0, %arg1 : memref<2xf32>, memref<2xf32>)
 ^bb1(%1: memref<2xf32>, %2: memref<2xf32>):
    cf.br ^bb5(%1, %2 : memref<2xf32>, memref<2xf32>)
  ^bb2(%3: memref<2xf32>, %4: memref<2xf32>):
    cf.cond_br %arg0, ^bb3(%3 : memref<2xf32>), ^bb4(%4 : memref<2xf32>)
  ^bb3(%5: memref<2xf32>):
    cf.br ^bb5(%5, %3 : memref<2xf32>, memref<2xf32>)
  ^bb4(%6: memref<2xf32>):
    cf.br ^bb5(%3, %6 : memref<2xf32>, memref<2xf32>)
  ^bb5(%7: memref<2xf32>, %8: memref<2xf32>):
    %9 = memref.alloc() : memref<2xf32>
 test.buffer_based in(%7: memref<2xf32>) out(%9: memref<2xf32>)
 test.copy(%9, %arg2) : (memref<2xf32>, memref<2xf32>)
    return
 }
}
```
crash trace:
```
mlir-opt: /home/workdir/llvm-project-19/mlir/include/mlir/IR/UseDefLists.h:198: mlir::IRObjectWithUseList<mlir::OpOperand>::~IRObjectWithUseList() [OperandType = mlir::OpOperand]: Assertion `use_empty() && "Cannot destroy a value that still has uses!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: ./mlir-opt /home/workdir/test.mlir -test-ir-visitors
 #0 0x000058b679ff0998 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (./mlir-opt+0x108a998)
 #1 0x000058b679fee4be llvm::sys::RunSignalHandlers() (./mlir-opt+0x10884be)
 #2 0x000058b679ff13a8 SignalHandler(int) Signals.cpp:0:0
 #3 0x000078a239f02520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x000078a239f569fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x000078a239f02476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x000078a239ee87f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x000078a239ee871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x000078a239ef9e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x000058b67d3a0277 mlir::Block::~Block() (./mlir-opt+0x443a277)
#10 0x000058b67d3a069d mlir::Block::erase() (./mlir-opt+0x443a69d)
#11 0x000058b67c95db2e void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Block*)>, mlir::WalkOrder) (./mlir-opt+0x39f7b2e)
#12 0x000058b67c95db13 void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Block*)>, mlir::WalkOrder) (./mlir-opt+0x39f7b13)
#13 0x000058b67d1ad0c9 (anonymous namespace)::TestIRVisitorsPass::runOnOperation() TestVisitors.cpp:0:0
#14 0x000058b67d2c13bf mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x435b3bf)
#15 0x000058b67d2c1ba2 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x435bba2)
#16 0x000058b67d2c434e mlir::PassManager::run(mlir::Operation*) (./mlir-opt+0x435e34e)
#17 0x000058b67d2bce6b performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#18 0x000058b67d2bcacb llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_0>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#19 0x000058b67d365df5 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) (./mlir-opt+0x43ffdf5)
#20 0x000058b67d2b79b2 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (./mlir-opt+0x43519b2)
#21 0x000058b67d2b7c63 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x4351c63)
#22 0x000058b67d2b7e72 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x4351e72)
#23 0x000058b679fcfc27 main (./mlir-opt+0x1069c27)
#24 0x000078a239ee9d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#25 0x000078a239ee9e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#26 0x000058b679fcf795 _start (./mlir-opt+0x1069795)
Aborted (core dumped)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWU1v4zjS_jXMhYhBkfriwQfFifEG6LwJ0j07R4OSSjY3Mqklqe7ksr99QUm2bMdyjxuzu9gBuhOHrHrqqSqyiqSFtXKtAOYoukPR_Y1o3Uab-bu0Qq3JTa7Lj_k3sA5rhQu93UqHWIY3zjUWsQzRJaLLtXSbNp8Veovosq6_737dNkb_HQqH6HJQpUvB05TmpeAxpWkhKIMgjkUaJBVnIinzgvMkZkWOSGYdNBY7jQ00RpdtAd4iyVBMhn8k29bS3OrGYQfWzfxf-NZ_vJXm9ru00mljT1T8NC6EPYemy7YGjJI7RDKMq1YVM_8Do5DI6qG28P9gHZSIpohGwqyJD4YMEF3gfiDwA1vYGqgQW9D3ilHEHsZ5OjHP90axlyQYsftBbibqWhedSY7Pq_d6XQjytqrArHJhocRS7ZlOEeNYt66XIlMiA35RzQqtylVu8M57uhjmMEbRQ54HB_Z6n8kEZbo4b-oUke64jSG-EpFkR9wuZmgyPf1aGaLgA-ARox3ioHw9sSMf2SVm4R9i9jk_vQU2WJhiyPeSYS8ZTkvuaQ-g0a_ELBrcmmT0s5gNPONfMc4G4_GvGh9wkksJS3_ODNGIX73Rp3f5FJ2DLc4vZbVDLnTzsZM9qFoDI0TT68KFsQHXGtXtwuTe19v-50HVLYywG-yMuFTge-vLjd4Cossf2ryV0pz0mduAI7r0GogupSrqtoRx4PEV0eVvFu6h-iKts7MNYlnA-zx5EZYhlj2-Puce63fpNr9Z8JKILcb55-a5ASNU6Z3sRv55TmVIYnQ3SH_7aKBP9Rmk6N5zyKwF46RWGMWktbCCbeM-dkg0RjTGiNKFUEo7XIJ1Rn9ggb-LugXsNsJh62Rd442wuLVgEQ0QpYgmuBKyhnKGSPby5SH7-oBtm2-lwwLn7dq3V22cb7RXt3VpbesNLbFQfiF2IcduA7hPai6Kty6x3vZXJ4o3XLbbpk8zmfV1_sXotRFbLMy63YJyngGeDYnrmvu5xF9u-BhRRjB5J4SQKM3jhFcV4TzFnR9d_O2H7T-8GKlcR-5btwZpOgoZ8WOlrTMgtl0KFlgq1yckPaSI6B15D0gqOE93TYey4JgBQJjDOQavrfoq10rU_ydUWYOx-6yfNZKGOYxG6ImbARMpPoJDNB1Y98N2VjQ-B6T736OwASVJBWW8IjSiBHc0lrXMEV2-p_EqDm9rqdr327Vq-4liZvUs7oiFXmWkFR4DRjGvCty4jQFRrt78Or0KnXv9ET06pRsmMV7bzr1raYdJPALHR8AAaVIxLHK_Qa6CpV5xhE0-wQb51YBBPgKmx4AVBx5fB8i8ygjID5dRyQShSXJQre5qXbwNBa__PL1Ew5AJmiQ9tt8G5BQ75uV5bDD-YH4ZOublCH20xQoelTkF_F3LQ_wSnJB1__mHqN-OCvpSmx_ClI8OjHDadL0rPazSflxqhWjmt_-4e_3FwE-s-s7X2TxSHcKUdT2_b5P7ud9F_fZsSr83zzvKeJXkFEZH6SdHA_aXcTRgo6PsaLEEoiRFpymUVh9b3VqsxBZs05Vq3lvxN9TH178N9f9F2KGwmlY9qwPPunXlhXeiJ5XQ2w-P7NMiYHk1EePn5pt-bry5rBRNF9TB6lF8Oj59VKfjPc5kStQfVtonocTaB26Bc61r_7tV3W29vNSFQhblLK_GgEanDuWCXu3Qi2yglgpO1owX3fOM_3QPD5W8qUdlnekOCdp8Qj0W6C33EwP3F2FAuUdVaVxo5U9p2aUg5oKOQYxPghiyEE5s77w5uwaOgzFpFFh4sOeTY6N5AXGOGzCVNtus25P2J6cV68rhrLERBspV4wxii1Hjq25NAU9rXw52QTlJ49OXx9eFVg7e3aeQP9XSPDfuSUi10KqS6wMMjg9mz-yz9NQ5UeQHVeeLXstC1K9g29pNV6MpBUTTve-tkv9o4ZPvT7DV5uOuu0odxaqESrS1W5VQg4NpHX8DeDiulacZ4PtrQiHq2h-HV5U6KssHQfqjufy3-zOyu5eihsK9wlpaZz4-L45LC6AXQTRckb7b1Fqt_7OeXMjMT5bnyXkojsoqOnDcNrV0mSpfjC7A2h3X_8qi-x_cEhclDue-OiPV-hWqyeGpWlpVZRXtayklJ-Um4Tk9v5D_attwqtcEPB8bHA1O41PEbDI-Q3MuNqJvw9m1SfuZc9Oki3g8K1J6ShqS6aReQ_pX2UFyEFJ2fDMvqoImeCukmrjYx7yg462Jhid3Rl7yK6_k1KuMgNEpIIQEr1ZeZ2WdMG61I3eNCQgPTMSnLic8wj34pNMJH7Zp5q_Z0F0uCm2geyqC3V1v9yZ4U85ZyRkXNzAPkpDQgJGE3mzmofCjFY9ETqogLUQVVWlScRrkASFxciPnlNCIUEpJyoKAziiLIC6DiouQBEWUopDAVsh65hfFTJv1Tfe-NQ-ol7-pRQ617b4oo7R_VKQour8x8-5VLG_XFoWk7t4W9whOurr7cs0fo1B0j2Ly-b0qJtgZuV6DsQfPgEsh69bAn_4ceNOaev7rT31DNL7P6b8CAAD__3LgS88">