From: Simon Wright <simon@pushface.org>
Subject: Re: Private extension of a synchronized interface
Date: Tue, 19 Feb 2019 11:29:20 +0000
Date: 2019-02-19T11:29:20+00:00 [thread overview]
Message-ID: <lyy36cm2y7.fsf@pushface.org> (raw)
In-Reply-To: 7c20337f-7936-401b-bbf2-a4a7c261825b@googlegroups.com
Egil H H <ehh.public@gmail.com> writes:
> On Monday, February 18, 2019 at 11:35:15 PM UTC+1, Randy Brukardt wrote:
>>
>> This appears to be a GNAT bug, although I'm not 100% certain.
>
> There's definitely at least one GNAT bug here.
> Forcing a dispatching call on the interface (as suggested by Simon) works,
> Example.An_Interface'Class(v).p1;
>
> but forcing a dispatching call on the private extension, does not
> Example.Instance'Class(v).p1;
>
> It compiles and runs, but seems to call a null body...
Worse than that: it leaves the PO mangled! GCC 9.0.0 (which is built
with internal checks enabled: released versions aren't) raises an ICE
(internal compiler error),
+===========================GNAT BUG DETECTED==============================+
| 9.0.0 20190115 (experimental) (x86_64-apple-darwin15) Assert_Failure sem_disp.adb:491|
so the released version (CE, 8) rambles past this error, resulting in
the next call saying
raised PROGRAM_ERROR :
System.Tasking.Protected_Objects.Entries.Lock_Entries_With_Status:
protected object is finalized
Will report.
next prev parent reply other threads:[~2019-02-19 11:29 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-16 0:52 Private extension of a synchronized interface Jere
2019-02-17 9:50 ` Dmitry A. Kazakov
2019-02-17 13:46 ` Jere
2019-02-17 14:52 ` Dmitry A. Kazakov
2019-02-17 15:36 ` Jere
2019-02-17 16:28 ` Dmitry A. Kazakov
2019-02-17 20:56 ` Jere
2019-02-17 22:36 ` Simon Wright
2019-02-18 0:36 ` Jere
2019-02-18 8:11 ` Dmitry A. Kazakov
2019-02-18 8:29 ` Simon Wright
2019-02-18 8:42 ` Dmitry A. Kazakov
2019-02-18 8:26 ` Simon Wright
2019-02-18 8:33 ` Simon Wright
2019-02-18 15:40 ` Jere
2019-02-18 17:24 ` Simon Wright
2019-02-19 11:04 ` Simon Wright
2019-02-20 2:36 ` Jere
2019-02-20 10:46 ` Simon Wright
2019-02-20 15:04 ` Jere
2019-02-18 15:49 ` Jere
2019-02-18 22:06 ` Randy Brukardt
2019-02-18 22:35 ` Randy Brukardt
2019-02-19 10:01 ` Egil H H
2019-02-19 11:29 ` Simon Wright [this message]
2019-02-19 11:53 ` Egil H H
2019-02-20 2:32 ` Jere
2019-02-20 13:46 ` Simon Wright
2019-02-20 23:43 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox