comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: GNAT BUG DETECTED
Date: 1996/12/04
Date: 1996-12-04T00:00:00+00:00	[thread overview]
Message-ID: <dewar.849704519@merv> (raw)
In-Reply-To: 32A4A887.794B@lmco.com


Carl got the following output from GNAT

+===========================GNAT BUG DETECTED==============================+
| Error detected at "rsc_simple_configuration_objects_ado_unit.adb", line 2:1|
| If you are in the U.S. or Canada please contact the                      |
| Technical Assistance Center at 1-800-800-4SGI. If you are                |
| outside the U.S. or Canada, contact the Silicon Graphics                 |
| subsidiary or authorized distributor in your country.                    |
| GNAT V2.07 (mips-sgi-irix5.3) Gigi abort, Code=999                       |
+==========================================================================+


and asks what GNAT is tryuing to tell him

GNAT is trying (and it seems reasonably well succeeding) to tell you that
a GNAT BUG has been detected, and that you should contact the SGI
Technical Assistance Center at the given number. Did you do so?

GNAT does a lot of internal consistency checking and if it detects a
case of an internal inconsistency of some kind, outputs the above box.
There are two variants depending on whether or not you have support
from SGI (the other version advises you to send a report to report@gnat.com)

The location in the source given in line 1 is often useful in working
around the problem, especially if you are using GNAT without any support
from SGI or ACT. 





      parent reply	other threads:[~1996-12-04  0:00 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-12-03  0:00 GNAT BUG DETECTED Carl Kugler
1996-12-04  0:00 ` Stephen Leake
1996-12-04  0:00   ` J.A. Gutierrez
1996-12-04  0:00 ` Robert Dewar [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox