Subversion Repositories openrisc_2011-10-31

! { 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