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

    <tr>
        <th>Summary</th>
        <td>
            [mlir]Test-Foo-Analysis triggered 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>
          CelestineSmith
      </td>
    </tr>
</table>

<pre>
    MLIR built at commit https://github.com/llvm/llvm-project/commit/034bab4c
Reproduced with:
```shell
mlir-opt --test-foo-analysis temp.mlir
```

`temp.mlir`:
```milr
  func.func private @printMemrefF32(%ptr : tensor<*xf32>)
```
 
trace:
```console
Assertion failed: (!NodePtr->isKnownSentinel()), function operatfunction: @or*, 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 without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
main
0.  mlir-opt --test-foo-analysis  temp.mlir
0  mlir-opt 0x0000000102376828 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1  mlir-opt                 0x0000000102375890 llvm::sys::RunSignalHandlers() + 112
2  mlir-opt 0x0000000102376ec0 SignalHandler(int) + 344
3  libsystem_platform.dylib 0x00000001a56894c4 _sigtramp + 56
4  libsystem_pthread.dylib 0x00000001a5671ee0 pthread_kill + 288
5  libsystem_c.dylib 0x00000001a55ac340 abort + 168
6  libsystem_c.dylib 0x00000001a55ab754 err + 0
7  mlir-opt                 0x00000001040616e4 (anonymous namespace)::FooState* mlir::DataFlowAnalysis::getOrCreate<(anonymous namespace)::FooState, mlir::Block*>(mlir::Block*) (.cold.1) + 0
8  mlir-opt 0x00000001036fa508 (anonymous namespace)::FooAnalysis::initialize(mlir::Operation*) + 504
9  mlir-opt 0x0000000103965d3c mlir::DataFlowSolver::initializeAndRun(mlir::Operation*) + 352
10 mlir-opt 0x00000001036f9ef0 (anonymous namespace)::TestFooAnalysisPass::runOnOperation() + 372
11 mlir-opt 0x000000010398667c mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 428
12 mlir-opt                 0x0000000103986bac mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
13 mlir-opt                 0x000000010398ae0c std::__1::__function::__func<mlir::LogicalResult mlir::failableParallelForEach<std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_14&>(mlir::MLIRContext*, std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_14&)::'lambda'(), std::__1::allocator<mlir::LogicalResult mlir::failableParallelForEach<std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_14&>(mlir::MLIRContext*, std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_14&)::'lambda'()>, void ()>::operator()() + 292
14 mlir-opt 0x00000001039abbd8 std::__1::__function::__func<llvm::ThreadPool::createTaskAndFuture(std::__1::function<void ()>)::'lambda'(), std::__1::allocator<llvm::ThreadPool::createTaskAndFuture(std::__1::function<void ()>)::'lambda'()>, void ()>::operator()() + 36
15 mlir-opt 0x000000010235a8ac llvm::ThreadPool::processTasks(llvm::ThreadPoolTaskGroup*) + 1160
16 mlir-opt                 0x000000010235b06c void* llvm::thread::ThreadProxy<std::__1::tuple<llvm::ThreadPool::grow(int)::$_0>>(void*) + 44
17 libsystem_pthread.dylib  0x00000001a567226c _pthread_start + 148
18 libsystem_pthread.dylib  0x00000001a566d08c thread_start + 8
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWF9vKrsR_zTmxQJ5vX9YHnggJPRGTZooiSq1L8i7HsCN117Z3uTQT1_Zu8DCgXPIbaveSidCgfWO5zc_z3g8Y2atWCuAKUpvUHo7YI3baDOdgwTrhILXSrjNoNB8O318uH_BRSOkw8zhUleVcHjjXG1RPEN0gehiLdymKUalrhBdSPmx-xrWRv8DSofoop2H6ILEScGKpETkFpHZC9RG86YEjj-F23iNYRxlpP3YDUjZjlVSmKGuHR4OHVg3XGk9ZIrJrRUWO6jqkZc4md897gYPYhn5HqwSspuP8apR5cj_w7URH8wBRgmpjVDuESoDq0VMEc0RTWtnMIpn2IGy2qB4jujs2yqmKL5DdHLWHNx-OcNK-N6KUiurJbSjM2vBOKEVXjEhgXukgBv9RXN4dmaI4jth_6z0p3oF5X0nw_tJ-MwDjzBf12CY2z0GPQnRBtFZEBMSsJDCuqVwXlCb0ca_kEIBjuJ81Nrz_HA3e73Dtil8GDBcNGtsoNbGYae_HhbC2gYsogvMFMdClbLhgN0GcGmY3eCCle9hmTr4V8fKd8ybqg7xohuH7bYqtMSKVWD90oCyjQG81Q3esA_AAbEVEv8Eg4Xy7wx-nr39hrXBFlwABPUhjFYVKIc_mMEoIw8Pf31cvv7t8ebp4f7vdy9LPwVlxDOttVCBsg_qyd6JFROq_UVGGP8wYk9DlvTkyTfS_kWExuMsp3mg4WHimd3a9sezj8awIm8hkmh-EDLsc6mtM8AqRDPvSKG8pRjRG5xmLWTUgzz9OzYhzSfknAkvjXoVa8Xkb0xxCca2sRdQooi2MPQyMygJPlKAaN4zNE6SVkWMsRSF3VoH1bKWzK20qUZ8K0XRU8nSLJ8kZYKXVqydYVV9RDc5UuI2Bhg_p2McARDcCSzfhZRBDc3zVk_a11Oe0ZCyMk4IZoXfFmEpsm5q9vOpxThNMBgTJnYJY3ydoxKSRRkkfhcwpdW20o1tN0Yd4mPSOm2h9atjDhCdBbXt6C1zbCH156wL0HZ0De7JzA14cZ_arlQ87ym-kbp892nGJ8T8zHhwdj4qteSjaOf6jnl-PnbibMVSkl_B9JiOUMIJ5hPBkSlPITf6tLgz5wanpIu9yQUTJlnK4_LMCr5q-QHmFHCm-Eujfgobp92uicgl5hNYkZ8xfwPreuyfme1WwDTqSfWA99s1Hu-Aowt88ywb9_lycEzIHZU3_VR7mBlntdNmj3bEONjRnjiXlqH_Zmf-I1Ns7ZPDHBdaS__dqFDB8H5eS2i3zSJ61X7xlAr2dUrPogZ_Lp4404vuLc3-4xz7kzzUvbLONP682p_ilwRYd-T7F53tz8yAcvdqpbEvOFw_BGm3-aL42mVkQEpsHW8xlsto96NXb-yfUTw_GPqg16Jk8gVsI12PgC93WCG9nUxKkAtt7li5QfH8HMynYXUoXI50X-fN3naY2a0q76val1CtEyZ75z76tdqlsfmXY-YaFESTZZT42DlJlb4Gn2vl4JvrPP3HWIQ_hhX_XVccRsaSVQVniI53Ffa5FWBS6pIFvF9h_ivM_19c8YMwb-E_tOD4MBKE257SHz_tftgXE3SyKyaSC8UEKwqef-XIOHQfb6Ewf_Y8wnMZytM3Zt9nii8a1xh_Mn-v-qB4fkLm39nj_yO7fodT4l3bl17ox1KWsxJfJlQbXYK1npE96jYPgv7dn4xu6l49EUW7i48ou7LhTAuSlYGdb1IOQG1PdgRq9Lft2XTpmlrCDx20Nvpz33AeNgQJS-lTU2fAvr7sOoJofLGRPOkkKc1KvBNZWsd2DWGyq1TzK1VlnOQl_k5RfnJ5NODTmE_iCRvANMrG6XickjQdbKbAJ3FJeZHSFY85H_MxS8oVYxHNixgmq4GYUkJjQsk4ikkSpSNOs4hH43GZZXlBcoYSAhUTcuQXdKTNehBub6YZSXMykKwAacN9IqUKPnF4iShF6e3ATMMtTNGsLUqIFNbZgxYnnAwXkSHBpbe-dRkutB7O9pd7RqzXYIDj4-uwxgD2CNffh9FBY-T0919TBa7_CgAA__9UH28Y">