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,1f6393e0d603aa6a
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Problems with GNAT
Date: 1996/08/24
Message-ID: <dewar.840911951@schonberg>#1/1
X-Deja-AN: 176238482
references: <4vl098$7ip@vanuata.dcs.gla.ac.uk>
 <4vl90g$8v7@michp1.redstone.army.mil>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-08-24T00:00:00+00:00
List-Id: <comp.lang.ada>


Tim  <blandtg@dcs.gla.ac.uk> wrote (with deletions):

   I have been writing bits of Ada code on a UNIX system.
   I have developed a package of utilities for sound generation.
   
   Upon trying to run a driver program (packtest.adb) I had written to
   exercise this package of facilities I kept getting a constraint error.
   
   In attempting to locate this bug I used gdb.
   Which eventually came up with:-
   (gdb) step
   __gnat_raise_constraint_error () at a-raise.c:154
   a-raise.c:154: No such file or directory.
   Current language:  auto; currently c
   (gdb) where
   #0  __gnat_raise_constraint_error () at a-raise.c:154
   #1  0x13bd8 in packtest () at packtest.adb:64
   #2  0x236c in main (argc=1, argv=0xeffff97c) at b_packtest.c:35
   
   Does anybody know what is going on here?

This clearly shows you are getting a constraint error at packtest.adb:64.

If you think this constraint error is not a legitimate consequence of
your program, then narrow down the example as much as possible, and
send it along to report@gnat.com.