org.eclipse.photran.core.vpg.tests/refactoring-test-code/remove-assign-gotos/test09/one_label_goto_two_different_addresses.f90.result

! Test 9:  1 ASSIGN Label, goto 2 different addresses
! Test passes with two select case statements for the single label
program one_label_goto_two_different_addresses !<<<<< 1, 1, 17, 12, true, pass

    label = 100
    goto 1000

100 label = 200
    goto 2000

200 stop

1000 print *, "First goto reaches here"
     select case (label)
     case (100); goto 100
     case (200); goto 200
     case default; stop "Unknown label"
     end select

2000 print *, "Second goto reaches here"
     select case (label)
     case (100); goto 100
     case (200); goto 200
     case default; stop "Unknown label"
     end select
end program