Richard Warburton wrote on 12/06/06 07:59:
That's because there is *no* GIMPLE type system. GIMPLE latches on to the type system of the input language, via the so called 'language hooks' (see lang_hooks.types_compatible_p). This is a limitation that has not been addressed yet.I would be most grateful of an answer to these questions, since I find the implementation of the gimple type system to be a little puzzling.
