This small code compiles with IFX but it does not compile with gfortran (error: Error: Symbol 'vara2' referenced at (1) not found in module 'b'). I think gfortran is right and the code is not correct.
module a
IMPLICIT NONE
INTEGER::vara1
INTEGER::vara2
CONTAINS
end module a
module b
USE a,only:vara1
IMPLICIT NONE
INTEGER::varb
CONTAINS
end module b
program main
USE a
USE b, ONLY: vara2
end program main
As an additional comment, I am getting a lot of ICE related to USE in the specification part of modules. Some of these ICE dissapear when you avoid the USE in the specification part by replacing them for USE in the specific subroutines needing them, but of course this is not always possible and, when possible, it doesn't always work.
I put tickets on some ICE but unfortunately I am not being able to reproduce all of them because they usually involve submodules, type-bound procedures and complex derived types.
There is something very wrong with host association in IFX.
