From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.129.124.85 with SMTP id x82mr12098936ywc.52.1497848007517;
        Sun, 18 Jun 2017 21:53:27 -0700 (PDT)
X-Received: by 10.157.46.21 with SMTP id q21mr659790otb.11.1497848007476; Sun,
 18 Jun 2017 21:53:27 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!y44no1001648qth.1!news-out.google.com!s132ni5158itb.0!nntp.google.com!185no1659383itv.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 18 Jun 2017 21:53:27 -0700 (PDT)
In-Reply-To: <1f3089a8-a304-4be3-ab1d-bff5c5b75a18@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=85.167.213.61;
 posting-account=bPTmZAoAAAC_6HP9XLKB9aAAxBa6BuOR
NNTP-Posting-Host: 85.167.213.61
References: <5a0d60e6-c713-4a83-8c98-81a2af68e75e@googlegroups.com>
 <oi5ldc$d9t$1@dont-email.me>
 <93822692-767f-4546-8e39-9c4b7ceab3e6@googlegroups.com>
 <291a8209-d893-4822-896d-32727d5c9509@googlegroups.com>
 <oi64e9$mji$1@dont-email.me>
 <7132e1a3-6c36-4f53-94d5-f51b18373e20@googlegroups.com>
 <1f3089a8-a304-4be3-ab1d-bff5c5b75a18@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d02780f5-a4f5-4681-a08a-4fc04fda7b67@googlegroups.com>
Subject: Re: Help needed - "Storage_Error stack overflow or erroneous memory
 access"
From: reinert <reinkor@gmail.com>
Injection-Date: Mon, 19 Jun 2017 04:53:27 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: news.eternal-september.org comp.lang.ada:47000
Date: 2017-06-18T21:53:27-07:00
List-Id: <comp.lang.ada>

OK, for those having interest:

I have somehow sorted out the problem. 
The lesson learned is that I may have done something wrong when using "with invariant .." and the compiler error message could be more helpful for programmers like me :-) 

Here is a test program illustrating. It compiles without error on my debian 8.8 (jessie) machine, but the debian 9 (stretch) gives a cryptic error message.
Could anybody confirm? And maybe elaborate?

with frame1;         use frame1;
procedure c0 is
   df : df_t;
begin
   df.center0 (True);
end c0;

-- package:

with Ada.Numerics.Generic_Real_Arrays;

package frame1 is

   subtype real is float;

   package gra is new Ada.Numerics.Generic_Real_Arrays (real);
   use gra;

   type frame_t is tagged private;

   procedure center0 (frame : in out frame_t; b : Boolean);

   type df_t is new frame_t with private;

private

   type frame_t is tagged record
      a, b                           : Boolean := False;
      r_a, r_b                       : real_vector(1..2);
      set_modus                      : Boolean := False;
      dynamic_frame1, dynamic_frame2 : real_vector (1 .. 2);
      center0                        : Boolean := False;
      active1                        : Boolean := False;
      w1,w2                          : real_vector(1..2);
   end record with
       type_invariant =>
             ((if
               frame_t.set_modus
         then
           frame_t.dynamic_frame1 (1) <= frame_t.dynamic_frame2 (1) and
           frame_t.dynamic_frame1 (2) >= frame_t.dynamic_frame2 (2)));

   type df_t is new frame_t with record
      focus1 : Boolean              := False;
   end record;

end frame1;

package body frame1 is

   procedure center0 (frame : in out frame_t; b : Boolean) is
   begin
      frame.center0 := b;
   end center0;

end frame1;




~