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~
