------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-16 13:55 ------- check_pointer_types_r is wrong but so is Ada assuming that integer types are not compatible (read the full bug report which I reported in the first place): "The integer_type's are not compatible by defined by the front-end, why?"
See this is where Ada becomes wrong with respect to generic and gimple where it needs integer types which have the same PRECISION, UNSIGNEDness, and SIZE are consided compatible types (so are their POINTERs). For Kenner here, Generic and Gimple have the same type system which is partly described above. Yes this is not documented but should be. This again is an Ada bug not doing what the middle-end generic and gimple expects to happen. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17793
