From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a24:354c:: with SMTP id k73mr4779490ita.175.1557336642695; Wed, 08 May 2019 10:30:42 -0700 (PDT) X-Received: by 2002:aca:6702:: with SMTP id z2mr97229oix.99.1557336642340; Wed, 08 May 2019 10:30:42 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!fdn.fr!proxad.net!feeder1-2.proxad.net!209.85.166.215.MISMATCH!b2no43464itd.0!news-out.google.com!v82ni16ita.0!nntp.google.com!136no43744itk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 8 May 2019 10:30:41 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=97.99.196.17; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 97.99.196.17 References: <7d10dac8-f871-4cf9-b57f-aa9a114d2650@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ann: Gcc/GNAT 9.1 released - Test Results From: Optikos Injection-Date: Wed, 08 May 2019 17:30:42 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:56259 Date: 2019-05-08T10:30:41-07:00 List-Id: On Wednesday, May 8, 2019 at 12:09:13 PM UTC-5, Simon Wright wrote: > alby.gamper@gmail.com writes: >=20 > > GCC 9.1 has been released, and below are the test results for GNAT (I > > will try and run the ACATS version 4.1 using Simon Wright's GitHub > > repo at a later stage) >=20 > With release GCCs, c452003 will hang during compilation (the test suite > checks for overruns of executions, but not of builds). Killing the hung > gnat1 process lets ACATS proceed. >=20 > With non-release GCCs, which have many more checks enabled, you get a > bug box: see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D88610 >=20 > For info, the GCC 9.1.0 x86_64-apple-darwin official results are: >=20 > =3D=3D=3D gnat Summary =3D=3D=3D >=20 > # of expected passes 2964 > # of expected failures 23 > # of unsupported tests 10 >=20 > =3D=3D=3D acats Summary =3D=3D=3D > # of expected passes 2320 > # of unexpected failures 0 >=20 > The 4.1L results are >=20 > =3D=3D=3D acats Summary =3D=3D=3D > # of expected passes 2505 > # of unexpected failures 11 > # of expected failures 1463 > # of unresolved testcases 11 > # of unsupported tests 124 > *** FAILURES: c250002 c452003 c611a04 c650b04 cxd1003 cxd1004 cxd1005 cxd= 2006 cxd3001 cxd3002 cxd8002=20 >=20 > There are expected failures because I included the whole test suite. Ignoring MacOS and perhaps all the BSDs for a moment, does Bob Duff's pardo= n extend to Linux kernels that are configured with the full set of realtime= extensions (regardless of being deployed on a GUI-based desktop by happens= tance)? It seems that Linux with the full set of realtime extensions turne= d on would be expected to fully meet Annex D. > c250002: UTF-8 case conversion issue > c452003: see above > c6*: hairy tests > cxd*: Bob Duff says full Annex D compliance not to be expected on > desktop OS Which of these unsupported tests and unexpected failures (and unexpected su= ccessses*, if any arise) are =E2=80=A2not=E2=80=A2 each tracked in GCC's Bu= gzilla with their own individual defect report? * Ada source code that the ARM (or AARM's additional color) deems impermiss= ible Ada source code that GNAT failed to prohibit via a (nonbugbox) compila= tion error.