This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/16094] New: Illegal program not detected, RM 3.4.1(5)
- From: "ludovic dot brenta at insalien dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 20 Jun 2004 11:24:59 -0000
- Subject: [Bug ada/16094] New: Illegal program not detected, RM 3.4.1(5)
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
-- RM 3.4.1(5)
-- Class-wide types have no primitive subprograms of their own.
-- (see also AC-00086 at:
-- http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AC-00086.TXT )
package Test_248678 is
generic
type T1(<>) is private;
with function "=" (Left, Right : T1) return Boolean is <>;
package pak1 is
end pak1;
package pak2 is
type T2 is abstract tagged null record;
package new_pak1 is new pak1 (T2'Class); --ERROR: no matching "="
end pak2;
end Test_248678;
I expect error messages like:
test_248678.ads:14:07: missing actual for instantiation of ""=""
test_248678.ads:14:07: instantiation abandoned
gnatmake: "test_248678.ads" compilation error
Instead the compiler remains silent.
--
Summary: Illegal program not detected, RM 3.4.1(5)
Product: gcc
Version: 3.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16094