------- 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
