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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR]`TestFuncEraseArg` triggers crash with Assertion Failure `!NodePtr->isKnownSentinel()' 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    Test on commit: https://github.com/llvm/llvm-project/commit/333ae0a6c4d2209e3b8c6c672986a52644bd5baf

steps to reproduce:

```
mlir-opt -test-func-erase-arg test.mlir
```
test case:
```
module {
  llvm.func @malloc(i64) -> !llvm.ptr<i8>
}
```
backtrace:
```
mlir-opt: /home/ty/llvm-project/llvm/include/llvm/ADT/ilist_iterator.h:138: llvm::ilist_iterator<OptionsT, IsReverse, IsConst>::reference llvm::ilist_iterator<OptionsT, IsReverse, IsConst>::operator*() const [with OptionsT = llvm::ilist_detail::node_options<mlir::Block, true, false, void>; bool IsReverse = false; bool IsConst = false; llvm::ilist_iterator<OptionsT, IsReverse, IsConst>::reference = mlir::Block&]: Assertion `!NodePtr->isKnownSentinel()' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /home/ty/llvm-project/build/bin/mlir-opt -test-func-erase-arg test.mlir
 #0 0x000055a25c3ec4ea llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/ty/llvm-project/build/bin/mlir-opt+0x2244ea)
 #1 0x000055a25c3e977c SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f8927ed0980 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12980)
 #3 0x00007f8926fc8e87 raise /build/glibc-CVJwZb/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #4 0x00007f8926fca7f1 abort /build/glibc-CVJwZb/glibc-2.27/stdlib/abort.c:81:0
 #5 0x00007f8926fba3fa __assert_fail_base /build/glibc-CVJwZb/glibc-2.27/assert/assert.c:89:0
 #6 0x00007f8926fba472 (/lib/x86_64-linux-gnu/libc.so.6+0x30472)
 #7 0x000055a25de28d3d mlir::function_interface_impl::eraseFunctionArguments(mlir::FunctionOpInterface, llvm::BitVector const&, mlir::Type) (/home/ty/llvm-project/build/bin/mlir-opt+0x1c60d3d)
 #8 0x000055a25db957cc (anonymous namespace)::TestFuncEraseArg::runOnOperation() TestFunc.cpp:0:0
 #9 0x000055a25dcb4fe9 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/ty/llvm-project/build/bin/mlir-opt+0x1aecfe9)
#10 0x000055a25dcb5e43 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (.constprop.495) Pass.cpp:0:0
#11 0x000055a25dcb652d mlir::PassManager::run(mlir::Operation*) (/home/ty/llvm-project/build/bin/mlir-opt+0x1aee52d)
#12 0x000055a25dca9453 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#13 0x000055a25dca9b89 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPool*) MlirOptMain.cpp:0:0
#14 0x000055a25dca9eb1 mlir::LogicalResult llvm::function_ref<mlir::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&)::'lambda'(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#15 0x000055a25dd74ce0 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) (/home/ty/llvm-project/build/bin/mlir-opt+0x1bacce0)
#16 0x000055a25dca6b93 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/home/ty/llvm-project/build/bin/mlir-opt+0x1adeb93)
#17 0x000055a25dcaa2a6 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) (/home/ty/llvm-project/build/bin/mlir-opt+0x1ae22a6)
#18 0x000055a25c3b8650 main (/home/ty/llvm-project/build/bin/mlir-opt+0x1f0650)
#19 0x00007f8926fabc87 __libc_start_main /build/glibc-CVJwZb/glibc-2.27/csu/../csu/libc-start.c:344:0
#20 0x000055a25c3cb4aa _start (/home/ty/llvm-project/build/bin/mlir-opt+0x2034aa)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWE1z4yrW_jVkQ8Ulo--FF4oT19vvdCapTuou7saF4EhmGoMGUHf876dAii056b7pSerOnanqjgwcznO-OUCtFa0CWKH0CqXXF7R3O21WV0Dl79DtDuai1vywegTrsFaY6f1eOBRXeOdcZ1FcIbJBZNMKt-vrBdN7RDZSfnv-XHZG_wOYQ2QzbiWbOI4pRDRjCSckKiGuC5axLCdlkdGUZElS87SmDYquUVQNf62DzmKnsYHOaN4z8NATApRF478w3EthLnXn8KUD6y6bXrFLMNTCJTUt9nMLT_LqXr-KGbUTiDPmmvcSMMqvhjHGXtWFB8EoifZUSs0QKUSWIFLiSxTfYESWgahzBsVrUaD4ZuSdX78KUlP21RnKfizFqKJ3BiKbnd4DIht3eGn50R9CMdlzOE1U149-WgrrtsKBoU6bxQ7F1TIuPNdAFlcoruY0KF7fdU5oZR8RWeNP9gt8A2NhGKy1ss6rF3YaaMCAYvAh3HQ37iEVIoU3LvPrGKVX34Xb4WdGGMXXLwA5OCrkMKM0h60eqFG8DrEQFq6kZl89tDN9EKGhcpDlmxY8CHKFa63lSdAANpCd1taDXNOVjzWnZ_1C7Ayl195zlbVgPEvsw4Us_6453DvjI1HYvyn9XT2AckKBHMyISI4bKiTwxRBc959vqocbbPt6LxymuO5bn3raOJ-Ev5z7wtoeLCIbTBXHYyBitwPMDLU7fAz2Ef7BUfYV837fHaM_WqCovDe6NXSPqWn7PShn_zj4615I7r9CIbL5pbqAEYkjHD1FURSlKSUpi4ElQCeetAc7_Lg3Qrkg9mNIWlKciAz9vtXWGaB77yKyxkI5H7zB-L8uPCJX0RMhSQLU--4o6_JM1jLPGX4QraLy_6jiEowvSgP0MG0XrPMmjsL_IyMyMsqboiQ58KgsIrzdGrBOG9gaN0ouRY3I5qnItllyKYXqny5b1Q8LndsZoHxh9SIKAi9JWUQzeeMpTNawAoocGyp8Sp10b6Wo2eX6t____nt9HJIFyRHZ2KAFIpvFwo8OlkPnw6xX4mmY-BakUb0fBtYLhuIqXc4VTs4koXmzxLTWQdO3SeL4YI2wK4AUZyDpHKSmcUPxdktDrm59-m1r-nbdh33HHwNkOYfMziGTnLzBd8x7LQtei6MkJzOv5dMo40AKHvNJJfIp5SvPVigHpqEMtmLfjWU3pNpmpKiOSUyK0_7n1bvu0zMDnzGnbLoS7jdgTpuh9o8ZdWLweOjgvcm1ZFnEYz7Tu5jpXZdpzpgHoUqrw173Fiu6B9sFgctRFrDOK3Tj9a5MO9aDXt2pu3CUCa3Gg-yZ9PWMLGfgrE4aKCc6T4-2u-5R33X31NqK0y6cLyPozM6eIByjU9tNhDpbqRSVByvsLVW09YVkHU46_-1VaCH5R1S1JQXWQHk0vK9q0ZnuKSTxL-t-LzqQQsHMBgPpUaXsw40x3eShPinrTAj6sYf5McGAPCyMst9TA8p9Uo1-Dv1qtPcijDuju0VSpn7SM3sZSt6cyzNzZinhZ1I86_Vq4MzN8m53Q0r4zN1kLh8tkzTGHZhGm33Fho7t56erdXw8nXfUAN8OPfdpx4PuDYPb1vjG_PUicvv505e1Vg6e3As_3Uph7jp3S4Vaa9WIdsKjxJPV1-0fn-tXFyXujGZg7VXfNOGUfpN6vRL_7OGFerew1-bwzGpCz6GhvfSNsAQHP97jm82bt-s8pbsWVAJzX6AV1pnDuH7CeQxNwX1IlupN5krOzQX1cgL4WbeCUfkFbC_dBOh4DBloZg3-fAMixZ9nzh87tTw2-IxK6bvhbaNmYk_s9BcMj9fd_saUGUgQySXd15wi3938dbxCCqlV--ca9ici_XHCpLOE4XnCIJq4wnZSuErx-7OK85_Q7r8wSX9KcWoDhu87D8eaMgbR7HDMzqphVpfx63n2v1Yl3tlncKjLeGbK_MyUlNDsh6Ycuzm2o0PfVs0D4cEZodov0LxF4Q-JDQqE0GymUDG__tdFlkZ4T4V6H1ITZek8CMv5rZLWrMjxdusvjlvrqHHbEfVN91hm--cL_PAzLAY-4U4bJ8mswJGzJxlWJ5TiAfh9LypRnNDTi8rxufWCr2JexiW9gNUyy0tSpHGaXOxWyZLzOIohK0taFjHP8qjJ8iXNOKmbHNILsSIRiaOYRFESlctkUddZSVLCIGFNmi2XKIlgT4VchLdhbdqL8FK2ypYpyS8krUHa8DJPiILvOCwiQlB6fWFWQbO6by1KIimssycuTjgZnvR9H4vSa5RFL66iWYSdEW0Lxo6vcOEJ9fR0uKFC9gZ-4Qnxojdy9e8_Dgat_xUAAP__28uX9A">