https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54880
Thomas Koenig <tkoenig at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tkoenig at gcc dot gnu.org
--- Comment #9 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
It is not completely clear to me what the desired behavior should be.
Reading in a module file from one file and then recompiling the
same module sounds wrong. This should be caught.
Putting
module m1
use m2
end module m1
module m2
end module m2
into a single file also seems strange. Maybe try to catch this earlier
and issue an error like "Trying to re-compile module %qs which was already
read in from %qs would be clear?
Definitely gcc 10 material.
