This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: IMA vs tree-ssa


Gabriel Dos Reis <gdr@integrable-solutions.net> wrote:
>        46)Two types need not be identical to be compatible.
>
> meaning you may have compatible types that are not equal.

Equality is not the only equivalence relation.  Compatibility might be
intended to be an equivalence relation, without being intended to be
the same as equality.


paul


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]