File: impure_constructor_1.f90

package info (click to toggle)
gcc-arm-none-eabi 15%3A12.2.rel1-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 959,712 kB
  • sloc: cpp: 3,275,382; ansic: 2,061,766; ada: 840,956; f90: 208,513; makefile: 76,132; asm: 73,433; xml: 50,448; exp: 34,146; sh: 32,436; objc: 15,637; fortran: 14,012; python: 11,991; pascal: 6,787; awk: 4,779; perl: 3,054; yacc: 338; ml: 285; lex: 201; haskell: 122
file content (28 lines) | stat: -rw-r--r-- 581 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
! { dg-do compile }
!
! PR fortran/43362
!
module m
  implicit none
  type t
    integer, pointer :: a
  end type t
  type t2
    type(t) :: b
  end type t2
  type t3
    type(t), pointer :: b
  end type t3
contains
 pure subroutine foo(x)
   type(t), target, intent(in) :: x
   type(t2) :: y
   type(t3) :: z

   ! The following gave an ICE but is valid:
   y = t2(x) ! Note: F2003, C1272 (3) and (4) do not apply
   
   ! Variant which is invalid as C1272 (3) applies
   z = t3(x) ! { dg-error "Invalid expression in the structure constructor" }
 end subroutine foo
end module m