On 6/2/05, Richard Henderson <[EMAIL PROTECTED]> wrote: > 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.
What exactly does it mean to the middle-end, if the compatible_p langhook says true? Does it mean if the middle-end exchanges one type for the other there should be no observable effects (correctness wise) down the road? Thanks for clarifying, Richard.
