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