This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/25245] Discriminant is left uninitialized.
- From: "laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 9 Dec 2005 19:51:33 -0000
- Subject: [Bug ada/25245] Discriminant is left uninitialized.
- References: <bug-25245-5982@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #6 from laurent at guerby dot net 2005-12-09 19:51 -------
I see the same thing as you on trunk x86-linux with gcc version 4.2.0 20051202
(experimental).
I agree the "not equal" part is a bug:
With predefined "=" - A1b and A2b: not equal
should print "equal".
But the constraint_error for "OS of A1b" looks correct, and if commented the
one on "OS of A2b", it is a language mandated discriminant check failing. But
may be I'm missing something, could you explain why you think an exception
shouldn't be raised?
Today Ada front-end commits may have fixed the bug, I'm retesting.
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2005-12-09 19:51:33
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25245