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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR] `Function call` crashed in `aliasingFuncOpBBArgsAnalysis()`: Assertion `!returnOps.empty() && "expected at least one ReturnOp"' failed
        </td>
    </tr>

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

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

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

<pre>
    test commit: [bd1be8a](https://github.com/llvm/llvm-project/commit/bd1be8a242384d98ef2087f4571b464e01501f5a)

step to reproduce:
`
mlir-opt test.mlir --test-tensor-copy-insertion="bufferize-function-boundaries"
` 

test case:
```
module {
  func.func @example(%arg0: tensor<2x3xi32>) -> tensor<2x3xi32> {
    return %arg0 : tensor<2x3xi32>
  }
  func.func @main(%arg0: tensor<2x3xi32>) {
    %0 = call @example(%arg0) : (tensor<2x3xi32>) -> tensor<2x3xi32>
    llvm.return
  }
}
```

Crash backtrace:
```
mlir-opt: /home/workdir/llvm-project/mlir/lib/Dialect/Bufferization/Transforms/OneShotModuleBufferize.cpp:137: LogicalResult (anonymous namespace)::aliasingFuncOpBBArgsAnalysis(FuncOp, OneShotAnalysisState &, FuncAnalysisState &): Assertion `!returnOps.empty() && "expected at least one ReturnOp"' 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 test.mlir --test-tensor-copy-insertion=bufferize-function-boundaries
 #0 0x00005599abf551c8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x12d51c8)
 #1 0x00005599abf52cee llvm::sys::RunSignalHandlers() (/home/workdir/llvm-project/build/bin/mlir-opt+0x12d2cee)
 #2 0x00005599abf55bd1 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007fc538c13520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007fc538c679fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007fc538c13476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007fc538bf97f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007fc538bf971b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007fc538c0ae96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x00005599ac4ee250 mlir::bufferization::analyzeModuleOp(mlir::ModuleOp, mlir::bufferization::OneShotAnalysisState&, mlir::bufferization::BufferizationStatistics*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x186e250)
#10 0x00005599ac4fc95b mlir::bufferization::insertTensorCopies(mlir::Operation*, mlir::bufferization::OneShotBufferizationOptions const&, mlir::bufferization::BufferizationStatistics*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x187c95b)
#11 0x00005599af22f75e (anonymous namespace)::TestTensorCopyInsertionPass::runOnOperation() TestTensorCopyInsertion.cpp:0:0
#12 0x00005599af059a43 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x43d9a43)
#13 0x00005599af05a2e2 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x43da2e2)
#14 0x00005599af05cabe mlir::PassManager::run(mlir::Operation*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x43dcabe)
#15 0x00005599af05503b performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#16 0x00005599af054c93 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
#17 0x00005599af100a65 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) (/home/workdir/llvm-project/build/bin/mlir-opt+0x4480a65)
#18 0x00005599af04e8f2 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x43ce8f2)
#19 0x00005599af04eba3 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x43ceba3)
#20 0x00005599af04edb2 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x43cedb2)
#21 0x00005599abf348df main (/home/workdir/llvm-project/build/bin/mlir-opt+0x12b48df)
#22 0x00007fc538bfad90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#23 0x00007fc538bfae40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#24 0x00005599abf34435 _start (/home/workdir/llvm-project/build/bin/mlir-opt+0x12b4435)
Aborted (core dumped)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWdty46rSfhpyQ9mFQMcLXyjOuP6pmlRSydy7kGjJ_COBNqCZZD39LiQ5sh0nE--VtfahKvFBQPfXXx9oMLdW1gpghaJrFN1c8d7ttFnZXwBcXBVaPK8cWIdL3bbSIZZjFF0XIigg5Si6QTTdOddZxHJEN4huaul2fbEsdYvopml-7t8WndH_D6VDdDOJoptJDA0pS0ORpVBRkiZVGCVBEcYhkCAiQRVxRDNEckRy66DDTmMDndGiL8GrJTmKCSJ520iz0J3DHu_Sf8OLhf-8cKCsNotSd88LqSwYJ7VC7AZRWvRVBUb-AYuqV6V_vih0rwQ3EiyidJSOR_UjEdweqB3_SN5q0TeAUXKNSI6xF7b0LxiFBJ542zWAaIpoxE1NPIsjJsTW9Ik9SUYR-4JohheIfTk39iIZYwOuNwpPsvBbwvxklNy8htNyqT6EZVaJaOQV3eCSN815k_x8Hxw0vdCySYWPkeVo2gH06fWAaETyteF2hwte_nCGl-ecMUXCCGiz0y0guvmlzQ8hzet49NP9U1kgurmRvBkfX0-hwYdooZvvhitbadNaRDd3Ch532t0Obt_PhGXZdYjlAUu86m-6liVvHsD2jfPMcKXVc6t7ixVvwXYePM08fpbzRnIrVb3pVXnXXV_npra54s2zlRbRdHyM6BpPmvdjj447wIjGfszPOjPgVeDcToGPPUk0GLm-6-wS2s49D67MxvkxRpTCUwelA4G5ww1w67BWgB-mVT41aIIrLhsQS0Ty-29f8scv2PZFKx3muOhrn6baOJ-wF9cIaW3vE3CDuRJYqrLpBWC3A1wee9_rfnS8_IFF33ZjLJAlItm90bXhLeam7ltQzqvHl9eI9wsE8QHGCCZPhBASRVnGiyqKgjIdAnp0rX2244d7I5UbwH4fApem8yTDf221dQZ4OzlTKjd6JP1ADBe9bIR_97m9eUkAek2eAio8oLGIerjBCVxaApyD-9CrR1kr3vwfV6IBY19i5M8j8jpnRPSUwEIE-Eg3ounAxxpbWUtV6a1DNPfff2opho_ZtMJOWUiG_1EBmxQkVRmxtAxYRMlkx5j2T2m8jcNFI1X_tKhVPw6US6uX8YA5pBElM-LwWGCcZFWJO7czwMX2h_RV8hLpWZxV5Sw9OoUbJjGu7WDepbDDJJ4Fx0eCiypLKoZ54bP0IrE0TSo2i01eiQ2KiwUGxSwwPSaAcMjiywSyDLIDw7PDCCtDAL-jDYV_CPXiqNaPBdnX0T9grPC-4KXz9Pnh-n0h54r1lN7vrjvae_wqaZ0s7RTnfz4B09gTMPVVlAXkmJ6qzKLifYRjjfw-VM217oZu6YChuw7MtHHmH2XpyOi7zr9aXGpl3X8EZYknZabsqIpWlFZJBL_b5L-DnSl7_rrfZu65nUqu6dWdOuBuqLdvrDopcx7TUR2tSJTxkB2wJsBx2ewd9F3fdV5zLnjntHkBcOTHAdqpC9927j7Qb7nita_aa1xo3fj3Xg0HDfFp-1rIhLdv9gg7sZ5ToBdbfy87aKSCk2j2U1-Mij-djsNFXtVXZZ0Z2hZtXkk9nnCQAnvs99yAcl9Vpffp8zk5EDLhOZ0ZD08YL3kBJ0D3pp-NrmPmPgehxzAjjE4QRoQVuAPj-_h8aOfsb9ow68TUF-24AbHtnD-_zCsedW9KuK2NP9-cr1a3374-rLVy8OReOfO2keauc7dcqrVWlawPZGT4YPRMuscnxoVlxg4auePzx_x838huDVRHprw6sLzY3iv5jx5e2X4LrTbPY-U94kpAxfvGbQU04ODtNezLcDpc47c9kA2T_Ig_fPq-f1spxNZnKfyoL_9ye2Z004HyAWppnXl-HRzvBcA4BdFwSwbBaaNV_fda8o5nfhOeyVF4BoTwODow3HaNdLkS90aXYO0e678l6P4LU-LdGYdjj85IVT9A9ebjzyi8YerdOxfe9Lg2hZBW9HzU_6_l7GfsYqWnayYzOyWz4OxNMqeGotzxsXXILw2H3zHxSRYWfO7dKDm1UBRvh8slFv4tpohidhY9uV5hYSoq3HKpPuPipPDSZl305ODNRXbhvQbNRDYfBCk7FQghwdutX7O1jhu3PbDkwyogPFARnvITsgiPwj-HoZBNdSgvtHEgvNRSGxhuCEFMSPb3xVdixUTGMn4FqyAJKc0Ii9Kr3SohcSagYCIIeMZJEJNUQJiwiACLBRNXckUJjQgLUpIxypIlh7CCgnESRlmQiBSFBFoum-Vwua1NfTVca64CFiRxctXwAho7_PBC6XgJTVF0c2VWg71FX1sUkkZaZ2cJTrpm-LHGN5UousEoJptp9xqu51FMxjvS4Wzhh39ztez5iMlffEV81Ztm9a_fAk-M_VzRfwYAAP__4ANEgg">