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

    <tr>
        <th>Summary</th>
        <td>
            [flang] HLFIR forall tests trigger assertion failures on macOS
        </td>
    </tr>

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

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

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

<pre>
    Both `HLFIR/forall-index.fir` and `Lower/HLFIR/forall.f90` tests cause flang-new to abort execution after an assertion failure:
`Assertion failed: (op->use_empty() && "expected 'op' to have no uses"), function eraseOp, file PatternMatch.cpp, line 307.`

Below is the output of `Lower/HLFIR/forall.f90` failure:
```
FAIL: Flang :: Lower/HLFIR/forall.f90 (1 of 1)
******************** TEST 'Flang :: Lower/HLFIR/forall.f90' FAILED ********************
Exit Code: 2

Command Output (stderr):
--
RUN: at line 2: bbc --hlfir -o - /Users/leandro.lupori/git/flang-luporl/llvm-project/flang/test/Lower/HLFIR/forall.f90 | /Users/leandro.lupori/git/flang-luporl/buildr/bin/FileCheck /Users/leandro.lupori/git/flang-luporl/llvm-project/flang/test/Lower/HLFIR/forall.f90
+ bbc --hlfir -o - /Users/leandro.lupori/git/flang-luporl/llvm-project/flang/test/Lower/HLFIR/forall.f90
+ /Users/leandro.lupori/git/flang-luporl/buildr/bin/FileCheck /Users/leandro.lupori/git/flang-luporl/llvm-project/flang/test/Lower/HLFIR/forall.f90
Assertion failed: (op->use_empty() && "expected 'op' to have no uses"), function eraseOp, file PatternMatch.cpp, line 307.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: bbc --hlfir -o - /Users/leandro.lupori/git/flang-luporl/llvm-project/flang/test/Lower/HLFIR/forall.f90
 #0 0x0000000102cbba54 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101f9fa54)
 #1 0x0000000102cb9bf8 llvm::sys::RunSignalHandlers() (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101f9dbf8)
 #2 0x0000000102cbc104 SignalHandler(int) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101fa0104)
 #3 0x0000000184439a24 (/usr/lib/system/libsystem_platform.dylib+0x180465a24)
 #4 0x000000018440acc0 (/usr/lib/system/libsystem_pthread.dylib+0x180436cc0)
 #5 0x000000018431aa50 (/usr/lib/system/libsystem_c.dylib+0x180346a50)
 #6 0x0000000184319d6c (/usr/lib/system/libsystem_c.dylib+0x180345d6c)
 #7 0x0000000102f43a6c mlir::RewriterBase::eraseBlock(mlir::Block*) (.cold.1) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x102227a6c)
 #8 0x0000000102ba82c4 mlir::RewriterBase::eraseOp(mlir::Operation*) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101e8c2c4)
 #9 0x0000000100fa3fb8 hlfir::ForallIndexOp::canonicalize(hlfir::ForallIndexOp, mlir::PatternRewriter&) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x100287fb8)
#10 0x0000000102a60970 void llvm::function_ref<void ()>::callback_fn<mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<mlir::LogicalResult (mlir::Pattern const&)>)::$_2>(long) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101d44970)
#11 0x0000000102a5dccc mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<mlir::LogicalResult (mlir::Pattern const&)>) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101d41ccc)
#12 0x0000000102a2da38 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101d11a38)
#13 0x0000000102a2aa68 mlir::applyPatternsAndFoldGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101d0ea68)
#14 0x00000001029fad14 (anonymous namespace)::Canonicalizer::runOnOperation() (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101cded14)
#15 0x0000000102a872c8 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101d6b2c8)
#16 0x0000000102a87928 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101d6b928)
#17 0x0000000102a89958 mlir::PassManager::run(mlir::Operation*) (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x101d6d958)
#18 0x0000000100d229dc main (/Users/leandro.lupori/git/flang-luporl/buildr/bin/bbc+0x1000069dc)
#19 0x0000000184091058
FileCheck error: '<stdin>' is empty.
FileCheck command line:  /Users/leandro.lupori/git/flang-luporl/buildr/bin/FileCheck /Users/leandro.lupori/git/flang-luporl/llvm-project/flang/test/Lower/HLFIR/forall.f90

--

********************
********************
Failed Tests (1):
  Flang :: Lower/HLFIR/forall.f90
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWV9P6zoS_zTui9XKcf40eehDKWQvEndBwNU-Isd2Wi-OHdnOAe6nX9lJoS7nD_cAe_dIe1QdWmcy8_vNjGecCbFWbBXnK5CfgPx0Rga302Ylh14bOWs0e1qdaLeDoEC_XdTn1wDXrTZEyrlQjD8uWmFAgSBRzItc6AduAK5j0UVbIS_kuHUWUjJYDltJ1Hau-AN0GpJGGwf5I6eDE1pB0jpuIFGQWMtNWGqJkIPhIF0DdArQGhRoHV3kDKRrCHCp-zlIzwbL73jXuyeAS4ArCHABcAEBxvyx59RxBgFe6h7gpUewI184VBoOlluAMcAVwBvYDooGA9wQyy_7sCYkh1fEOW7U78TR3YL24YIUisMULRegQBPG8P8Jl_oBCgvdjkM9uH5wULc_9tZXGE-f8LNen194xrV3JPRS6Rp-W6P3TOLtJp7bqBD__Afent3ceg--0bx3s0d8dgrfY3YEfvYoHNxo5n0D8aGvN7rrfCpejm4GuLSOcWM8570f5_Px7_Uf__T3EzdGDvsfTUPhfL6TrTBwruEcAlz_YbmxANeSE8WMXoStIQCut8J5jiGRx_3ipeSXbt4b_W9On68CXPvUB7j-XnyWm79urRmEZF5hIxTAdS0k3-w4vf_v4d6n0snf6LsXDL-sA_9na1lAd3Vxtr45g3ZoOuEggc2whYb3vmh7e8711m8vXI_O2Q3Ngupucspr3whrBw-tDm1DKCoHxkN5pIbYHWwIvXeGUD6Zv3GE3kM2dP3zJkYLgKoro7eGdJCY7dBx5ezfu4VHZBDgFEH0iMZ_CcK0aUieweCLUCftkx2_XBmhXGB36-kCXL4IGfJwp60znHQh3hsolBujX743zZuGAnyCHhOUtFVL8uy5J3j0yRH6qmnLr6G_HtSN2CoifyOKyQCn_AyArGnLCCA-AkgTlMEICsDl53iLoATF3koPwJRZllYEZ5PVwXolUjQA1_bJOt6NP8fvd70krtWmW7CnIONNlCgrcoJjE1lsAhFK0RtNuJ3hhB1ZSAtKUWQhjyykCSH5Gy3QWHeaFSSPdRdHuitW0J_UnbOCRrqXUSa0WUoKCjspzJSh_MEIx80JsXxcCcXvRGp6D3D5IjitrKeMWVAt2SL58PzBGC_JEYUyotCQEtPsxxR8_T7Af9lzQ3x1f-HwgVnPS4ppnJLVIWrUkrRtShiK7gioDlXx3D8iXPbjEiVKK0GJFH_6SvdNYbw5oD81p70XQiX8YHoIl8u2KQ-OxWkSF3BSoGqJ4Bct2EEd3DfUO8NbkG7C1bECgvRsT1lK38zuWgXSzStW676XghKnp-XOt-C1YhPb70T4Ry7afBtno7WEkepJAaRa-Q5XTAy-p2RP9l1KXm6-0FufGNfcDtK9TW81XgY4u8NhoZTat-mPzn2WZdUSRckR90eSM0rp63j8P7jvCO6HBzGhlEZBjM8QBDOSlt6qL1JPnR4sVKTjtg_HsinZ_mE4Z09xSE6N-MInOr3RlFv7L23upfCEPuE4xJKEpHGxSo-oEFKUBylE-l7uQdu1YrWWLDAR8imKxjXfhhQs4hSsjf6T7-lOem64OwjaofToo0l6o1Urtl7AJ-an9CaGOClif2SRP6qWsCT7UWg3B81pYmIGdakOduYnBJMyzpIsAp_HwSyXmB4Gk3FHhNxXjVt92V8Ra9eM9M-FxgzqaJNZ-6qufLvirBWRT1bY34kiW19x9sHbwEGFWSH7nCcRVjSYxpEsjp1R4b_ujCvRc_88e1Rxvegzx-LDvRMXcWvPlXUmPKVq85UqfygwWh4vTNiviOHKnatW77fdZ2yloqlwHIDlUQCqKi-PcO898dXc-9xzKStYlceAo9M0YhhXjMKOCPXBZ0aEiorFHaWKnnNQlaC8nEa1z1MlbkzITAjwEqQb65hQoeMtobAwzHgWx_fQaaYZcjhdw193yBXPX98_hP4oDXUYucHb8HoC4DI5HBfDt07Yj6b0M7ZKWZVWZMZXSVGVywJlKZ7tVpjhtG1alraIcMLbLG8qWjQcN1mCmyKfiRVG_hkkTZI0T3O8IEmRIJYnZZ7ked60IEO8I0IufDgW2mxnYaK2WqIS5TNJGi5teJ-D8RQhDPLTmVmF8DXD1oIM-ROKfdHghJPhJdB4R34KA0M48pte3TgjtltuXr-WsVAr2BF6eTMbjFz9_EQwUPhPAAAA__8gZheP">