Laurent GUERBY wrote:
Ok this test is checking a corner case of the language, namely
non power of two modular types.

It looks like this one needs overflow checking to pass (-gnato):

All ACATS tests should be run with -gnatE -gnato


Reply via email to