GNU bug report logs - #40964
emacs ada-mode : wisi fails to compile with recent AdaCore wavefronts

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 40964 in the body.
You can then email your comments to 40964 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Koen Meersman <koen.meersman <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org, ada-mode-users <at> nongnu.org
Subject: emacs ada-mode : wisi fails to compile with recent AdaCore wavefronts
Date: Wed, 29 Apr 2020 16:28:45 +0200

[Message part 1 (text/plain, inline)]

Package: emacs, ada-mode

Hi,

When compiling ada-mode-6.2.1 / wisi-2.2.1 using 'GNAT Pro 21.0w 20200426'
we get following errors:

    wisi.ads:363:04: warning: in instantiation at
sal-gen_unbounded_definite_vectors.adb:448 [enabled by default]
    wisi.ads:363:04: warning: non-local pointer cannot point to local
object [enabled by default]
    wisi.ads:363:04: warning: Program_Error will be raised at run time
[enabled by default]
    wisi.ads:363:04: warning: in instantiation at
sal-gen_unbounded_definite_vectors.adb:504 [enabled by default]
    wisi.ads:363:04: warning: non-local pointer cannot point to local
object [enabled by default]
    wisi.ads:363:04: warning: Program_Error will be raised at run time
[enabled by default]
    sal-gen_unbounded_definite_vectors.adb:448:18: non-local pointer cannot
point to local object
    sal-gen_unbounded_definite_vectors.adb:504:18: non-local pointer cannot
point to local object
    gprbuild: *** compilation phase failed

It looks like wisi violates (according to the new/recent wavefront) some
accessibility rules.
The patch (as attachment) fixes the accessibility errors by modifying
'Access to 'Unrestricted_Access or 'Unchecked_Access.
(This is an ugly hack/patch but I like to show you where the problem is)

Similar problems exist in latest wisi release (3.0.1) and git (
git.savannah.gnu.org/git/emacs/elpa.git)

Can you have a look at the reported errors?

Thanks,

Koen

[Message part 2 (text/html, inline)]

[accessability_checks.patch (application/octet-stream, attachment)]

[accessability_checks.patch (application/octet-stream, attachment)]

Message #10 received at 40964 <at> debbugs.gnu.org (full text, mbox):

From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 40964 <at> debbugs.gnu.org
Subject: emacs ada-mode : wisi fails to compile with recent AdaCore wavefronts
Date: Sun, 10 May 2020 04:21:39 -0800

I've submitted ticket T416-025 (on the Eurocontrol support contract) to
AdaCore to ask about the best solution here; similar code in AdaCore's
implementation of Ada.Containers.Doubly_Linked_List uses
'Unrestricted_Access.

-- 
-- Stephe

Message #15 received at 40964-close <at> debbugs.gnu.org (full text, mbox):

From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 40964-close <at> debbugs.gnu.org
Subject: closed by ada-mode version 7.1.3
Date: Sun, 07 Jun 2020 14:24:54 -0700

-- 
-- Stephe

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.