[Bug middle-end/17793] [4.0 Regression] Ada bootstrap failure

[pinskia at gcc dot gnu dot org]

------- 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