public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/111433] New: Erroneous message "error: null exclusion for "O" does not match"
@ 2023-09-16 11:02 p.p11 at orange dot fr
2023-09-24 21:35 ` [Bug ada/111433] bogus error about null exclusion with mix of anonymous and named access types ebotcazou at gcc dot gnu.org
0 siblings, 1 reply; 2+ messages in thread
From: p.p11 at orange dot fr @ 2023-09-16 11:02 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111433
Bug ID: 111433
Summary: Erroneous message "error: null exclusion for "O" does
not match"
Product: gcc
Version: 13.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: p.p11 at orange dot fr
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Created attachment 55908
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55908&action=edit
Archive of reproducer and full error message.
When compiling the procedure body, I got:
8. procedure Clear (O : access TJavaMeth) is
|
>>> error: not fully conformant with declaration at objsrc.ads:25
>>> error: null exclusion for "O" does not match
whereas procedure spec is:
25. procedure Clear (O : access TJavaMeth);
However, the declarations spec and body are identical.
What could be wrong?
I got this error when I add:
20. procedure Append (O : access TJavaClass; M : PJavaMeth);
and the incomplete type:
14. type TJavaMeth;
15. type PJavaMeth is access TJavaMeth;
HTH, Pascal.
See full source and full error message in attached zip.
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug ada/111433] bogus error about null exclusion with mix of anonymous and named access types
2023-09-16 11:02 [Bug ada/111433] New: Erroneous message "error: null exclusion for "O" does not match" p.p11 at orange dot fr
@ 2023-09-24 21:35 ` ebotcazou at gcc dot gnu.org
0 siblings, 0 replies; 2+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2023-09-24 21:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111433
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu.org
Ever confirmed|0 |1
Last reconfirmed| |2023-09-24
Summary|Erroneous message "error: |bogus error about null
|null exclusion for "O" does |exclusion with mix of
|not match" |anonymous and named access
| |types
Status|UNCONFIRMED |NEW
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Strange indeed, but at least the workaround is trivial.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-09-24 21:35 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-09-16 11:02 [Bug ada/111433] New: Erroneous message "error: null exclusion for "O" does not match" p.p11 at orange dot fr
2023-09-24 21:35 ` [Bug ada/111433] bogus error about null exclusion with mix of anonymous and named access types ebotcazou 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).