On GCC we use -gnato on tests known to need it
(/gcc/testsuite/ada/acats/overflow.lst) since we want to test flags
the typical GCC/Ada user does use and not what official validation
requires (which is -gnato -gnatE IIRC).Well that would make the most sense if the code in the ACATS tests was typical of what users *write* but, as we both know, it's mostly boundary cases in the language ...
