https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114959
--- Comment #4 from Jan Hubicka <hubicka at ucw dot cz> --- > > I think function types are somewhat special in that they do not denote > objects in the classical sense. They are also most complex and probably > target-dependent to handle. > > Note there's LTO where we glob all pointers to a single equivalence class > because of Fortran where C_PTR inter-operates with all pointer types. But We special case void * to alias with all other pointer types and look through pointers in alias.cc, so accesses through pointers are not necessarily fully globbed. I plan to look into unglobbing pointers when Fortran C_PTR can not clash since this is relatively important piece of TBAA information. Honza