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

Reply via email to