[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gcc
Subject:    [Ada] ACATS status
From:       Laurent Guerby <guerby () acm ! org>
Date:       2002-03-30 22:23:49
[Download RAW message or body]

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


[prev in list] [next in list] [prev in thread] [next in thread]