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

    <tr>
        <th>Summary</th>
        <td>
            [mlir]  -buffer-deallocation crashes 
        </td>
    </tr>

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

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

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

<pre>
    git version: 761bf333e378b52614c

system: `Ubuntu 18.04.6 LTS`

reproduce with: `mlir-opt -buffer-deallocation a.mlir`

a.mlir:
``` 
func.func @invCriticalEdge(%arg: i1) -> memref<f32> {
  %0 = memref.alloc() : memref<f32>
  cf.cond_br%arg, ^bb1(%0 :memref< f32>), ^abb(%0 : memref<f32>)
^bb1(%5: memref<f32>):
 return %5 : memref<f32>
^abb(%6: memref<f32>):
  return %6 : memref<f32>
}
``` 
stack trace:

``` 
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt -buffer-deallocation a.mlir
 #0 0x00005645a1517128 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d7128)
 #1 0x00005645a1514c3e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d4c3e)
 #2 0x00005645a1517abd SignalHandler(int) Signals.cpp:0:0
 #3 0x00007fe8dd4fd420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00005645a1a4e4b4 mlir::bufferization::deallocateBuffers(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x160e4b4)
 #5 0x00005645a1a51d6b (anonymous namespace)::BufferDeallocationPass::runOnOperation() BufferDeallocation.cpp:0:0
 #6 0x00005645a46092d6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c92d6)
 #7 0x00005645a4609c40 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c9c40)
 #8 0x00005645a460effe mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0::operator()(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&) const Pass.cpp:0:0
 #9 0x00005645a460b31b mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41cb31b)
#10 0x00005645a4609428 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c9428)
#11 0x00005645a4609c40 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c9c40)
#12 0x00005645a460c282 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41cc282)
#13 0x00005645a4604ab1 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#14 0x00005645a460470b 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
#15 0x00005645a46b13a5 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) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x42713a5)
#16 0x00005645a45ffb35 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41bfb35)
#17 0x00005645a45ffddf mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41bfddf)
#18 0x00005645a460010e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c010e)
#19 0x00005645a14f7d67 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10b7d67)
#20 0x00007fe8dcb1b083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#21 0x00005645a14f78ee _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10b78ee)
``` 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWdtu4zgS_Rr6hYhAUfcHP7idGBsgQYKk99ngpSRzR6a0JNWTzNcvKMmO5Djd04t4GnsBElsSi8VzTlVRJM2sVZUGWKLkC0quF6xzu8Ys2QswLha8ka_LSjn8DYxVjUbRCmdpyMsoiiDKcp7QNIwFIteIrIZP-2od7L0hSsnfeaddh8M8IHGQ4ruvzyglU2sDrWlkJwD_rtxu7LWvlblqWoeveFeWYK4ksLpuBHOq0ZgFvv3Ez_gwGm99a_-Hh_uy0yLwHxjFROlva6OcEqy-kRUgmiOaMFP50VWIaIGvUHSD97A3UKJoXUbU36Psy-AMY0QTglF0PdoEPbreT4G9l5Ouh26iDESj5ZabcUC6xii54TwcMHifq2NfPHamxWjHOJ_YvRuEFiP3icfkA8ODTtiA64z2hJKPkU_HTn_kceIy_Y7L7Pp8pKxj4jfsDBPwFs2zlo93N6vnG2w7vlcOM8y7ChtoG-Owa_DOudZ6D3SD6KZSbtfxQDR7RDd1_e3wddWa5h8gHKIbZW0HFtENZlpipUXdScBuB1gYZneYM_FbDysYhn_ugcpu3x5xkgCR4tE0lWF7zEzV7UE72yc13UjmGKIb-8cropv7u9unAwQDNTAL7xHxTtXSfyuN6OZPFcUQAkQjgskLIYQkaZywMAmzkOa4Jx6tUOSLdLh4NEq7nsrXXnKavxkZ9vu2sc4A2yOa-iRU2vUp7jPh0wgh-oW8hER6iMck9hzCEw6xiOAch6dOP6tKs_pvTMsajD1U4kVgehQzmPRUasYlngFCNB-VGx7bQLQ-a0j_f3QUjY6yEnIp41LGlODt1oB1jYGtcSOjWnFENy95uk3jq1rp7uWq0t3Q0LqdASYD2wRkQBzHlMzwxjO8LIaYx_gwe0arIbvUH31eDY-OmQZf-kYv8FuHhxbMYExXl5I9JR7ljEYyp5GEMuV-bKYb_bpvOos124Nt-6wuBqgD_OtJ4TwyO2aR6fSDnnDpU-h9h_OhS6dg4pQUVKYTTSU4puqDXF-bh9aPu5KsdY05Dj9TtQfmBV3jj6Setqw0q1-tsvdMs8pn3Brzpqn9d6f7N7y8YPXGofCMZ_HJTiURMflpSR5VC7XScJJw3vTINP10jaad_FC32jrTT-aNeed1bjCpmgP2R2ZAu1tdNlg02rrLlYkPg4jn1Z6fhAHKEn46DJPCWNlXLW73bY1oPqg31hai8ZYMl01v7LXqJ_Rp7D5vvIf28d6L2idAMUiLvbPzFVqc6MCjkH-yDhcKqUf6trijUUhOKyum-f_YZBNPlgpekvD_k82vnmx8GOhJGATN6Qn6gx5n8_AvWErEofCoZrCjE9gx4yFuwZSN2a-Ex2N_sDC2To6L0h0zILetMyhav_V4bjoj4L4yfiM5BuYklTyxdaMdvLh3Yb-vlXlo3T1Tet3oUlUTHwWetL6f-zy_-JRfRvhkIX3XVH4v_AS2q93kud8ve_LbYfv2UQdE8yP9Tqt_dvCO_j3sG_M6LKZmckkoWVe7rYQaHHzcJ7rpt5lr_HEQit7ItwhW1363ti01itZnVfyz4bw4nzd014rVINwTVMo68_o-P76XA7NX8I1n1-jqr2Xyncj8OEOTeYbyMGLJhLtta-VWWj6aRoC1B7i_JO_-A6viuxbTtmdnlK6eoPzw8WXmZJr5gM_m5PmOKilLHiXnq-G_rZYv89bjXsCZwtmpwlKWHyo8LlXEjg2LktXPJs6P5LkYbSnLGe3TDREJCXwK7V_CT3j4M36zjU4Yl5lMM7xnSl_mPIx7_1MAlEyPsQQPOckjvN3Wioutdcy47Yjm6LjybVd34paSl-MtDaIQ0Y2wHaKbIDhe9o29n0CgaBXF1H--DR-e8s8B8DDwpRTIYRKC4yn1Qi4jWUQFW8AyzGhKoiJO88VuSSFjEJURJSwtCyA8ieKiKCVPM0GBsYVaUkJjUoQhyWhM8yAPmSwIEzzjIJMwQzGBPVN14HEGjakW_en1MiR5mNBFzTjUtv9Fh9I-LSlFyfXCLHtevKssikmtrLNvHpxydf8rUN8hucbnD5r7w3CweNGZevnvH7KPSL8t6b8CAAD__yxlGEc">