From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 09 17:51:40 2022 Received: (at submit) by debbugs.gnu.org; 9 Jun 2022 21:51:40 +0000 Received: from localhost ([127.0.0.1]:48084 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nzQ43-0007VI-CE for submit@debbugs.gnu.org; Thu, 09 Jun 2022 17:51:40 -0400 Received: from lists.gnu.org ([209.51.188.17]:59154) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nzQ3z-0007V8-Ci for submit@debbugs.gnu.org; Thu, 09 Jun 2022 17:51:38 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58822) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nzQ3x-0005ur-4n for bug-gnu-emacs@gnu.org; Thu, 09 Jun 2022 17:51:34 -0400 Received: from mail-vs1-xe33.google.com ([2607:f8b0:4864:20::e33]:41486) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nzQ3Z-0004Ks-IX for bug-gnu-emacs@gnu.org; Thu, 09 Jun 2022 17:51:22 -0400 Received: by mail-vs1-xe33.google.com with SMTP id r12so21131212vsg.8 for ; Thu, 09 Jun 2022 14:51:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=G+8lEKcX4VMBRuyPRK+FdowZL7S0l0ETtPB5880j22E=; b=ClkzNA8dwpUhvtcRGqzXsAvtn3QhSnaf5+KIrKWdNGw/Pgn1uo/GZb1yAuuurRI/NO UzAt+83ZQobn5M8NuGS5S9X2e4LvY1QU+RWMsKpIsrQ8C1QfP43Fhk4I4aY7XHba1J4V vEB+5NQSzgZkNCM/eKhJyPF8cYIdh0GsiadDRWdNOveT1/PSzLBQedZjXSq9WgQct5tT ORqT4KZ2tbPrtXEpGeovSGKYmAqhvkazS2mkOcgjmGGObDd2wvCSOGPIDI8Yz5gzBeb2 xK62HYiqIv8OL2JBOyaY3WYdv3W0wI+I5I9of3msfwoTQ0lDc+4iCmcJeD7uo3hTKrTm 1yUA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=G+8lEKcX4VMBRuyPRK+FdowZL7S0l0ETtPB5880j22E=; b=yIsPk3n1PANoQxndUlPFTlGuYgk+tDwT8aHEiupn1FVTqR5FcOCc13qG/qIzJ45eLE 1X/z32DeNmwZR9susDu6N+u91vAoR5PpheT1Se/Rarmn1XfsSRNIJ2lrbFqmiRovQE2R 3q1TiDR4CvE3w67keYD+G/OqXIISVEJ82qQ+UEjj/P42AAzjOiYtawgxfuIzOVC9/EZk 7TARRj8SZNq+EYzyx53/+d20heY8DOz/HPyLJei42Ib91XD9mEdCx5oBuCO+SX3tGV2+ ibFmkbK/RGdlJOaj1MlWjR47s5+xIlS8B6WY4YxwK9UmTHuOvfUnRJVupmfE04Wf6VWB i0jA== X-Gm-Message-State: AOAM532tOFARoKzXwcpOCzSiuQnUC3LMjyxQqZmbsQvK0E/0lomapuoi /+CXpUJ60Qzp7t/61c57RqfI3XwUcWceBtDBg3STmGJmcdCXhA== X-Google-Smtp-Source: ABdhPJzX0K6zZ1wiFvMdU7nHvOZmWeR3G/Hl8gYU8LzP/wzRroHX/wVlYekUsuA7Gn1IeZekjPnLys4P6GeXU8YRjnU= X-Received: by 2002:a67:d606:0:b0:34b:efba:a5f9 with SMTP id n6-20020a67d606000000b0034befbaa5f9mr6345269vsj.0.1654811467213; Thu, 09 Jun 2022 14:51:07 -0700 (PDT) MIME-Version: 1.0 From: Left Right Date: Thu, 9 Jun 2022 23:49:31 +0200 Message-ID: Subject: 28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb To: bug-gnu-emacs@gnu.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::e33; envelope-from=olegsivokon@gmail.com; helo=mail-vs1-xe33.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit 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 (--) Hi. I'm trying to build and install Ada mode, and I'm not able to compile wisi (support code for parser written in Ada). The problematic functions are: function Peek (Queue : in Pkg.Queue; N : Peek_Type :=3D 1) return Constant_Reference_Type is use Ada.Containers; use Element_Lists; I : Cursor :=3D Queue.Data.First; begin if Count_Type (N) > Queue.Data.Length then raise Parameter_Error; end if; for K in 2 .. N loop Next (I); end loop; return (Element =3D> Element_Lists.Constant_Reference (Queue.Data, I).Element, Dummy =3D> 1); end Peek; function Variable_Peek (Queue : in out Pkg.Queue; N : Peek_Type :=3D 1) return Variable_Reference_Type is use Ada.Containers; use Element_Lists; I : Cursor :=3D Queue.Data.First; begin if Count_Type (N) > Queue.Data.Length then raise Parameter_Error; end if; for K in 2 .. N loop Next (I); end loop; return (Element =3D> Element_Lists.Variable_Reference (Queue.Data, I).Element, Dummy =3D> 1); end Variable_Peek; And the error is: sal-gen_unbounded_definite_queues.adb:67:07: error: access discriminant in return object would be a dangling reference sal-gen_unbounded_definite_queues.adb:84:07: error: access discriminant in return object would be a dangling reference I'm using: =E2=9D=AF gprbuild --version GPRBUILD Pro 18.0w (19940713) (x86_64-pc-linux-gnu) Copyright (C) 2004-2016, AdaCore This is free software; see the source for copying conditions. See your AdaCore support agreement for details of warranty and support. If you do not have a current support agreement, then there is absolutely no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. =E2=9D=AF gnat --version GNAT 12.1.0 Copyright (C) 1996-2022, Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. I'm using version 3.1.7 of wisi (the latest as of time of writing). I'm using version Ada mode 7.2.0 (the latest as of time of writing). Unfortunately, I don't know how to fix the error, but hope it's not too difficult. Thanks. Oleg In GNU Emacs 28.1 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.33, cairo version 1.17.6) of 2022-04-28 built on frederik Windowing system distributor 'The X.Org Foundation', version 11.0.12101003 System Description: Manjaro Linux Configured using: 'configure --sysconfdir=3D/etc --prefix=3D/usr --libexecdir=3D/usr/lib --localstatedir=3D/var --with-cairo --with-harfbuzz --with-libsystemd --with-modules --with-x-toolkit=3Dgtk3 'CFLAGS=3D-march=3Dx86-64 -mtune=3Dgeneric -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3D2 -Wformat -Werror=3Dformat-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=3D/build/emacs/src=3D/usr/src/debug -flto=3Dauto' 'LDFLAGS=3D-Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -flto=3Dauto'' Configured features: ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG JSON LCMS2 LIBOTF LIBSYSTEMD LIBXML2 M17N_FLT MODULES NOTIFY INOTIFY PDUMPER PNG RSVG SECCOMP SOUND THREADS TIFF TOOLKIT_SCROLL_BARS X11 XDBE XIM XPM GTK3 ZLIB Important settings: value of $LC_MONETARY: nl_NL.UTF-8 value of $LC_NUMERIC: nl_NL.UTF-8 value of $LC_TIME: nl_NL.UTF-8 value of $LANG: en_US.UTF-8 value of $XMODIFIERS: @im=3Dibus locale-coding-system: utf-8-unix Major mode: Dired by name Minor modes in effect: global-flycheck-mode: t pyvenv-mode: t vimish-fold-global-mode: t vimish-fold-mode: t ido-everywhere: t shell-dirtrack-mode: t global-undo-tree-mode: t global-hl-line-mode: t display-time-mode: t override-global-mode: t tooltip-mode: t global-eldoc-mode: t show-paren-mode: t electric-indent-mode: t mouse-wheel-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t buffer-read-only: t line-number-mode: t transient-mark-mode: t Load-path shadows: /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-start hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-start /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-test hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-test /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-skels-old hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-skels-old /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-eunit hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-eunit /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-skels hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-skels /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-flymake hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-flymake /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-edoc hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-edoc /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erldoc hides /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erldoc /home/olegs/.emacs.d/elpa/cmake-mode-20210104.1831/cmake-mode hides /usr/share/emacs/site-lisp/cmake-mode /home/olegs/.emacs.d/elpa/transient-20210420.1635/transient hides /usr/share/emacs/28.1/lisp/transient ~/.emacs.d/org-mode/lisp/org-entities hides /usr/share/emacs/28.1/lisp/org/org-entities ~/.emacs.d/org-mode/lisp/ox-html hides /usr/share/emacs/28.1/lisp/org/ox-ht= ml ~/.emacs.d/org-mode/lisp/org-element hides /usr/share/emacs/28.1/lisp/org/org-element ~/.emacs.d/org-mode/lisp/oc-natbib hides /usr/share/emacs/28.1/lisp/org/oc-natbib ~/.emacs.d/org-mode/lisp/ox-latex hides /usr/share/emacs/28.1/lisp/org/ox-l= atex ~/.emacs.d/org-mode/lisp/ob-sass hides /usr/share/emacs/28.1/lisp/org/ob-sa= ss ~/.emacs.d/org-mode/lisp/oc-biblatex hides /usr/share/emacs/28.1/lisp/org/oc-biblatex ~/.emacs.d/org-mode/lisp/ox-odt hides /usr/share/emacs/28.1/lisp/org/ox-odt ~/.emacs.d/org-mode/lisp/ob-gnuplot hides /usr/share/emacs/28.1/lisp/org/ob-gnuplot ~/.emacs.d/org-mode/lisp/ob-lob hides /usr/share/emacs/28.1/lisp/org/ob-lob ~/.emacs.d/org-mode/lisp/ol-bbdb hides /usr/share/emacs/28.1/lisp/org/ol-bb= db ~/.emacs.d/org-mode/lisp/ol-rmail hides /usr/share/emacs/28.1/lisp/org/ol-r= mail ~/.emacs.d/org-mode/lisp/ob-ruby hides /usr/share/emacs/28.1/lisp/org/ob-ru= by ~/.emacs.d/org-mode/lisp/ob-matlab hides /usr/share/emacs/28.1/lisp/org/ob-matlab ~/.emacs.d/org-mode/lisp/org-duration hides /usr/share/emacs/28.1/lisp/org/org-duration ~/.emacs.d/org-mode/lisp/org-habit hides /usr/share/emacs/28.1/lisp/org/org-habit ~/.emacs.d/org-mode/lisp/ol-docview hides /usr/share/emacs/28.1/lisp/org/ol-docview ~/.emacs.d/org-mode/lisp/org-mouse hides /usr/share/emacs/28.1/lisp/org/org-mouse ~/.emacs.d/org-mode/lisp/ob-js hides /usr/share/emacs/28.1/lisp/org/ob-js ~/.emacs.d/org-mode/lisp/org-refile hides /usr/share/emacs/28.1/lisp/org/org-refile ~/.emacs.d/org-mode/lisp/ob-sed hides /usr/share/emacs/28.1/lisp/org/ob-sed ~/.emacs.d/org-mode/lisp/ob-eshell hides /usr/share/emacs/28.1/lisp/org/ob-eshell ~/.emacs.d/org-mode/lisp/ob-exp hides /usr/share/emacs/28.1/lisp/org/ob-exp ~/.emacs.d/org-mode/lisp/ob-haskell hides /usr/share/emacs/28.1/lisp/org/ob-haskell ~/.emacs.d/org-mode/lisp/org-crypt hides /usr/share/emacs/28.1/lisp/org/org-crypt ~/.emacs.d/org-mode/lisp/ob-R hides /usr/share/emacs/28.1/lisp/org/ob-R ~/.emacs.d/org-mode/lisp/org-protocol hides /usr/share/emacs/28.1/lisp/org/org-protocol ~/.emacs.d/org-mode/lisp/org-id hides /usr/share/emacs/28.1/lisp/org/org-id ~/.emacs.d/org-mode/lisp/oc-csl hides /usr/share/emacs/28.1/lisp/org/oc-csl ~/.emacs.d/org-mode/lisp/ob-latex hides /usr/share/emacs/28.1/lisp/org/ob-l= atex ~/.emacs.d/org-mode/lisp/ob-lilypond hides /usr/share/emacs/28.1/lisp/org/ob-lilypond ~/.emacs.d/org-mode/lisp/ob-ditaa hides /usr/share/emacs/28.1/lisp/org/ob-d= itaa ~/.emacs.d/org-mode/lisp/ob-sqlite hides /usr/share/emacs/28.1/lisp/org/ob-sqlite ~/.emacs.d/org-mode/lisp/ob-table hides /usr/share/emacs/28.1/lisp/org/ob-t= able ~/.emacs.d/org-mode/lisp/org-timer hides /usr/share/emacs/28.1/lisp/org/org-timer ~/.emacs.d/org-mode/lisp/ox-man hides /usr/share/emacs/28.1/lisp/org/ox-man ~/.emacs.d/org-mode/lisp/ob-lisp hides /usr/share/emacs/28.1/lisp/org/ob-li= sp ~/.emacs.d/org-mode/lisp/org-attach-git hides /usr/share/emacs/28.1/lisp/org/org-attach-git ~/.emacs.d/org-mode/lisp/ob-octave hides /usr/share/emacs/28.1/lisp/org/ob-octave ~/.emacs.d/org-mode/lisp/org-feed hides /usr/share/emacs/28.1/lisp/org/org-= feed ~/.emacs.d/org-mode/lisp/ob-perl hides /usr/share/emacs/28.1/lisp/org/ob-pe= rl ~/.emacs.d/org-mode/lisp/ox-koma-letter hides /usr/share/emacs/28.1/lisp/org/ox-koma-letter ~/.emacs.d/org-mode/lisp/ob-fortran hides /usr/share/emacs/28.1/lisp/org/ob-fortran ~/.emacs.d/org-mode/lisp/ob-C hides /usr/share/emacs/28.1/lisp/org/ob-C ~/.emacs.d/org-mode/lisp/org-compat hides /usr/share/emacs/28.1/lisp/org/org-compat ~/.emacs.d/org-mode/lisp/ob-ref hides /usr/share/emacs/28.1/lisp/org/ob-ref ~/.emacs.d/org-mode/lisp/ob-makefile hides /usr/share/emacs/28.1/lisp/org/ob-makefile ~/.emacs.d/org-mode/lisp/org-list hides /usr/share/emacs/28.1/lisp/org/org-= list ~/.emacs.d/org-mode/lisp/org-tempo hides /usr/share/emacs/28.1/lisp/org/org-tempo ~/.emacs.d/org-mode/lisp/ob-java hides /usr/share/emacs/28.1/lisp/org/ob-ja= va ~/.emacs.d/org-mode/lisp/org-inlinetask hides /usr/share/emacs/28.1/lisp/org/org-inlinetask ~/.emacs.d/org-mode/lisp/org-pcomplete hides /usr/share/emacs/28.1/lisp/org/org-pcomplete ~/.emacs.d/org-mode/lisp/ob hides /usr/share/emacs/28.1/lisp/org/ob ~/.emacs.d/org-mode/lisp/ol-irc hides /usr/share/emacs/28.1/lisp/org/ol-irc ~/.emacs.d/org-mode/lisp/org-colview hides /usr/share/emacs/28.1/lisp/org/org-colview ~/.emacs.d/org-mode/lisp/org-indent hides /usr/share/emacs/28.1/lisp/org/org-indent ~/.emacs.d/org-mode/lisp/oc-basic hides /usr/share/emacs/28.1/lisp/org/oc-b= asic ~/.emacs.d/org-mode/lisp/org-mobile hides /usr/share/emacs/28.1/lisp/org/org-mobile ~/.emacs.d/org-mode/lisp/ox-beamer hides /usr/share/emacs/28.1/lisp/org/ox-beamer ~/.emacs.d/org-mode/lisp/ob-groovy hides /usr/share/emacs/28.1/lisp/org/ob-groovy ~/.emacs.d/org-mode/lisp/org-lint hides /usr/share/emacs/28.1/lisp/org/org-= lint ~/.emacs.d/org-mode/lisp/ob-forth hides /usr/share/emacs/28.1/lisp/org/ob-f= orth ~/.emacs.d/org-mode/lisp/org-faces hides /usr/share/emacs/28.1/lisp/org/org-faces ~/.emacs.d/org-mode/lisp/org-plot hides /usr/share/emacs/28.1/lisp/org/org-= plot ~/.emacs.d/org-mode/lisp/ob-css hides /usr/share/emacs/28.1/lisp/org/ob-css ~/.emacs.d/org-mode/lisp/ob-shell hides /usr/share/emacs/28.1/lisp/org/ob-s= hell ~/.emacs.d/org-mode/lisp/org-capture hides /usr/share/emacs/28.1/lisp/org/org-capture ~/.emacs.d/org-mode/lisp/ox-icalendar hides /usr/share/emacs/28.1/lisp/org/ox-icalendar ~/.emacs.d/org-mode/lisp/org-datetree hides /usr/share/emacs/28.1/lisp/org/org-datetree ~/.emacs.d/org-mode/lisp/org-clock hides /usr/share/emacs/28.1/lisp/org/org-clock ~/.emacs.d/org-mode/lisp/org-num hides /usr/share/emacs/28.1/lisp/org/org-n= um ~/.emacs.d/org-mode/lisp/ob-emacs-lisp hides /usr/share/emacs/28.1/lisp/org/ob-emacs-lisp ~/.emacs.d/org-mode/lisp/ob-python hides /usr/share/emacs/28.1/lisp/org/ob-python ~/.emacs.d/org-mode/lisp/ol hides /usr/share/emacs/28.1/lisp/org/ol ~/.emacs.d/org-mode/lisp/org-agenda hides /usr/share/emacs/28.1/lisp/org/org-agenda ~/.emacs.d/org-mode/lisp/ob-awk hides /usr/share/emacs/28.1/lisp/org/ob-awk ~/.emacs.d/org-mode/lisp/ob-ocaml hides /usr/share/emacs/28.1/lisp/org/ob-o= caml ~/.emacs.d/org-mode/lisp/ox-org hides /usr/share/emacs/28.1/lisp/org/ox-org ~/.emacs.d/org-mode/lisp/ob-org hides /usr/share/emacs/28.1/lisp/org/ob-org ~/.emacs.d/org-mode/lisp/org-ctags hides /usr/share/emacs/28.1/lisp/org/org-ctags ~/.emacs.d/org-mode/lisp/org-macro hides /usr/share/emacs/28.1/lisp/org/org-macro ~/.emacs.d/org-mode/lisp/ob-calc hides /usr/share/emacs/28.1/lisp/org/ob-ca= lc ~/.emacs.d/org-mode/lisp/ol-eshell hides /usr/share/emacs/28.1/lisp/org/ol-eshell ~/.emacs.d/org-mode/lisp/org-version hides /usr/share/emacs/28.1/lisp/org/org-version ~/.emacs.d/org-mode/lisp/ox-md hides /usr/share/emacs/28.1/lisp/org/ox-md ~/.emacs.d/org-mode/lisp/ox-texinfo hides /usr/share/emacs/28.1/lisp/org/ox-texinfo ~/.emacs.d/org-mode/lisp/ob-processing hides /usr/share/emacs/28.1/lisp/org/ob-processing ~/.emacs.d/org-mode/lisp/ob-eval hides /usr/share/emacs/28.1/lisp/org/ob-ev= al ~/.emacs.d/org-mode/lisp/ob-screen hides /usr/share/emacs/28.1/lisp/org/ob-screen ~/.emacs.d/org-mode/lisp/ol-info hides /usr/share/emacs/28.1/lisp/org/ol-in= fo ~/.emacs.d/org-mode/lisp/ol-doi hides /usr/share/emacs/28.1/lisp/org/ol-doi ~/.emacs.d/org-mode/lisp/ox-ascii hides /usr/share/emacs/28.1/lisp/org/ox-a= scii ~/.emacs.d/org-mode/lisp/oc hides /usr/share/emacs/28.1/lisp/org/oc ~/.emacs.d/org-mode/lisp/org-footnote hides /usr/share/emacs/28.1/lisp/org/org-footnote ~/.emacs.d/org-mode/lisp/ob-dot hides /usr/share/emacs/28.1/lisp/org/ob-dot ~/.emacs.d/org-mode/lisp/ob-sql hides /usr/share/emacs/28.1/lisp/org/ob-sql ~/.emacs.d/org-mode/lisp/ob-plantuml hides /usr/share/emacs/28.1/lisp/org/ob-plantuml ~/.emacs.d/org-mode/lisp/org-goto hides /usr/share/emacs/28.1/lisp/org/org-= goto ~/.emacs.d/org-mode/lisp/org-keys hides /usr/share/emacs/28.1/lisp/org/org-= keys ~/.emacs.d/org-mode/lisp/org-archive hides /usr/share/emacs/28.1/lisp/org/org-archive ~/.emacs.d/org-mode/lisp/ol-bibtex hides /usr/share/emacs/28.1/lisp/org/ol-bibtex ~/.emacs.d/org-mode/lisp/ob-maxima hides /usr/share/emacs/28.1/lisp/org/ob-maxima ~/.emacs.d/org-mode/lisp/ob-tangle hides /usr/share/emacs/28.1/lisp/org/ob-tangle ~/.emacs.d/org-mode/lisp/org-attach hides /usr/share/emacs/28.1/lisp/org/org-attach ~/.emacs.d/org-mode/lisp/org-src hides /usr/share/emacs/28.1/lisp/org/org-s= rc ~/.emacs.d/org-mode/lisp/ob-core hides /usr/share/emacs/28.1/lisp/org/ob-co= re ~/.emacs.d/org-mode/lisp/ol-w3m hides /usr/share/emacs/28.1/lisp/org/ol-w3m ~/.emacs.d/org-mode/lisp/ol-eww hides /usr/share/emacs/28.1/lisp/org/ol-eww ~/.emacs.d/org-mode/lisp/org-install hides /usr/share/emacs/28.1/lisp/org/org-install ~/.emacs.d/org-mode/lisp/ox-publish hides /usr/share/emacs/28.1/lisp/org/ox-publish ~/.emacs.d/org-mode/lisp/ob-lua hides /usr/share/emacs/28.1/lisp/org/ob-lua ~/.emacs.d/org-mode/lisp/org hides /usr/share/emacs/28.1/lisp/org/org ~/.emacs.d/org-mode/lisp/org-table hides /usr/share/emacs/28.1/lisp/org/org-table ~/.emacs.d/org-mode/lisp/ol-mhe hides /usr/share/emacs/28.1/lisp/org/ol-mhe ~/.emacs.d/org-mode/lisp/ol-gnus hides /usr/share/emacs/28.1/lisp/org/ol-gn= us ~/.emacs.d/org-mode/lisp/ob-scheme hides /usr/share/emacs/28.1/lisp/org/ob-scheme ~/.emacs.d/org-mode/lisp/ob-comint hides /usr/share/emacs/28.1/lisp/org/ob-comint ~/.emacs.d/org-mode/lisp/org-loaddefs hides /usr/share/emacs/28.1/lisp/org/org-loaddefs ~/.emacs.d/org-mode/lisp/ob-clojure hides /usr/share/emacs/28.1/lisp/org/ob-clojure ~/.emacs.d/org-mode/lisp/org-macs hides /usr/share/emacs/28.1/lisp/org/org-= macs ~/.emacs.d/org-mode/lisp/ox hides /usr/share/emacs/28.1/lisp/org/ox Features: (shadow sort bbdb-message mail-extr emacsbug message rmc puny rfc822 mml mml-sec epa epg rfc6068 epg-config mm-decode mm-bodies mm-encode gmm-utils mailheader ada-mode ada-imenu ada-skel wisi-skel skeleton ada-process wisi-process-parse ada-indent-user-options ada-core wisi-prj wisi wisi-fringe wisi-parse-common semantic/lex semantic/fw mode-local uniquify-files find-file misearch multi-isearch dired-aux term disp-table ehelp ibuf-macs ibuffer ibuffer-loaddefs flycheck edts edts-navigate edts-event edts-api edts-rpc edts-log ferl edts-doc auto-highlight-symbol erlang tempo align ace-jump-mode cl bbdb-mua bbdb-com crm mailabbrev bbdb bbdb-site timezone feature-mode cucumber-mode nyan-mode yasnippet highlight-indentation company-capf company pcase help-fns radix-tree elpy elpy-rpc pyvenv eshell esh-cmd esh-ext esh-opt esh-proc esh-io esh-arg esh-module esh-groups esh-util elpy-shell elpy-profile elpy-django elpy-refactor diff-mode grep cus-edit cus-load slime-fancy slime-indentation slime-cl-indent cl-indent slime-trace-dialog slime-fontifying-fu slime-package-fu slime-references slime-compiler-notes-tree slime-scratch slime-presentations bridge slime-macrostep macrostep slime-mdot-fu slime-enclosing-context slime-fuzzy slime-fancy-trace slime-fancy-inspector slime-c-p-c slime-editing-commands slime-autodoc slime-repl elp slime-parse slime derived cl-extra help-mode lisp-mnt mail-parse rfc2231 gud apropos etags fileloop xref arc-mode archive-mode hyperspec slime-autoloads wheatgrass-theme vimish-fold f dash s google-c-style ido dired-x ox-md ox-jira help-at-pt ob-ditaa ob-gnuplot ob-C ob-calc calc-store calc-trail calc-ext calc calc-loaddefs rect calc-macs ob-sqlite ob-R ob-python python tramp-sh tramp tramp-loaddefs trampver tramp-integration files-x tramp-compat shell parse-time ls-lisp ob-sql ob-latex eieio-compat undo-tree diff hl-line erc-goodies erc erc-backend pp erc-loaddefs smtpmail sendmail nnir gnus nnheader gnus-util rmail rmail-loaddefs rfc2047 rfc2045 ietf-drums mail-utils mm-util mail-prsvr wid-edit flymake-gjshint flymake-proc flymake project compile text-property-search warnings thingatpt js-comint js imenu cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles cc-align cc-engine cc-vars cc-defs dired dired-loaddefs edmacro kmacro finder-inf server time ox-koma-letter ox-odt rng-loc rng-uri rng-parse rng-match rng-dt rng-util rng-pttrn nxml-parse nxml-ns nxml-enc xmltok nxml-util ox-latex ox-icalendar org-agenda org-refile ox-html table ox-ascii ox-publish ox org-element avl-tree generator oc-basic bibtex iso8601 org ob ob-tangle ob-ref ob-lob ob-table ob-exp org-macro org-footnote org-src ob-comint org-pcomplete pcomplete comint ansi-color ring org-list org-faces org-entities time-date noutline outline org-version ob-emacs-lisp ob-core ob-eval org-table ol rx org-keys oc org-compat advice org-macs org-loaddefs format-spec find-func cal-menu calendar cal-loaddefs use-package use-package-ensure use-package-delight use-package-diminish use-package-bind-key bind-key easy-mmode use-package-core info package browse-url url url-proxy url-privacy url-expand url-methods url-history url-cookie url-domsuf url-util mailcap url-handlers url-parse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs password-cache json subr-x map url-vars seq byte-opt gv bytecomp byte-compile cconv cl-loaddefs cl-lib iso-transl tooltip eldoc paren electric uniquify ediff-hook vc-hooks lisp-float-type elisp-mode mwheel term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu timer select scroll-bar mouse jit-lock font-lock syntax font-core term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese composite emoji-zwj charscript charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice button loaddefs faces cus-face macroexp files window text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads dbusbind inotify lcms2 dynamic-setting system-font-setting font-render-setting cairo move-toolbar gtk x-toolkit x multi-tty make-network-process emacs) Memory information: ((conses 16 740514 101220) (symbols 48 49642 3) (strings 32 202479 4787) (string-bytes 1 6306959) (vectors 16 69568) (vector-slots 8 776012 40235) (floats 8 217 181) (intervals 56 20661 131) (buffers 992 18)) From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 28 17:20:49 2022 Received: (at 55880) by debbugs.gnu.org; 28 Jun 2022 21:20:49 +0000 Received: from localhost ([127.0.0.1]:56509 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o6Idb-0006Ez-TB for submit@debbugs.gnu.org; Tue, 28 Jun 2022 17:20:49 -0400 Received: from mail-pf1-f176.google.com ([209.85.210.176]:44862) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o6IdU-0006EC-NZ for 55880@debbugs.gnu.org; Tue, 28 Jun 2022 17:20:42 -0400 Received: by mail-pf1-f176.google.com with SMTP id 65so13098643pfw.11 for <55880@debbugs.gnu.org>; Tue, 28 Jun 2022 14:20:40 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:in-reply-to:references:user-agent :mime-version:date:message-id:subject:to:cc :content-transfer-encoding; bh=4DM5lef8nFvY6K+m/NKHUuv5a2uRerbMPvxNU0oHOvU=; b=oVUTQIbVq9mErYMNAJcCuZkZuIF7hmwqZv3mOghaaSARb+waCGRv7ImeDum+5or2Xk fKPwJZmRijg/i/BYiCd4SvooF3/rn8eYybKFkr1xW70sNf4ijnioGZeQ+tADEYVZvPy2 fpzyBUuBIp8bGOsMltavPwXF6V+S29v1kKQ10yELTTq8BR7kqMrLF/tNZAgMLmEacibM +Qi/W8tXdBx7HZEXk+GIaXVr+zvIiUVtm0EGXck1aLREvmf2mdu3NJmoZG79gwCiq1GQ npvloJXJwDiKWqKIJ8yztoFjeAyJevWK9zmfocMCo1luaSvWJ5SjaSs75Ruz+SD+381h GqRw== X-Gm-Message-State: AJIora8FLdEgyaj5fpb+fDB4TsnnwI1jlLEwgIpWK7G5JcMQTGsR/tXv S4yjTcooV6CIjG9H1d0TOfSCPP8rWlaZyik9mfI= X-Google-Smtp-Source: AGRyM1uNdFiv5nLQYmLQq00gUWXb2vawW4rV5PMEA1KJ8N3XR8DdYQXClTZgQSlJ/77Rh3UzZYQUe64OtYt34bWhdyM= X-Received: by 2002:a63:8849:0:b0:40d:e25:9fb2 with SMTP id l70-20020a638849000000b0040d0e259fb2mr19588035pgd.592.1656451234893; Tue, 28 Jun 2022 14:20:34 -0700 (PDT) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Tue, 28 Jun 2022 14:20:34 -0700 From: Stefan Kangas In-Reply-To: (Left Right's message of "Thu, 9 Jun 2022 23:49:31 +0200") References: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) MIME-Version: 1.0 Date: Tue, 28 Jun 2022 14:20:34 -0700 Message-ID: Subject: Re: bug#55880: 28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb To: Left Right Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.5 (/) X-Debbugs-Envelope-To: 55880 Cc: 55880@debbugs.gnu.org, Stephen Leake 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.5 (/) [Reassigning to package "emacs,ada-mode" and copying in Stephen Leake.] Left Right writes: > Hi. > > I'm trying to build and install Ada mode, and I'm not able to compile > wisi (support code for parser written in Ada). The problematic > functions are: > > function Peek (Queue : in Pkg.Queue; N : Peek_Type :=3D 1) return > Constant_Reference_Type > is > use Ada.Containers; > use Element_Lists; > I : Cursor :=3D Queue.Data.First; > begin > if Count_Type (N) > Queue.Data.Length then > raise Parameter_Error; > end if; > > for K in 2 .. N loop > Next (I); > end loop; > > return (Element =3D> Element_Lists.Constant_Reference (Queue.Data, > I).Element, Dummy =3D> 1); > end Peek; > > function Variable_Peek (Queue : in out Pkg.Queue; N : Peek_Type :=3D > 1) return Variable_Reference_Type > is > use Ada.Containers; > use Element_Lists; > I : Cursor :=3D Queue.Data.First; > begin > if Count_Type (N) > Queue.Data.Length then > raise Parameter_Error; > end if; > > for K in 2 .. N loop > Next (I); > end loop; > > return (Element =3D> Element_Lists.Variable_Reference (Queue.Data, > I).Element, Dummy =3D> 1); > end Variable_Peek; > > And the error is: > > sal-gen_unbounded_definite_queues.adb:67:07: error: access > discriminant in return object would be a dangling reference > sal-gen_unbounded_definite_queues.adb:84:07: error: access discriminant > in return object would be a dangling reference > > I'm using: > > =E2=9D=AF gprbuild --version > GPRBUILD Pro 18.0w (19940713) (x86_64-pc-linux-gnu) > Copyright (C) 2004-2016, AdaCore > This is free software; see the source for copying conditions. > See your AdaCore support agreement for details of warranty and support. > If you do not have a current support agreement, then there is absolutely > no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR > PURPOSE. > > =E2=9D=AF gnat --version > GNAT 12.1.0 > Copyright (C) 1996-2022, Free Software Foundation, Inc. > This is free software; see the source for copying conditions. > There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A > PARTICULAR PURPOSE. > > I'm using version 3.1.7 of wisi (the latest as of time of writing). > I'm using version Ada mode 7.2.0 (the latest as of time of writing). > > Unfortunately, I don't know how to fix the error, but hope it's not too > difficult. > > Thanks. > > Oleg > > In GNU Emacs 28.1 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.33, > cairo version 1.17.6) > of 2022-04-28 built on frederik > Windowing system distributor 'The X.Org Foundation', version 11.0.1210100= 3 > System Description: Manjaro Linux > > Configured using: > 'configure --sysconfdir=3D/etc --prefix=3D/usr --libexecdir=3D/usr/lib > --localstatedir=3D/var --with-cairo --with-harfbuzz --with-libsystemd > --with-modules --with-x-toolkit=3Dgtk3 'CFLAGS=3D-march=3Dx86-64 > -mtune=3Dgeneric -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE= =3D2 > -Wformat -Werror=3Dformat-security -fstack-clash-protection > -fcf-protection -g -ffile-prefix-map=3D/build/emacs/src=3D/usr/src/debug > -flto=3Dauto' 'LDFLAGS=3D-Wl,-O1,--sort-common,--as-needed,-z,relro,-z,n= ow > -flto=3Dauto'' > > Configured features: > ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG > JSON LCMS2 LIBOTF LIBSYSTEMD LIBXML2 M17N_FLT MODULES NOTIFY INOTIFY > PDUMPER PNG RSVG SECCOMP SOUND THREADS TIFF TOOLKIT_SCROLL_BARS X11 XDBE > XIM XPM GTK3 ZLIB > > Important settings: > value of $LC_MONETARY: nl_NL.UTF-8 > value of $LC_NUMERIC: nl_NL.UTF-8 > value of $LC_TIME: nl_NL.UTF-8 > value of $LANG: en_US.UTF-8 > value of $XMODIFIERS: @im=3Dibus > locale-coding-system: utf-8-unix > > Major mode: Dired by name > > Minor modes in effect: > global-flycheck-mode: t > pyvenv-mode: t > vimish-fold-global-mode: t > vimish-fold-mode: t > ido-everywhere: t > shell-dirtrack-mode: t > global-undo-tree-mode: t > global-hl-line-mode: t > display-time-mode: t > override-global-mode: t > tooltip-mode: t > global-eldoc-mode: t > show-paren-mode: t > electric-indent-mode: t > mouse-wheel-mode: t > file-name-shadow-mode: t > global-font-lock-mode: t > font-lock-mode: t > blink-cursor-mode: t > auto-composition-mode: t > auto-encryption-mode: t > auto-compression-mode: t > buffer-read-only: t > line-number-mode: t > transient-mark-mode: t > > Load-path shadows: > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-start hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-start > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-test hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-test > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-skels-old hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-skels-old > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-eunit hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-eunit > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-skels hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-skels > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-flymake hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-flymake > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-edoc hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-edoc > /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erldoc hides > /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erldoc > /home/olegs/.emacs.d/elpa/cmake-mode-20210104.1831/cmake-mode hides > /usr/share/emacs/site-lisp/cmake-mode > /home/olegs/.emacs.d/elpa/transient-20210420.1635/transient hides > /usr/share/emacs/28.1/lisp/transient > ~/.emacs.d/org-mode/lisp/org-entities hides > /usr/share/emacs/28.1/lisp/org/org-entities > ~/.emacs.d/org-mode/lisp/ox-html hides /usr/share/emacs/28.1/lisp/org/ox-= html > ~/.emacs.d/org-mode/lisp/org-element hides > /usr/share/emacs/28.1/lisp/org/org-element > ~/.emacs.d/org-mode/lisp/oc-natbib hides > /usr/share/emacs/28.1/lisp/org/oc-natbib > ~/.emacs.d/org-mode/lisp/ox-latex hides /usr/share/emacs/28.1/lisp/org/ox= -latex > ~/.emacs.d/org-mode/lisp/ob-sass hides /usr/share/emacs/28.1/lisp/org/ob-= sass > ~/.emacs.d/org-mode/lisp/oc-biblatex hides > /usr/share/emacs/28.1/lisp/org/oc-biblatex > ~/.emacs.d/org-mode/lisp/ox-odt hides /usr/share/emacs/28.1/lisp/org/ox-o= dt > ~/.emacs.d/org-mode/lisp/ob-gnuplot hides > /usr/share/emacs/28.1/lisp/org/ob-gnuplot > ~/.emacs.d/org-mode/lisp/ob-lob hides /usr/share/emacs/28.1/lisp/org/ob-l= ob > ~/.emacs.d/org-mode/lisp/ol-bbdb hides /usr/share/emacs/28.1/lisp/org/ol-= bbdb > ~/.emacs.d/org-mode/lisp/ol-rmail hides /usr/share/emacs/28.1/lisp/org/ol= -rmail > ~/.emacs.d/org-mode/lisp/ob-ruby hides /usr/share/emacs/28.1/lisp/org/ob-= ruby > ~/.emacs.d/org-mode/lisp/ob-matlab hides > /usr/share/emacs/28.1/lisp/org/ob-matlab > ~/.emacs.d/org-mode/lisp/org-duration hides > /usr/share/emacs/28.1/lisp/org/org-duration > ~/.emacs.d/org-mode/lisp/org-habit hides > /usr/share/emacs/28.1/lisp/org/org-habit > ~/.emacs.d/org-mode/lisp/ol-docview hides > /usr/share/emacs/28.1/lisp/org/ol-docview > ~/.emacs.d/org-mode/lisp/org-mouse hides > /usr/share/emacs/28.1/lisp/org/org-mouse > ~/.emacs.d/org-mode/lisp/ob-js hides /usr/share/emacs/28.1/lisp/org/ob-js > ~/.emacs.d/org-mode/lisp/org-refile hides > /usr/share/emacs/28.1/lisp/org/org-refile > ~/.emacs.d/org-mode/lisp/ob-sed hides /usr/share/emacs/28.1/lisp/org/ob-s= ed > ~/.emacs.d/org-mode/lisp/ob-eshell hides > /usr/share/emacs/28.1/lisp/org/ob-eshell > ~/.emacs.d/org-mode/lisp/ob-exp hides /usr/share/emacs/28.1/lisp/org/ob-e= xp > ~/.emacs.d/org-mode/lisp/ob-haskell hides > /usr/share/emacs/28.1/lisp/org/ob-haskell > ~/.emacs.d/org-mode/lisp/org-crypt hides > /usr/share/emacs/28.1/lisp/org/org-crypt > ~/.emacs.d/org-mode/lisp/ob-R hides /usr/share/emacs/28.1/lisp/org/ob-R > ~/.emacs.d/org-mode/lisp/org-protocol hides > /usr/share/emacs/28.1/lisp/org/org-protocol > ~/.emacs.d/org-mode/lisp/org-id hides /usr/share/emacs/28.1/lisp/org/org-= id > ~/.emacs.d/org-mode/lisp/oc-csl hides /usr/share/emacs/28.1/lisp/org/oc-c= sl > ~/.emacs.d/org-mode/lisp/ob-latex hides /usr/share/emacs/28.1/lisp/org/ob= -latex > ~/.emacs.d/org-mode/lisp/ob-lilypond hides > /usr/share/emacs/28.1/lisp/org/ob-lilypond > ~/.emacs.d/org-mode/lisp/ob-ditaa hides /usr/share/emacs/28.1/lisp/org/ob= -ditaa > ~/.emacs.d/org-mode/lisp/ob-sqlite hides > /usr/share/emacs/28.1/lisp/org/ob-sqlite > ~/.emacs.d/org-mode/lisp/ob-table hides /usr/share/emacs/28.1/lisp/org/ob= -table > ~/.emacs.d/org-mode/lisp/org-timer hides > /usr/share/emacs/28.1/lisp/org/org-timer > ~/.emacs.d/org-mode/lisp/ox-man hides /usr/share/emacs/28.1/lisp/org/ox-m= an > ~/.emacs.d/org-mode/lisp/ob-lisp hides /usr/share/emacs/28.1/lisp/org/ob-= lisp > ~/.emacs.d/org-mode/lisp/org-attach-git hides > /usr/share/emacs/28.1/lisp/org/org-attach-git > ~/.emacs.d/org-mode/lisp/ob-octave hides > /usr/share/emacs/28.1/lisp/org/ob-octave > ~/.emacs.d/org-mode/lisp/org-feed hides /usr/share/emacs/28.1/lisp/org/or= g-feed > ~/.emacs.d/org-mode/lisp/ob-perl hides /usr/share/emacs/28.1/lisp/org/ob-= perl > ~/.emacs.d/org-mode/lisp/ox-koma-letter hides > /usr/share/emacs/28.1/lisp/org/ox-koma-letter > ~/.emacs.d/org-mode/lisp/ob-fortran hides > /usr/share/emacs/28.1/lisp/org/ob-fortran > ~/.emacs.d/org-mode/lisp/ob-C hides /usr/share/emacs/28.1/lisp/org/ob-C > ~/.emacs.d/org-mode/lisp/org-compat hides > /usr/share/emacs/28.1/lisp/org/org-compat > ~/.emacs.d/org-mode/lisp/ob-ref hides /usr/share/emacs/28.1/lisp/org/ob-r= ef > ~/.emacs.d/org-mode/lisp/ob-makefile hides > /usr/share/emacs/28.1/lisp/org/ob-makefile > ~/.emacs.d/org-mode/lisp/org-list hides /usr/share/emacs/28.1/lisp/org/or= g-list > ~/.emacs.d/org-mode/lisp/org-tempo hides > /usr/share/emacs/28.1/lisp/org/org-tempo > ~/.emacs.d/org-mode/lisp/ob-java hides /usr/share/emacs/28.1/lisp/org/ob-= java > ~/.emacs.d/org-mode/lisp/org-inlinetask hides > /usr/share/emacs/28.1/lisp/org/org-inlinetask > ~/.emacs.d/org-mode/lisp/org-pcomplete hides > /usr/share/emacs/28.1/lisp/org/org-pcomplete > ~/.emacs.d/org-mode/lisp/ob hides /usr/share/emacs/28.1/lisp/org/ob > ~/.emacs.d/org-mode/lisp/ol-irc hides /usr/share/emacs/28.1/lisp/org/ol-i= rc > ~/.emacs.d/org-mode/lisp/org-colview hides > /usr/share/emacs/28.1/lisp/org/org-colview > ~/.emacs.d/org-mode/lisp/org-indent hides > /usr/share/emacs/28.1/lisp/org/org-indent > ~/.emacs.d/org-mode/lisp/oc-basic hides /usr/share/emacs/28.1/lisp/org/oc= -basic > ~/.emacs.d/org-mode/lisp/org-mobile hides > /usr/share/emacs/28.1/lisp/org/org-mobile > ~/.emacs.d/org-mode/lisp/ox-beamer hides > /usr/share/emacs/28.1/lisp/org/ox-beamer > ~/.emacs.d/org-mode/lisp/ob-groovy hides > /usr/share/emacs/28.1/lisp/org/ob-groovy > ~/.emacs.d/org-mode/lisp/org-lint hides /usr/share/emacs/28.1/lisp/org/or= g-lint > ~/.emacs.d/org-mode/lisp/ob-forth hides /usr/share/emacs/28.1/lisp/org/ob= -forth > ~/.emacs.d/org-mode/lisp/org-faces hides > /usr/share/emacs/28.1/lisp/org/org-faces > ~/.emacs.d/org-mode/lisp/org-plot hides /usr/share/emacs/28.1/lisp/org/or= g-plot > ~/.emacs.d/org-mode/lisp/ob-css hides /usr/share/emacs/28.1/lisp/org/ob-c= ss > ~/.emacs.d/org-mode/lisp/ob-shell hides /usr/share/emacs/28.1/lisp/org/ob= -shell > ~/.emacs.d/org-mode/lisp/org-capture hides > /usr/share/emacs/28.1/lisp/org/org-capture > ~/.emacs.d/org-mode/lisp/ox-icalendar hides > /usr/share/emacs/28.1/lisp/org/ox-icalendar > ~/.emacs.d/org-mode/lisp/org-datetree hides > /usr/share/emacs/28.1/lisp/org/org-datetree > ~/.emacs.d/org-mode/lisp/org-clock hides > /usr/share/emacs/28.1/lisp/org/org-clock > ~/.emacs.d/org-mode/lisp/org-num hides /usr/share/emacs/28.1/lisp/org/org= -num > ~/.emacs.d/org-mode/lisp/ob-emacs-lisp hides > /usr/share/emacs/28.1/lisp/org/ob-emacs-lisp > ~/.emacs.d/org-mode/lisp/ob-python hides > /usr/share/emacs/28.1/lisp/org/ob-python > ~/.emacs.d/org-mode/lisp/ol hides /usr/share/emacs/28.1/lisp/org/ol > ~/.emacs.d/org-mode/lisp/org-agenda hides > /usr/share/emacs/28.1/lisp/org/org-agenda > ~/.emacs.d/org-mode/lisp/ob-awk hides /usr/share/emacs/28.1/lisp/org/ob-a= wk > ~/.emacs.d/org-mode/lisp/ob-ocaml hides /usr/share/emacs/28.1/lisp/org/ob= -ocaml > ~/.emacs.d/org-mode/lisp/ox-org hides /usr/share/emacs/28.1/lisp/org/ox-o= rg > ~/.emacs.d/org-mode/lisp/ob-org hides /usr/share/emacs/28.1/lisp/org/ob-o= rg > ~/.emacs.d/org-mode/lisp/org-ctags hides > /usr/share/emacs/28.1/lisp/org/org-ctags > ~/.emacs.d/org-mode/lisp/org-macro hides > /usr/share/emacs/28.1/lisp/org/org-macro > ~/.emacs.d/org-mode/lisp/ob-calc hides /usr/share/emacs/28.1/lisp/org/ob-= calc > ~/.emacs.d/org-mode/lisp/ol-eshell hides > /usr/share/emacs/28.1/lisp/org/ol-eshell > ~/.emacs.d/org-mode/lisp/org-version hides > /usr/share/emacs/28.1/lisp/org/org-version > ~/.emacs.d/org-mode/lisp/ox-md hides /usr/share/emacs/28.1/lisp/org/ox-md > ~/.emacs.d/org-mode/lisp/ox-texinfo hides > /usr/share/emacs/28.1/lisp/org/ox-texinfo > ~/.emacs.d/org-mode/lisp/ob-processing hides > /usr/share/emacs/28.1/lisp/org/ob-processing > ~/.emacs.d/org-mode/lisp/ob-eval hides /usr/share/emacs/28.1/lisp/org/ob-= eval > ~/.emacs.d/org-mode/lisp/ob-screen hides > /usr/share/emacs/28.1/lisp/org/ob-screen > ~/.emacs.d/org-mode/lisp/ol-info hides /usr/share/emacs/28.1/lisp/org/ol-= info > ~/.emacs.d/org-mode/lisp/ol-doi hides /usr/share/emacs/28.1/lisp/org/ol-d= oi > ~/.emacs.d/org-mode/lisp/ox-ascii hides /usr/share/emacs/28.1/lisp/org/ox= -ascii > ~/.emacs.d/org-mode/lisp/oc hides /usr/share/emacs/28.1/lisp/org/oc > ~/.emacs.d/org-mode/lisp/org-footnote hides > /usr/share/emacs/28.1/lisp/org/org-footnote > ~/.emacs.d/org-mode/lisp/ob-dot hides /usr/share/emacs/28.1/lisp/org/ob-d= ot > ~/.emacs.d/org-mode/lisp/ob-sql hides /usr/share/emacs/28.1/lisp/org/ob-s= ql > ~/.emacs.d/org-mode/lisp/ob-plantuml hides > /usr/share/emacs/28.1/lisp/org/ob-plantuml > ~/.emacs.d/org-mode/lisp/org-goto hides /usr/share/emacs/28.1/lisp/org/or= g-goto > ~/.emacs.d/org-mode/lisp/org-keys hides /usr/share/emacs/28.1/lisp/org/or= g-keys > ~/.emacs.d/org-mode/lisp/org-archive hides > /usr/share/emacs/28.1/lisp/org/org-archive > ~/.emacs.d/org-mode/lisp/ol-bibtex hides > /usr/share/emacs/28.1/lisp/org/ol-bibtex > ~/.emacs.d/org-mode/lisp/ob-maxima hides > /usr/share/emacs/28.1/lisp/org/ob-maxima > ~/.emacs.d/org-mode/lisp/ob-tangle hides > /usr/share/emacs/28.1/lisp/org/ob-tangle > ~/.emacs.d/org-mode/lisp/org-attach hides > /usr/share/emacs/28.1/lisp/org/org-attach > ~/.emacs.d/org-mode/lisp/org-src hides /usr/share/emacs/28.1/lisp/org/org= -src > ~/.emacs.d/org-mode/lisp/ob-core hides /usr/share/emacs/28.1/lisp/org/ob-= core > ~/.emacs.d/org-mode/lisp/ol-w3m hides /usr/share/emacs/28.1/lisp/org/ol-w= 3m > ~/.emacs.d/org-mode/lisp/ol-eww hides /usr/share/emacs/28.1/lisp/org/ol-e= ww > ~/.emacs.d/org-mode/lisp/org-install hides > /usr/share/emacs/28.1/lisp/org/org-install > ~/.emacs.d/org-mode/lisp/ox-publish hides > /usr/share/emacs/28.1/lisp/org/ox-publish > ~/.emacs.d/org-mode/lisp/ob-lua hides /usr/share/emacs/28.1/lisp/org/ob-l= ua > ~/.emacs.d/org-mode/lisp/org hides /usr/share/emacs/28.1/lisp/org/org > ~/.emacs.d/org-mode/lisp/org-table hides > /usr/share/emacs/28.1/lisp/org/org-table > ~/.emacs.d/org-mode/lisp/ol-mhe hides /usr/share/emacs/28.1/lisp/org/ol-m= he > ~/.emacs.d/org-mode/lisp/ol-gnus hides /usr/share/emacs/28.1/lisp/org/ol-= gnus > ~/.emacs.d/org-mode/lisp/ob-scheme hides > /usr/share/emacs/28.1/lisp/org/ob-scheme > ~/.emacs.d/org-mode/lisp/ob-comint hides > /usr/share/emacs/28.1/lisp/org/ob-comint > ~/.emacs.d/org-mode/lisp/org-loaddefs hides > /usr/share/emacs/28.1/lisp/org/org-loaddefs > ~/.emacs.d/org-mode/lisp/ob-clojure hides > /usr/share/emacs/28.1/lisp/org/ob-clojure > ~/.emacs.d/org-mode/lisp/org-macs hides /usr/share/emacs/28.1/lisp/org/or= g-macs > ~/.emacs.d/org-mode/lisp/ox hides /usr/share/emacs/28.1/lisp/org/ox > > Features: > (shadow sort bbdb-message mail-extr emacsbug message rmc puny rfc822 mml > mml-sec epa epg rfc6068 epg-config mm-decode mm-bodies mm-encode > gmm-utils mailheader ada-mode ada-imenu ada-skel wisi-skel skeleton > ada-process wisi-process-parse ada-indent-user-options ada-core wisi-prj > wisi wisi-fringe wisi-parse-common semantic/lex semantic/fw mode-local > uniquify-files find-file misearch multi-isearch dired-aux term > disp-table ehelp ibuf-macs ibuffer ibuffer-loaddefs flycheck edts > edts-navigate edts-event edts-api edts-rpc edts-log ferl edts-doc > auto-highlight-symbol erlang tempo align ace-jump-mode cl bbdb-mua > bbdb-com crm mailabbrev bbdb bbdb-site timezone feature-mode > cucumber-mode nyan-mode yasnippet highlight-indentation company-capf > company pcase help-fns radix-tree elpy elpy-rpc pyvenv eshell esh-cmd > esh-ext esh-opt esh-proc esh-io esh-arg esh-module esh-groups esh-util > elpy-shell elpy-profile elpy-django elpy-refactor diff-mode grep > cus-edit cus-load slime-fancy slime-indentation slime-cl-indent > cl-indent slime-trace-dialog slime-fontifying-fu slime-package-fu > slime-references slime-compiler-notes-tree slime-scratch > slime-presentations bridge slime-macrostep macrostep slime-mdot-fu > slime-enclosing-context slime-fuzzy slime-fancy-trace > slime-fancy-inspector slime-c-p-c slime-editing-commands slime-autodoc > slime-repl elp slime-parse slime derived cl-extra help-mode lisp-mnt > mail-parse rfc2231 gud apropos etags fileloop xref arc-mode archive-mode > hyperspec slime-autoloads wheatgrass-theme vimish-fold f dash s > google-c-style ido dired-x ox-md ox-jira help-at-pt ob-ditaa ob-gnuplot > ob-C ob-calc calc-store calc-trail calc-ext calc calc-loaddefs rect > calc-macs ob-sqlite ob-R ob-python python tramp-sh tramp tramp-loaddefs > trampver tramp-integration files-x tramp-compat shell parse-time ls-lisp > ob-sql ob-latex eieio-compat undo-tree diff hl-line erc-goodies erc > erc-backend pp erc-loaddefs smtpmail sendmail nnir gnus nnheader > gnus-util rmail rmail-loaddefs rfc2047 rfc2045 ietf-drums mail-utils > mm-util mail-prsvr wid-edit flymake-gjshint flymake-proc flymake project > compile text-property-search warnings thingatpt js-comint js imenu > cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles cc-align cc-engine > cc-vars cc-defs dired dired-loaddefs edmacro kmacro finder-inf server > time ox-koma-letter ox-odt rng-loc rng-uri rng-parse rng-match rng-dt > rng-util rng-pttrn nxml-parse nxml-ns nxml-enc xmltok nxml-util ox-latex > ox-icalendar org-agenda org-refile ox-html table ox-ascii ox-publish ox > org-element avl-tree generator oc-basic bibtex iso8601 org ob ob-tangle > ob-ref ob-lob ob-table ob-exp org-macro org-footnote org-src ob-comint > org-pcomplete pcomplete comint ansi-color ring org-list org-faces > org-entities time-date noutline outline org-version ob-emacs-lisp > ob-core ob-eval org-table ol rx org-keys oc org-compat advice org-macs > org-loaddefs format-spec find-func cal-menu calendar cal-loaddefs > use-package use-package-ensure use-package-delight use-package-diminish > use-package-bind-key bind-key easy-mmode use-package-core info package > browse-url url url-proxy url-privacy url-expand url-methods url-history > url-cookie url-domsuf url-util mailcap url-handlers url-parse > auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs > password-cache json subr-x map url-vars seq byte-opt gv bytecomp > byte-compile cconv cl-loaddefs cl-lib iso-transl tooltip eldoc paren > electric uniquify ediff-hook vc-hooks lisp-float-type elisp-mode mwheel > term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image > regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode > prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu > timer select scroll-bar mouse jit-lock font-lock syntax font-core > term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang > misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms > cp51932 hebrew greek romanian slovak czech european ethiopic indian > cyrillic chinese composite emoji-zwj charscript charprop case-table > epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice > button loaddefs faces cus-face macroexp files window text-properties > overlay sha1 md5 base64 format env code-pages mule custom widget > hashtable-print-readable backquote threads dbusbind inotify lcms2 > dynamic-setting system-font-setting font-render-setting cairo > move-toolbar gtk x-toolkit x multi-tty make-network-process emacs) > > Memory information: > ((conses 16 740514 101220) > (symbols 48 49642 3) > (strings 32 202479 4787) > (string-bytes 1 6306959) > (vectors 16 69568) > (vector-slots 8 776012 40235) > (floats 8 217 181) > (intervals 56 20661 131) > (buffers 992 18)) From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 28 17:20:42 2022 Received: (at control) by debbugs.gnu.org; 28 Jun 2022 21:20:42 +0000 Received: from localhost ([127.0.0.1]:56505 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o6IdW-0006EY-2H for submit@debbugs.gnu.org; Tue, 28 Jun 2022 17:20:42 -0400 Received: from mail-pf1-f173.google.com ([209.85.210.173]:36671) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o6IdM-0006DS-3y for control@debbugs.gnu.org; Tue, 28 Jun 2022 17:20:32 -0400 Received: by mail-pf1-f173.google.com with SMTP id x138so10455279pfc.3 for ; Tue, 28 Jun 2022 14:20:32 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:mime-version:date:message-id:subject:to; bh=zWxv9N9CsX8w4yMGCivRP9qo4UmM+y1JH88XcaXRUw8=; b=nHQerWzGz7YhWpL4BStseojWMwQ6wUXF0tVMy1HZAVxQw+1rxphA2jYBbKHmjMknLe nRL4SjCx+FvdHyDzmYcCpNtD65D6er11PIh2k+I1GFmIuo2ii+FL77IgS2XuTrFkUwTf IqieQLdyav5lV0uVC9TjUVOntW0zmscKs5bLZd7STCIA9PhJoZwdmbrFSE3kXswTMcML /JEkhNh9f/jL3CqOkoOFICi1dswHt+EkzqcFktuw4L40YaXbcB1Eiu3jdgSSgW5/z3Ko KojWE+mA+FYzW/F4mUf8CaUS+ZyAdVkCIQrphJC758g2Y1lNYPpLe7KSMZgwHgedGw0Q Z1lA== X-Gm-Message-State: AJIora9kXNKm94P4r3sv25ijA8l5NTmTe25LTdkx0Fa8o0AI8O/D+rH4 RIjlKfKhJauWMG7rpTj+zXjg1xDtO6LZtYYpK8kBbl8o X-Google-Smtp-Source: AGRyM1umPbUI19pqOcLG+F3axOSjDv7mPfoqfKqb1ViWLGtxMXL12VS/DDFTyNcLh3FIxQ4E8wSOddO+Q/bNs+VcSM8= X-Received: by 2002:a63:2254:0:b0:40d:d291:7710 with SMTP id t20-20020a632254000000b0040dd2917710mr15143794pgm.269.1656451231723; Tue, 28 Jun 2022 14:20:31 -0700 (PDT) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Tue, 28 Jun 2022 14:20:31 -0700 From: Stefan Kangas MIME-Version: 1.0 Date: Tue, 28 Jun 2022 14:20:31 -0700 Message-ID: Subject: control message for bug #55880 To: control@debbugs.gnu.org Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.5 (/) 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.5 (/) reassign 55880 emacs,ada-mode quit From debbugs-submit-bounces@debbugs.gnu.org Fri Jul 01 20:17:46 2022 Received: (at 55880) by debbugs.gnu.org; 2 Jul 2022 00:17:46 +0000 Received: from localhost ([127.0.0.1]:39362 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o7QpW-0003fb-Fl for submit@debbugs.gnu.org; Fri, 01 Jul 2022 20:17:46 -0400 Received: from outbound-ss-820.bluehost.com ([69.89.24.241]:42507) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o7QpT-0003fK-0g for 55880@debbugs.gnu.org; Fri, 01 Jul 2022 20:17:45 -0400 Received: from cmgw13.mail.unifiedlayer.com (unknown [10.0.90.128]) by progateway2.mail.pro1.eigbox.com (Postfix) with ESMTP id 34B8710046B32 for <55880@debbugs.gnu.org>; Sat, 2 Jul 2022 00:17:37 +0000 (UTC) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with ESMTP id 7QpNokO5nxkuL7QpNoP9lg; Sat, 02 Jul 2022 00:17:37 +0000 X-Authority-Reason: nr=8 X-Authority-Analysis: v=2.4 cv=euAacqlX c=1 sm=1 tr=0 ts=62bf8ea1 a=dWLzHQi6WpdymmZIwiVdBw==:117 a=HlCpoMJyzbfmKqni6+j5Yg==:17 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19 a=RgO8CyIxsXoA:10:nop_rcvd_month_year a=vvvmwbhNdt4A:10:endurance_base64_authed_username_1 a=WqkxyajxAoLKjixIyIQA:9 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: In-Reply-To:Date:References: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:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=H3GFTjTWdLZXUD633yFr82wrKjHlYAlNhxpgnt5x6zg=; b=LO5gfIJ4GDd+MzjVge3XZS1ElA geII+RDHfQEwQnlA3IDJ5G2JC0MfqwJyZgumdCts5X6VlK3AJTKI//9xVRCyULBjoETBzmWft60Uv bFP/rQ0ctn6EXxucs9/U4s98YxQqmqPr+9C42DWobAW4+pKU1rh7zmlHU4BTZ6N7UQW9F2+zdFMW4 SfRpbLUu/iF53NtCEdtgCukyGhmGivN5uS25WPvTrYa+dCWlnaOtbwCC6CBnoARyQwA606uVzkd3+ khq+hSgbsSV5Z9Y5Ldb8S922tu8IkBNtbQ7fW+3o4YZIT9KGlHNV6dLErnERx3sUGF+Z+aJ5u+h1U xV33gCLg==; Received: from 192-184-171-126.fiber.dynamic.sonic.net ([192.184.171.126]:50106 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1o7QpM-004I9m-Qb for 55880@debbugs.gnu.org; Fri, 01 Jul 2022 18:17:36 -0600 From: Stephen Leake To: 55880@debbugs.gnu.org Subject: Re: bug#55880: 28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb References: Date: Fri, 01 Jul 2022 17:17:28 -0700 In-Reply-To: (Left Right's message of "Thu, 9 Jun 2022 23:49:31 +0200") Message-ID: <8635fkjrl3.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (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: 192.184.171.126 X-Source-L: No X-Exim-ID: 1o7QpM-004I9m-Qb X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: 192-184-171-126.fiber.dynamic.sonic.net (Takver4) [192.184.171.126]:50106 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55880 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: -1.0 (-) ada-mode 7.2.0 was tested with GNAT Community 2021. The development version of ada-mode handles more recent versions of GNAT; a new release is in process. -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Fri Jul 08 23:56:55 2022 Received: (at 55880) by debbugs.gnu.org; 9 Jul 2022 03:56:55 +0000 Received: from localhost ([127.0.0.1]:33510 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oA1aQ-0007Ac-RS for submit@debbugs.gnu.org; Fri, 08 Jul 2022 23:56:55 -0400 Received: from gproxy3-pub.mail.unifiedlayer.com ([69.89.30.42]:44395) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oA1aO-0007AL-ID for 55880@debbugs.gnu.org; Fri, 08 Jul 2022 23:56:53 -0400 Received: from cmgw13.mail.unifiedlayer.com (unknown [10.0.90.128]) by progateway5.mail.pro1.eigbox.com (Postfix) with ESMTP id 0198E100482A4 for <55880@debbugs.gnu.org>; Sat, 9 Jul 2022 03:56:37 +0000 (UTC) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with ESMTP id A1a8oaQYfxkuLA1a8oEBjf; Sat, 09 Jul 2022 03:56:36 +0000 X-Authority-Reason: nr=8 X-Authority-Analysis: v=2.4 cv=euAacqlX c=1 sm=1 tr=0 ts=62c8fc74 a=dWLzHQi6WpdymmZIwiVdBw==:117 a=HlCpoMJyzbfmKqni6+j5Yg==:17 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19 a=RgO8CyIxsXoA:10:nop_rcvd_month_year a=vvvmwbhNdt4A:10:endurance_base64_authed_username_1 a=_jCCG77iZ1oA:10:nop_subject_obfuscation a=aqRRNvoGQMTQKw_kJGsA:9 a=H8hDKI6JExcA:10:demote_sms_india_possible_shortcode_1 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=VjebJLLhPVuZL/9fElSVbdLBAw1l63kOEDVnHGysI4A=; b=GucoZ8oZHPBRceu21PbW8d0K+9 lANKMx6Y+M7SWvQnUUbQiDl5zf6iQNRkqCeoCwSMp7tAqvcxH46ORjJlnp3B7pOmJqwbDhwXhIi7c v1D5qOyu0j+ihPKYe5FVoYMv1xrg9UyV6UW+1m5NMl94j9ZQTjiIbegQCzEeGzqYpLK5KxF3fIXjr aPJuf3CQDJ5nhd4LbDebNe7KouoUEkMzA4WMCnfSKsE5L7ySQvBMZepE7+A3bMDzhq+zlZg/kYBVV BQlUUWojDIDqDupLVhpdhpJVGEpA+DWoty5rnEvnKRLVNiCCMplJmtgpmb/hfS8jaZT7wudALX4dv TWR3ii5Q==; Received: from 192-184-171-126.fiber.dynamic.sonic.net ([192.184.171.126]:55364 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1oA1a8-003j0F-LM for 55880@debbugs.gnu.org; Fri, 08 Jul 2022 21:56:36 -0600 From: Stephen Leake To: 55880@debbugs.gnu.org Subject: 28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb Date: Fri, 08 Jul 2022 20:56:32 -0700 Message-ID: <86tu7rhrbj.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (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: 192.184.171.126 X-Source-L: No X-Exim-ID: 1oA1a8-003j0F-LM X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: 192-184-171-126.fiber.dynamic.sonic.net (Takver4) [192.184.171.126]:55364 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55880 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: -1.0 (-) tags 55880 + pending -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Fri Jul 08 23:58:05 2022 Received: (at 55880) by debbugs.gnu.org; 9 Jul 2022 03:58:05 +0000 Received: from localhost ([127.0.0.1]:33520 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oA1bZ-0007D3-DV for submit@debbugs.gnu.org; Fri, 08 Jul 2022 23:58:05 -0400 Received: from gproxy3-pub.mail.unifiedlayer.com ([69.89.30.42]:55519) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oA1bY-0007Cu-Cd for 55880@debbugs.gnu.org; Fri, 08 Jul 2022 23:58:04 -0400 Received: from cmgw13.mail.unifiedlayer.com (unknown [10.0.90.128]) by progateway5.mail.pro1.eigbox.com (Postfix) with ESMTP id 316361004922D for <55880@debbugs.gnu.org>; Sat, 9 Jul 2022 03:57:53 +0000 (UTC) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with ESMTP id A1bNoaQxcxkuLA1bNoEC88; Sat, 09 Jul 2022 03:57:53 +0000 X-Authority-Reason: nr=8 X-Authority-Analysis: v=2.4 cv=euAacqlX c=1 sm=1 tr=0 ts=62c8fcc1 a=dWLzHQi6WpdymmZIwiVdBw==:117 a=HlCpoMJyzbfmKqni6+j5Yg==:17 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19 a=RgO8CyIxsXoA:10:nop_rcvd_month_year a=vvvmwbhNdt4A:10:endurance_base64_authed_username_1 a=aqRRNvoGQMTQKw_kJGsA:9 a=H8hDKI6JExcA:10:demote_sms_india_possible_shortcode_1 a=xo5jKAKm-U-Zyk2_beg_:22 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=VjebJLLhPVuZL/9fElSVbdLBAw1l63kOEDVnHGysI4A=; b=OxHDSoAvR/tlnnc7WG4Gx6gIWz zJ/g9vZ8KtMEHEIVfTMJqSXCG69/ih67c272Ix7zR3tAwCjR2VxLAYkC7qjueI1jAYENP8UzRjYYk c0NQNdaAtaE75qr7p71ASqp1gjhOtpQ3gKaFXpt3ok9OuMbEoMU3x6YT1ZexQ/WE2mxTEQvrtjaHN qcqGMWTsw95Eb7wG7poNWKZp+XAeVAv7pBrDQr/06P6VFD1M4mgfQOdval3fkarRvweUPyxy7D3wg 6H5Yy9Wjcz1jes0es1MWkbwUQxKzkVFXB98yK8c2lz2SqqWAhs/C4Fa0khoFUQtPQC+ChLyPk98e+ drVjQvbQ==; Received: from 192-184-171-126.fiber.dynamic.sonic.net ([192.184.171.126]:55375 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1oA1bM-003jYw-R7 for 55880@debbugs.gnu.org; Fri, 08 Jul 2022 21:57:53 -0600 From: Stephen Leake To: 55880@debbugs.gnu.org Subject: update Date: Fri, 08 Jul 2022 20:57:48 -0700 Message-ID: <86pmifhr9f.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (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: 192.184.171.126 X-Source-L: No X-Exim-ID: 1oA1bM-003jYw-R7 X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: 192-184-171-126.fiber.dynamic.sonic.net (Takver4) [192.184.171.126]:55375 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 2 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 55880 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: -1.0 (-) tags 55880 + pending -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 25 09:01:02 2023 Received: (at 55880-close) by debbugs.gnu.org; 25 Jan 2023 14:01:02 +0000 Received: from localhost ([127.0.0.1]:58662 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pKgKk-0000YM-02 for submit@debbugs.gnu.org; Wed, 25 Jan 2023 09:01:02 -0500 Received: from outbound-ss-820.bluehost.com ([69.89.24.241]:45408) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pKgKe-0000Xh-Pt for 55880-close@debbugs.gnu.org; Wed, 25 Jan 2023 09:01:00 -0500 Received: from cmgw10.mail.unifiedlayer.com (unknown [10.0.90.125]) by progateway2.mail.pro1.eigbox.com (Postfix) with ESMTP id DAE091003ED99 for <55880-close@debbugs.gnu.org>; Wed, 25 Jan 2023 14:00:49 +0000 (UTC) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with ESMTP id KgKVp99FqnkPJKgKVp8eVf; Wed, 25 Jan 2023 14:00:49 +0000 X-Authority-Reason: nr=8 X-Authority-Analysis: v=2.4 cv=f86NuM+M c=1 sm=1 tr=0 ts=63d13611 a=dWLzHQi6WpdymmZIwiVdBw==:117 a=Fln8i1WyhtedwaIJAdHvmw==:17 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19 a=RvmDmJFTN0MA:10:nop_rcvd_month_year a=vvvmwbhNdt4A:10:endurance_base64_authed_username_1 a=_jCCG77iZ1oA:10:nop_subject_obfuscation a=uqHdLO8QQ0jx2tI4pToA:9 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=CzCgJBTIqfTVj4xfgRy404VIwxF9UB41R6cwRw9UsW0=; b=k6zy3PrsAzkM4nzm+2uNOo94eY DOKVW58a5XnUYPqmhOoSccvMaWdti6UG3G7pvkb8+5T/bNs2FAiRUWGv0lqTzsKdaBEkIX9MnteuJ NqhMa/xwMwxIw3kx0s7zerQZ0tFH3pV8zVnJ2+i+BQo4vOj1rib8cEXAwAvmff2fRMUB0AR+tKqDu vEsNSj/013kHxzlbHpjpWsNjF1/J1qJDDa/mbJFvOOhfthxC/gnclDZ82lnRwyphX2HR9hbxVhAzH mHNNPGxtuchWrYpvEQiwAwlRsAhFQSPlQ2xKVi1dXgAnfAnaBbRw/mxQsS//p2knQlq6GHLFZFb8k bFsQXjEg==; Received: from 135-180-197-170.fiber.dynamic.sonic.net ([135.180.197.170]:63803 helo=DESKTOP-G20DCG1) by host2007.hostmonster.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1pKgKU-003BlE-Sh for 55880-close@debbugs.gnu.org; Wed, 25 Jan 2023 07:00:46 -0700 From: Stephen Leake To: 55880-close@debbugs.gnu.org Subject: 28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb Date: Wed, 25 Jan 2023 06:00:46 -0800 Message-ID: <86edrid88h.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) 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: 135.180.197.170 X-Source-L: No X-Exim-ID: 1pKgKU-003BlE-Sh X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: 135-180-197-170.fiber.dynamic.sonic.net (DESKTOP-G20DCG1) [135.180.197.170]:63803 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 3.6 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: closed by ada-mode 8.0.4 -- -- Stephe Content analysis details: (3.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 3.6 RCVD_IN_SBL_CSS RBL: Received via a relay in Spamhaus SBL-CSS [135.180.197.170 listed in zen.spamhaus.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [69.89.24.241 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [69.89.24.241 listed in list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record X-Debbugs-Envelope-To: 55880-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: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: closed by ada-mode 8.0.4 -- -- Stephe Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [69.89.24.241 listed in wl.mailspike.net] 3.6 RCVD_IN_SBL_CSS RBL: Received via a relay in Spamhaus SBL-CSS [135.180.197.170 listed in zen.spamhaus.org] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [69.89.24.241 listed in list.dnswl.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager closed by ada-mode 8.0.4 -- -- Stephe From unknown Thu Aug 14 21:53:40 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 23 Feb 2023 12:24:12 +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