https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85448
Thomas Koenig <tkoenig at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |diagnostic Status|REOPENED |NEW CC| |tkoenig at gcc dot gnu.org Severity|normal |enhancement --- Comment #7 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- 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.