From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Why doesn't gnat-gps work under Windows 10 (Debian subsystem for Linux)?
Date: Tue, 12 Mar 2019 22:15:23 +0100
Date: 2019-03-12T22:15:23+01:00 [thread overview]
Message-ID: <q697hd$rna$1@gioia.aioe.org> (raw)
In-Reply-To: 87d0mvke2d.fsf@samuel
On 2019-03-12 21:55, Ludovic Brenta wrote:
> matthewbrentmccarty@gmail.com writes:
>> Hi all:
>>
>> I was just tinkering, but I noticed that gps doesn't work under
>> Windows 10 -- Debian subsystem for Linux. The compiler works on
>> "Hello World". Same gps software also works on my "real" Debian
>> machine. The error I get is raised STORAGE_ERROR : s-intman.adb:139
>> explicit raise
>>
>> Log follows:
>>
>> mmccarty@DESKTOP-O857MTN:~$ uname -a
>> Linux DESKTOP-O857MTN 4.4.0-17134-Microsoft #523-Microsoft Mon Dec 31 17:49:00 PST 2018 x86_64 GNU/Linux
>> mmccarty@DESKTOP-O857MTN:~$ which gnat-gps
>> /usr/bin/gnat-gps
>> mmccarty@DESKTOP-O857MTN:~$ gnat-gps
>>
>> (gnat-gps:5204): GLib-GIO-CRITICAL **: g_dbus_proxy_new_sync: assertion 'G_IS_DBUS_CONNECTION (connection)' failed
>>
>> (gnat-gps:5204): GLib-GIO-CRITICAL **: g_dbus_proxy_get_name_owner: assertion 'G_IS_DBUS_PROXY (proxy)' failed
>>
>> raised STORAGE_ERROR : s-intman.adb:139 explicit raise
>
> There might be additional info in ~/.gps/log.5204 (I presume that 5204
> is the process id). The contents of your source file are probably
> irrelevant.
AFAIK, there is a severe bug in GNAT 8 (as well as GNAT Pro 19, though
less frequent) related to dispatching through interfaces. The bug's
manifestations are random body selection upon dispatch via an interface
and infinite recursion in some operations from Ada.Tags when the
argument is a tag taken from an interface. Since GPS uses GtkAda and
GtkAda uses interfaces, that might be the case of Storage_Error.
P.S. So far I failed to create a sample to reproduce it. The cases I
have a very large and not self-contained. Well, GPS is not small either.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2019-03-12 21:15 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-03-12 2:30 Why doesn't gnat-gps work under Windows 10 (Debian subsystem for Linux)? matthewbrentmccarty
2019-03-12 20:55 ` Ludovic Brenta
2019-03-12 21:15 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox