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

    <tr>
        <th>Summary</th>
        <td>
            SimplifyIntrinsics reports unexpected assertion `rank > 0 && "rank cannot be zero"' failed.
        </td>
    </tr>

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

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

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

<pre>
    ```
% cat f.f90
function mc(m)
    logical(4) :: m(:,:,:)
    mc = Count(m)
end
```
```
% flang f.f90
f18: /proj/build/llvm/Linux_x86_64/flang/lib/Optimizer/Transforms/SimplifyIntrinsics.cpp:173: void genReductionLoop(fir::FirOpBuilder&, mlir::Type, mlir::func::FuncOp&, InitValGeneratorTy, BodyOpGeneratorTy, unsigned int): Assertion `rank > 0 && "rank cannot be zero"' failed.
Aborted
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJykU01r5DgU_DXPF7GN_WSr2wcfOsl6CQQadsNegyw_uzUjS0KSQzq_fpDTQ76OA8aYkl-pVFWSMerZEnXQ3EBzV8g1nV3oYlTSeGepGNx46UCU16e8g_II2DAlE5t2U3uFptWqpJ1liwI8LIDtG84YY8bNWkkDeKgBWwb8CPzIFsBD_sTbD-8PU4tiwO_YrVtt-kRJdrzK-KLqu8jJSDt_klnlPRlg74P7AdgPqzYjYG_M8wLYP2i7vjy9HMSTqAH7bT6v6gGwP_mkF_1KAbB_DNLGyYUlAvb_6cUbPV3ubQraRq3iTnkP_Fjted7u2emRzWT_pXHdXHpwzgMeJh3ezOh1OPmbLCWTC8Bbtpjfi48XT5-RbPZ1cLXq5K8j91an_6X5hywFmVx4vGT0xo2Xk_8CrnaLfWQ6m9tmkccYKWwRgiiDtD8Z8L9ZyTZywQBxA5W01iU2EHul4AARcM8mqQ2NuzePj4MLib5mVIwdH1veyoK6SuzrFpuqFsW5KxWvhZAtIq8a0TYo63Ev8ECtFMM0NIXusEReVnioRNOWYteUCifJ-aTU0FLVQl3SIrXZ5RB3LsyFjnGlTpS8EYWRA5m49RvxGijmqocu___XsM4R6tLomOI7Q9LJUPc9WBbIu5AiWy29eFKJRib_3LliDaY7p-Tjdg16wH7W6bwOO-WW93pugnNzSSXAfjtmLuB20l8BAAD__1FbIuM">