flang/test/Lower/assigned-goto.f90

! RUN: bbc -emit-fir -o - %s | FileCheck %s

  ! CHECK-LABEL: func @_QPnolist
  subroutine nolist
    integer L, V
 11 V = 1
    ! CHECK: fir.store %c31{{.*}} to %{{.}}
    assign 31 to L
    ! CHECK: fir.select %{{.}} : i32 [31, ^bb{{.}}, unit, ^bb{{.}}]
    goto L ! no list
 21 V = 2
    go to 41
 31 V = 3
 41 print*, 3, V
 end

 ! CHECK-LABEL: func @_QPlist
 subroutine list
    integer L, V
    ! CHECK: fir.store %c22{{.*}} to %{{.}}
    assign 22 to L
 12 V = 100
    ! CHECK: fir.store %c32{{.*}} to %{{.}}
    assign 32 to L
    ! CHECK: fir.select %{{.}} : i32 [32, ^bb{{.}}, 22, ^bb{{.}}, unit, ^bb{{.}}]
    goto L (42, 32, 22, 32, 32) ! duplicate labels are allowed
 22 V = 200
    go to 42
 32 V = 300
 42 print*, 300, V
 end

    call nolist
    call list
 end