Re: [SPAM UNSURE] [SPAM UNSURE] Attempting to reindent code results in error

[Left Right]

Hi, with debug enabled, this is the stacktrace I get:

error: CONSTRAINT_ERROR : sal-gen_unbounded_definite_vectors.adb:603
access check failed
00:23:37.686:
;; [/home/olegs/.local/bin/ada_mode_wisi_lr1_parse]
;; 0x69e7d5 Wisitoken.Syntax_Trees.Line_At_Byte_Pos at
sal-gen_unbounded_definite_vectors.adb:603
;; 0x5b6e26 Wisi.Reset_Post_Parse at wisi.adb:822
;; 0x57ac9b Emacs_Wisi_Common_Parse.Process_Stream at
emacs_wisi_common_parse.adb:577
;; 0x48ff2f Ada_Mode_Wisi_Lr1_Parse at gen_emacs_wisi_lr_text_rep_parse.adb:54
;; 0x48fa60 Main at b__ada_mode_wisi_lr1_parse.adb:676
;; [/usr/lib/libc.so.6]
;; 0x7f66d15c9cce
;; 0x7f66d15c9d88
;; [/home/olegs/.local/bin/ada_mode_wisi_lr1_parse]
;; 0x48fab3 _start at ???
;; 0xfffffffffffffffe
;;
(error "error: CONSTRAINT_ERROR :
sal-gen_unbounded_definite_vectors.adb:603 access check failed")

Other version-related info:

❯ alr toolchain
CRATE         VERSION STATUS    NOTES
gprbuild      21.0.2  Available
gprbuild      22.0.1  Default
gnat_native   12.2.1  Available
gnat_native   13.1.0  Available
gnat_native   13.2.1  Default
gnat_external 13.2.1  Available Detected at /usr/bin/gnat
❯ gcc --version
gcc (GCC) 13.2.1 20230801
Copyright (C) 2023 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'll try to rebuild everything using GNAT 12.2.1 tomorrow and will
report if I still have problems.

On Tue, Nov 14, 2023 at 6:10 PM Stephen Leake
<stephen_leake@stephe-leake.org> wrote:
>
> Simon Wright <simon.j.wright@mac.com> writes:
>
> > On 13 Nov 2023, at 21:53, Stephen Leake <stephen_leake@stephe-leake.org> 
> > wrote:
> >>
> >> Left Right <olegsivokon@gmail.com> writes:
> >>
> >>> Re sal-gen_definite_doubly_linked_lists.adb and the error:
> >>>
> >>> CONSTRAINT_ERROR : sal-gen_definite_doubly_linked_lists.adb:167 access
> >>> check failed
> >>>
> >>> I've rebuilt ada-mode, gpr-mode, gpr-query and now I have wisitoken
> >>> 4.2.1.
> >>
> >> With what gnat version?
> >
> > Just rebuilt 8.1.0 with GCC 13.1.0 (aarch64-apple-darwin), got this
> > error
>
> Sigh. I'll try to reproduce.
>
> >> Look in the buffer "*Ada-wisi-parser-log*"; it should have a full stack
> >> trace for this error; post that.
> >
> > Not seeing a stack trace.
>
> Ah. To enable stack trace:
>
> M-; (setq wisi-parser-verbosity "debug=1")
>
> (I always have that set, so I forget it's not the default)
>
> --
> -- Stephe