! { dg-do compile }
|
! { dg-do compile }
|
! { dg-options "-fwhole-file -fdump-tree-original" }
|
! { dg-options "-fwhole-file -fdump-tree-original" }
|
!
|
!
|
! PR fortran/43042 - fix ICE with c_null_ptr when using
|
! PR fortran/43042 - fix ICE with c_null_ptr when using
|
! -fwhole-file (or -flto, which implies -fwhole-file).
|
! -fwhole-file (or -flto, which implies -fwhole-file).
|
!
|
!
|
! Testcase based on c_ptr_tests_14.f90 (PR fortran/41298)
|
! Testcase based on c_ptr_tests_14.f90 (PR fortran/41298)
|
! Check that c_null_ptr default initializer is really applied
|
! Check that c_null_ptr default initializer is really applied
|
|
|
module m
|
module m
|
use iso_c_binding
|
use iso_c_binding
|
type, public :: fgsl_file
|
type, public :: fgsl_file
|
type(c_ptr) :: gsl_file = c_null_ptr
|
type(c_ptr) :: gsl_file = c_null_ptr
|
type(c_funptr) :: gsl_func = c_null_funptr
|
type(c_funptr) :: gsl_func = c_null_funptr
|
type(c_ptr) :: NIptr
|
type(c_ptr) :: NIptr
|
type(c_funptr) :: NIfunptr
|
type(c_funptr) :: NIfunptr
|
end type fgsl_file
|
end type fgsl_file
|
contains
|
contains
|
subroutine sub(aaa,bbb)
|
subroutine sub(aaa,bbb)
|
type(fgsl_file), intent(out) :: aaa
|
type(fgsl_file), intent(out) :: aaa
|
type(fgsl_file), intent(inout) :: bbb
|
type(fgsl_file), intent(inout) :: bbb
|
end subroutine
|
end subroutine
|
subroutine proc() bind(C)
|
subroutine proc() bind(C)
|
end subroutine proc
|
end subroutine proc
|
end module m
|
end module m
|
|
|
program test
|
program test
|
use m
|
use m
|
implicit none
|
implicit none
|
type(fgsl_file) :: file, noreinit
|
type(fgsl_file) :: file, noreinit
|
integer, target :: tgt
|
integer, target :: tgt
|
|
|
call sub(file, noreinit)
|
call sub(file, noreinit)
|
if(c_associated(file%gsl_file)) call abort()
|
if(c_associated(file%gsl_file)) call abort()
|
if(c_associated(file%gsl_func)) call abort()
|
if(c_associated(file%gsl_func)) call abort()
|
|
|
file%gsl_file = c_loc(tgt)
|
file%gsl_file = c_loc(tgt)
|
file%gsl_func = c_funloc(proc)
|
file%gsl_func = c_funloc(proc)
|
call sub(file, noreinit)
|
call sub(file, noreinit)
|
if(c_associated(file%gsl_file)) call abort()
|
if(c_associated(file%gsl_file)) call abort()
|
if(c_associated(file%gsl_func)) call abort()
|
if(c_associated(file%gsl_func)) call abort()
|
end program test
|
end program test
|
|
|
! { dg-final { scan-tree-dump-times "gsl_file = 0B" 1 "original" } }
|
! { dg-final { scan-tree-dump-times "gsl_file = 0B" 1 "original" } }
|
! { dg-final { scan-tree-dump-times "gsl_func = 0B" 1 "original" } }
|
! { dg-final { scan-tree-dump-times "gsl_func = 0B" 1 "original" } }
|
|
|
! { dg-final { scan-tree-dump-times "NIptr = 0B" 0 "original" } }
|
! { dg-final { scan-tree-dump-times "NIptr = 0B" 0 "original" } }
|
! { dg-final { scan-tree-dump-times "NIfunptr = 0B" 0 "original" } }
|
! { dg-final { scan-tree-dump-times "NIfunptr = 0B" 0 "original" } }
|
|
|
! { dg-final { scan-tree-dump-times "bbb =" 0 "original" } }
|
! { dg-final { scan-tree-dump-times "bbb =" 0 "original" } }
|
|
|
! { dg-final { cleanup-tree-dump "original" } }
|
! { dg-final { cleanup-tree-dump "original" } }
|
! { dg-final { cleanup-modules "m" } }
|
! { dg-final { cleanup-modules "m" } }
|
|
|
