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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3f231d45203ddf5a
X-Google-Attributes: gid103376,public
From: mheaney@ni.net (Matthew Heaney)
Subject: Re: Assertion Error
Date: 1998/02/02
Message-ID: <mheaney-ya023680000202980050480001@news.ni.net>#1/1
X-Deja-AN: 321299424
Content-Transfer-Encoding: 8bit
References: <6b3oi8$osq$1@gte1.gte.net>
Content-Type: text/plain; charset=ISO-8859-1
Organization: Estormza Software
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1998-02-02T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <6b3oi8$osq$1@gte1.gte.net>, "Larry Torres"
<ltorres@networkmachines.com> wrote:

>Got a problem:
>
>  When compiling code being ported from another platform, we get an
>"assertion error".   We are using the Rational VADS system on Solaris.   Can
>someone explain to me what the meaning is and what we might  possibly do to
>remedy the problem?

It means you found a compiler bug.  

The Rational compiler is a computer program, like any other.  A common
technique is to insert an assertion in the code, to assert that the state
has a specific value.  You do this to catch things you missed, or to catch
changes that occur during maintenance.  The code looks something like this:

procedure Op (...) is
begin
   <do some stuff that changes the state>
   Assert (X = 10);
...

X should have the value 10; if it doesn't, then something is seriously
wrong, and you want to know about it.  The subprogram Assert will raise the
exception Assertion_Error, because the predicate is false.

Figure which module is causing the compiler to crash, and report the error
to a Rationale representative.  Then get them to fix their compiler.  You
paid probably 20K+ for that environment, so you have the right to expect
that it works!