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

    <tr>
        <th>Summary</th>
        <td>
            [Flang] FIR verification failure with select
        </td>
    </tr>

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

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

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

<pre>
    A verification failure is seen with select and strings.
Verification Error
```
error: loc("./select.f90":6:8): operand #0 does not dominate this use
error: verification of lowering to FIR failed
```
Reproducer
```

module m
  character(len=16) :: x
contains
  subroutine hd
    if (.true.) then
       select case(trim(x))
       case('abc')
          continue
       end select
    end if
  end subroutine
end module m
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxtUslu3DAM_Rr5ItSQpfF28GGKqYFec-hdtmlbqSwNtCTp35fyLJkJYsha-CjqPZKDnf51R_oGTs1qlEFZQ2epdHRAlacewNB3FVbcaRgDlWaiPjhlFp8TdiLs-Ofx6i_nrLvYScWuYz_Cjogj1XYkvCGc54T3l6j53DI0IFrhj1ibHO0ZXHqOcMHoZMFTYwNuNmVkABpW5Bc9fAn_pMTO-Nw7JLo0WNr_ftnFwfQtxRc4OzvFEb5XcJk39NBAt8uJ0nGVTo4B7_BGgyHiVFQogCKXROfj4jdaE6Qy_nbLx8HZGJQBuk43I6VqRrVNHlyEPAUJK0a8o_hdqzBK1M0brMOGy0dKGI5Hx6sH4bUcMN_1Vzy5ICdlIjzZIdV3f-TTnGxqvp13jzv9a_bR9pyYe-6yqRNTK1qZBRU0dKT82WtpFlKe9np823kPHZdFp7s1hLNPGeU9jgXROOSjRfG91m-35QeW7zUx573yPoLHTVkVB5GtXc150ciSD6wEXg_iUMmmneuibgQMBYyZlgNon-hhJ847Q3FULrVlecpUxxnnrOJFIVjBDnnL2qkRsqmqQ1PLhpMDgw3Z54lIbt2SuW7nNMTFI6iVD_4TlN6rxcCejhRfxrBa1_1V2PHYUWZycrO4ZruQblfxH2eYGb8">