public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/63675] Non-confirming aspect doesn’t fail
[not found] <bug-63675-4@http.gcc.gnu.org/bugzilla/>
@ 2022-03-30 17:23 ` simon at pushface dot org
2022-03-31 8:45 ` charlet at gcc dot gnu.org
1 sibling, 0 replies; 2+ messages in thread
From: simon at pushface dot org @ 2022-03-30 17:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63675
--- Comment #2 from simon at pushface dot org ---
Not sure when this was fixed, but OK in 11.2.0:
$ /opt/gcc-11.2.0/bin/gnatmake -c -u -f union.ads
gcc -c union.ads
union.ads:15:06: warning: discriminated record has no direct equivalent in C
union.ads:15:06: warning: use of convention for type "Derived_1" is dubious
union.ads:15:06: warning: discriminated record has no direct equivalent in C
union.ads:15:06: warning: use of convention for type "Derived_2" is dubious
union.ads:15:06: warning: discriminated record has no direct equivalent in C
union.ads:15:06: warning: use of convention for type "Derived_3" is dubious
union.ads:24:55: derived type "Derived_2" inherits aspect "Unchecked_Union",
cannot cancel
union.ads:29:36: representation item not permitted before Ada 202x
union.ads:29:36: parent type "Base" has primitive operations
gnatmake: "union.ads" compilation error
$ /opt/gcc-11.2.0/bin/gnatmake -c -u -f union.ads -gnat2020
gcc -c -gnat2020 union.ads
union.ads:15:06: warning: discriminated record has no direct equivalent in C
union.ads:15:06: warning: use of convention for type "Derived_1" is dubious
union.ads:15:06: warning: discriminated record has no direct equivalent in C
union.ads:15:06: warning: use of convention for type "Derived_2" is dubious
union.ads:24:55: derived type "Derived_2" inherits aspect "Unchecked_Union",
cannot cancel
gnatmake: "union.ads" compilation error
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug ada/63675] Non-confirming aspect doesn’t fail
[not found] <bug-63675-4@http.gcc.gnu.org/bugzilla/>
2022-03-30 17:23 ` [Bug ada/63675] Non-confirming aspect doesn’t fail simon at pushface dot org
@ 2022-03-31 8:45 ` charlet at gcc dot gnu.org
1 sibling, 0 replies; 2+ messages in thread
From: charlet at gcc dot gnu.org @ 2022-03-31 8:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63675
Arnaud Charlet <charlet at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
Target Milestone|--- |11.0
CC| |charlet at gcc dot gnu.org
--- Comment #3 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Closing then!
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-03-31 8:45 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-63675-4@http.gcc.gnu.org/bugzilla/>
2022-03-30 17:23 ` [Bug ada/63675] Non-confirming aspect doesn’t fail simon at pushface dot org
2022-03-31 8:45 ` charlet at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).