This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/32181] Legal program executes incorrectly, RM 3.4(27)
- From: "sam at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 23 Apr 2008 23:21:27 -0000
- Subject: [Bug ada/32181] Legal program executes incorrectly, RM 3.4(27)
- References: <bug-32181-286@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from sam at gcc dot gnu dot org 2008-04-23 23:21 -------
Anh Vo: I think that you are wrong and that Ludovic is right. Note that Eq (T2,
T2) is not a renaming of T2 "=" operator, it is, through inheritance, a
renaming of T1 "=" operator with signature
function "=" (X, Y : T1) return Boolean;
Note that this function knows *nothing* about T2, so it cannot obviously
compare new fields added in T2, it only compares fields already present in T1.
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sam at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32181