On Wed, 8 Jan 2014, DJ Delorie wrote: > So... OK if __int20 and __int128 keywords exist always (for ports that > request them, which for __int128 would be all of them), but still be > "unsupported" if for some reason the port doesn't support them because > of command line options?
That seems reasonable. -- Joseph S. Myers jos...@codesourcery.com