xref: /llvm-project/flang/test/Semantics/resolve04.f90 (revision 6c1ac141d3c98af9738bc77fcb55602cbff7751f)
1*6c1ac141SIvan Zhechev! RUN: %python %S/test_errors.py %s %flang_fc1
264ab3302SCarolineConcatto!ERROR: No explicit type declared for 'f'
364ab3302SCarolineConcattofunction f()
464ab3302SCarolineConcatto  implicit none
564ab3302SCarolineConcattoend
664ab3302SCarolineConcatto
764ab3302SCarolineConcatto!ERROR: No explicit type declared for 'y'
864ab3302SCarolineConcattosubroutine s(x, y)
964ab3302SCarolineConcatto  implicit none
1064ab3302SCarolineConcatto  integer :: x
1164ab3302SCarolineConcattoend
1264ab3302SCarolineConcatto
1364ab3302SCarolineConcattosubroutine s2
1464ab3302SCarolineConcatto  implicit none
1564ab3302SCarolineConcatto  block
1664ab3302SCarolineConcatto    !ERROR: No explicit type declared for 'i'
1764ab3302SCarolineConcatto    i = 1
1864ab3302SCarolineConcatto  end block
1964ab3302SCarolineConcattocontains
2064ab3302SCarolineConcatto  subroutine s3
2164ab3302SCarolineConcatto    !ERROR: No explicit type declared for 'j'
2264ab3302SCarolineConcatto    j = 2
2364ab3302SCarolineConcatto  end subroutine
2464ab3302SCarolineConcattoend subroutine
2564ab3302SCarolineConcatto
2664ab3302SCarolineConcattomodule m1
2764ab3302SCarolineConcatto  implicit none
2864ab3302SCarolineConcattocontains
2964ab3302SCarolineConcatto  subroutine s1
3064ab3302SCarolineConcatto    implicit real (a-h)
3164ab3302SCarolineConcatto    a1 = 1.
3264ab3302SCarolineConcatto    h1 = 1.
3364ab3302SCarolineConcatto    !ERROR: No explicit type declared for 'i1'
3464ab3302SCarolineConcatto    i1 = 1
3564ab3302SCarolineConcatto    !ERROR: No explicit type declared for 'z1'
3664ab3302SCarolineConcatto    z1 = 2.
3764ab3302SCarolineConcatto  contains
3864ab3302SCarolineConcatto    subroutine ss1
3964ab3302SCarolineConcatto      implicit integer(f-j) ! overlap with host scope import is OK
4064ab3302SCarolineConcatto      a2 = 1.
4164ab3302SCarolineConcatto      h2 = 1
4264ab3302SCarolineConcatto      i2 = 1
4364ab3302SCarolineConcatto      !ERROR: No explicit type declared for 'z2'
4464ab3302SCarolineConcatto      z2 = 2.
4564ab3302SCarolineConcatto    contains
4664ab3302SCarolineConcatto      !ERROR: An internal subprogram may not contain an internal subprogram
4764ab3302SCarolineConcatto      subroutine sss1
4864ab3302SCarolineConcatto        implicit none
4964ab3302SCarolineConcatto        !ERROR: No explicit type declared for 'a3'
5064ab3302SCarolineConcatto        a3 = 1.
5164ab3302SCarolineConcatto      end subroutine
5264ab3302SCarolineConcatto    end subroutine
5364ab3302SCarolineConcatto  end subroutine
5464ab3302SCarolineConcatto  subroutine s2
5564ab3302SCarolineConcatto    !ERROR: No explicit type declared for 'b1'
5664ab3302SCarolineConcatto    b1 = 1.
5764ab3302SCarolineConcatto  end subroutine
5864ab3302SCarolineConcattoend module
59