From unknown Sat Aug 16 21:59:31 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#40964 <40964@debbugs.gnu.org> To: bug#40964 <40964@debbugs.gnu.org> Subject: Status: emacs ada-mode : wisi fails to compile with recent AdaCore wavefronts Reply-To: bug#40964 <40964@debbugs.gnu.org> Date: Sun, 17 Aug 2025 04:59:31 +0000 retitle 40964 emacs ada-mode : wisi fails to compile with recent AdaCore wa= vefronts reassign 40964 emacs, ada-mode submitter 40964 Koen Meersman severity 40964 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 29 10:51:13 2020 Received: (at submit) by debbugs.gnu.org; 29 Apr 2020 14:51:13 +0000 Received: from localhost ([127.0.0.1]:44246 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jTo3M-0008Mz-Pj for submit@debbugs.gnu.org; Wed, 29 Apr 2020 10:51:13 -0400 Received: from lists.gnu.org ([209.51.188.17]:60684) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jTnif-0007nC-7y for submit@debbugs.gnu.org; Wed, 29 Apr 2020 10:29:49 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48228) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jTniS-0008SN-9E for bug-gnu-emacs@gnu.org; Wed, 29 Apr 2020 10:29:49 -0400 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,SPF_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1) (envelope-from ) id 1jTnhs-0008I3-QC for bug-gnu-emacs@gnu.org; Wed, 29 Apr 2020 10:29:36 -0400 Received: from mail-oi1-x232.google.com ([2607:f8b0:4864:20::232]:43295) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jTnhs-0008Hr-9Q for bug-gnu-emacs@gnu.org; Wed, 29 Apr 2020 10:29:00 -0400 Received: by mail-oi1-x232.google.com with SMTP id j16so1924368oih.10 for ; Wed, 29 Apr 2020 07:28:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=CKYEGw1SpjSiUAMlnhDLDLjs026sd1kuKVJg0+RFXFw=; b=kxHo2XubE7kp7JlS0rL0pltrWSCPXsAdJZIghcXi5HVU+etIC/lHI/kLcGB1H+tx51 tCAidb/5jFt73vLiXIEw3GjEp/rnQymlPsumQ/e43DQn2AYn8jWdVtceXPe5RAv6tBhw dxcw4Eh+HEWRqbFKiMTJF5gAhv08FT4tL3Xs0wCoctTzRBA0M0dHqiV+JBPx31mE9dEP DXVoo85nEK5NSde7374cUuFQq6nygiJw81otcThmlurd4id1aoXah0lTKhBiTtjSAkmx JVcPY7IMnKtUSs0CNWfv3l+b9iBiK6k/iEr68KWjWuKwxSEXAfGqRaFpe5WZxUVJJtAm oxmw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=CKYEGw1SpjSiUAMlnhDLDLjs026sd1kuKVJg0+RFXFw=; b=F3mobIwYp+DVUrpQ+CFCswpeAsJZeaLfEWUiqy+gzSpGqoNRgWhxgGHvU7yfNFYRF0 egbKoMJ04RRtd7fHDXFhgAId3LsVXkkjIybZn27K6wD3J838sB4KvQhqCAT2s2b0u6gX 38XwyOmjh3rWPzcS1KedlAFA5gaw5eirh/WAt8fK5vg7jwExXO+m2c/cV08X8vhUdCSq AkSm+t3Nzttf/CK1rEEeySWrl+NgL48TkjAhw/EE0fGVyCAwzBhSe/p+NWJErsCa1kyS fTf+vW5kdt+3YDqg+U3FimCv9GAHVj8Jyjdybuh0neXNjLQ4FeGAJi56nr8Ckzk9A6AF +saw== X-Gm-Message-State: AGi0Puaam3oWZST7dVJ+4/dMnrRSvErlfdlmwqdOFnruOkPoCN7FAlZJ KUGf9yCk9oZQrzPBy0w0+c3I8U/uwaDilA565J5zyylfkFE= X-Google-Smtp-Source: APiQypJR0qMVjUew2ujiKVLnSBr5yXk7IHziMlPgTsLaRnzjgAbc4qs98v0ufDZEvQOk/9M+t8cfdNC5ZvW9LkHukpY= X-Received: by 2002:aca:f00b:: with SMTP id o11mr1918719oih.174.1588170537714; Wed, 29 Apr 2020 07:28:57 -0700 (PDT) MIME-Version: 1.0 From: Koen Meersman Date: Wed, 29 Apr 2020 16:28:45 +0200 Message-ID: Subject: emacs ada-mode : wisi fails to compile with recent AdaCore wavefronts To: bug-gnu-emacs@gnu.org, ada-mode-users@nongnu.org Content-Type: multipart/mixed; boundary="000000000000c1149005a46ec405" Received-SPF: pass client-ip=2607:f8b0:4864:20::232; envelope-from=koen.meersman@gmail.com; helo=mail-oi1-x232.google.com X-detected-operating-system: by eggs.gnu.org: Error: [-] PROGRAM ABORT : Malformed IPv6 address (bad octet value). Location : parse_addr6(), p0f-client.c:67 X-Received-From: 2607:f8b0:4864:20::232 X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Wed, 29 Apr 2020 10:51:11 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) --000000000000c1149005a46ec405 Content-Type: multipart/alternative; boundary="000000000000c1148e05a46ec403" --000000000000c1148e05a46ec403 Content-Type: text/plain; charset="UTF-8" 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 --000000000000c1148e05a46ec403 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Package: emacs,=C2=A0ada-mode=C2=A0=C2=A0

Hi,<= /div>

When compiling ada-mode-6.2.1 / wisi-2.2.1 using &= #39;GNAT Pro 21.0w 20200426'
we get following errors:=C2=A0

=C2=A0 =C2=A0 wisi.ads:363:04: warning: in instanti= ation at sal-gen_unbounded_definite_vectors.adb:448 [enabled by default]=C2=A0 =C2=A0 wisi.ads:363:04: warning: non-local pointer cannot point to = local object [enabled by default]
=C2=A0 =C2=A0 wisi.ads:363:04: warning= : Program_Error will be raised at run time [enabled by default]
=C2=A0 = =C2=A0 wisi.ads:363:04: warning: in instantiation at sal-gen_unbounded_defi= nite_vectors.adb:504 [enabled by default]
=C2=A0 =C2=A0 wisi.ads:363:04:= warning: non-local pointer cannot point to local object [enabled by defaul= t]
=C2=A0 =C2=A0 wisi.ads:363:04: warning: Program_Error will be raised = at run time [enabled by default]
=C2=A0 =C2=A0 sal-gen_unbounded_definit= e_vectors.adb:448:18: non-local pointer cannot point to local object
=C2= =A0 =C2=A0 sal-gen_unbounded_definite_vectors.adb:504:18: non-local pointer= cannot point to local object
=C2=A0 =C2=A0 gprbuild: *** compilation ph= ase 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 pro= blem is)=C2=A0

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

Can you have a look at the reported errors?

Thanks,=C2=A0

Koen


<= /div>


--000000000000c1148e05a46ec403-- --000000000000c1149005a46ec405 Content-Type: application/octet-stream; name="accessability_checks.patch" Content-Disposition: attachment; filename="accessability_checks.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_k9lezkrq0 V2hlbiBjb21waWxpbmcgV2lzaSB3aXRoIEFkYUNvcmUgd2F2ZWZyb250cyAyMS4wdywgd2UgZ2V0 IGVycm9ycyBiZWxvdy4gIFRoaXMgcGF0Y2ggZml4ZXMgdGhlIGFjY2Vzc2liaWxpdHkgZXJvcnMg YnkKbW9kaWZ5aW5nICdBY2Nlc3MgdG8gJ1VucmVzdHJpY3RlZF9BY2Nlc3Mgb3IgJ1VuY2hlY2tl ZF9BY2Nlc3MuCgogICAgd2lzaS5hZHM6MzYzOjA0OiB3YXJuaW5nOiBpbiBpbnN0YW50aWF0aW9u IGF0IHNhbC1nZW5fdW5ib3VuZGVkX2RlZmluaXRlX3ZlY3RvcnMuYWRiOjQ0OCBbZW5hYmxlZCBi eSBkZWZhdWx0XQogICAgd2lzaS5hZHM6MzYzOjA0OiB3YXJuaW5nOiBub24tbG9jYWwgcG9pbnRl ciBjYW5ub3QgcG9pbnQgdG8gbG9jYWwgb2JqZWN0IFtlbmFibGVkIGJ5IGRlZmF1bHRdCiAgICB3 aXNpLmFkczozNjM6MDQ6IHdhcm5pbmc6IFByb2dyYW1fRXJyb3Igd2lsbCBiZSByYWlzZWQgYXQg cnVuIHRpbWUgW2VuYWJsZWQgYnkgZGVmYXVsdF0KICAgIHdpc2kuYWRzOjM2MzowNDogd2Fybmlu ZzogaW4gaW5zdGFudGlhdGlvbiBhdCBzYWwtZ2VuX3VuYm91bmRlZF9kZWZpbml0ZV92ZWN0b3Jz LmFkYjo1MDQgW2VuYWJsZWQgYnkgZGVmYXVsdF0KICAgIHdpc2kuYWRzOjM2MzowNDogd2Fybmlu Zzogbm9uLWxvY2FsIHBvaW50ZXIgY2Fubm90IHBvaW50IHRvIGxvY2FsIG9iamVjdCBbZW5hYmxl ZCBieSBkZWZhdWx0XQogICAgd2lzaS5hZHM6MzYzOjA0OiB3YXJuaW5nOiBQcm9ncmFtX0Vycm9y IHdpbGwgYmUgcmFpc2VkIGF0IHJ1biB0aW1lIFtlbmFibGVkIGJ5IGRlZmF1bHRdCiAgICBzYWwt Z2VuX3VuYm91bmRlZF9kZWZpbml0ZV92ZWN0b3JzLmFkYjo0NDg6MTg6IG5vbi1sb2NhbCBwb2lu dGVyIGNhbm5vdCBwb2ludCB0byBsb2NhbCBvYmplY3QKICAgIHNhbC1nZW5fdW5ib3VuZGVkX2Rl ZmluaXRlX3ZlY3RvcnMuYWRiOjUwNDoxODogbm9uLWxvY2FsIHBvaW50ZXIgY2Fubm90IHBvaW50 IHRvIGxvY2FsIG9iamVjdAogICAgZ3ByYnVpbGQ6ICoqKiBjb21waWxhdGlvbiBwaGFzZSBmYWls ZWQKCi0tLSBzYWwtZ2VuX3VuYm91bmRlZF9kZWZpbml0ZV9yZWRfYmxhY2tfdHJlZXMuYWRiLm9y aWcJMjAyMC0wNC0yOSAxMjo0ODowMC43NjE1MjI4MzAgKzAwMDAKKysrIHNhbC1nZW5fdW5ib3Vu ZGVkX2RlZmluaXRlX3JlZF9ibGFja190cmVlcy5hZGIJMjAyMC0wNC0yOSAxMjo1MDowNi4wODAw NTc3NjQgKzAwMDAKQEAgLTMxOCw3ICszMTgsNyBAQAogICAgICAgaWYgTm9kZSA9IG51bGwgdGhl bgogICAgICAgICAgcmFpc2UgTm90X0ZvdW5kOwogICAgICAgZWxzZQotICAgICAgICAgcmV0dXJu IChFbGVtZW50ID0+IE5vZGUuYWxsLkVsZW1lbnQnQWNjZXNzLCBEdW1teSA9PiAxKTsKKyAgICAg ICAgIHJldHVybiAoRWxlbWVudCA9PiBOb2RlLmFsbC5FbGVtZW50J1VucmVzdHJpY3RlZF9BY2Nl c3MsIER1bW15ID0+IDEpOwogICAgICAgZW5kIGlmOwogICAgZW5kIENvbnN0YW50X1JlZmVyZW5j ZTsKIApAQCAtMzQyLDcgKzM0Miw3IEBACiAgICAgICBpZiBOb2RlID0gbnVsbCB0aGVuCiAgICAg ICAgICByYWlzZSBOb3RfRm91bmQ7CiAgICAgICBlbHNlCi0gICAgICAgICByZXR1cm4gKEVsZW1l bnQgPT4gTm9kZS5hbGwuRWxlbWVudCdBY2Nlc3MsIER1bW15ID0+IDEpOworICAgICAgICAgcmV0 dXJuIChFbGVtZW50ID0+IE5vZGUuYWxsLkVsZW1lbnQnVW5yZXN0cmljdGVkX0FjY2VzcywgRHVt bXkgPT4gMSk7CiAgICAgICBlbmQgaWY7CiAgICBlbmQgVmFyaWFibGVfUmVmZXJlbmNlOwogCi0t LSBzYWwtZ2VuX3VuYm91bmRlZF9kZWZpbml0ZV92ZWN0b3JzLmFkYi5vcmlnCTIwMjAtMDQtMjkg MTI6NTA6NTEuMTExODkwNjQ4ICswMDAwCisrKyBzYWwtZ2VuX3VuYm91bmRlZF9kZWZpbml0ZV92 ZWN0b3JzLmFkYgkyMDIwLTA0LTI5IDEyOjUxOjM0LjEwMDczMTExNCArMDAwMApAQCAtNDQ1LDcg KzQ0NSw3IEBACiAgICAgICBpZiBDb250YWluZXIuRmlyc3QgPSBOb19JbmRleCB0aGVuDQogICAg ICAgICAgcmV0dXJuIE5vX0VsZW1lbnQ7DQogICAgICAgZWxzZQ0KLSAgICAgICAgIHJldHVybiAo Q29udGFpbmVyJ0FjY2VzcywgVG9fUGVla19UeXBlIChDb250YWluZXIuRmlyc3QpKTsNCisgICAg ICAgICByZXR1cm4gKENvbnRhaW5lcidVbmNoZWNrZWRfQWNjZXNzLCBUb19QZWVrX1R5cGUgKENv bnRhaW5lci5GaXJzdCkpOw0KICAgICAgIGVuZCBpZjsNCiAgICBlbmQgRmlyc3Q7DQogDQpAQCAt NTAxLDcgKzUwMSw3IEBACiAgICAgICBpZiBJbmRleCBub3QgaW4gQ29udGFpbmVyLkZpcnN0IC4u IENvbnRhaW5lci5MYXN0IHRoZW4NCiAgICAgICAgICByZXR1cm4gTm9fRWxlbWVudDsNCiAgICAg ICBlbHNlDQotICAgICAgICAgcmV0dXJuIChDb250YWluZXInQWNjZXNzLCBUb19QZWVrX1R5cGUg KEluZGV4KSk7DQorICAgICAgICAgcmV0dXJuIChDb250YWluZXInVW5jaGVja2VkX0FjY2Vzcywg VG9fUGVla19UeXBlIChJbmRleCkpOw0KICAgICAgIGVuZCBpZjsNCiAgICBlbmQgVG9fQ3Vyc29y Ow0KIA0KLS0tIHdpc2l0b2tlbi1wYXJzZS1sci1wYXJzZXJfbGlzdHMuYWRiLm9yaWcJMjAyMC0w NC0yOSAxMjo1MTo0OS4xMjk2NzUzNDAgKzAwMDAKKysrIHdpc2l0b2tlbi1wYXJzZS1sci1wYXJz ZXJfbGlzdHMuYWRiCTIwMjAtMDQtMjkgMTI6NTI6MjEuMTc5NTU2NDAxICswMDAwCkBAIC04MSw3 ICs4MSw3IEBACiAKICAgIGZ1bmN0aW9uIEZpcnN0IChMaXN0IDogYWxpYXNlZCBpbiBvdXQgUGFy c2VyX0xpc3RzLkxpc3QnQ2xhc3MpIHJldHVybiBDdXJzb3IKICAgIGlzIGJlZ2luCi0gICAgICBy ZXR1cm4gKEVsZW1lbnRzID0+IExpc3QuRWxlbWVudHMnQWNjZXNzLCBQdHIgPT4gTGlzdC5FbGVt ZW50cy5GaXJzdCk7CisgICAgICByZXR1cm4gKEVsZW1lbnRzID0+IExpc3QuRWxlbWVudHMnVW5j aGVja2VkX0FjY2VzcywgUHRyID0+IExpc3QuRWxlbWVudHMuRmlyc3QpOwogICAgZW5kIEZpcnN0 OwogCiAgICBwcm9jZWR1cmUgTmV4dCAoQ3Vyc29yIDogaW4gb3V0IFBhcnNlcl9MaXN0cy5DdXJz b3IpCkBAIC0zOTgsNyArMzk4LDcgQEAKIAogICAgZnVuY3Rpb24gSXRlcmF0ZSAoQ29udGFpbmVy IDogYWxpYXNlZCBpbiBvdXQgTGlzdCkgcmV0dXJuIEl0ZXJhdG9yX0ludGVyZmFjZXMuRm9yd2Fy ZF9JdGVyYXRvcidDbGFzcwogICAgaXMgYmVnaW4KLSAgICAgIHJldHVybiBJdGVyYXRvcicoQ29u dGFpbmVyID0+IENvbnRhaW5lcidBY2Nlc3MpOworICAgICAgcmV0dXJuIEl0ZXJhdG9yJyhDb250 YWluZXIgPT4gQ29udGFpbmVyJ1VuY2hlY2tlZF9BY2Nlc3MpOwogICAgZW5kIEl0ZXJhdGU7CiAK ICAgIGZ1bmN0aW9uIEhhc19FbGVtZW50IChJdGVyYXRvciA6IGluIFBhcnNlcl9Ob2RlX0FjY2Vz cykgcmV0dXJuIEJvb2xlYW4K --000000000000c1149005a46ec405 Content-Type: application/octet-stream; name="accessability_checks.patch" Content-Disposition: attachment; filename="accessability_checks.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_k9lezx1g1 V2hlbiBjb21waWxpbmcgV2lzaSB3aXRoIEFkYUNvcmUgd2F2ZWZyb250cyAyMS4wdywgd2UgZ2V0 IGVycm9ycyBiZWxvdy4gIFRoaXMgcGF0Y2ggZml4ZXMgdGhlIGFjY2Vzc2liaWxpdHkgZXJvcnMg YnkKbW9kaWZ5aW5nICdBY2Nlc3MgdG8gJ1VucmVzdHJpY3RlZF9BY2Nlc3Mgb3IgJ1VuY2hlY2tl ZF9BY2Nlc3MuCgogICAgd2lzaS5hZHM6MzYzOjA0OiB3YXJuaW5nOiBpbiBpbnN0YW50aWF0aW9u IGF0IHNhbC1nZW5fdW5ib3VuZGVkX2RlZmluaXRlX3ZlY3RvcnMuYWRiOjQ0OCBbZW5hYmxlZCBi eSBkZWZhdWx0XQogICAgd2lzaS5hZHM6MzYzOjA0OiB3YXJuaW5nOiBub24tbG9jYWwgcG9pbnRl ciBjYW5ub3QgcG9pbnQgdG8gbG9jYWwgb2JqZWN0IFtlbmFibGVkIGJ5IGRlZmF1bHRdCiAgICB3 aXNpLmFkczozNjM6MDQ6IHdhcm5pbmc6IFByb2dyYW1fRXJyb3Igd2lsbCBiZSByYWlzZWQgYXQg cnVuIHRpbWUgW2VuYWJsZWQgYnkgZGVmYXVsdF0KICAgIHdpc2kuYWRzOjM2MzowNDogd2Fybmlu ZzogaW4gaW5zdGFudGlhdGlvbiBhdCBzYWwtZ2VuX3VuYm91bmRlZF9kZWZpbml0ZV92ZWN0b3Jz LmFkYjo1MDQgW2VuYWJsZWQgYnkgZGVmYXVsdF0KICAgIHdpc2kuYWRzOjM2MzowNDogd2Fybmlu Zzogbm9uLWxvY2FsIHBvaW50ZXIgY2Fubm90IHBvaW50IHRvIGxvY2FsIG9iamVjdCBbZW5hYmxl ZCBieSBkZWZhdWx0XQogICAgd2lzaS5hZHM6MzYzOjA0OiB3YXJuaW5nOiBQcm9ncmFtX0Vycm9y IHdpbGwgYmUgcmFpc2VkIGF0IHJ1biB0aW1lIFtlbmFibGVkIGJ5IGRlZmF1bHRdCiAgICBzYWwt Z2VuX3VuYm91bmRlZF9kZWZpbml0ZV92ZWN0b3JzLmFkYjo0NDg6MTg6IG5vbi1sb2NhbCBwb2lu dGVyIGNhbm5vdCBwb2ludCB0byBsb2NhbCBvYmplY3QKICAgIHNhbC1nZW5fdW5ib3VuZGVkX2Rl ZmluaXRlX3ZlY3RvcnMuYWRiOjUwNDoxODogbm9uLWxvY2FsIHBvaW50ZXIgY2Fubm90IHBvaW50 IHRvIGxvY2FsIG9iamVjdAogICAgZ3ByYnVpbGQ6ICoqKiBjb21waWxhdGlvbiBwaGFzZSBmYWls ZWQKCi0tLSBzYWwtZ2VuX3VuYm91bmRlZF9kZWZpbml0ZV9yZWRfYmxhY2tfdHJlZXMuYWRiLm9y aWcJMjAyMC0wNC0yOSAxMjo0ODowMC43NjE1MjI4MzAgKzAwMDAKKysrIHNhbC1nZW5fdW5ib3Vu ZGVkX2RlZmluaXRlX3JlZF9ibGFja190cmVlcy5hZGIJMjAyMC0wNC0yOSAxMjo1MDowNi4wODAw NTc3NjQgKzAwMDAKQEAgLTMxOCw3ICszMTgsNyBAQAogICAgICAgaWYgTm9kZSA9IG51bGwgdGhl bgogICAgICAgICAgcmFpc2UgTm90X0ZvdW5kOwogICAgICAgZWxzZQotICAgICAgICAgcmV0dXJu IChFbGVtZW50ID0+IE5vZGUuYWxsLkVsZW1lbnQnQWNjZXNzLCBEdW1teSA9PiAxKTsKKyAgICAg ICAgIHJldHVybiAoRWxlbWVudCA9PiBOb2RlLmFsbC5FbGVtZW50J1VucmVzdHJpY3RlZF9BY2Nl c3MsIER1bW15ID0+IDEpOwogICAgICAgZW5kIGlmOwogICAgZW5kIENvbnN0YW50X1JlZmVyZW5j ZTsKIApAQCAtMzQyLDcgKzM0Miw3IEBACiAgICAgICBpZiBOb2RlID0gbnVsbCB0aGVuCiAgICAg ICAgICByYWlzZSBOb3RfRm91bmQ7CiAgICAgICBlbHNlCi0gICAgICAgICByZXR1cm4gKEVsZW1l bnQgPT4gTm9kZS5hbGwuRWxlbWVudCdBY2Nlc3MsIER1bW15ID0+IDEpOworICAgICAgICAgcmV0 dXJuIChFbGVtZW50ID0+IE5vZGUuYWxsLkVsZW1lbnQnVW5yZXN0cmljdGVkX0FjY2VzcywgRHVt bXkgPT4gMSk7CiAgICAgICBlbmQgaWY7CiAgICBlbmQgVmFyaWFibGVfUmVmZXJlbmNlOwogCi0t LSBzYWwtZ2VuX3VuYm91bmRlZF9kZWZpbml0ZV92ZWN0b3JzLmFkYi5vcmlnCTIwMjAtMDQtMjkg MTI6NTA6NTEuMTExODkwNjQ4ICswMDAwCisrKyBzYWwtZ2VuX3VuYm91bmRlZF9kZWZpbml0ZV92 ZWN0b3JzLmFkYgkyMDIwLTA0LTI5IDEyOjUxOjM0LjEwMDczMTExNCArMDAwMApAQCAtNDQ1LDcg KzQ0NSw3IEBACiAgICAgICBpZiBDb250YWluZXIuRmlyc3QgPSBOb19JbmRleCB0aGVuDQogICAg ICAgICAgcmV0dXJuIE5vX0VsZW1lbnQ7DQogICAgICAgZWxzZQ0KLSAgICAgICAgIHJldHVybiAo Q29udGFpbmVyJ0FjY2VzcywgVG9fUGVla19UeXBlIChDb250YWluZXIuRmlyc3QpKTsNCisgICAg ICAgICByZXR1cm4gKENvbnRhaW5lcidVbmNoZWNrZWRfQWNjZXNzLCBUb19QZWVrX1R5cGUgKENv bnRhaW5lci5GaXJzdCkpOw0KICAgICAgIGVuZCBpZjsNCiAgICBlbmQgRmlyc3Q7DQogDQpAQCAt NTAxLDcgKzUwMSw3IEBACiAgICAgICBpZiBJbmRleCBub3QgaW4gQ29udGFpbmVyLkZpcnN0IC4u IENvbnRhaW5lci5MYXN0IHRoZW4NCiAgICAgICAgICByZXR1cm4gTm9fRWxlbWVudDsNCiAgICAg ICBlbHNlDQotICAgICAgICAgcmV0dXJuIChDb250YWluZXInQWNjZXNzLCBUb19QZWVrX1R5cGUg KEluZGV4KSk7DQorICAgICAgICAgcmV0dXJuIChDb250YWluZXInVW5jaGVja2VkX0FjY2Vzcywg VG9fUGVla19UeXBlIChJbmRleCkpOw0KICAgICAgIGVuZCBpZjsNCiAgICBlbmQgVG9fQ3Vyc29y Ow0KIA0KLS0tIHdpc2l0b2tlbi1wYXJzZS1sci1wYXJzZXJfbGlzdHMuYWRiLm9yaWcJMjAyMC0w NC0yOSAxMjo1MTo0OS4xMjk2NzUzNDAgKzAwMDAKKysrIHdpc2l0b2tlbi1wYXJzZS1sci1wYXJz ZXJfbGlzdHMuYWRiCTIwMjAtMDQtMjkgMTI6NTI6MjEuMTc5NTU2NDAxICswMDAwCkBAIC04MSw3 ICs4MSw3IEBACiAKICAgIGZ1bmN0aW9uIEZpcnN0IChMaXN0IDogYWxpYXNlZCBpbiBvdXQgUGFy c2VyX0xpc3RzLkxpc3QnQ2xhc3MpIHJldHVybiBDdXJzb3IKICAgIGlzIGJlZ2luCi0gICAgICBy ZXR1cm4gKEVsZW1lbnRzID0+IExpc3QuRWxlbWVudHMnQWNjZXNzLCBQdHIgPT4gTGlzdC5FbGVt ZW50cy5GaXJzdCk7CisgICAgICByZXR1cm4gKEVsZW1lbnRzID0+IExpc3QuRWxlbWVudHMnVW5j aGVja2VkX0FjY2VzcywgUHRyID0+IExpc3QuRWxlbWVudHMuRmlyc3QpOwogICAgZW5kIEZpcnN0 OwogCiAgICBwcm9jZWR1cmUgTmV4dCAoQ3Vyc29yIDogaW4gb3V0IFBhcnNlcl9MaXN0cy5DdXJz b3IpCkBAIC0zOTgsNyArMzk4LDcgQEAKIAogICAgZnVuY3Rpb24gSXRlcmF0ZSAoQ29udGFpbmVy IDogYWxpYXNlZCBpbiBvdXQgTGlzdCkgcmV0dXJuIEl0ZXJhdG9yX0ludGVyZmFjZXMuRm9yd2Fy ZF9JdGVyYXRvcidDbGFzcwogICAgaXMgYmVnaW4KLSAgICAgIHJldHVybiBJdGVyYXRvcicoQ29u dGFpbmVyID0+IENvbnRhaW5lcidBY2Nlc3MpOworICAgICAgcmV0dXJuIEl0ZXJhdG9yJyhDb250 YWluZXIgPT4gQ29udGFpbmVyJ1VuY2hlY2tlZF9BY2Nlc3MpOwogICAgZW5kIEl0ZXJhdGU7CiAK ICAgIGZ1bmN0aW9uIEhhc19FbGVtZW50IChJdGVyYXRvciA6IGluIFBhcnNlcl9Ob2RlX0FjY2Vz cykgcmV0dXJuIEJvb2xlYW4K --000000000000c1149005a46ec405-- From debbugs-submit-bounces@debbugs.gnu.org Tue May 05 19:09:35 2020 Received: (at control) by debbugs.gnu.org; 5 May 2020 23:09:35 +0000 Received: from localhost ([127.0.0.1]:37867 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jW6gx-0004BV-DR for submit@debbugs.gnu.org; Tue, 05 May 2020 19:09:35 -0400 Received: from gateway31.websitewelcome.com ([192.185.144.94]:22835) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jW6gv-0004BN-TY for control@debbugs.gnu.org; Tue, 05 May 2020 19:09:34 -0400 Received: from cm12.websitewelcome.com (cm12.websitewelcome.com [100.42.49.8]) by gateway31.websitewelcome.com (Postfix) with ESMTP id 65F4312253C8 for ; Tue, 5 May 2020 18:09:33 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id W6gvjZebP1s2xW6gvj9Ez2; Tue, 05 May 2020 18:09:33 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=g2bxPV3A1YNnVgHff/WyGSFqBxN5S8Uidc28D/gW/tQ=; b=R26faCuLMdSwu8n89IXniEoGVJ /ejkfHhmEutFTVZgHobWG6BZaXytYTm7RYbwl3o6GTvy/9TTOt+hZiU63agdfZ0ULGkBV/2IePp0C jdAziPMbvLKDqyxaogNcJpoaxL5g3g9bENZZb3M/lwqUCO5l5rSO2NQcrGsaaBja39LbQEnzdtvou sessxMb2ZZt00miYqh4jw5QSTSzAl56vep3DO0nxw57hV92LziQKmImmWC+MNk6/NcvAZMu79yO/C RjWpEHZBAtmWXVSLpxm3J8rBoU6BGDAsnm/MAVmT9lzIGn5porySBeCOWhHJbfg4pJbjos/MoDuTb O3gC95dg==; Received: from [76.77.182.20] (port=50420 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1jW6gu-0033GI-R0 for control@debbugs.gnu.org; Tue, 05 May 2020 17:09:32 -0600 From: Stephen Leake To: control@debbugs.gnu.org Subject: update Date: Tue, 05 May 2020 15:09:29 -0800 Message-ID: <86h7wu6kt2.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1jW6gu-0033GI-R0 X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:50420 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 2 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) tags 40964 + pending -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Sun May 10 08:21:45 2020 Received: (at 40964) by debbugs.gnu.org; 10 May 2020 12:21:46 +0000 Received: from localhost ([127.0.0.1]:49162 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jXkxl-0004xN-LQ for submit@debbugs.gnu.org; Sun, 10 May 2020 08:21:45 -0400 Received: from gateway24.websitewelcome.com ([192.185.51.228]:17777) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jXkxi-0004xD-W5 for 40964@debbugs.gnu.org; Sun, 10 May 2020 08:21:44 -0400 Received: from cm12.websitewelcome.com (cm12.websitewelcome.com [100.42.49.8]) by gateway24.websitewelcome.com (Postfix) with ESMTP id 3D87715A6 for <40964@debbugs.gnu.org>; Sun, 10 May 2020 07:21:42 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id Xkxhj0PmY1s2xXkxijZ9jr; Sun, 10 May 2020 07:21:42 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=WXl/kJt2QpEqQjXVg9EV44/IbsaWdOGZP9Sak/n2PSY=; b=XPh/NPW/Oi/zJxaxT1yR4xv6z5 Wz8H7TpvxUGmLjx4vTUEiAnIeJFxP7h/6gbuUlmkltbt4gMigCvz06rV98EHhIjKkCNtyWhJ6enZX R/I+efZHhAxhFrJHUYjMKC+ibVeNB4/TkwfghQl4vR3NINBINUGw1rsZau9PTBJSjUaWQIxyh8QID lTn7sxfrHkbDE1XyTu5mtBylWOoHI369wm9i60fADmF1ThD2CNBKQWPn8MOJc7RefE7fKq2YSI7uq yDsUfpaAvjIW30y+iYxXPe79Nq6uDGx1s4garYxzZuwTX33zesa4SGfZrQmWoT5angA1KeIoVznhh 5uBZnvqw==; Received: from [76.77.182.20] (port=50526 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1jXkxh-002rbs-J6 for 40964@debbugs.gnu.org; Sun, 10 May 2020 06:21:41 -0600 From: Stephen Leake To: 40964@debbugs.gnu.org Subject: emacs ada-mode : wisi fails to compile with recent AdaCore wavefronts Date: Sun, 10 May 2020 04:21:39 -0800 Message-ID: <86zhag56b0.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1jXkxh-002rbs-J6 X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:50526 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 40964 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) 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 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 07 17:25:01 2020 Received: (at 40964-close) by debbugs.gnu.org; 7 Jun 2020 21:25:01 +0000 Received: from localhost ([127.0.0.1]:55135 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ji2mq-0005j3-L0 for submit@debbugs.gnu.org; Sun, 07 Jun 2020 17:25:00 -0400 Received: from gateway33.websitewelcome.com ([192.185.146.97]:25075) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ji2mn-0005iv-Qd for 40964-close@debbugs.gnu.org; Sun, 07 Jun 2020 17:24:59 -0400 Received: from cm17.websitewelcome.com (cm17.websitewelcome.com [100.42.49.20]) by gateway33.websitewelcome.com (Postfix) with ESMTP id 3A10D43DD2 for <40964-close@debbugs.gnu.org>; Sun, 7 Jun 2020 16:24:57 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id i2mmj9pWxAGTXi2mnjKJGc; Sun, 07 Jun 2020 16:24:57 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=1w1c+9lpuRS0Kru1xoTVptnXWmC8kbQt+for7R8V1oo=; b=EGLQglqhpB7i3pZ677SRkRHJX2 7BLFzoPxSlADEGB3XYVdmTPCCuYLvtylmYecKpGjnZNfiBdAlUvmuwYMN80eT32bvYMvR9icIVnvW l2YbebfS5ceOTCmQNss+CZr0TT5biEJqOHe0Qh9xfngwri4sUfDnw8UWAZyujLkMEyih86vfN+Sl6 f27uY/nyYhcvKELGzFgFrf392UV8GTLOojecl39LjXKSe2KudP31wnuMH7A9C21LU44yfTdRjof9S BQmo0ZkLyGHQQJMQqG5jYqyAcUaEjcuOTebZ55ruZdlHLUAw6k7Bq9t5AsQ0GDetY8CFVkldJz6uA ZPoxC6rQ==; Received: from [76.77.182.20] (port=51383 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1ji2mm-000wSa-Jc for 40964-close@debbugs.gnu.org; Sun, 07 Jun 2020 15:24:56 -0600 From: Stephen Leake To: 40964-close@debbugs.gnu.org Subject: closed by ada-mode version 7.1.3 Date: Sun, 07 Jun 2020 14:24:54 -0700 Message-ID: <86r1uqbmc9.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1ji2mm-000wSa-Jc X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:51383 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 5 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 40964-close X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) -- -- Stephe From unknown Sat Aug 16 21:59:31 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 06 Jul 2020 11:24:08 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator