<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/60213>60213</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] `transform::SequenceOp::getEffects` crashes with Assertion failure "(!NodePtr->isKnownSentinel())"
</td>
</tr>
<tr>
<th>Labels</th>
<td>
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Colloportus0
</td>
</tr>
</table>
<pre>
MLIR built at commit https://github.com/llvm/llvm-project/commit/a0dab4950
Reproduced with:
`mlir-opt --test-ir-visitors temp.mlir`
temp.mlir:
``` milr
transform.sequence failures(propagate) {
^bb0(%arg0: !pdl.operation):
sequence %arg0 : !pdl.operation failures(propagate) {
^bb0(%arg1: !pdl.operation):
}
}
```
trace:
```console
Assertion failed: (!NodePtr->isKnownSentinel()), function operator*, file ilist_iterator.h, line 138.
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-ir-visitors temp.mlir
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 mlir-opt 0x00000001006086b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1 mlir-opt 0x0000000100607720 llvm::sys::RunSignalHandlers() + 112
2 mlir-opt 0x0000000100608d50 SignalHandler(int) + 344
3 libsystem_platform.dylib 0x00000001aad414c4 _sigtramp + 56
4 libsystem_pthread.dylib 0x00000001aad29ee0 pthread_kill + 288
5 libsystem_c.dylib 0x00000001aac64340 abort + 168
6 libsystem_c.dylib 0x00000001aac63754 err + 0
7 mlir-opt 0x00000001022bb3b4 mlir::transform::SequenceOp::getEffects(llvm::SmallVectorImpl<mlir::SideEffects::EffectInstance<mlir::MemoryEffects::Effect>>&) (.cold.17) + 0
8 mlir-opt 0x00000001015f5fc4 mlir::transform::SequenceOp::getEffects(llvm::SmallVectorImpl<mlir::SideEffects::EffectInstance<mlir::MemoryEffects::Effect>>&) + 1028
9 mlir-opt 0x00000001015dc13c mlir::detail::MemoryEffectOpInterfaceInterfaceTraits::Model<mlir::transform::SequenceOp>::getEffects(mlir::detail::MemoryEffectOpInterfaceInterfaceTraits::Concept const*, mlir::Operation*, llvm::SmallVectorImpl<mlir::SideEffects::EffectInstance<mlir::MemoryEffects::Effect>>&) + 68
10 mlir-opt 0x00000001015f5f40 mlir::transform::SequenceOp::getEffects(llvm::SmallVectorImpl<mlir::SideEffects::EffectInstance<mlir::MemoryEffects::Effect>>&) + 896
11 mlir-opt 0x00000001015dc13c mlir::detail::MemoryEffectOpInterfaceInterfaceTraits::Model<mlir::transform::SequenceOp>::getEffects(mlir::detail::MemoryEffectOpInterfaceInterfaceTraits::Concept const*, mlir::Operation*, llvm::SmallVectorImpl<mlir::SideEffects::EffectInstance<mlir::MemoryEffects::Effect>>&) + 68
12 mlir-opt 0x00000001015e48d8 mlir::transform::detail::verifyTransformOpInterface(mlir::Operation*) + 124
13 mlir-opt 0x00000001015dc794 mlir::Op<mlir::transform::SequenceOp, mlir::OpTrait::OneRegion, mlir::OpTrait::VariadicResults, mlir::OpTrait::ZeroSuccessors, mlir::OpTrait::VariadicOperands, mlir::OpTrait::SingleBlockImplicitTerminator<mlir::transform::YieldOp>::Impl, mlir::OpTrait::OpInvariants, mlir::RegionBranchOpInterface::Trait, mlir::transform::TransformOpInterface::Trait, mlir::MemoryEffectOpInterface::Trait, mlir::OpAsmOpInterface::Trait, mlir::transform::PossibleTopLevelTransformOpTrait>::verifyInvariants(mlir::Operation*) + 88
14 mlir-opt 0x00000001015db83c mlir::RegisteredOperationName::Model<mlir::transform::SequenceOp>::verifyInvariants(mlir::Operation*) + 60
15 mlir-opt 0x0000000101da78b0 (anonymous namespace)::OperationVerifier::verifyOperation(mlir::Operation&) + 252
16 mlir-opt 0x0000000101da774c mlir::verify(mlir::Operation*, bool) + 36
17 mlir-opt 0x0000000101cf78d4 mlir::AsmState::AsmState(mlir::Operation*, mlir::OpPrintingFlags const&, llvm::DenseMap<mlir::Operation*, std::__1::pair<unsigned int, unsigned int>, llvm::DenseMapInfo<mlir::Operation*, void>, llvm::detail::DenseMapPair<mlir::Operation*, std::__1::pair<unsigned int, unsigned int>>>*, mlir::FallbackAsmResourceMap*) + 616
18 mlir-opt 0x0000000101d01ba8 mlir::Block::printAsOperand(llvm::raw_ostream&, bool) + 72
19 mlir-opt 0x0000000101c07e8c printBlock(mlir::Block*) + 108
20 mlir-opt 0x0000000101c088c8 void llvm::function_ref<void (mlir::Block*)>::callback_fn<testNoSkipErasureCallbacks(mlir::Operation*)::$_6>(long, mlir::Block*) + 60
21 mlir-opt 0x0000000101da909c mlir::detail::walk(mlir::Operation*, llvm::function_ref<void (mlir::Block*)>, mlir::WalkOrder) + 240
22 mlir-opt 0x0000000101da90e4 mlir::detail::walk(mlir::Operation*, llvm::function_ref<void (mlir::Block*)>, mlir::WalkOrder) + 312
23 mlir-opt 0x0000000101c07b2c (anonymous namespace)::TestIRVisitorsPass::runOnOperation() + 2076
24 mlir-opt 0x0000000101c84428 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 428
25 mlir-opt 0x0000000101c84958 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
26 mlir-opt 0x0000000101c862d4 mlir::PassManager::run(mlir::Operation*) + 1148
27 mlir-opt 0x0000000101c7f698 performActions(llvm::raw_ostream&, bool, bool, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, bool, bool) + 504
28 mlir-opt 0x0000000101c7f268 mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool)::$_0>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 704
29 mlir-opt 0x0000000101ce9f5c mlir::splitAndProcessBuffer(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) + 656
30 mlir-opt 0x0000000101c7d690 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool) + 216
31 mlir-opt 0x0000000101c7db84 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1208
32 mlir-opt 0x00000001004aaae4 main + 108
33 dyld 0x000000010533d088 start + 516
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWttu4zjSfhrlhoghUbIOF7lwTpjgTyZBHPSPmRuDIks2NxSpIan0eJ9-IUqyJcdO1L2z2O7FBEZsiWQdvirWgRIxhq8lwIU3v_Tm12ekthulL66UEKpS2tbGP8sV21483N89o7zmwiJiEVVlyS3aWFsZL1x4-NbDt2tuN3U-o6r08K0Qb_3XeaXVP4BaD9-26zx8S3xG8iib-55_7fmLZ6i0YjUFhr5yu_HCBWoHvNgvBdfnqrLo_NyCsedcn79xw63SBlkoq1kzwYs7Su3__f1wsSPUflDJhe6oW02kKZQuZwb-qEFSQAXhotZgPJxWWlVkTSx4OENectkRmt_kue_h1MNzote-kxUHFRMzVYEmlivp4WzHGKEd7W4FOrbkc8YIHbAOTrNGaLcmue4vvOS6u3sAyeiu1YTCe9iokkYJ6GktjAG9kxtYK0rq4eBXxeDJ6nMvvOHm_6T6KpcgLZcg3HjmPleoqCV161vJlfbwwt3nAhAX3NgVt-3IbNMMCC4BBWE6awV4ur9ZLG-QqfPGEQnK6zXS0LgssurbHZMbUzfY3yIiGeKSipoBshtAVBOzQTmhrw6Zjv3SEvqKWF1WO6j8mednT1qtNSkR0eu6BGkbIdA0Dz6g6zaCqi0y2zJXAklSgmkwBmlqDWirarQhb4CcJu0k_k_QiMtmTKOnxcsvSGlkwDpFQL5xrWQjFXojGnmxf3__5WG1_O3h8vH-7veb51WzpNkiVqFKcemgbLbr3pt9tNfG_9Nv_wLfj_00zlMnSzM3XJitaX88aS6tU-vFeRZO95M0-bpSxmogpYfjxspcWuf0-BLN45ZlMGB5-DcWIUmwf0yE51ou-VoS8QuRTIA2rSc6LkGAWzb4tGZs7qMRAQ-nA0HDKGpJhAgJnputsVCuKkGsCy1sK3g-IEkIi4KIRmhl-NpqUlYjdaMREbvRQNgxGjgD8FE3YfXKhXBkcJq2dOZDOvQIBRpHYeQjkjd7xkERd0vjz5eGyTxCoLVb2AWQZJqhMM7zMI9QH57DfRhuL5ddvHys2us12JuiAGrNyHmWJRHiC1Cr9F1ZCS-82lNccgb9GnejvbiTxhLZhLfB3Acold4eme2FN82ncczG0OmMKsFmQdLbvVM7naZ2MC_mBf351L5EgY87x8imqspoENKBqgws4eI948fqTlrQBaGw-_GiCe8lelAMxip-ANrNEdz-fRGulKRQNSWPNLZLUnuqj_u860b-m3bqt2_gT3fIyP8JHTLN-tQQ_O2PP4E_4olWgihl6Wl_HCL2BpoX25d-wgC0EchjOLpwhrt0HYSTvSfJohHIE13gwDTOjN2FhGdYO8FOzvlCNCeM02cwtWi85-TM30GrZU0pGKP0RxN7kg4XyT6auuRyLeBSKPra-Aun3L6ALrl0xfoH-v_GQbCB_ztv-wCJ6k6-NWLJQxVbgC41kXQzNLAbbCmM5h_IcdQ5Tq09sQNPzn-sFmYS4QOhnpQxPBfwoqp7eAMxELLD5Gbo4ENoPnHrvu4LoqlenaejmNjAbSxoYDvyv5ISvj_wfbMKfScazKepwEiS5n5TmhGp5LZUtWnbpMrFgeyA05dGHg56KN1AjOPC7aIZnneNQhBPli6JhgC3HD9A4QrlSoldW9EnuWQaP1okKRuGqYUpl5ZYOLj6iP9wxDVuXK5vBVmbPt3E46RyDdLAAxnHw0OixrJ2YLUK2h8VaeZe1dIdPrG267tCo-smlRxjdScL9SG7N8XZu9XD3NFTemql-A8I3mXCA0hviRA5oa8LUz6DUbWmDrqB_we9ydOjvWjA_CAnwwzpwnMnWmOuheki-ydt9tDPkt6vs4l-5ieQUuT4tfyHHtXd2Wdbv4tL2D-uE_XTlKbOagN79cdDKw2FF1650VN8dgGHdgCvCumFVxaM_VUtX3l1o4mpNVx1wx8Govamh6NV7GyYCiXXYzseqtiHLTyxGmUk87NT1ehXIl4_3KLfj9FIif8n4vVRM9C7-Bb1akws1xo1IPrR1Ah35zkTqzvqJzmmnyWRFzD27vlLd2r3RExX-upaPsphEtnB6SfdZsYTEzJNowinJ_B8rF7UY9XwXTBSuQqsYz-Cygn2WU8wyBCSiK3h5oFIsm4w7CPDQUjrdIr6cwA8P7GX0yibf7sKT7wCweVhamqm7iSL_3KdhosaVk23o92h7e4w-tSElnM70Mn-RDRI2ySnQWfWuSTud9bEyoGmMR5l8iESR-1-tM8Jot5cyQlzJUWcpagC3dRxC7cLzaTMsf9-nyPNhmhgq8o2mXLQf7YJb6298GZUTQyK8Pu75yslLfxpP4sS-0X3as0pEW2ThN7thqED9eFjrEN32ux3XSFOJxopKXA89PWxIN8j-Xssa8n_qOEdlm23clkXRevg7xcyKEgt7IqBgKYCPLW4q1SGSB_a_FR-HdhNcP1Y2QfC5Sfe82No-Ff60n7GNScCqG3bKL09sV-mfQ_KEH9chvwYCL7zkbaS3O2hqaUkZMV8WAmZSnC7kOxJKwrG9NL_IDvjf2InfzjjeGyM-2dT4akaPmFxNjxJ_jsi_OURoa0q-w4xnNhr0ITlaXTSMl0hRDekLXkOz4yt5nL9DMV0vfoz1r7tC_Hxx6oRIaTpHgiX4z4xDBHbCjacPA9D5qcpMpZ0jyrnPQ4HbymcsYuQZWFGzuAiiJMo8uMkyM42F2xOiwyHRT7PI8hDFifAMgYRS8MEciBn_AL7OPQDjIN4nobZLCTAcohpSnEEYRJ6kQ8l4WLWwDNTen3m3hm4iH0chGeC5CBM_xaNvnAP5fN6bbzIF9xYs19muRXufRsH6PwaebE__clL7LdvJIBxLwig8YsYtQbkYfwNb2Lgs1qLi-9_X8Kp_68AAAD__-We8_Q">