[Bug ada/15589] New: Illegal program not detected, RM 7.3(13)
ludovic dot brenta at insalien dot org
gcc-bugzilla@gcc.gnu.org
Sun May 23 11:25:00 GMT 2004
-- RM 7.3(13)
-- If the ancestor subtype of a private extension has constrained
-- discriminants, then the parent subtype of the full view shall
-- impose a statically matching constraint on those discriminants.
package pak5 is
type T1(b: boolean) is tagged null record;
type T2(i: integer) is new T1(b => false)
with private;
private
type T2(i: integer) is new T1(b => true) --ERROR: false vs. true
with null record;
end pak5;
$ gnatmake pak5
gcc -c pak5.ads
Compilation finished at Wed Apr 14 18:53:03
--
Summary: Illegal program not detected, RM 7.3(13)
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
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15589
More information about the Gcc-bugs
mailing list