https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114959
--- Comment #4 from Jan Hubicka ---
>
> 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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114959
--- Comment #3 from Richard Biener ---
(In reply to Martin Uecker from comment #2)
> The GCC FE has all the necessary logic to compute type compatibility and
> this could easily be adapted to compute equivalence classes and then set a
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114959
--- Comment #2 from Martin Uecker ---
The GCC FE has all the necessary logic to compute type compatibility and this
could easily be adapted to compute equivalence classes and then set a
TYPE_CANONICAL. All function types in the same class
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114959
Richard Biener changed:
What|Removed |Added
Version|unknown |14.0
Keywords|