! { dg-additional-options "-O0 -Wno-analyzer-possible-null-dereference -Wno-analyzer-null-dereference -Wno-analyzer-malloc-leak" } program cb implicit none type :: jn real, allocatable :: ie character(len = :), allocatable :: e5 end type jn real, parameter :: gm = 5.0 block type(jn) :: r2 r2 = jn (gm, "") call vz (r2%ie, gm) end block contains subroutine vz (arg1, arg2) real :: arg1, arg2 if (arg1 .ne. arg2) STOP 1 end subroutine vz end program cb