This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
[Ada] ACATS status
- From: Laurent Guerby <guerby at acm dot org>
- To: gcc at gcc dot gnu dot org
- Date: Sat, 30 Mar 2002 23:23:49 +0100
- Subject: [Ada] ACATS status
FYI, on HEAD, compared to an end of february run on i686-linux, I get 23
tests fixed
(great!) and 2 new failures: a bug box on C34007P and an error
on supposedly legal code on C85004B.
--
Laurent Guerby <guerby@acm.org>
-- C34007P.ADA
-- OBJECTIVE:
-- CHECK THAT THE REQUIRED PREDEFINED OPERATIONS ARE DECLARED
-- (IMPLICITLY) FOR DERIVED ACCESS TYPES WHOSE DESIGNATED TYPE IS A
-- RECORD TYPE WITH DISCRIMINANTS.
gcc -c
-I/home/guerby/work/gcc/build-2002-03-30-20-42-52/acats/acats4gnat-0.3/work/support
c34007p.adb
+===========================GNAT BUG DETECTED==============================+
| 3.1 (20020212) (i686-pc-linux-gnu) Assert_Failure einfo.adb:4551 |
| Error detected at c34007p.adb:43:11 |
| Please submit bug report by email to gcc-bugs@gcc.gnu.org. |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box in the report. |
| Include the exact gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
| (use plain ASCII or MIME attachment). |
| See gnatinfo.txt for full info on procedure for submitting bugs. |
+==========================================================================+
gcc -c
-I/home/guerby/work/gcc/build-2002-03-30-20-42-52/acats/acats4gnat-0.3/work/support
c85004b.adb
c85004b.adb:62:27: expect object name in renaming
-- C85004B.ADA
-- OBJECTIVE:
-- CHECK THAT A RENAMED CONSTANT OBJECT, "IN" PARAMETER OF A
-- SUBPROGRAM OR ENTRY, "IN" FORMAL GENERIC, RECORD DISCRIMINANT,
-- LOOP PARAMETER, DEFERRED CONSTANT, OR RENAMED CONSTANT HAS THE
-- CORRECT VALUE.
TYPE A IS ARRAY (POSITIVE RANGE <>) OF INTEGER;
C2 : CONSTANT A(1..3) := (1, 2, 3);
X7 : INTEGER RENAMES C2(1); -- line 62