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.
