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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f66affe18dffa8d3,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-03 10:15:11 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!europa.eng.gtefsd.com!MathWorks.Com!news2.near.net!yale!yale!nefarious.saic.com!mcculley
From: mcculley@nefarious.saic.com (Gene McCulley)
Newsgroups: comp.lang.ada
Subject: Problems with Verdix VADS on AIX
Date: 3 Oct 1994 17:11:46 GMT
Organization: Yale University, Department of Computer Science, New Haven, CT
Message-ID: <36pe0j$90j@babyblue.cs.yale.edu>
NNTP-Posting-Host: nefarious.saic.com
X-Newsreader: TIN [version 1.2 PL0]
Date: 1994-10-03T17:11:46+00:00
List-Id: <comp.lang.ada>

Is anyone out there using VADS on AIX and may be able to give me a clue on
what is happening here?  I am getting internal assertion errors from the
compiler.  It is not even able to tell me what line number causes it to crash.
The example that follows happens under 6.2.1(c1), but Verdix sent us 6.2.1(f)
and it exhibits the same behavior.  I sent this to Verdix last week, but they
haven't sent an answer yet.  I am hoping that someone else has seen this and
can tell me how to get around it or at least an easy way to find out what
line is causing the compiler to choke without commenting everything out and 
uncommenting stuff 'til it breaks.  Thanks.

 [odin][/intop/terrain/sources]# ada -v
 Verdix Ada Compiler, Copyright 1984, 1994
 VADS IBM RISC System/6000 AIX 3.2.5, Version 6.2
 Fri Mar 18 16:29:23 PST 1994, 6.2.1 (c1)
 [odin][/intop/terrain/sources]#

 Here is a code fragment:
     function Check_Post return Tprim.Visibility_State_Type is

         Status : Tprim.Visibility_State_Type := Tprim.Vis_Continue;
         --  status of the check
 my_post:sau_post.post_type;
 my_micro:boolean;
 my_diagonal:boolean;
     begin

         --  Only do grid checks on polys without microterrain.
         if not Posts (State.Page_Post).Microterrain then
 --my_post:=posts(state.page_post);
 --my_micro := my_post.microterrain;
 --if not my_micro then
             Se_Retrieved := False;
             Nw_Retrieved := False;

 It produces this error when compiling:
 /terrain/sources/sau_terrain_database.check_intervisibility.2.ada:cg inter
 nal: assertion error at file rtf_emit.c, line 227
 cg_ret: 1

 If I comment out the "if not Posts (State.Page_Post).Microterrain then", and
 uncomment the 3 lines that follow, it compiles without trouble.  Posts is
 an access type of an array, State is a record, Page_Post is an integer type,
 microterrain is a boolean.  I haven't had time to build a code fragment that
 exhibits this behavior.  This happens in about 10 places in our code.
 This code compiles fine under Ada/6000 1.3.1, Rational Apex 1.2.1, and
 GNAT 1.79-1.81.  Even if I change the line to "if not
 Posts.all(State.Page_Post).Microterrain" to make sure that it understands
 that this is a pointer to an array, it does not work.