[LoopReroll] Add an extra defensive check to avoid SCEV assertion.
[llvm-project.git] / flang / test / Semantics / label06.f90
blobfab521c42ecdde8c38153925eeefec3bd91efc35
2 ! RUN: not %flang_fc1 -fdebug-unparse-with-symbols %s 2>&1 | FileCheck %s
3 ! CHECK: Label '10' is not in scope
4 ! CHECK: Label '20' was not found
5 ! CHECK: Label '30' is not a branch target
6 ! CHECK: Control flow use of '30'
7 ! CHECK: Label '40' is not in scope
8 ! CHECK: Label '50' is not in scope
10 subroutine sub00(n)
11 GOTO (10,20,30) n
12 if (n .eq. 1) then
13 10 print *, "xyz"
14 end if
15 30 FORMAT (1x,i6)
16 end subroutine sub00
18 subroutine sub01(n)
19 real n
20 GOTO (40,50,60) n
21 if (n .eq. 1) then
22 40 print *, "xyz"
23 50 end if
24 60 continue
25 end subroutine sub01