[LoopReroll] Add an extra defensive check to avoid SCEV assertion.
[llvm-project.git] / flang / test / Semantics / label05.f90
blob958627acf4b51136a7ccaf01ed9d5f0db49f899c
2 ! RUN: not %flang_fc1 -fdebug-unparse-with-symbols %s 2>&1 | FileCheck %s
3 ! CHECK: Label '50' was not found
4 ! CHECK: Label '55' is not in scope
5 ! CHECK: Label '70' is not a branch target
6 ! CHECK: Control flow use of '70'
8 subroutine sub00(a,b,n,m)
9 real a(n,m)
10 real b(n,m)
11 if (n .ne. m) then
12 goto 50
13 end if
14 6 n = m
15 end subroutine sub00
17 subroutine sub01(a,b,n,m)
18 real a(n,m)
19 real b(n,m)
20 if (n .ne. m) then
21 goto 55
22 else
23 55 continue
24 end if
25 60 n = m
26 end subroutine sub01
28 subroutine sub02(a,b,n,m)
29 real a(n,m)
30 real b(n,m)
31 if (n .ne. m) then
32 goto 70
33 else
34 return
35 end if
36 70 FORMAT (1x,i6)
37 end subroutine sub02