Problem with submodules, when using the value attribute

when compiling the following code with -DWITH_VALUE

$ nvfortran problem.F90 -DWITH_VALUE
NVFORTRAN-S-0038-Symbol, input, has not been explicitly declared (problem.F90: 4)
0 inform, 0 warnings, 1 severes, 0 fatal for subroutine_017
[armnmfv@nemesis ~/GITHUB-ECCC/fortran_examples (main %|u=)] $ nvfortran --version

nvfortran 23.1-0 64-bit target on x86-64 Linux -tp zen3
NVIDIA Compilers and Tools
Copyright (c) 2023, NVIDIA CORPORATION & AFFILIATES. All rights reserved.

module module_017
implicit none
module subroutine subroutine_017(input, output) ! interface defined here, boy will be found in a submodule
implicit none
#if defined(WITH_VALUE)
integer, intent(IN), value :: input ! the value clause generates an error with some compilers (nvfortran)
integer, intent(IN) :: input
integer, intent(OUT) :: output
end interface
end module
submodule (module_017) submodule_017 ! submodule whose parent is module_017
module procedure subroutine_017 ! must not duplicate the inferface, already defined in module module_017
implicit none ! subroutine body here
output = input
print *,‘subroutine_017 : input =’, input
end submodule
program demo_017
use module_017
implicit none
integer :: output
call subroutine_017(456, output)
print *, 'program demo_017 : value = ',output

without the value attribute :
$ nvfortran problem.F90 && ./a.out
subroutine_017 : input = 456
program demo_017 : value = 456

if implicit none in the submodule is removed, no error is reported

Thanks for the report mfvalin,

I was able to reproduce the issue here and have filed a problem report, TPR #33156. We’ll have our engineers investigate.