Re: CONSTRAINT ERROR: erroneous memory access - SOLVED

[AdaMagica <christ-usch.grein@t-online.de>]

Am Dienstag, 9. Juni 2020 02:39:34 UTC+2 schrieb John Cupak:
> After a little digging, I discovered an error in the Shortest_Paths.adb package on page 575 of the ARM.
> 
> Near the end of the package body, in the Rebuild path from target to source, the Prepend (The_Path, N); statement before the while N /= Source loop is missing. When I inserted the statement, recompiled, and ran the main program, the output matched Sedwick's.

You should report this to Ada Comment, how to do it see
http://www.ada-auth.org/standards/2xrm/html/RM-0-2.html (60/5)
so that this will be corrected in the next edition.

Please indicate exactly where to correct. This is the current version:

19/3  -- Rebuild path from target to source.
20/3  declare
         N : Node := Target;
      begin
         while N /= Source loop
            N := Reached_From(N);
            Prepend (The_Path, N);
         end loop;
      end;