+
−! { dg-do compile }
+
−! PR 38507
+
−! Verify that we correctly flag invalid gotos, while not flagging valid gotos.
+
−integer i,j
+
−
+
−do i=1,10
+
−   goto 20
+
−20 end do   ! { dg-warning "is not in the same block" }
+
−
+
−goto 20   ! { dg-warning "is not in the same block" }
+
−goto 25   ! { dg-warning "is not in the same block" }
+
−goto 40   ! { dg-warning "is not in the same block" }
+
−goto 50   ! { dg-warning "is not in the same block" }
+
−
+
−goto 222
+
−goto 333
+
−goto 444
+
−
+
−222 if (i < 0) then
+
−25 end if      ! { dg-warning "is not in the same block" }
+
−
+
−333 if (i > 0) then
+
−   do j = 1,20
+
−      goto 30
+
−   end do
+
−else if (i == 0) then
+
−   goto 30
+
−else
+
−   goto 30
+
−30 end if
+
−
+
−444 select case(i)
+
−case(0)
+
−   goto 50
+
−   goto 60  ! { dg-warning "is not in the same block" }
+
−case(1)
+
−   goto 40
+
−   goto 50
+
−   40 continue  ! { dg-warning "is not in the same block" }
+
−   60 continue    ! { dg-warning "is not in the same block" }
+
−50 end select   ! { dg-warning "is not in the same block" }
+
−continue 
+
−
+
−end