This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: ACATS c460008 and VRP (was: Bootstrap failure on trunk: x86_64-linux-gnu)


    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 ...


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]