From: mcculley@nefarious.saic.com (Gene McCulley)
Subject: Problems with Verdix VADS on AIX
Date: 3 Oct 1994 17:11:46 GMT
Date: 1994-10-03T17:11:46+00:00 [thread overview]
Message-ID: <36pe0j$90j@babyblue.cs.yale.edu> (raw)
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.
reply other threads:[~1994-10-03 17:11 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox