Robert Dewar wrote:
2. Tests that come with patches. For some time now, AdaCore has been following a procedure of including a simple reduced test case for all patches to GNAT that are submitted to the FSF. These tests are pretty extensive at this stage, and are preserved in the patch submission files. However, no one has assembled them into a harness that can be practically used. This would be a really useful contribution to improved stability of the FSF version of GNAT. AdaCore does not have the resources to do this, but it is a project that someone else could certainly take on.
Sorry, my information was out of date here, in fact a test harness has been set up, and many of these tests are incorporated. Furtheremore, Arno is now incorporating new tests into this harness as they are submitted. So we are in better shape than implied above. We have quite a reasonable set of stability and regression tests for the Ada front end. Given the restrictions on proprietary code use, this is about as good as we can do for now. Of course it is valuable if people submit more tests to this test suite.