From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.yTvCNOh9TRCAIcX40YItlQ.user.gioia.aioe.org!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Why doesn't gnat-gps work under Windows 10 (Debian subsystem for
 Linux)?
Date: Tue, 12 Mar 2019 22:15:23 +0100
Organization: Aioe.org NNTP Server
Message-ID: <q697hd$rna$1@gioia.aioe.org>
References: <a4d8f452-517d-4615-bda0-4d1fa32b7312@googlegroups.com>
 <87d0mvke2d.fsf@samuel>
NNTP-Posting-Host: yTvCNOh9TRCAIcX40YItlQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.5.3
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader01.eternal-september.org comp.lang.ada:55853
Date: 2019-03-12T22:15:23+01:00
List-Id: <comp.lang.ada>

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