On 01/02/2012 08:25 AM, Paolo Carlini wrote:
Bad, because currently many circumstances in which we do TREE_TYPE (init) = type are in fact benign:
I don't think they are benign. Even when types are equivalent, we need to convert between them, as several things in the back end rely on pointer equality, and we don't want different instantiations changing the type in subtly different ways.
Jason
