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

    <tr>
        <th>Summary</th>
        <td>
            [flang] FIR verification failure for DTIO with structure constructor
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            flang:fir-hlfir
      </td>
    </tr>

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

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

<pre>
    Consider the following code:
```
module m
   type base
      character(3), allocatable :: c
      contains
         procedure, pass :: write => writeb
         generic :: write(formatted) => write
   end type
 contains
      subroutine writeb (dtv, unit, iotype, v_list, iostat, iomsg)
         class(base), intent(in) :: dtv
         integer, intent(in) :: unit
         character(*), intent(in) :: iotype
         integer, intent(in)  :: v_list(:)
         integer, intent(out) :: iostat
 character(*), intent(inout) :: iomsg
         character(20) :: fmt

 write (fmt, *) "(A", v_list(1), ")"
         write (unit, fmt, iostat=iostat, iomsg=iomsg) dtv%c
         iomsg = 'dtiowriteb'

      end subroutine

end module

program main
   use m
   integer :: stat
 character(200) :: msg

   open ( 1, file = 'main.1', form='formatted', access='sequential' )
   write ( 1, "(2(DT(3),DT(4)))", iostat = stat, iomsg = msg )  ( base('ABC'), base('DEF'), i=0,1 )
end program
```

Flang fails at:
```
Assertion failed: resultNumber < getNumResults() && "Result number is out of range for operation", file /home/cdchen/FLANG/llvm-project/flang/../mlir/include/mlir/IR/Operation.h, line 1011, detail::OpResultImpl *mlir::Operation::getOpResultImpl(unsigned int)()
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: flang -fc1 -triple powerpc64-ibm-aix7.2.0.0 -emit-obj -ffree-form -fcolor-diagnostics -mrelocation-model pic -pic-level 2 -target-cpu pwr7 -resource-dir /home/cdchen/FLANG/build/lib/clang/21 -mframe-pointer=all -o /tmp/structConstr002-77e9b8.o -x f95 t.f
flang-21: error: unable to execute command: IOT/Abort trap

```

All ifort, gfortran and XLF compiles the code successfully.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJycVs1u27oSfhp6M5AgUbYlL7xQ7egiQNEUbRd3d0FRI5ktJeqSVNK-_cGQSuykP-fgBEkkDjl_33wzonBODRPike3esd15IxZ_MfZ4FpNCfTpdcNq0pvtxPJnJqQ4t-AtCb7Q2T2oaQJoOWVGzrGb7bP3N6tF0i0YYWVYDgP8xI7TCYVwCgLwIK6RHy3hVMH5g_ARCayOFF61GIItFDfKqYCYv1OReBAAwWyOxWyyS9iyce1Z7ssqTjTMr7uKivdUbcEKr5KvTjFe9saPwHjvGD6-Uoy5OXUiEVj9F45bWmsWrCVd_wHjV-UeKbJmUp6cyQZ2f4PF_WrlV5rxY30Y3EBI3gUotnGO8CtBFkNTkcfKMV2qKYYYUyNONHh0aCNvfnQ8h3Tq6KQfj9R99rWn8I3fPOs8JV7R-neOvlM3iXzkMGBHsfxfmW0WC9Ddp8uzmZD-SfTq6UodXJOIniG6Acc54VYfHtX5VvoYQ5Af6f-PtxdQzAVaTaz7F-W3xSRJJEArKd_IVULRHvATGy84rsxKbl2vo4YdYeiVj3CFZbMi4nq0ZrBhhFGqKiot76dW1Hs_I_Ap6nt1iFzGOymbGiTKGPOSrQieHgMlXmlOwtGHsSA3Gy5ueCztCSnQu7jn8_4KTV0IzXsILbV5gjU5iZejv_OU6TML7Nrwf1sq8IB9CeoV8kIRn4Cyv4rAikpX1u1OILdT5Kj7fNVexYsU5Y_yUr1ES4CvIb-Yiy-pGi2mAXijtgGjwdnTWzqH1ykzhDHaEsUW3aP9hGdtQmRMMSKtPQexCRMTRPeN7AiTKYYrnlQOzeDA9WDENNLstFcoKcrIiE0vFm4sZkfFGdvKCE-NN877-8B_GG60fx2S25itKz3jTUw6MN2nKeDNqZRlv1CT10uFVcP-J8ebh2VF6IT-aJmSe5aF0HXqhdKTRwxyDvh9nTU0XbKw7z6GG5YD-9mxor_AB64i6oSBVrMLH93f15zvqhlF5ENAuA1icjfXgDVy8n10YRw3jzaD8ZWlTacY12Z9zVs4t6BhvQEzkK2QbPobSCneBVshv3gqJKcvqz17Ib9At4xwLnKWxPT-urSfssIw4eRemT2BE0sscEm_VrBFm84R2lvttotoxEep7mfI0SzNIcFQ-Me1XSPreIibUQaRrtLFJp8QwGeeVdJCMFsMHVZkpGU2HGmYlIZmVTDQ-ogYOiRd2QJ_IeYH5yZaQWHRmsRKTTtk_EaJdlO4IJNXS9soHnkMy9laMmMyGJollxVloDYkhY36cGW-ct4v0dJ3wNst4UpZ4aKvUQPId-sMOfNqzrA6gJDwngNBaY-N3K9wOvAH8jnLxCNKMo5hCk9w_fGG8qdtQYCvm2G5vuq_WGlRvbGj-gV6smEJF__u-IWuz0uhiWU2H4JYwkfpF6x_ppjsW3aE4iA0e83J72O_2RZltLsdyd8AKRX6odkXe9xVuURRFu5OiKIttf9ioI8_4Ltvneb4rDkWWlkJueZdnxWHPset6ts1wFEqnxLrU2GET-HbMt0VZFBstWtQuXNE4j91X1L2yyUX31Gycbm72GCjbLoNj24w-Ue5qziuvwx0vau_O0Nx_gke0qleRJGHeLDYOiPOX-wd4Uv4CsVwkl6Fki_TGbharj_--hdasHo_8rwAAAP__nuEq5Q">