[Flang] FIR verification failure with select

[kiranchandramohan]

A verification failure is seen with select and strings.

Verification Error (Originally seen with cam4)

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

[llvmbot]

@llvm/issue-subscribers-flang-ir

[PeixinQiao]

Are these issues open to anyone to fix?

[kiranchandramohan]

Yes, @PeixinQiao. Please assign it to yourself if you are working on it.

[PeixinQiao]

Thanks @kiranchandramohan . I will take a look at this.

[kiranchandramohan]

Fixed by https://reviews.llvm.org/D128852. Thanks @vdonaldson.