! { dg-do run }
! Checks for corrects warnings if branching to then end of a
! construct at various nesting levels
  subroutine check_if(i)
    goto 10  ! { dg-warning "Label at ... is not in the same block" }
    if (i > 0) goto 40
    if (i < 0) then
       goto 40
10  end if    ! { dg-warning "Label at ... is not in the same block" }
    if (i == 0) then
       i = i+1
       goto 20
       goto 40
20  end if
    if (i == 1) then
       i = i+1
       if (i == 2) then
          goto 30
       end if
       goto 40
30  end if
    return
40  i = -1
  end subroutine check_if
  
  subroutine check_select(i)
    goto 10  ! { dg-warning "Label at ... is not in the same block" }
    select case (i)
    case default
       goto 999
10  end select  ! { dg-warning "Label at ... is not in the same block" }
    select case (i)
    case (2)
       i = 1
       goto 20
       goto 999
    case default
       goto 999
20  end select
    j = i
    select case (j)
    case default
       select case (i)
       case (1)
          i = 2
          goto 30
       end select
       goto 999
30  end select
    return    
999 i = -1
  end subroutine check_select

  i = 0
  call check_if (i)
  if (i /= 2) call abort ()
  call check_select (i)
  if (i /= 2) call abort ()
end
