https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25245
Eric Botcazou changed:
What|Removed |Added
Status|NEW |RESOLVED
CC|
--- Comment #8 from laurent at guerby dot net 2005-12-10 13:26 ---
Ok I now agree on both counts :).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25245
--- Comment #7 from listor1 dot rombobeorn at comhem dot se 2005-12-09
22:35 ---
Subject: Re: Discriminant is left uninitialized.
> 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
--- 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 constrai
--- Comment #4 from listor1 dot rombobeorn at comhem dot se 2005-12-06
22:21 ---
Subject: Re: Discriminant is left uninitialized.
laurent at guerby dot net wrote:
> The problem is that you are using "Unbounded_String" in your record, and
> this brings in lots of dope information for F
--
laurent at guerby dot net changed:
What|Removed |Added
Status|UNCONFIRMED |WAITING
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25245
--- Comment #3 from laurent at guerby dot net 2005-12-04 21:11 ---
The problem is that you are using "Unbounded_String" in your record, and this
brings in lots of dope information for Finalization purposes. You can see it
with:
gcc -c -gnatR3 uninitialized_field.adb
...
for Unified_Enco
--- Comment #2 from listor1 dot rombobeorn at comhem dot se 2005-12-03
17:55 ---
Created an attachment (id=10398)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10398&action=view)
demonstrates strange error message
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25245
--- Comment #1 from listor1 dot rombobeorn at comhem dot se 2005-12-03
17:54 ---
Created an attachment (id=10397)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10397&action=view)
demonstrates uninitialized discriminant
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25245