[Bug ada/18727] New: ACATS c43214c fails at runtime
laurent at guerby dot net
gcc-bugzilla@gcc.gnu.org
Mon Nov 29 20:39:00 GMT 2004
On x86, x86_64 and powerpc-darwin c43214c fails at runtime.
Here is a slightly reduced test case that fails at -O2 but works at -O0/-O1 and
often works when slightly changed.
$ gnatmake -O2 p3
$ ./p3
(print garbage, expected WORK)
$ cat p3.adb
-- from ACATS c43214c
with Ada.Text_IO;
procedure P3 is
SUBTYPE STB IS STRING(1 .. 4);
GENERIC
B1 : STB;
PROCEDURE PROC1;
PROCEDURE PROC1 IS
begin
Ada.Text_IO.Put_Line (B1);
END;
X : STB := "WORK";
PROCEDURE PROC2 IS NEW PROC1 (x);
begin
PROC2;
END;
$
Original ACATS output:
,.,. C43214C ACATS 2.5 04-11-29 10:37:13
---- C43214C CONSTRAINED ARRAY FORMAL GENERIC PARAMETER.
* C43214C ARRAY DOES NOT CONTAIN THE CORRECT VALUES.
**** C43214C FAILED ****************************.
--
Summary: ACATS c43214c fails at runtime
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: laurent at guerby dot net
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18727
More information about the Gcc-bugs
mailing list