https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85448
--- Comment #8 from francois.jacq at irsn dot fr --- (In reply to Thomas Koenig from comment #7) > As quoted by Steve Lionel on c.l.f (F2008, 16.2, para 2): > > "The global identifier of an entity shall not be the same as the global > identifier of any other entity. Furthermore, a > binding label shall not be the same as the global identifier of any other > global entity, ignoring differences in case." > > So, the code is invalid. Since this is not a constraint, the compiler > can do anything it pleases. > > It would be nice to have an error message, though; should be straightforward > to implement. Unfortunately, if you look into the comment #2, you will understand that the situation is a little bit more subtile.