> 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).
But you're running a test that's *part* of the official validation and it assumes the options that implement the full language (including overflow checks). I don't see the relevance of what options the "typical user" specifies: this isn't typical user *code*!
