Bernd Trog wrote: > A 'grep INT_TYPE_SIZE' lists avr, h8300, ip2k, m68hc11, m68k, > pdp11 and stormy16 as possible candidates for such a warning. Note that there is a standard port of GNAT for the m68k, which is used by some large scale customers, but it does have integer'size set as 32.