Lowering of types?

[Richard Henderson]

On Thu, Jun 02, 2005 at 11:21:31AM +0200, Richard Guenther wrote:
> During type checking of the middle-end in the tree-optimizers
> we run into type mismatches like

This isn't a type mismatch if the compatible_p langhook says
they aren't.  Which I expect is true.

> question is can we / do we want to lower types like gcov_position_t
> to their (correctly qualified) main variant (or whatever else is
> suitable) f.i. during gimplification to allow the optimizers create
> strictly typed trees?

I wouldn't think so, no.


r~