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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] Assertion 'Index < this->size() && "Invalid index!"' failed in array
        </td>
    </tr>

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

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

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

<pre>
    git version: 59fd2878fce470f02058f43d4b818ed68ce04094

system: `Ubuntu 18.04.6 LTS`

reproduce with: `mlir-opt  a.mlir`


a.mlir:  
``` 
module {
 spirv.func @f(f32) "None" {
    %c0 = arith.constant 0 : index
 spirv.Return
  }
}
``` 

stack trace:

``` 
mlir-opt: /data/szy/MLIR/llvm-project/llvm/include/llvm/ADT/ArrayRef.h:446: T &llvm::MutableArrayRef<mlir::BlockArgument>::operator[](size_t) const [T = mlir::BlockArgument]: Assertion `Index < this->size() && "Invalid index!"' failed.
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-project/install/bin/mlir-opt /data/szy/MLIR/seed/seed6/tmp.hCB0D6FEej.mlir
 #0 0x000056291acdcdb8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bddb8)
 #1 0x000056291acda8be llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bb8be)
 #2 0x000056291acdd736 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007fdc2ce3c420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007fdc2c47900b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #5 0x00007fdc2c458859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
 #6 0x00007fdc2c458729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
 #7 0x00007fdc2c458729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
 #8 0x00007fdc2c469fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #9 0x0000562920f503a2 mlir::call_interface_impl::printFunctionSignature(mlir::OpAsmPrinter&, mlir::TypeRange, mlir::ArrayAttr, bool, mlir::TypeRange, mlir::ArrayAttr, mlir::Region*, bool) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x74313a2)
#10 0x000056291d1ad7f5 mlir::spirv::FuncOp::print(mlir::OpAsmPrinter&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x368e7f5)
#11 0x000056291cf2e66e mlir::Op<mlir::spirv::FuncOp, mlir::OpTrait::OneRegion, mlir::OpTrait::ZeroResults, mlir::OpTrait::ZeroSuccessors, mlir::OpTrait::ZeroOperands, mlir::OpTrait::OpInvariants, mlir::BytecodeOpInterface::Trait, mlir::OpTrait::AutomaticAllocationScope, mlir::SymbolOpInterface::Trait, mlir::CallableOpInterface::Trait, mlir::FunctionOpInterface::Trait, mlir::OpTrait::IsIsolatedFromAbove, mlir::detail::Interface<mlir::spirv::QueryMinVersionInterface, mlir::Operation*, mlir::spirv::detail::QueryMinVersionInterfaceTraits, mlir::Op<mlir::spirv::QueryMinVersionInterface>, mlir::OpTrait::TraitBase>::Trait, mlir::detail::Interface<mlir::spirv::QueryMaxVersionInterface, mlir::Operation*, mlir::spirv::detail::QueryMaxVersionInterfaceTraits, mlir::Op<mlir::spirv::QueryMaxVersionInterface>, mlir::OpTrait::TraitBase>::Trait, mlir::detail::Interface<mlir::spirv::QueryExtensionInterface, mlir::Operation*, mlir::spirv::detail::QueryExtensionInterfaceTraits, mlir::Op<mlir::spirv::QueryExtensionInterface>, mlir::OpTrait::TraitBase>::Trait, mlir::detail::Interface<mlir::spirv::QueryCapabilityInterface, mlir::Operation*, mlir::spirv::detail::QueryCapabilityInterfaceTraits, mlir::Op<mlir::spirv::QueryCapabilityInterface>, mlir::OpTrait::TraitBase>::Trait>::getPrintAssemblyFn()::'lambda'(mlir::Operation*, mlir::OpAsmPrinter&, llvm::StringRef)::operator()(mlir::Operation*, mlir::OpAsmPrinter&, llvm::StringRef) const (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x340f66e)
#12 0x000056291cf2ac21 mlir::RegisteredOperationName::Model<mlir::spirv::FuncOp>::printAssembly(mlir::Operation*, mlir::OpAsmPrinter&, llvm::StringRef) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x340bc21)
#13 0x000056291ddb13fd (anonymous namespace)::DummyAliasOperationPrinter::print(mlir::Block*, bool, bool) AsmPrinter.cpp:0:0
#14 0x000056291ddaed90 (anonymous namespace)::DummyAliasOperationPrinter::printRegion(mlir::Region&, bool, bool, bool) AsmPrinter.cpp:0:0
#15 0x000056291de03de0 mlir::ModuleOp::print(mlir::OpAsmPrinter&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42e4de0)
#16 0x000056291de0771e mlir::Op<mlir::ModuleOp, mlir::OpTrait::OneRegion, mlir::OpTrait::ZeroResults, mlir::OpTrait::ZeroSuccessors, mlir::OpTrait::ZeroOperands, mlir::OpTrait::NoRegionArguments, mlir::OpTrait::NoTerminator, mlir::OpTrait::SingleBlock, mlir::OpTrait::OpInvariants, mlir::BytecodeOpInterface::Trait, mlir::OpTrait::AffineScope, mlir::OpTrait::IsIsolatedFromAbove, mlir::OpTrait::SymbolTable, mlir::SymbolOpInterface::Trait, mlir::OpAsmOpInterface::Trait, mlir::RegionKindInterface::Trait, mlir::OpTrait::HasOnlyGraphRegion>::getPrintAssemblyFn()::'lambda'(mlir::Operation*, mlir::OpAsmPrinter&, llvm::StringRef)::operator()(mlir::Operation*, mlir::OpAsmPrinter&, llvm::StringRef) const (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42e871e)
#17 0x000056291de04bd1 mlir::RegisteredOperationName::Model<mlir::ModuleOp>::printAssembly(mlir::Operation*, mlir::OpAsmPrinter&, llvm::StringRef) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42e5bd1)
#18 0x000056291dda89ca mlir::detail::AsmStateImpl::initializeAliases(mlir::Operation*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42899ca)
#19 0x000056291dda76b6 mlir::Operation::print(llvm::raw_ostream&, mlir::AsmState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42886b6)
#20 0x000056291dce2c7a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#21 0x000056291dce23ed 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
#22 0x000056291dd8d275 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-project/install/bin/mlir-opt+0x426e275)
#23 0x000056291dcdc405 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd405)
#24 0x000056291dcdc6af mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd6af)
#25 0x000056291dcdc9de mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd9de)
#26 0x000056291acbb337 main (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119c337)
#27 0x00007fdc2c45a083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#28 0x000056291acbae9e _start (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119be9e)
``` 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWktz2zgS_jXwBRUVCFJ8HHygH9pxbTzO2t497EUFAk0JExDkAqBjza_fAkmJkiw5tkczqWxtKlH4ANDf96HR3QTJrJULDXCOphdoenXGWreszfm3b6s4yIKzohar84V0-AmMlbVGYY6nWSlomqQlhyghJaFkmpZRKKIiDVIQccqBRCSLEMkRye3KOqh8PxSTfxatdi0O0gmJJjH-_PiAYtK3M9CYWrQc8DfplkP7SknzqW4cxmzijzetEcmHK2GOsb8Qk_6vP6lq0SrAKLlAJMe2keZpUraaYxSREtG0DCmiGUaU_lprQJSum2KMEZ1yglF4hZmRbjnhtbaOaYf9xRxLLeB5HPUeXGt01xUlVx5H_7uNxovgGP-KnWEcUDjg30U8EO1405lgjiE6s7-vEJ3dfr65R3Sm1FP1qTH1b8DdcIroTGquWgHjhfzq0f8aw1b3UE68klEU-3EfMaJx1yrMUZjfto4VCtYtUXg56InC_ELV_GtuFm0F2qHwur9aN2CYq03vKoimVv4Oc-el7FTCaHrx2El3bKTplQeSWwvGyVr7Kb7xgmIUXmK3lPYTCq_9qIim_QzFiMZ-om70E1NSDPrTAFGKaIJLJhWICSL5l8_X-cM1tm1RSYcZLtoFNtDUxmFX46VzjfWI6AzR2UK6ZVtMeF2Nuu3JK61twSI6w0x7q53K2C0Bc8PsEheMf-3m09t-6KZXtFXTzy6Z4O7PF1MvDKswG_jbt0-v9F6nFKKzQmpEZ5uVcKS7BRDDfzGiM1c1k-XlBbmKZ9fwW79SiLcdEkyeCSFkGtMsYFxwUaR49Aq7sv3BFyO164g9dm5L07GRYd_mtXUGWNXN0CWW2vXzlf4xeohekOcgKIQovAMMmIM9zCwt4BDm-1Y_yIVm6hemhQJjN250IlhFWsAIi-7BEkkY4x0AiKadMpfYyoXUZe1XS-7Pn2opusNs6GEnvPHuQ7p_vYFwMJCUglMOIY8owfO5AetqA3PjBmZKFojOntN4HkeflNTt86eFbvsbjVsaYGJi6wnpaUQRJSOJaMdGlGSEFNgwacG7WtFK5f1qoWTBP33mN5Q8b07pJAy8oB1-RGeTiT9bWQGNXzmtls_9hacOim79aTf0hKMwnwYozIMBxnQXxjRNpxlmRd1xfBsMJ3odul6dhdRbSAYL8b6FhGZ4AW7eI55bWPg1On9iqn0zd6mdZ65qJiq74Ky3OyWZtz4YTg4Znms1973moq6Y1H_MXpZ4rwmjwWC6azDOShG_wVO495G485EwLH0YWftItuXolJRTEjK6FeM5U2outQNTMg5zWTWqv9H4GDJrNffBvnNz1xofSsa-d01uqy7W-NXSxZLx5uOqgXumF7B7uUtZuXPGXy7qWr2_13j5Hha-rulXZT_YqQJGEoVByGivow9jO7FXBEwk5XQLSldS9IdetLtmS8XXRTsV4jBOISmnI-KdyMtLCnEMeBvITtnwksCO1HfNo2HSDSca1tIfbfNvMPU92FY5-51WDy3nYG1tvtfwztcwWrzW7K7xxYaRTO-bvVg54LUA32Lw9sHlut7Hh8xbV1fMSZ4rVXPWLQdeN3se-rCqilq9ZfBLppQv3t7Sdr3-3g36xt7YWjEHYmbqKi_qpz28AhyTw1LfGvuwQ_yjBbO6lfpf_YPE2H4PgC8xxwV5cKhtu8eG7Xi8mOV3gwuvXxGoO7xgFjYV8gFJPyASe_5TRHo57EdEOgDuR4h0_exAn1yjl6N-QKID0H6EQpesYYVU0q1OKtGBYT-g0SFwHxJpfbYA1yVE_2xZFWo1033t399FNFGsKgRDNNnLpMc0OFCYjE8cD85IvfBPzWsLm2fj3uqJbayfr0-T5CNSxjGMSZ7uJXnGabBXIVkHBsSGya-sGpLIbS1AfacIWM9Rsz1BJ5foZOIUnAajOOFOzSaKICyFt8V0rVdV3VqsWQW26ZbX4AxXbVWtciWZ3RBbUzhS0XXbJDtF6FiMjgLsPSJ6eNEuPAYiIyeBty7O0pelcvwS5RvRTnfQAgkFkK3Jvu327X5A3RtRiASQcdbjPaBJErxS925w_4zl7q91DyzfbFK91vYRTCV1H-mONnuQeqFg8Om_tM4uS6nhQGn9vsJ2l0xXlT_6cvuj5Xrnt29p2M_E36UW7yT-C7N3Wq3-ZlizHPzs_5nxI2EgTYKtzJjshYGoEH8gM47h7SdKiBGFaSG2EmK6l3HSjLMjhWpuqwfHHNxsdoSklk4yJX-HLv-AfYX16RikWcbZyCDbY5DERXywLt5JQ69tf2_tMg2UT5ye0jQu4g0DuruRxIHyhOEGTFmbKu-e9u13EFsnhnJtyQyIeeMMCi-3PKluDYfbhUHhdb_GXlD1RC5r7eDZvfDSWyXNXeNumdSXtS7lYmuMDG_dfVkk0GCfXAhiy8c_1wvJmeoT5db1ctjnmJvuZdaxDoimG-6tlv9p4QX3W6hqs7poyxLMjlYCStYqNxegwMHxPn59X--uzP0ZyDZBgDOlCsa_zku9Gy1Gkd46l386nxHdlWQKuOsjoFm9dI7XHGCdeqI56QZOVa0Xfy2TV2bmO-5Jd6NHKmiyu4mrpMu1-GJqX6Ktsf4Qp_sJl8SrLY6kuj89A8ZAk3FTnO4-EnLBIzI97Pr_awv3VIoGhYjIlqLRvqIxK48qOrxR5UtmuryTv9cxvifHKWnGrBxpTvdpZgJOQvOv45OJsTym8e4L8KIIwwQPrzNP88Y942GYjAb3X6UykoZ4Pley4HPrmHHz97xM5bZdv7XuD7ub3Tjda9Uwov53sJ3ukWWQAe6tno5uAdla383nQWfiPBRZmLEzOA-SrhYMg-xseV4EBMIoCOIyKSAJCYkYoRBElJcxBIScyXNK6JSEdEoSMg2ySQBRHHIRhoyEhMcZighUTKqJhzmpzeKs--7lPAhpmkVnihWg7PrTMHPekSnahUURUdI6O_Zz0qnuI7LOFadX2x_50OQUH_lgqTEzhq3OWqPOP_5Bz8Dt6Zz-NwAA___oJQxf">